| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNIBAS000036080 |
|
|
Autore |
De Sanctis, Gaetano |
|
|
Titolo |
Ricordi della mia vita / Gaetano De Sanctis ; a cura di Silvio Accame |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Firenze : Le Monnier, 1970 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Bibliotechina del saggiatore ; 32 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNISA996466086103316 |
|
|
Titolo |
Automated Deduction in Geometry [[electronic resource] ] : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers / / edited by Dongming Wang |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 1997.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (VII, 240 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence ; ; 1360 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computers |
Programming languages (Electronic computers) |
Artificial intelligence |
Mathematical logic |
Computer graphics |
Algorithms |
Theory of Computation |
Programming Languages, Compilers, Interpreters |
Artificial Intelligence |
Mathematical Logic and Formal Languages |
Computer Graphics |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Automated geometric reasoning: Dixon resultants, Gröbner bases, and characteristic sets -- Extended Dixon's resultant and its applications -- Computational geometry problems in REDLOG -- Probabilistic verification of elementary geometry statements -- Computational synthetic geometry with Clifford algebra -- Clifford algebraic calculus for geometric reasoning -- Area in Grassmann geometry -- Automated production of readable proofs for theorems in non-Euclidean geometries -- Points on algebraic curves and the parametrization problem -- Flat central configurations of four planet motions -- Integration of reasoning and algebraic calculus in geometry. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the thoroughly refereed and revised post-workshop proceedings of the International Workshop on Automated Deduction in Geometry, held in Toulouse, France, in September 1996. The revised extended papers accepted for inclusion in the volume were selected on the basis of double reviewing. Among the topics covered are automated geometric reasoning and the deduction applied to Dixon resultants, Gröbner bases, characteristic sets, computational geometry, algebraic geometry, and planet motion; furthermore the system REDLOG is demonstrated and the verification of geometric statements as well as the automated production of proof in Euclidean Geometry are present. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910136797703321 |
|
|
Autore |
Simone Fulda |
|
|
Titolo |
Biology-driven targeted therapy of pediatric soft-tissue and bone tumors : current opportunities and future challenges / / edited by Thomas G. P. Grünewald and Simone Fulda |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Frontiers Media SA, 2016 |
|
Lausanne, Switzerland : , : Frontiers Media SA, , 2016 |
|
©2016 |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (147 pages) : illustrations, charts; digital, PDF file(s) |
|
|
|
|
|
|
Collana |
|
Frontiers Research Topics |
|
|
|
|
|
|
Soggetti |
|
Oncology - Research |
Cancer in children - Treatment |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
Sommario/riassunto |
|
Recent advances in the understanding of the biological basis of pediatric soft-tissue and bone tumors, especially owing to the advent of “omics” technologies, have led to an exponential increase in the current knowledge on the genetic and cellular patho-mechanisms that drive these diseases. This offers the unprecedented opportunity to develop and implement targeted therapies such as monoclonal antibodies, small molecules, oncolytic viruses, and immunotherapies in standard and/or personalized treatment regimens. However, to date only a few examples document a successful translation of discoveries from the bench to the bedside. Recent international expert congresses such as the “Pediatric Cancer Translational Genomics” conference (Phoenix, Arizona, 2012), the ESF-EMBO workshop on “Molecular Biology and Innovative Therapies in Sarcomas” (Pultusk, Poland, 2012), and the AACR special meeting on “Pediatric Cancer at the Crossroads – Translating Discovery into Improved Outcomes” (San Diego, California, 2013) further emphasize the urgent need for a more rapid and especially more successful translational process. Hence, we strongly believe that a Frontiers Research Topic aiming at this aspect would fit |
|
|
|
|
|
|
|
|
|
|
just in time and that it would have great potential to receive numerous contributions of outstanding experts of the field. The proposed Frontiers Research Topic shall provide a platform for active and interdisciplinary discussion, summarize current state-of-the-art knowledge on all basic research and translational aspects in pediatric soft-tissue and bone tumors, and offer new perspectives of how to further promote and accelerate the translational process. We welcome high-quality original research articles, brief reports, as well as opinion, hypothesis, and review articles, and especially encourage submissions from early-career scientists. |
|
|
|
|
|
| |