| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910145100803321 |
|
|
Titolo |
Biologics : targets & therapy |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Auckland, N.Z., : Dove Medical Press, ©2007- |
|
|
|
|
|
|
|
ISSN |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Biologicals |
Biological Factors |
Produits biologiques |
Médicaments biologiques |
Periodical |
Periodicals. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Periodico |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910484794003321 |
|
|
Titolo |
Automated Deduction in Geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers / / edited by Tetsuo Ida, Jacques Fleuriot |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2013.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (X, 193 p. 55 illus.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence, , 2945-9141 ; ; 7993 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Computer graphics |
Machine theory |
Computer science - Mathematics |
Discrete mathematics |
Software engineering |
Artificial Intelligence |
Computer Graphics |
Formal Languages and Automata Theory |
Symbolic and Algebraic Manipulation |
Discrete Mathematics in Computer Science |
Software Engineering |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Proof and Computation in Geometry -- Automation of Geometry: Theorem Proving, Diagram -- Generation, and Knowledge Management -- Improving Angular Speed Uniformity by C1 Piecewise Reparameterization -- Extending the Descartes Circle Theorem for Steiner n-Cycles -- Equation Systems with Free-Coordinates Determinants -- Formal Proof in Coq and Derivation of an Imperative Program to Compute Convex Hulls -- Realizations of Volume Frameworks -- Rigidity of Origami Universal Molecules -- Algebraic Analysis of Huzita’s Origami Operations and Their Extensions -- On the |
|
|
|
|
|
|
|
|
|
|
|
Formal Analysis of Geometrical Optics in HOL -- Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter Proofs. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Automated Deduction in Geometry, ADG 2012, held in Edinburgh, UK, in September 2012. The 10 revised full papers presented together with 2 invited papers were carefully selected during two rounds of reviewing and improvement from the lectures given at the workshop. The conference represents a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction; the scope of the ADG 2012 moreover has been expanded to cover topics in dynamic geometry. |
|
|
|
|
|
|
|
| |