Search results for "DESCARTES"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
131	Arno Eigenwillig, Vikram Sharma 0001, Chee-Keng Yap	Almost tight recursion tree bounds for the Descartes method.	ISSAC	2006	DBLP DOI BibTeX RDF	Davenport-Mahler bound, Descartes method, Descartes rule of signs, polynomial real root isolation, Bernstein basis
113	Ronald L. Graham, Jeffrey C. Lagarias, Colin L. Mallows, Allan R. Wilks, Catherine H. Yan	Apollonian Circle Packings: Geometry and Group Theory II. Super-Apollonian Group and Integral Packings.	Discret. Comput. Geom.	2006	DBLP DOI BibTeX RDF
113	Ronald L. Graham, Jeffrey C. Lagarias, Colin L. Mallows, Allan R. Wilks, Catherine H. Yan	Apollonian Circle Packings: Geometry and Group Theory I. The Apollonian Group.	Discret. Comput. Geom.	2005	DBLP DOI BibTeX RDF
105	Ramkumar V. Pichai, Joseph E. Urban	A technique for validating Booch object-oriented designs from extensions to the Descartes specification language.	HASE	1996	DBLP DOI BibTeX RDF	Booch object-oriented design validation, Descartes specification language, executable specification language, traceability approach, real time systems, software reliability, rapid prototyping, object-oriented methods, CASE tool, safety critical software, secure systems, software validation, high assurance systems
87	Jeremy R. Johnson, Werner Krandick, Kevin Lynch, David G. Richardson, Anatole D. Ruslanov	High-performance implementations of the Descartes method.	ISSAC	2006	DBLP DOI BibTeX RDF	Bernstein bases, Descartes, Taylor shift, de Casteljau, polynomial real root isolation, register tiling, high-performance computing, code generation, performance tuning
80	Saugata Basu, Nayantara Bhatnagar, Parikshit Gopalan, Richard J. Lipton	Polynomials That Sign Represent Parity and Descartes Rule of Signs.	CCC	2004	DBLP DOI BibTeX RDF
75	Ronald L. Graham, Jeffrey C. Lagarias, Colin L. Mallows, Allan R. Wilks, Catherine H. Yan	Apollonian Circle Packings: Geometry and Group Theory III. Higher Dimensions.	Discret. Comput. Geom.	2006	DBLP DOI BibTeX RDF
68	Hiroshi Date, Michinobu Nakao, Kazumi Hatayama	A parallel sequential test generation system DESCARTES based on real-valued logic simulation.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	parallel sequential test generation system, DESCARTES, real-valued logic simulation, redundant fault identification program, algorithmic test generation program, ISCAS '89 benchmark sequential circuits, distributed processing environment oriented system, concurrent accelerative test generation, parallel algorithms, computational complexity, VLSI, fault diagnosis, logic testing, redundancy, design for testability, sequential circuits, logic CAD, VLSI design, stuck-at faults, automatic test generation, synchronous sequential circuits, automatic test software, test quality
61	Arno Eigenwillig, Lutz Kettner, Werner Krandick, Kurt Mehlhorn, Susanne Schmitt, Nicola Wolpert	A Descartes Algorithm for Polynomials with Bit-Stream Coefficients.	CASC	2005	DBLP DOI BibTeX RDF
61	Jean-Yves Lucas, Jean-Luc Dormoy, Bruno Ginoux, Claudia Jimenez-Dominguez, Laurent Pierre	How to Reconcile Formal Specifications and Automatic Programming: The Descartes System.	APSEC	1998	DBLP DOI BibTeX RDF	Mathematical-type language, Automated Software Design, Formal Specifications, Formal Methods, Automatic Programming
51	Alligator Descartes, Tim Bunce	Programming the Perl DBI - database programming with Perl.		2000	RDF
42	Saugata Basu, Nayantara Bhatnagar, Parikshit Gopalan, Richard J. Lipton	Polynomials that Sign Represent Parity and Descartes' Rule of Signs.	Comput. Complex.	2008	DBLP DOI BibTeX RDF	68Q17, Subject classification
42	Michael Schmitt 0001	RBF Neural Networks and Descartes' Rule of Signs.	ALT	2002	DBLP DOI BibTeX RDF
38	Gennady L. Andrienko, Natalia V. Andrienko	Knowledge-Based Visualization to Support Spatial Data Mining.	IDA	1999	DBLP DOI BibTeX RDF
38	Vaughan R. Pratt	Rational Mechanisms and Natural Mathematics.	TAPSOFT	1995	DBLP DOI BibTeX RDF
26	Kurt Mehlhorn, Michael Sagraloff	Isolating real roots of real polynomials.	ISSAC	2009	DBLP DOI BibTeX RDF	bisection algorithm, bitstream coefficient, descartes' rule of sign, real polynomial, root isolation
26	Vikram Sharma 0001	Complexity of real root isolation using continued fractions.	ISSAC	2007	DBLP DOI BibTeX RDF	Davenport-Mahler bound, descartes rule of signs, polynomial real root isolation, continued fractions
26	Arno Eigenwillig, Michael Kerber, Nicola Wolpert	Fast and exact geometric analysis of real algebraic plane curves.	ISSAC	2007	DBLP DOI BibTeX RDF	descartes method, sturm-habicht sequence, topology computation, algebraic curves, exact geometric computation, cylindrical algebraic decomposition
26	Yagati N. Lakshman, B. David Saunders	Sparse shifts for univariate polynomials.	Appl. Algebra Eng. Commun. Comput.	1996	DBLP DOI BibTeX RDF	BCH decoding, Pochhammer basis, Chebyshev basis, Descartes’ rule of signs, Sparse polynomials, Real roots
23	Máté L. Telek	Geometry of the signed support of a multivariate polynomial and Descartes' rule of signs.	CoRR	2023	DBLP DOI BibTeX RDF
23	Marija Sakota, Maxime Peyrard, Robert West 0001	Descartes: Generating Short Descriptions of Wikipedia Articles.	WWW	2023	DBLP DOI BibTeX RDF
23	Toby Meadows	Did Descartes make a Diagonal Argument?	J. Philos. Log.	2022	DBLP DOI BibTeX RDF
23	Alperen Ali Ergür, Josué Tonelli-Cueto, Elias P. Tsigaridas	A Near-Optimal Expected Boolean Complexity Bound for Descartes Solver.	CoRR	2022	DBLP BibTeX RDF
23	Marija Sakota, Maxime Peyrard, Robert West 0001	Descartes: Generating Short Descriptions of Wikipedia Articles.	CoRR	2022	DBLP DOI BibTeX RDF
23	Josué Tonelli-Cueto	A p-adic Descartes solver: the Strassman solver.	CoRR	2022	DBLP DOI BibTeX RDF
23	Haifeng Li 0001, Cong Xu, Lin Ma 0003, Hongjian Bo, David Zhang 0001	MODENN: A Shallow Broad Neural Network Model Based on Multi-Order Descartes Expansion.	IEEE Trans. Pattern Anal. Mach. Intell.	2022	DBLP DOI BibTeX RDF
23	Alexandru Tupan	On the Complex Descartes Circle Theorem.	Am. Math. Mon.	2022	DBLP DOI BibTeX RDF
23	Suhua Li, Jiacheng Xie, Xuewen Wang, Fang Ren, Xin Zhang, Qingbao Bao	Path Planning of Hydraulic Support Pushing Mechanism Based on Extreme Learning Machine and Descartes Path Planning.	Symmetry	2021	DBLP DOI BibTeX RDF
23	Elisenda Feliu, Máté L. Telek	On generalizing Descartes' rule of signs to hypersurfaces.	CoRR	2021	DBLP BibTeX RDF
23	Frédéric Bihan, Alicia Dickenstein, Jens Forsgård	Optimal Descartes' Rule of Signs for Circuits.	CoRR	2020	DBLP BibTeX RDF
23	Richard Evan Schwartz, Serge Tabachnikov	Descartes Circle Theorem, Steiner Porism, and Spherical Designs.	Am. Math. Mon.	2020	DBLP DOI BibTeX RDF
23	Pietro Milici	A differential extension of Descartes' foundational approach: A new balance between symbolic and analog computation.	Comput.	2020	DBLP DOI BibTeX RDF
23	Mary Domski	Imagination, metaphysics, mathematics: Descartes's arguments for the Vortex Hypothesis.	Synth.	2019	DBLP DOI BibTeX RDF
23	Alan Nelson	Descartes on the limited usefulness of mathematics.	Synth.	2019	DBLP DOI BibTeX RDF
23	Peter Brödner	Coping with Descartes' error in information systems.	AI Soc.	2019	DBLP DOI BibTeX RDF
23	Ricardo Sousa Silvestre	A Brief Critical Introduction to the Ontological Argument and its Formalization: Anselm, Gaunilo, Descartes, Leibniz and Kant.	FLAP	2018	DBLP BibTeX RDF
23	Oscar Luis Vera-Pérez, Martin Monperrus, Benoit Baudry	Descartes: A PITest Engine to Detect Pseudo-Tested Methods - Tool Demonstration.	CoRR	2018	DBLP BibTeX RDF
23	Vinitha Hannah Subburaj, Joseph E. Urban	Specifying Security Requirements in Multi-agent Systems Using the Descartes-Agent Specification Language and AUML.	AITM/ISM@FedCSIS	2018	DBLP DOI BibTeX RDF
23	Oscar Luis Vera-Pérez, Martin Monperrus, Benoit Baudry	Descartes: a PITest engine to detect pseudo-tested methods: tool demonstration.	ASE	2018	DBLP DOI BibTeX RDF
23	Vinitha Hannah Subburaj, Joseph E. Urban	Descartes-Agent: Verifying Formal Specifications Using the Model Checking Technique.	IRC	2018	DBLP DOI BibTeX RDF
23	Nikolaus Huber, Fabian Brosig, Simon Spinner, Samuel Kounev, Manuel Bähr	Model-Based Self-Aware Performance and Resource Management Using the Descartes Modeling Language.	IEEE Trans. Software Eng.	2017	DBLP DOI BibTeX RDF
23	María A. Grande-Ortiz, Gonzalo Tevar-Sanz, Esperanza Ayuga-Téllez, Concepción González-García, Álvaro Sánchez-De Medina, Juan José Ramírez-Montoro	Cooperative learning in Forestry Engineering with NIPPE Descartes software.	Comput. Appl. Eng. Educ.	2017	DBLP DOI BibTeX RDF
23	Samuel Kounev, Nikolaus Huber, Fabian Brosig, Simon Spinner, Manuel Bähr	Model-Based Self-Aware Performance and Resource Management Using the Descartes Modeling Language.	Software Engineering	2017	DBLP BibTeX RDF
23	Jeroen De Maeyer, Bart Moyaers, Eric Demeester	Cartesian path planning for arc welding robots: Evaluation of the descartes algorithm.	ETFA	2017	DBLP DOI BibTeX RDF
23	Frédéric Bihan, Alicia Dickenstein	Descartes' Rule of Signs for Polynomial Systems supported on Circuits.	CoRR	2016	DBLP BibTeX RDF
23	Daniel J. Bates, Jonathan D. Hauenstein, Matthew E. Niemerg, Frank Sottile	Software for the Gale transform of fewnomial systems and a Descartes rule for fewnomials.	Numer. Algorithms	2016	DBLP DOI BibTeX RDF
23	Nuno Luzia	A Proof of The Pythagorean Theorem After Descartes.	Am. Math. Mon.	2016	DBLP BibTeX RDF
23	Stuart A. Kauffman	Answering Descartes: Beyond Turing.	The Once and Future Turing	2016	DBLP DOI BibTeX RDF
23	Pierre Boutry, Gabriel Braun, Julien Narboux	From Tarski to Descartes: Formalization of the Arithmetization of Euclidean Geometry.	SCSS	2016	DBLP DOI BibTeX RDF
23	Jürgen Walter, Simon Eismann, Adrian Hildebrandt	Automated Transformation of Descartes Modeling Language to Palladio Component Model.	Softwaretechnik-Trends	2015	DBLP BibTeX RDF
23	Jens Forsgård, Vladimir P. Kostov, Boris Z. Shapiro	Could René Descartes Have Known This?	Exp. Math.	2015	DBLP DOI BibTeX RDF
23	Daniel J. Bates, Jonathan D. Hauenstein, Matthew E. Niemerg, Frank Sottile	Software for the Gale transform of fewnomial systems and a Descartes rule for fewnomials.	CoRR	2015	DBLP BibTeX RDF
23	Manuel Eberl	Descartes' Rule of Signs.	Arch. Formal Proofs	2015	DBLP BibTeX RDF
23	Samuel Kounev, Fabian Brosig, Nikolaus Huber	The Descartes Modeling Language for Self-Aware Performance and Resource Management.	Software Engineering & Management	2015	DBLP BibTeX RDF
23	Sam Northshield	Complex Descartes Circle Theorem.	Am. Math. Mon.	2014	DBLP DOI BibTeX RDF
23	Michael Sagraloff	On the complexity of the Descartes method when using approximate arithmetic.	J. Symb. Comput.	2014	DBLP DOI BibTeX RDF
23	Steffen Becker 0001, Wilhelm Hasselbring, André van Hoorn, Samuel Kounev, Ralf H. Reussner (eds.)	Proceedings of the Symposium on Software Performance: Joint Descartes/Kieker/Palladio Days, SoSP 2014, Stuttgart, Germany, November 26-28, 2014	SoSP	2014	DBLP BibTeX RDF
23	Alexandru Danciu, Andreas Brunnert, Helmut Krcmar	Towards Performance Awareness in Java EE Development Environments.	SoSP	2014	DBLP BibTeX RDF
23	Christian Wulf, Nils Christian Ehmke, Wilhelm Hasselbring	Toward a Generic and Concurrency-Aware Pipes & Filters Framework.	SoSP	2014	DBLP BibTeX RDF
23	Felix Willnecker, Andreas Brunnert, Helmut Krcmar	Predicting Energy Consumption by Extending the Palladio Component Model.	SoSP	2014	DBLP BibTeX RDF
23	Christian Klaussner, Sebastian Lehrig	Using Java EE ProtoCom for SAP HANA Cloud.	SoSP	2014	DBLP BibTeX RDF
23	Misha Strittmatter, Michael Langhammer	Identifying Semantically Cohesive Modules within the Palladio Meta-Model.	SoSP	2014	DBLP BibTeX RDF
23	Marigianna Skouradaki, Vincenzo Ferme, Cesare Pautasso, Dieter Roller 0001, Frank Leymann	Benchmarking Workflow Management Systems.	SoSP	2014	DBLP BibTeX RDF
23		Preface.	SoSP	2014	DBLP BibTeX RDF
23	Dusan Okanovic, Milan Vidakovic	Evaluation of Alternative Instrumentation Frameworks.	SoSP	2014	DBLP BibTeX RDF
23	Sebastian Lehrig, Matthias Becker 0001	Approaching the Cloud: Using Palladio for Scalability, Elasticity, and Efficiency Analyses.	SoSP	2014	DBLP BibTeX RDF
23	Andreas Brunnert, Stefan Neubig, Helmut Krcmar	Evaluating the Prediction Accuracy of Generated Performance Models in Up- and Downscaling Scenarios.	SoSP	2014	DBLP BibTeX RDF
23	Jóakim von Kistowski, Nikolas Herbst, Samuel Kounev	Using and Extending LIMBO for the Descriptive Modeling of Arrival Behaviors.	SoSP	2014	DBLP BibTeX RDF
23	Christian Stier, Henning Groenda, Anne Koziolek	Towards Modeling and Analysis of Power Consumption of Self-Adaptive Software Systems in Palladio.	SoSP	2014	DBLP BibTeX RDF
23	Werner Dirlewanger	The DIN/ISO Definition and a Measurement Procedure of SW-Efficiency.	SoSP	2014	DBLP BibTeX RDF
23	Jan Waller, Florian Fittkau, Wilhelm Hasselbring	Application Performance Monitoring: Trade-Off between Overhead Reduction and Maintainability.	SoSP	2014	DBLP BibTeX RDF
23	Michael Sagraloff, Kurt Mehlhorn	Computing Real Roots of Real Polynomials - An Efficient Method Based on Descartes' Rule of Signs and Newton Iteration.	CoRR	2013	DBLP BibTeX RDF
23	Elodie Cassan	Descartes' Theory of Judgement: Warranted Assertions, the Key to Science.	Judgement and the Epistemic Foundation of Logic	2013	DBLP DOI BibTeX RDF
23	Fabian Gorsler, Fabian Brosig, Samuel Kounev	Controlling the Palladio Bench using the Descartes Query Language.	KPDAYS	2013	DBLP BibTeX RDF
23	Vinitha Hannah Subburaj	Executable specifications for agent systems using the extended Descartes specification language with tool support.		2013	RDF
23	John A. Schuster	Physico-mathematics and the search for causes in Descartes' optics - 1619-1637.	Synth.	2012	DBLP DOI BibTeX RDF
23	Shuichi Moritsugu	Extending the Descartes Circle Theorem for Steiner n-Cycles.	Automated Deduction in Geometry	2012	DBLP DOI BibTeX RDF
23	Michael Sagraloff	When Newton meets Descartes: a simple and fast algorithm to isolate the real roots of a polynomial.	ISSAC	2012	DBLP DOI BibTeX RDF
23	Pentti Haukkanen, Timo Tossavainen	A generalization of Descartes' rule of signs and fundamental theorem of algebra.	Appl. Math. Comput.	2011	DBLP DOI BibTeX RDF
23	Graham White 0001	Descartes Among the Robots - Computer Science and the Inner/Outer Distinction.	Minds Mach.	2011	DBLP DOI BibTeX RDF
23	Michael Sagraloff	When Newton meets Descartes: A Simple and Fast Algorithm to Isolate the Real Roots of a Polynomial	CoRR	2011	DBLP BibTeX RDF
23	Stuart A. Kauffman	Answering Descartes: Beyond Turing.	ECAL	2011	DBLP BibTeX RDF
23	Vinitha Hannah Subburaj, Joseph E. Urban	Intelligent Agent Software Development Using AUML and the Descartes Specification Language.	ISORC Workshops	2011	DBLP DOI BibTeX RDF
23	Joseph E. Urban, Vinitha Hannah Subburaj, Lavanya Ramamoorthy	Extending the Descartes Specification Language Towards Process Modeling.	FedCSIS	2011	DBLP BibTeX RDF
23	Vinitha Hannah Subburaj, Joseph E. Urban	Intelligent Software Agent Design Issues with Extensions to the Descartes Specification Language.	SEKE	2010	DBLP BibTeX RDF
23	Hajrudin Fejzic, Chris Freiling, Dan Rinne	Descartes' Rule of Signs, Alternations of Data Sets, and Balanced Differences.	Am. Math. Mon.	2009	DBLP BibTeX RDF
23	Arno Eigenwillig	Real root isolation for exact and approximate polynomials using Descartes' rule of signs.		2008	RDF
23	Michael A. Medina, Joseph E. Urban	An Approach to Deriving Reactive Agent Designs from Extensions to the Descartes Specification Language.	ISADS	2007	DBLP DOI BibTeX RDF
23	Vilmos Komornik	Another Short Proof of Descartes's Rule of Signs.	Am. Math. Mon.	2006	DBLP BibTeX RDF
23	Werner Krandick, Kurt Mehlhorn	New bounds for the Descartes method.	J. Symb. Comput.	2006	DBLP DOI BibTeX RDF
23	Kurt Mehlhorn, Arno Eigenwillig, Lutz Kettner, Werner Krandick, Susanne Schmitt, Nicola Wolpert	A Descartes Algorithms for Polynomials with Bit-Stream Coefficients.	Reliable Implementation of Real Number Algorithms	2006	DBLP BibTeX RDF
23	Werner Krandick, Kurt Mehlhorn	New bounds for the Descartes method.	SIGSAM Bull.	2005	DBLP DOI BibTeX RDF
23	Pierre Schott, Laurent Beaudoin	Different approximations to the computation of reflected and refracted angles thanks to snell-descartes laws and fresnel coefficients.	IGARSS	2005	DBLP DOI BibTeX RDF
23	Michael Schmitt 0001	New Designs for the Descartes Rule of Signs.	Am. Math. Mon.	2004	DBLP BibTeX RDF
23	Xiaoshen Wang	A Simple Proof of Descartes's Rule of Signs.	Am. Math. Mon.	2004	DBLP BibTeX RDF
23	Jaume Paradís, Josep Pla, Pelegrí Viader	Fermat and the Quadrature of the Folium of Descartes.	Am. Math. Mon.	2004	DBLP BibTeX RDF
23	Justin T. Maris, Matthew D. Roper, Ronald A. Olsson	DesCaRTeS: a run-time system with SR-like functionality for programming a network of embedded systems.	Comput. Lang. Syst. Struct.	2003	DBLP DOI BibTeX RDF
23	Michael Schmitt 0001	Descartes' Rule of Signs for Radial Basis Function Neural Networks.	Neural Comput.	2002	DBLP DOI BibTeX RDF
23	Jeffrey C. Lagarias, Colin L. Mallows, Allan R. Wilks	Beyond the Descartes Circle Theorem.	Am. Math. Mon.	2002	DBLP BibTeX RDF
23	Gennady L. Andrienko, Natalia V. Andrienko	Intelligent support of visual data analysis in Descartes.	Smart Graphics	2002	DBLP DOI BibTeX RDF