UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 67

Sortiert nach

Machine Learning Classification Models to Improve the Docking‐based Screening: A Case of PI3K‐Tankyrase Inhibitors

Molecular informatics, 2018-11, Vol.37 (11), p.e1800030-n/a

2018

Volltextzugriff (PDF)

Time-Domain Analysis of Molecular Dynamics Trajectories Using Deep Neural Networks: Application to Activity Ranking of Tankyrase Inhibitors

Journal of chemical information and modeling, 2019-08, Vol.59 (8), p.3519-3532

2019

Volltextzugriff (PDF)

Computer Science: Theory and Applications : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007 : Proceedings

2007 edition., 2007

Volltextzugriff (PDF)

The Hybrid Multidimensional-Ontological Data Model Based on Metagraph Approach

Perspectives of System Informatics, 2018, Vol.10742, p.72-87

2018

Volltextzugriff (PDF)

Effective Scheduling of Strict Periodic Task Sets with Given Permissible Periods in RTOS

Perspectives of System Informatics, 2019, Vol.11964, p.214-222

2019

Volltextzugriff (PDF)

Using Refinement in Formal Development of OS Security Model

Perspectives of System Informatics, 2016, Vol.9609, p.107-115

2016

Volltextzugriff (PDF)

The Relationship Between Reasoning About Privacy and Default Logics

Lecture notes in computer science, 2005, p.637-650

2005

Volltextzugriff (PDF)

Probabilistic Formal Concepts with Negation

Perspectives of System Informatics, 2015, Vol.8974, p.385-399

2015

Volltextzugriff (PDF)

An Approach to the Validation of XML Documents Based on the Model Driven Architecture and the Object Constraint Language

Perspectives of System Informatics, 2018, Vol.10742, p.291-305

2018

Volltextzugriff (PDF)

A Java Supercompiler and Its Application to Verification of Cache-Coherence Protocols

Perspectives of Systems Informatics, p.185-192

Volltextzugriff (PDF)

Reversible Machine Code and Its Abstract Processor Architecture

Computer Science – Theory and Applications, p.56-69

Volltextzugriff (PDF)

Molecular modeling of modified peptides, potent inhibitors of the xWNT8 and hWNT8 proteins

Journal of molecular graphics & modelling, 2008-04, Vol.26 (7), p.1179-1187

2008

Volltextzugriff (PDF)

A syntax-based approach to reasoning about actions and events

Lecture notes in computer science, 2003, p.274-288

2003

Volltextzugriff (PDF)

Well-Structured Model Checking of Multiagent Systems

Perspectives of Systems Informatics, p.363-376

Volltextzugriff (PDF)

Context-Sensitive Multivariant Assertion Checking in Modular Programs

Lecture notes in computer science, 2006, p.392-406

2006

Volltextzugriff (PDF)

Anti-unification Algorithms and Their Applications in Program Analysis

Perspectives of Systems Informatics, p.413-423

Volltextzugriff (PDF)

TPTP, TSTP, CASC, etc

Computer Science – Theory and Applications, p.6-22

Volltextzugriff (PDF)

Playing logic programs with the Alpha-Beta algorithm

Lecture notes in computer science, 2000, p.207-224

2000

Volltextzugriff (PDF)

Towards Hierarchical Clustering (Extended Abstract)

Computer Science – Theory and Applications, p.205-215

Volltextzugriff (PDF)

On the Complexity of Matrix Rank and Rigidity

Computer Science – Theory and Applications, p.269-280

Volltextzugriff (PDF)

Sequences of Level 1, 2, 3,..., k

Computer Science – Theory and Applications, p.24-32

Volltextzugriff (PDF)

Timers and Proximities for Mobile Ambients

Computer Science – Theory and Applications, p.33-43

Volltextzugriff (PDF)

A Note on Specialization of Interpreters

Computer Science – Theory and Applications, p.237-248

Volltextzugriff (PDF)

Equivalence Problems for Circuits over Sets of Natural Numbers

Computer Science – Theory and Applications, p.127-138

Volltextzugriff (PDF)

A PDL-Like Logic of Knowledge Acquisition

Computer Science – Theory and Applications, p.146-157

Volltextzugriff (PDF)

1 – 25 von 67

Suche als RSS-Feed

Aktive Filter

ThemaComputer Science

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(54)
Mit Volltextzugriff
(67)

Publikationsform

Sprache

Englisch
(67)

Erscheinungsjahr

n.n

Zeitschrift / Serie

1 weiteren anzeigen...

Weniger anzeigen...

Menü

Weitere Dienste

Einstellungen

Machine Learning Classification Models to Improve the Docking‐based Screening: A Case of PI3K‐Tankyrase Inhibitors

Time-Domain Analysis of Molecular Dynamics Trajectories Using Deep Neural Networks: Application to Activity Ranking of Tankyrase Inhibitors

Computer Science: Theory and Applications : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007 : Proceedings

The Hybrid Multidimensional-Ontological Data Model Based on Metagraph Approach

Effective Scheduling of Strict Periodic Task Sets with Given Permissible Periods in RTOS

Using Refinement in Formal Development of OS Security Model

The Relationship Between Reasoning About Privacy and Default Logics

Probabilistic Formal Concepts with Negation

An Approach to the Validation of XML Documents Based on the Model Driven Architecture and the Object Constraint Language

A Java Supercompiler and Its Application to Verification of Cache-Coherence Protocols

Reversible Machine Code and Its Abstract Processor Architecture

Molecular modeling of modified peptides, potent inhibitors of the xWNT8 and hWNT8 proteins

A syntax-based approach to reasoning about actions and events

Well-Structured Model Checking of Multiagent Systems

Context-Sensitive Multivariant Assertion Checking in Modular Programs

Anti-unification Algorithms and Their Applications in Program Analysis

TPTP, TSTP, CASC, etc

Playing logic programs with the Alpha-Beta algorithm

Towards Hierarchical Clustering (Extended Abstract)

On the Complexity of Matrix Rank and Rigidity

Sequences of Level 1, 2, 3,..., k

Timers and Proximities for Mobile Ambients

A Note on Specialization of Interpreters

Equivalence Problems for Circuits over Sets of Natural Numbers

A PDL-Like Logic of Knowledge Acquisition

Aktive Filter

Suchergebnisse filtern