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

An effective implementation of symbolic–numeric cylindrical algebraic decomposition for quantifier elimination

Theoretical computer science, 2013-04, Vol.479, p.43-69

2013

Volltextzugriff (PDF)

Race Against the Teens – Benchmarking Mechanized Math on Pre-university Problems

Automated Reasoning, p.213-227

Volltextzugriff (PDF)

Construction of Explicit Optimal Value Functions by a Symbolic-Numeric Cylindrical Algebraic Decomposition

Computer Algebra in Scientific Computing, p.239-250

Volltextzugriff (PDF)

The Maple package SyNRAC and its application to robust control design

Future generation computer systems, 2007-06, Vol.23 (5), p.721-726

2007

Volltextzugriff (PDF)

Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem

Journal of symbolic computation, 2009-07, Vol.44 (7), p.703-725

2009

Volltextzugriff (PDF)

Formula Simplification for Real Quantifier Elimination Using Geometric Invariance

Proceedings of the 2017 ACM International Symposium on Symbolic and Algebraic Computation, 2017, p.213-220

2017

Volltextzugriff (PDF)

Automatic and dynamic grounding method based on sensor data for agent-based simulation

2017 Winter Simulation Conference (WSC), 2017, p.4584-4585

2017

Volltextzugriff (PDF)

Efforts for Disaster Prevention/Mitigation to Protect Society from Major Natural Disasters

Fujitsu scientific & technical journal, 2016-01, Vol.52 (1), p.107-113

2016

Volltextzugriff (PDF)

Development of SyNRAC: Real Quantifier Elimination Based on Cylindrical Algebraic Decomposition and Visialization

Computational Science – ICCS 2006, 2006, p.462-469

2006

Volltextzugriff (PDF)

Agent-based analysis for design of signage systems in large-scale facilities

2015 Winter Simulation Conference (WSC), 2015, p.3134-3135

2015

Volltextzugriff (PDF)

The Most Uncreative Examinee: A First Step toward Wide Coverage Natural Language Math Problem Solving

Proceedings of the ... AAAI Conference on Artificial Intelligence, 2014-06, Vol.28 (1)

2014

Volltextzugriff (PDF)

Agent-based simulation analysis for security planning based on structures of urban road networks

2016 Winter Simulation Conference (WSC), 2016, p.3720-3721

2016

Volltextzugriff (PDF)

Analyzing Pathways Using SAT-Based Approaches

Algebraic Biology, p.155-169

Volltextzugriff (PDF)

An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula Simplification

Computer Algebra in Scientific Computing, p.194-208

Volltextzugriff (PDF)

Parametric optimization in control using the sum of roots for parametric polynomial spectral factorization

International Conference on Symbolic and Algebraic Computation: Proceedings of the 2007 international symposium on Symbolic and algebraic computation; 29 July-01 Aug. 2007, 2007, p.211-218

2007

Volltextzugriff (PDF)

SyNRAC: A Maple-Package for Solving Real Algebraic Constraints

Computational Science — ICCS 2003, p.828-837

Volltextzugriff (PDF)

Learning Multi-Way Relations via Tensor Decomposition With Neural Networks

Proceedings of the ... AAAI Conference on Artificial Intelligence, 2018, Vol.32 (1)

2018

Volltextzugriff (PDF)

On the Relationship Between the Sum of Roots with Positive Real Parts and Polynomial Spectral Factorization

Numerical Methods and Applications, p.320-328

Volltextzugriff (PDF)

Development of SyNRAC—Formula Description and New Functions

Computational Science - ICCS 2004, p.286-294

Volltextzugriff (PDF)

Development of SyNRAC

Computational Science – ICCS 2005, 2005, p.602-610

2005

Volltextzugriff (PDF)

Exact Parameter Determination for Parkinson’s Disease Diagnosis with PET Using an Algebraic Approach

Algebraic Biology, p.110-124

Volltextzugriff (PDF)

Modeling Static Biological Compartments with Beta-binders

Algebraic Biology, p.247-261

Volltextzugriff (PDF)

An Algebraic-Numeric Algorithm for the Model Selection in Kinetic Networks

Computer Algebra in Scientific Computing, p.433-447

Volltextzugriff (PDF)

A Short Survey of Automated Reasoning

Algebraic Biology, p.334-349

Volltextzugriff (PDF)

Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction

Algebraic Biology, p.51-65

Volltextzugriff (PDF)

1 – 25 von 48

Suche als RSS-Feed

Aktive Filter

ThemaTechnology

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(35)
Mit Volltextzugriff
(46)

Publikationsform

Sprache

Englisch
(48)
Japanisch
(10)

Erscheinungsjahr

n.n

Kollektion

2 weitere anzeigen...

Weniger anzeigen...

Zeitschrift / Serie

2 weitere anzeigen...

Weniger anzeigen...

Menü

Weitere Dienste

Einstellungen

An effective implementation of symbolic–numeric cylindrical algebraic decomposition for quantifier elimination

Race Against the Teens – Benchmarking Mechanized Math on Pre-university Problems

Construction of Explicit Optimal Value Functions by a Symbolic-Numeric Cylindrical Algebraic Decomposition

The Maple package SyNRAC and its application to robust control design

Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem

Formula Simplification for Real Quantifier Elimination Using Geometric Invariance

Automatic and dynamic grounding method based on sensor data for agent-based simulation

Efforts for Disaster Prevention/Mitigation to Protect Society from Major Natural Disasters

Development of SyNRAC: Real Quantifier Elimination Based on Cylindrical Algebraic Decomposition and Visialization

Agent-based analysis for design of signage systems in large-scale facilities

The Most Uncreative Examinee: A First Step toward Wide Coverage Natural Language Math Problem Solving

Agent-based simulation analysis for security planning based on structures of urban road networks

Analyzing Pathways Using SAT-Based Approaches

An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula Simplification

Parametric optimization in control using the sum of roots for parametric polynomial spectral factorization

SyNRAC: A Maple-Package for Solving Real Algebraic Constraints

Learning Multi-Way Relations via Tensor Decomposition With Neural Networks

On the Relationship Between the Sum of Roots with Positive Real Parts and Polynomial Spectral Factorization

Development of SyNRAC—Formula Description and New Functions

Development of SyNRAC

Exact Parameter Determination for Parkinson’s Disease Diagnosis with PET Using an Algebraic Approach

Modeling Static Biological Compartments with Beta-binders

An Algebraic-Numeric Algorithm for the Model Selection in Kinetic Networks

A Short Survey of Automated Reasoning

Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction

Aktive Filter

Suchergebnisse filtern