UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 129

Sortiert nach

Can the Entrepreneurial Community Grow Startups?

Organizational Science, 2022/03/20, Vol.55(3), pp.49-61

Anai, Hirokazu

2022

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)

ON DYNAMIC PATROLLING SECURITY GAMES

Journal of the Operations Research Society of Japan, 2019/10/31, Vol.62(4), pp.152-168

2019

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)

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)

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)

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)

Computer algebra for guaranteed accuracy. How does it help?

Japan journal of industrial and applied mathematics, 2009-10, Vol.26 (2-3), p.517-530

2009

Volltextzugriff (PDF)

Optimizing a Particular Real Root of a Polynomial by a Special Cylindrical Algebraic Decomposition

Mathematics in computer science, 2011-06, Vol.5 (2), p.209-221

2011

Volltextzugriff (PDF)

Derivation of rigorous conditions for high cell-type diversity by algebraic approach

BioSystems, 2007-09, Vol.90 (2), p.486-495

2007

Volltextzugriff (PDF)

起業家コミュニティはスタートアップを成長させるのか

組織科学, 2022/03/20, Vol.55(3), pp.49-61

穴井, 宏和

2022

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)

Foreword

Mathematics in computer science, 2011-09, Vol.5 (3), p.245-246

Anai, Hirokazu

2011

Volltextzugriff (PDF)

Explicit MPCを用いたディーゼルエンジン吸気系の制御

計測自動制御学会論文集, 2014, Vol.50(6), pp.445-454

2014

Volltextzugriff (PDF)

Foreword

Mathematics in computer science, 2011, Vol.5 (3), p.245-246

Anai, Hirokazu

2011

Volltextzugriff (PDF)

Algebraic Biology: Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007 : Proceedings

2007th edition, 2007

Volltextzugriff (PDF)

Symbolic-numeric estimation of parameters in biochemical models by quantifier elimination

Journal of bioinformatics and computational biology, 2006-10, Vol.4 (5), p.1097

2006

Volltextzugriff (PDF)

Mathematics and Artificial Intelligence Toward Innovation for Future Society: Expectations and Issues

TRENDS IN THE SCIENCES, 2020/09/01, Vol.25(9), pp.9_61-9_64

ANAI, Hirokazu

2020

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)

An SOS-QE Approach to Nonlinear Gain Analysis for Polynomial Dynamical Systems

Mathematics in computer science, 2011-09, Vol.5 (3), p.303-314

2011

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)

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)

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

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

2006

Volltextzugriff (PDF)

1 – 25 von 129

Suche als RSS-Feed

Aktive Filter

PublikationsformBuchkapitel

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(61)
Mit Volltextzugriff
(124)

Publikationsform

Sprache

Englisch
(106)
Japanisch
(50)

Erscheinungsjahr

n.n

Thema

Science & Technology
(50)
Computer Science
(41)
Technology
(34)
Mathematics
(33)
Physical Sciences
(29)
Computer Science, Theory & Methods
(28)
Life Sciences & Biomedicine
(23)
Mathematical & Computational Biology
(17)
Quantifier Elimination
(17)
Mathematics, Interdisciplinary Applications
(15)
Mathematics, Applied
(13)
Pwri Distributed Hydrological Model
(9)
Mathematics And Statistics
(8)
Polynomials
(7)
Robust Control
(7)
Algorithms
(6)
Gröbner Basis
(6)
Optimization
(6)
Automation & Control Systems
(5)
Control Design
(5)

15 weitere anzeigen...

Weniger anzeigen...

Menü

Weitere Dienste

Einstellungen

Can the Entrepreneurial Community Grow Startups?

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

ON DYNAMIC PATROLLING SECURITY GAMES

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

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

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

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

Computer algebra for guaranteed accuracy. How does it help?

Optimizing a Particular Real Root of a Polynomial by a Special Cylindrical Algebraic Decomposition

Derivation of rigorous conditions for high cell-type diversity by algebraic approach

起業家コミュニティはスタートアップを成長させるのか

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

Foreword

Explicit MPCを用いたディーゼルエンジン吸気系の制御

Foreword

Algebraic Biology: Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007 : Proceedings

Symbolic-numeric estimation of parameters in biochemical models by quantifier elimination

Mathematics and Artificial Intelligence Toward Innovation for Future Society: Expectations and Issues

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

An SOS-QE Approach to Nonlinear Gain Analysis for Polynomial Dynamical Systems

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

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

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

Aktive Filter

Suchergebnisse filtern