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...

Clingcon: The next generation

Theory and practice of logic programming, 2017-07, Vol.17 (4), p.408-461

2017

Volltextzugriff (PDF)

ASP modulo CSP: The clingcon system

Theory and practice of logic programming, 2012-07, Vol.12 (4-5), p.485-503

2012

Volltextzugriff (PDF)

Boolean Network Identification from Multiplex Time Series Data

Computational Methods in Systems Biology, p.170-181

Volltextzugriff (PDF)

Potassco: The Potsdam Answer Set Solving Collection

Ai communications, 2011, Vol.24 (2), p.107-124

2011

Volltextzugriff (PDF)

Clingo goes linear constraints over reals and integers

Theory and practice of logic programming, 2017-09, Vol.17 (5-6), p.872-888

2017

Volltextzugriff (PDF)

Train Scheduling with Hybrid Answer Set Programming

Theory and practice of logic programming, 2021-05, Vol.21 (3), p.317-347

2021

Volltextzugriff (PDF)

Boolean network identification from perturbation time series data combining dynamics abstraction and logic programming

BioSystems, 2016-11, Vol.149, p.139-153

2016

Volltextzugriff (PDF)

Constraint Answer Set Solving

Logic Programming, p.235-249

Volltextzugriff (PDF)

Train Scheduling with Hybrid ASP

Logic Programming and Nonmonotonic Reasoning, p.3-17

Volltextzugriff (PDF)

Automatic network reconstruction using ASP

Theory and practice of logic programming, 2011-07, Vol.11 (4-5), p.749-766

2011

Volltextzugriff (PDF)

On the Input Language of ASP Grounder Gringo

Logic Programming and Nonmonotonic Reasoning, p.502-508

Volltextzugriff (PDF)

aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming

Logic Programming and Nonmonotonic Reasoning, 2015, Vol.9345, p.112-126

2015

Volltextzugriff (PDF)

Towards Industrial-Scale Product Configuration

Logic Programming and Nonmonotonic Reasoning, 2024, p.71-84

2024

Volltextzugriff (PDF)

Advanced Solving Technology for Dynamic and Reactive Applications

KI. Künstliche Intelligenz (Oldenbourg), 2018-08, Vol.32 (2-3), p.199-200

2018

Volltextzugriff (PDF)

The Potsdam Answer Set Solving Collection 5.0

KI. Künstliche Intelligenz (Oldenbourg), 2018-08, Vol.32 (2-3), p.181-182

2018

Volltextzugriff (PDF)

B-cell-specific checkpoint molecules that regulate anti-tumour immunity

Nature (London), 2023-07, Vol.619 (7969), p.348-356

2023

Volltextzugriff (PDF)

Liver X receptor (LXR) partial agonists: biaryl pyrazoles and imidazoles displaying a preference for LXRβ

Bioorganic & medicinal chemistry letters, 2015-01, Vol.25 (2), p.372-377

2015

Volltextzugriff (PDF)

Discovery of Highly Potent Liver X Receptor β Agonists

ACS medicinal chemistry letters, 2016-12, Vol.7 (12), p.1207-1212

2016

Volltextzugriff (PDF)

Identification of human plasma cells with a lamprey monoclonal antibody

JCI insight, 2016-03, Vol.1 (3)

2016

Volltextzugriff (PDF)

Associations between age-related nuclear cataract and lutein and zeaxanthin in the diet and serum in the Carotenoids in the Age-Related Eye Disease Study, an Ancillary Study of the Women's Health Initiative

Archives of ophthalmology (1960), 2008-03, Vol.126 (3), p.354

2008

Volltextzugriff (PDF)

Healthy diets and the subsequent prevalence of nuclear cataract in women

Archives of ophthalmology (1960), 2010-06, Vol.128 (6), p.738

2010

Volltextzugriff (PDF)

1 – 21 von 21

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(16)
Mit Volltextzugriff
(18)

Publikationsform

Sprache

Englisch
(21)

Erscheinungsjahr

n.n

Thema

Science & Technology
(19)
Computer Science
(14)
Technology
(12)
Computer Science, Theory & Methods
(9)
Computer Science, Software Engineering
(7)
Life Sciences & Biomedicine
(7)
Logic
(6)
Science & Technology - Other Topics
(6)
Artificial Intelligence
(5)
Computer Science, Artificial Intelligence
(5)
Answer Set Programming
(4)
Humans
(4)
Regular Papers
(4)
Animals
(3)
Abca1
(2)
Aged
(2)
Bioinformatics
(2)
Biological And Medical Sciences
(2)
Cataract - Epidemiology
(2)
Cataracts
(2)

15 weitere anzeigen...

Weniger anzeigen...

Zeitschrift / Serie

Theory And Practice Of Logic Programming
(5)
Archives Of Ophthalmology
(2)
Ki. Künstliche Intelligenz
(2)
Acs Medicinal Chemistry Letters
(1)
Ai Communications
(1)
Bioorganic & Medicinal Chemistry Letters
(1)
Biosystems
(1)
Jci Insight
(1)
Nature
(1)

4 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 7 Tagen
(1)

Menü

Weitere Dienste

Einstellungen

Clingcon: The next generation

ASP modulo CSP: The clingcon system

Boolean Network Identification from Multiplex Time Series Data

Potassco: The Potsdam Answer Set Solving Collection

Clingo goes linear constraints over reals and integers

Train Scheduling with Hybrid Answer Set Programming

Boolean network identification from perturbation time series data combining dynamics abstraction and logic programming

Constraint Answer Set Solving

Train Scheduling with Hybrid ASP

Automatic network reconstruction using ASP

On the Input Language of ASP Grounder Gringo

aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming

Towards Industrial-Scale Product Configuration

Advanced Solving Technology for Dynamic and Reactive Applications

The Potsdam Answer Set Solving Collection 5.0

B-cell-specific checkpoint molecules that regulate anti-tumour immunity

Liver X receptor (LXR) partial agonists: biaryl pyrazoles and imidazoles displaying a preference for LXRβ

Discovery of Highly Potent Liver X Receptor β Agonists

Identification of human plasma cells with a lamprey monoclonal antibody

Associations between age-related nuclear cataract and lutein and zeaxanthin in the diet and serum in the Carotenoids in the Age-Related Eye Disease Study, an Ancillary Study of the Women's Health Initiative

Healthy diets and the subsequent prevalence of nuclear cataract in women

Suchergebnisse filtern