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

On Multivariate Hermitian Quadratic Forms

Mathematics in computer science, 2019-06, Vol.13 (1-2), p.79-93

2019

Volltextzugriff (PDF)

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)

Efficient Subformula Orders for Real Quantifier Elimination of Non-prenex Formulas

Mathematical Aspects of Computer and Information Sciences, p.236-251

Volltextzugriff (PDF)

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

Automated Reasoning, p.213-227

Volltextzugriff (PDF)

Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems

Ai communications, 2018, Vol.31 (3), p.251

2018

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)

An indirect search algorithm for disaster restoration with precedence and synchronization constraints

Pacific journal of mathematics for industry, 2017-07, Vol.9 (1), p.1-15, Article 7

2017

Volltextzugriff (PDF)

A Symbolic-Numeric Approach to Multi-Objective Optimization in Manufacturing Design

Mathematics in computer science, 2011-09, Vol.5 (3), p.315-334

2011

Volltextzugriff (PDF)

An Optimal Control of the Internal Batteries of Office Notebook PCs for Peak Power Demand Reduction

Transactions of the Society of Instrument and Control Engineers, 2013, Vol.49(2), pp.237-245

2013

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)

On the Implementation of CGS Real QE

Mathematical Software – ICMS 2016, p.165-172

Volltextzugriff (PDF)

Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems1

Ai communications, 2018-05, Vol.31 (3), p.251-266

2018

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)

Automatic Exploration Process Adjustment for Safe Reinforcement Learning with Joint Chance Constraint Satisfaction

IFAC-PapersOnLine, 2020, Vol.53 (2), p.1588-1595

2020

Volltextzugriff (PDF)

Improving a CGS-QE Algorithm

Mathematical Aspects of Computer and Information Sciences, p.231-235

Volltextzugriff (PDF)

An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems

Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation, 2012, p.168-177

2012

Volltextzugriff (PDF)

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

Proceedings of the 2009 conference on Symbolic numeric computation, 2009, p.55-64

2009

Volltextzugriff (PDF)

SyNRAC: A Toolbox for Solving Real Algebraic Constraints

Mathematical Software – ICMS 2014, p.518-522

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)

Control Approach Combining Reinforcement Learning and Model-Based Control

2019 12th Asian Control Conference (ASCC), 2019, p.1419-1424

2019

Volltextzugriff (PDF)

CGSQE/SyNRAC: a real quantifier elimination package based on the computation of comprehensive Gröbner systems

ACM communications in computer algebra, 2016-09, Vol.50 (3), p.101-104

2016

Volltextzugriff (PDF)

Mathematics by machine

Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation, 2014, p.1-8

2014

Volltextzugriff (PDF)

Policy gradient reinforcement learning method for discrete-time linear quadratic regulation problem using estimated state value function

2017 56th Annual Conference of the Society of Instrument and Control Engineers of Japan (SICE), 2017, p.653-657

2017

Volltextzugriff (PDF)

Derivation of integrated state equation for combined outputs-inputs vector of discrete-time linear time-invariant system and its application to reinforcement learning

2017 56th Annual Conference of the Society of Instrument and Control Engineers of Japan (SICE), 2017, p.648-652

2017

Volltextzugriff (PDF)

Parametric Mechanism Design via Quantifier Elimination

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015, p.1885-1886

2015

Volltextzugriff (PDF)

1 – 25 von 26

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(13)
Mit Volltextzugriff
(21)

Publikationsform

Sprache

Englisch
(26)
Japanisch
(2)

Erscheinungsjahr

n.n

Menü

Weitere Dienste

Einstellungen

On Multivariate Hermitian Quadratic Forms

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

Efficient Subformula Orders for Real Quantifier Elimination of Non-prenex Formulas

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

Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems

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

An indirect search algorithm for disaster restoration with precedence and synchronization constraints

A Symbolic-Numeric Approach to Multi-Objective Optimization in Manufacturing Design

An Optimal Control of the Internal Batteries of Office Notebook PCs for Peak Power Demand Reduction

Formula Simplification for Real Quantifier Elimination Using Geometric Invariance

On the Implementation of CGS Real QE

Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems1

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

Automatic Exploration Process Adjustment for Safe Reinforcement Learning with Joint Chance Constraint Satisfaction

Improving a CGS-QE Algorithm

An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems

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

SyNRAC: A Toolbox for Solving Real Algebraic Constraints

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

Control Approach Combining Reinforcement Learning and Model-Based Control

CGSQE/SyNRAC: a real quantifier elimination package based on the computation of comprehensive Gröbner systems

Mathematics by machine

Policy gradient reinforcement learning method for discrete-time linear quadratic regulation problem using estimated state value function

Derivation of integrated state equation for combined outputs-inputs vector of discrete-time linear time-invariant system and its application to reinforcement learning

Parametric Mechanism Design via Quantifier Elimination

Suchergebnisse filtern