02789nam 2200313 450 991072438750332120230629212040.0(CKB)5470000002600757(NjHacI)995470000002600757(EXLCZ)99547000000260075720230629d2018 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierAnnals of the History and Philosophy of Biology 21/2016 /Universitätsverlag Göttingen,[Place of publication not identified] :Universitätsverlag Göttingen,2018.1 online resource (308 pages)The name DGGTB (Deutsche Gesellschaft für Geschichte und Theorie der Biologie; German Society for the History and Philosophy of Biology) reﬂects recent history as well as German tradition. The Society is a relatively late addition to a series of German societies of science and medicine that began with the "Deutsche Gesellschaft für Geschichte der Medizin und der Naturwissenschaften", founded in 1910 by Leipzig University's Karl Sudhoff (1853-1938), who wrote: "We want to establish a 'German' society in order to gather German-speaking historians together in our special disciplines so that they form the core of an international society ...". Yet Sudhoff, at this time of burgeoning academic internationalism, was "quite willing" to accommodate the wishes of a number of founding members and "drop the word German in the title of the Society and have it merge with an international society". The founding and naming of the Society at that time derived from a speciﬁ c set of historical circumstances, and the same was true some 80 years later when in 1991, in the wake of German reuniﬁcation, the "Deutsche Gesellschaft für Geschichte und Theorie der Biologie" was founded. From the start, the Society has been committed to bringing studies in the history and philosophy of biology to a wide audience, using for this purpose its Jahrbuch für Geschichte und Theorie der Biologie. Parallel to the Jahrbuch, the Verhandlungen zur Geschichte und Theorie der Biologie has become the by now traditional medium for the publication of papers delivered at the Society's annual meetings. In 2005 the Jahrbuch was renamed Annals of the History and Philosophy of Biology, reﬂ ecting the Society's internationalist aspirations in addressing comparative biology as a subject of historical and philosophical studies.German wit and humorGerman wit and humor.834.914NjHacINjHaclBOOK9910724387503321Annals of the History and Philosophy of Biology 212173451UNINA06247nam 22007935 450 991048383050332120251226203620.03-540-33171-910.1007/11730637(CKB)1000000000232897(SSID)ssj0000318182(PQKBManifestationID)11923580(PQKBTitleCode)TC0000318182(PQKBWorkID)10308718(PQKB)11695961(DE-He213)978-3-540-33171-1(MiAaPQ)EBC3067515(PPN)123132924(BIP)32374935(BIP)13313436(EXLCZ)99100000000023289720100301d2006 u| 0engurnn|008mamaatxtccrHybrid Systems: Computation and Control 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings /edited by Joao Hespanha, Ashish Tiwari1st ed. 2006.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2006.1 online resource (XII, 584 p.) Theoretical Computer Science and General Issues,2512-2029 ;3927Bibliographic Level Mode of Issuance: Monograph3-540-33170-0 Includes bibliographical references and index.Invited Talks -- Motion Coordination for Multi-agent Networks -- Towards a Third Generation of Control Systems -- Hybrid Systems—And Everything Else -- Regular Papers -- Behavioural Approximations for Restricted Linear Differential Hybrid Automata -- Bounded Model Checking for GSMP Models of Stochastic Real-Time Systems -- On the Stability of Zeno Equilibria -- Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems -- Output-Based Optimal Timing Control of Switched Systems -- Hybrid Modelling and Control of the Common Rail Injection System -- Event-Based Model Predictive Control and Verification of Integral Continuous-Time Hybrid Automata -- Improving Efficiency of Finite Plans by Optimal Choice of Input Sets -- Optimality Zone Algorithms for Hybrid Systems: Efficient Algorithms for Optimal Location and Control Computation -- Approximate Reachability Computation for Polynomial Systems -- A Lattice Theory for Solving Games of Imperfect Information -- Observability of Hybrid Automata by Abstraction -- Reconstruction of Switching Thresholds in Piecewise-Affine Models of Genetic Regulatory Networks -- Decision Problems for the Verification of Real-Time Software -- Laplacian Sheep: A Hybrid, Stop-Go Policy for Leader-Based Containment Control -- Optimal Control of Piece-Wise Polynomial Hybrid Systems Using Cylindrical Algebraic Decomposition -- The Reachability Problem for Uncertain Hybrid Systems Revisited: A Viability Theory Perspective -- Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs -- Verification Using Simulation -- Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes -- Simultaneous Optimization of Continuous Control Inputs and Discrete State Waypoints -- Approximate Abstraction of Stochastic HybridAutomata -- A Fully Automated Framework for Control of Linear Systems from LTL Specifications -- Reachability Analysis of Multi-affine Systems -- Approximation, Sampling and Voting in Hybrid Computing Systems -- Computational Methods for Reachability Analysis of Stochastic Hybrid Systems -- R-Charon, a Modeling Language for Reconfigurable Hybrid Systems -- Estimation and Conflict Detection in Human Controlled Systems -- Stability Analysis of Hybrid Systems Via Small-Gain Theorems -- Stochastic Hybrid Delay Population Dynamics -- Finite Gain l p Stabilization Is Impossible by Bit-Rate Constrained Feedback -- Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems -- Verifying Average Dwell Time by Solving Optimization Problems -- Interchange Format for Hybrid Systems: Abstract Semantics -- Model Checking of Hybrid Systems: From Reachability Towards Stability -- A Feedback Control Motivation for Generalized Solutions to Hybrid Systems -- Fixed Point Iteration for Computing the Time Elapse Operator -- Mixed Initial-Boundary Value Problems for Scalar Conservation Laws: Application to the Modeling of Transportation Networks -- Beyond Zeno: Get on with It!.These are the proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control, HSCC 2006, March 2006. 39 revised papers are presented together with the abstracts of 3 invited talks. The focus is on modeling, analysis, and implementation of dynamic and reactive systems involving both discrete and continuous behaviors. Topics addressed include tools for analysis and verification, control and optimization, modeling, engineering applications, and new directions in language support and implementation.Theoretical Computer Science and General Issues,2512-2029 ;3927Computer scienceComputers, Special purposeMicroprocessorsComputer architectureSoftware engineeringTheory of ComputationSpecial Purpose and Application-Based SystemsProcessor ArchitecturesComputer Science Logic and Foundations of ProgrammingSoftware EngineeringComputer science.Computers, Special purpose.Microprocessors.Computer architecture.Software engineering.Theory of Computation.Special Purpose and Application-Based Systems.Processor Architectures.Computer Science Logic and Foundations of Programming.Software Engineering.004.1/9Hespanha João P749664Tiwari Ashish1973-1758194HSCC (Conference)MiAaPQMiAaPQMiAaPQBOOK9910483830503321Hybrid Systems: Computation and Control4523007UNINA