LEADER 00865nam0-22003011i-450 001 990007362780403321 005 20180619085006.0 010 $a3-515-07495-3 035 $aFED01000736278 035 $a(Aleph)000736278FED01 100 $a20021030d1999----km-y0itay50------ba 101 0 $aeng 102 $aDE 105 $ay-------001yy 200 1 $aLivy and early Rome$ea study in historical method and judgment$fGary Forsythe 210 $aStuttgart$cSteiner$d1999 215 $a147 p.$d24 cm 225 1 $aHistoria$iEinzelschriften$v132 320 $aBibliografia: p. 136-140. Indice 676 $a937$v21$zita 700 1$aForsythe,$bGary$0265939 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990007362780403321 952 $aXXI A 710 (132)$b44230*$fFGBC 959 $aFGBC 996 $aLivy and early Rome$9693768 997 $aUNINA LEADER 01624nam0 2200325 i 450 001 SUN0053233 005 20170405094549.608 010 $a06-910587-2-5$d0.00 100 $a20060925d1999 |0engc50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 200 1 $a*Quaternions and rotation sequences$ea primer with applications to orbits, aerospace, and virtual reality$fJack B. Kuipers 210 $aPrinceton$cPrinceton University$d1999 215 $aXXII, 371 p.$cill.$d26 cm. 606 $a68U05$xComputer graphics; computational geometry (digital and algorithmic aspects) [MSC 2020]$2MF$3SUNC020787 606 $a70-XX$xMechanics of particles and systems [MSC 2020]$2MF$3SUNC021390 606 $a70B15$xKinematics of mechanisms and robots [MSC 2020]$2MF$3SUNC023371 606 $a70E15$xFree motion of a rigid body [MSC 2020]$2MF$3SUNC023372 606 $a70Mxx$xOrbital mechanics [MSC 2020]$2MF$3SUNC023373 606 $a15B33$xMatrices over special rings (quaternions, finite fields, etc.) [MSC 2020]$2MF$3SUNC023375 620 $aUS$dPrinceton$3SUNL000078 700 1$aKuipers$b, Jack B.$3SUNV042007$0532848 712 $aPrinceton university$3SUNV000300$4650 801 $aIT$bSOL$c20201026$gRICA 856 4 $uhttps://books.google.it/books?id=_2sS4mC0p-EC&printsec=frontcover&hl=it#v=onepage&q&f=false$zPreview 912 $aSUN0053233 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 70-XX 2307 $e08 5482 I 20060925 996 $aQuaternions and rotation sequences$942460 997 $aUNICAMPANIA LEADER 06457nam 22007095 450 001 996466137303316 005 20230406071258.0 010 $a3-540-69090-5 024 7 $a10.1007/11963516 035 $a(CKB)1000000000283925 035 $a(SSID)ssj0000318893 035 $a(PQKBManifestationID)11224887 035 $a(PQKBTitleCode)TC0000318893 035 $a(PQKBWorkID)10336498 035 $a(PQKB)11294068 035 $a(DE-He213)978-3-540-69090-0 035 $a(MiAaPQ)EBC3068561 035 $a(PPN)123140218 035 $a(EXLCZ)991000000000283925 100 $a20100301d2006 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aMembrane Computing$b[electronic resource] $e7th International Workshop, WMC 2006, Leiden, Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers /$fedited by Hendrik Jan Hoogeboom, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa 205 $a1st ed. 2006. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006. 215 $a1 online resource (X, 556 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4361 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-69088-3 320 $aIncludes bibliographical references and index. 327 $aInvited Lectures -- Biological Roots and Applications of P Systems: Further Suggestions -- Formalizing Spherical Membrane Structures and Membrane Proteins Populations -- Quorum Sensing: A Cell-Cell Signalling Mechanism Used to Coordinate Behavioral Changes in Bacterial Populations -- A Modeling Approach Based on P Systems with Bounded Parallelism -- Synchrony and Asynchrony in Membrane Systems -- MP Systems Approaches to Biochemical Dynamics: Biological Rhythms and Oscillations -- Modeling Signal Transduction Using P Systems -- Regular Papers -- Extended Spiking Neural P Systems -- Towards a Characterization of P Systems with Minimal Symport/Antiport and Two Membranes -- Expressing Control Mechanisms of Membranes by Rewriting Strategies -- Tissue P Systems with Communication Modes -- Towards a Hybrid Metabolic Algorithm -- Towards a P Systems Pseudomonas Quorum Sensing Model -- Membrane Systems with External Control -- A Case Study in (Mem)Brane Computation: Generating Squares of Natural Numbers -- Computing with Genetic Gates, Proteins, and Membranes -- Classifying States of a Finite Markov Chain with Membrane Computing -- Partial Knowledge in Membrane Systems: A Logical Approach -- Tau Leaping Stochastic Simulation Method in P Systems -- P Machines: An Automata Approach to Membrane Computing -- Modeling Dynamical Parallelism in Bio-systems -- P Colonies with a Bounded Number of Cells and Programs -- P Finite Automata and Regular Languages over Countably Infinite Alphabets -- Mitotic Oscillators as MP Graphs -- Infinite Hierarchies of Conformon-P Systems -- A Protein Substructure Based P System for Description and Analysis of Cell Signalling Networks -- Characterizations of Some Restricted Spiking Neural P Systems -- A Membrane Algorithm for the Min Storage Problem -- P Systems with Symport/Antiport and Time -- Towards Probabilistic Model Checking on P Systems Using PRISM -- Graphical Modeling of Higher Plants Using P Systems -- Identifying P Rules from Membrane Structures with an Error-Correcting Approach -- Computational Completeness of Tissue P Systems with Conditional Uniport -- Distributed Evolutionary Algorithms Inspired by Membranes in Solving Continuous Optimization Problems. 330 $aThe present volume contains a selection of papers presented at the Seventh Workshop on Membrane Computing, WMC7, which took place in Leiden, The Netherlands, during July 17?21, 2006. The ?rst three workshops on membrane computing were organized in Curtea de Arge¸ s, Romania ? they took place in August 2000 (with the proceedings published in Lecture Notes in Computer Science, volume2235),in August 2001(with a selection of papers published asa special issue of Fundamenta Informaticae, volume 49, numbers 1?3, 2002), and in August 2002 (with the proceedings published in Lecture Notes in Computer Science, volume 2597). The next three workshops were organized in Tarragona, Spain, in July 2003, in Milan, Italy, in June 2004, and in Vienna, Austria, in July 2005, with the proceedings published as volumes 2933, 3365, and 3850, respectively, of Lecture Notes in Computer Science. The 2006edition of WMC wasorganized(and supported) byLorentzCenter, Leiden, under the auspices of the European Molecular Computing Consortium (EMCC). Special attention was paid to the interaction of membrane computing with biology, focusing both on the biological roots of membrane computing and on applications of membrane computing in biology and medicine. Furthermore, the meeting was planned also as an event promoting the interaction and co- eration between the participants (e. g. , the workshop was one day longer than usually, with afternoons devoted mainly to joint work). The pre-proceedings of WMC7 were published by the Institute of Advanced Computer Science (LIACS) of Leiden University, and they were availableduring theworkshop. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4361 606 $aComputer science 606 $aMachine theory 606 $aComputer simulation 606 $aBioinformatics 606 $aTheory of Computation 606 $aFormal Languages and Automata Theory 606 $aComputer Modelling 606 $aComputational and Systems Biology 615 0$aComputer science. 615 0$aMachine theory. 615 0$aComputer simulation. 615 0$aBioinformatics. 615 14$aTheory of Computation. 615 24$aFormal Languages and Automata Theory. 615 24$aComputer Modelling. 615 24$aComputational and Systems Biology. 676 $a621.39/1 702 $aHoogeboom$b Hendrik Jan$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPaun$b Gheorghe$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRozenberg$b Grzegorz$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSalomaa$b Arto$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aWMC 2006 906 $aBOOK 912 $a996466137303316 996 $aMembrane Computing$9772585 997 $aUNISA