UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 45

Sortiert nach

Implementing Efficient All Solutions SAT Solvers

The ACM journal of experimental algorithmics, 2016-11, Vol.21, p.1-44

2016

Volltextzugriff (PDF)

Dualization of boolean functions using ternary decision diagrams

Annals of mathematics and artificial intelligence, 2017-03, Vol.79 (1-3), p.229-244

Toda, Takahisa

2017

Volltextzugriff (PDF)

Fast Compression of Large-Scale Hypergraphs for Solving Combinatorial Problems

Discovery Science, p.281-293

Volltextzugriff (PDF)

Exact Method for Generating Strategy-Solvable Sudoku Clues

Algorithms, 2020-07, Vol.13 (7), p.171

2020

Volltextzugriff (PDF)

ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problems

Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2023, Vol.13884, p.167-183

2023

Volltextzugriff (PDF)

Improved Compression-Based Pattern Recognition Exploiting New Useful Features

Pattern Recognition and Image Analysis, p.363-371

Volltextzugriff (PDF)

Fast Exact Algorithm to Solve Continuous Similarity Search for Evolving Queries

Information Retrieval Technology, p.84-96

Volltextzugriff (PDF)

Extracting Co-Occurrence Relations from ZDDs

Algorithms, 2012-12, Vol.5 (4), p.654-667

Toda, Takahisa

2012

Volltextzugriff (PDF)

A General Framework for Parallel Unary Operations on ZDDs

Trends and Applications in Knowledge Discovery and Data Mining, p.494-503

Volltextzugriff (PDF)

Extended Min-Hash Focusing on Intersection Cardinality

Intelligent Data Engineering and Automated Learning - IDEAL 2018, 2018, Vol.11314, p.17-26

2018

Volltextzugriff (PDF)

Diversity-aware fairness testing of machine learning classifiers through hashing-based sampling

Information and software technology, 2024-03, Vol.167, p.107390, Article 107390

2024

Volltextzugriff (PDF)

Efficient Fairness Testing Through Hash-Based Sampling

Search-Based Software Engineering, p.35-50

Volltextzugriff (PDF)

Applying Combinatorial Testing to Verification-Based Fairness Testing

Search-Based Software Engineering, p.101-107

Volltextzugriff (PDF)

On separating families of bipartitions

Discrete mathematics, 2013-02, Vol.313 (3), p.286-292

2013

Volltextzugriff (PDF)

Hypergraph Transversal Computation with Binary Decision Diagrams

Experimental Algorithms, p.91-102

Volltextzugriff (PDF)

BDD construction for all solutions SAT and efficient caching mechanism

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015, p.1880-1886

2015

Volltextzugriff (PDF)

Superset Generation on Decision Diagrams

WALCOM: Algorithms and Computation, p.317-322

Volltextzugriff (PDF)

Three-way Indexing ZDDs for Large-Scale Sparse Datasets

Trends and Applications in Knowledge Discovery and Data Mining, p.457-469

Volltextzugriff (PDF)

Solving Reconfiguration Problems of First-Order Expressible Properties of Graph Vertices with Boolean Satisfiability

2023 IEEE 35th International Conference on Tools with Artificial Intelligence (ICTAI), 2023, p.294-302

2023

Volltextzugriff (PDF)

Diversity-aware Fairness Testing of Machine Learning Classifiers through Hashing-based Sampling

2023

Volltextzugriff (PDF)

Effective construction of compression-based feature space

2016 International Symposium on Information Theory and Its Applications (ISITA), 2016, p.116-120

2016

Volltextzugriff (PDF)

Genome-wide association study identifies common variants at four loci as genetic risk factors for Parkinson's disease

Nature genetics, 2009-12, Vol.41 (12), p.1303-1307

2009

Volltextzugriff (PDF)

Evaluation of acoustic radiation force impulse elastography for fibrosis staging of chronic liver disease: a pilot study

Liver international, 2010-04, Vol.30 (4), p.538-545

2010

Volltextzugriff (PDF)

AtDREB2G is involved in the regulation of riboflavin biosynthesis in response to low-temperature stress and abscisic acid treatment in Arabidopsis thaliana

Plant science (Limerick), 2024-10, Vol.347, p.112196, Article 112196

2024

Volltextzugriff (PDF)

Pikachurin, a dystroglycan ligand, is essential for photoreceptor ribbon synapse formation

Nature neuroscience, 2008-08, Vol.11 (8), p.923-931

2008

Volltextzugriff (PDF)

1 – 25 von 45

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(36)
Mit Volltextzugriff
(41)

Publikationsform

Sprache

Englisch
(44)
Japanisch
(19)

Erscheinungsjahr

n.n

Neu hinzugefügt

... seit 90 Tagen
(1)

Menü

Weitere Dienste

Einstellungen

Implementing Efficient All Solutions SAT Solvers

Dualization of boolean functions using ternary decision diagrams

Fast Compression of Large-Scale Hypergraphs for Solving Combinatorial Problems

Exact Method for Generating Strategy-Solvable Sudoku Clues

ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problems

Improved Compression-Based Pattern Recognition Exploiting New Useful Features

Fast Exact Algorithm to Solve Continuous Similarity Search for Evolving Queries

Extracting Co-Occurrence Relations from ZDDs

A General Framework for Parallel Unary Operations on ZDDs

Extended Min-Hash Focusing on Intersection Cardinality

Diversity-aware fairness testing of machine learning classifiers through hashing-based sampling

Efficient Fairness Testing Through Hash-Based Sampling

Applying Combinatorial Testing to Verification-Based Fairness Testing

On separating families of bipartitions

Hypergraph Transversal Computation with Binary Decision Diagrams

BDD construction for all solutions SAT and efficient caching mechanism

Superset Generation on Decision Diagrams

Three-way Indexing ZDDs for Large-Scale Sparse Datasets

Solving Reconfiguration Problems of First-Order Expressible Properties of Graph Vertices with Boolean Satisfiability

Diversity-aware Fairness Testing of Machine Learning Classifiers through Hashing-based Sampling

Effective construction of compression-based feature space

Genome-wide association study identifies common variants at four loci as genetic risk factors for Parkinson's disease

Evaluation of acoustic radiation force impulse elastography for fibrosis staging of chronic liver disease: a pilot study

AtDREB2G is involved in the regulation of riboflavin biosynthesis in response to low-temperature stress and abscisic acid treatment in Arabidopsis thaliana

Pikachurin, a dystroglycan ligand, is essential for photoreceptor ribbon synapse formation

Suchergebnisse filtern