UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Local search for Boolean Satisfiability with configuration checking and subscore

Artificial intelligence, 2013-11, Vol.204, p.75-98

2013

Volltextzugriff (PDF)

Local search with edge weighting and configuration checking heuristics for minimum vertex cover

Artificial intelligence, 2011-06, Vol.175 (9), p.1672-1696

2011

Volltextzugriff (PDF)

CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability

IEEE transactions on computers, 2015-07, Vol.64 (7), p.1830-1843

2015

Volltextzugriff (PDF)

Deep Cooperation of CDCL and Local Search for SAT

Theory and Applications of Satisfiability Testing - SAT 2021, 2021, Vol.12831, p.64-81

2021

Volltextzugriff (PDF)

RIP1-dependent linear and nonlinear recruitments of caspase-8 and RIP3 respectively to necrosome specify distinct cell death outcomes

Protein & cell, 2021-11, Vol.12 (11), p.858-876

2021

Volltextzugriff (PDF)

Clause States Based Configuration Checking in Local Search for Satisfiability

IEEE transactions on cybernetics, 2015-05, Vol.45 (5), p.1028-1041

2015

Volltextzugriff (PDF)

Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfiability

Artificial intelligence, 2020-10, Vol.287, p.103354, Article 103354

2020

Volltextzugriff (PDF)

A p38α-BLIMP1 signalling pathway is essential for plasma cell differentiation

Nature communications, 2022-11, Vol.13 (1), p.7321-7321, Article 7321

2022

Volltextzugriff (PDF)

An efficient local search algorithm for solving maximum edge weight clique problem in large graphs

Journal of combinatorial optimization, 2020-05, Vol.39 (4), p.933-954

2020

Volltextzugriff (PDF)

More efficient two-mode stochastic local search for random 3-satisfiability

Applied intelligence (Dordrecht, Netherlands), 2014-10, Vol.41 (3), p.665-680

2014

Volltextzugriff (PDF)

An I/O Efficient Model Checking Algorithm for Large-Scale Systems

IEEE transactions on very large scale integration (VLSI) systems, 2015-05, Vol.23 (5), p.905-915

2015

Volltextzugriff (PDF)

Towards more efficient local search algorithms for constrained clustering

Information sciences, 2023-04, Vol.621, p.287-307

2023

Volltextzugriff (PDF)

PathLAD+: Towards effective exact methods for subgraph isomorphism problem

Artificial intelligence, 2024-12, Vol.337, p.104219, Article 104219

2024

Volltextzugriff (PDF)

An I/O Efficient Approach for Detecting All Accepting Cycles

IEEE transactions on software engineering, 2015-08, Vol.41 (8), p.730-744

2015

Volltextzugriff (PDF)

NuDist: An Efficient Local Search Algorithm for (Weighted) Partial MaxSAT

Computer journal, 2020-09, Vol.63 (9), p.1321-1337

2020

Volltextzugriff (PDF)

SCCWalk: An efficient local search algorithm and its improvements for maximum weight clique problem

Artificial intelligence, 2020-03, Vol.280, p.103230-22, Article 103230

2020

Volltextzugriff (PDF)

Finding A Small Vertex Cover in Massive Sparse Graphs: Construct, Local Search, and Preprocess

The Journal of artificial intelligence research, 2017-01, Vol.59, p.463-494

2017

Volltextzugriff (PDF)

CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability

Artificial intelligence, 2017-02, Vol.243, p.26-44

2017

Volltextzugriff (PDF)

Recent advances in phase change materials-based battery thermal management systems for electric vehicles

Journal of energy storage, 2023-11, Vol.72, p.108750, Article 108750

2023

Volltextzugriff (PDF)

New heuristic approaches for maximum balanced biclique problem

Information sciences, 2018-03, Vol.432, p.362-375

2018

Volltextzugriff (PDF)

Preparation and characterization of phase change material emulsions and their applications in liquid cooling systems for wind turbines

Applied thermal engineering, 2024-07, Vol.248, p.123367, Article 123367

2024

Volltextzugriff (PDF)

A review of battery thermal management systems using liquid cooling and PCM

Journal of energy storage, 2024-01, Vol.76, p.109836, Article 109836

2024

Volltextzugriff (PDF)

Research progress of stability and supercooling in phase change material emulsions

International journal of refrigeration, 2024-12, Vol.168, p.159-177

2024

Volltextzugriff (PDF)

A local search approach to protocol verification

Theoretical computer science, 2024-09, Vol.1008, p.114675, Article 114675

2024

Volltextzugriff (PDF)

A clique-superposition model for social networks

Science China. Information sciences, 2013-05, Vol.56 (5), p.167-185

2013

Volltextzugriff (PDF)

1 – 25 von 270

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(204)
Mit Volltextzugriff
(225)

Publikationsform

Sprache

Erscheinungsjahr

n.n

Thema

Science & Technology
(210)
Technology
(134)
Computer Science
(84)
Life Sciences & Biomedicine
(58)
Engineering
(46)
Computer Science, Artificial Intelligence
(40)
Physical Sciences
(37)
Algorithms
(32)
Local Search
(31)
Science & Technology - Other Topics
(30)
Computer Science, Theory & Methods
(29)
Engineering, Electrical & Electronic
(27)
Humans
(25)
Chemistry
(20)
Materials Science
(20)
Artificial Intelligence
(18)
Computer Science, Software Engineering
(18)
Materials Science, Multidisciplinary
(16)
Nanoscience & Nanotechnology
(16)
Computer Science, Information Systems
(15)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 30 Tagen
(1)
... seit 90 Tagen
(10)

Menü

Weitere Dienste

Einstellungen

Local search for Boolean Satisfiability with configuration checking and subscore

Local search with edge weighting and configuration checking heuristics for minimum vertex cover

CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability

Deep Cooperation of CDCL and Local Search for SAT

RIP1-dependent linear and nonlinear recruitments of caspase-8 and RIP3 respectively to necrosome specify distinct cell death outcomes

Clause States Based Configuration Checking in Local Search for Satisfiability

Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfiability

A p38α-BLIMP1 signalling pathway is essential for plasma cell differentiation

An efficient local search algorithm for solving maximum edge weight clique problem in large graphs

More efficient two-mode stochastic local search for random 3-satisfiability

An I/O Efficient Model Checking Algorithm for Large-Scale Systems

Towards more efficient local search algorithms for constrained clustering

PathLAD+: Towards effective exact methods for subgraph isomorphism problem

An I/O Efficient Approach for Detecting All Accepting Cycles

NuDist: An Efficient Local Search Algorithm for (Weighted) Partial MaxSAT

SCCWalk: An efficient local search algorithm and its improvements for maximum weight clique problem

Finding A Small Vertex Cover in Massive Sparse Graphs: Construct, Local Search, and Preprocess

CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability

Recent advances in phase change materials-based battery thermal management systems for electric vehicles

New heuristic approaches for maximum balanced biclique problem

Preparation and characterization of phase change material emulsions and their applications in liquid cooling systems for wind turbines

A review of battery thermal management systems using liquid cooling and PCM

Research progress of stability and supercooling in phase change material emulsions

A local search approach to protocol verification

A clique-superposition model for social networks

Suchergebnisse filtern