105 research outputs found
Genève, Bibliothèque de Genève, Ms. lat. 92 : Aegidius Romanus, De regimine principum; Aesop, Life, Fables
No full textThis manuscript, copied in the years 1460-1480, contains De regimine principum by Aegidius Romanus, decorated with a miniature in which the author (Aegidius Romanus) dedicates the book to the king of France. The last leaves contain the Life of Aesop and his Fables, translated into Latin by Rinuccio di Arezzo. The manuscript was owned by François Bonivard († 1570), who was prior of the Cluniac Priory of St. Victor in Geneva.Online Since: 2010-04-1
Exercitationum Iuridicarum De Feudis / ... Publicae ventilationi Subiiciet Heinricus Fridericus a Schönberg/ Eques Misnicus Author d. 7. Maii Anno, M.DC.LXXIV. horis locoq[ue] solitis
No full textDiscretization of Continuous Dynamical Systems Using UPPAAL
Get PDFWe want to enable the analysis of continuous dynamical systems (where the evolution of a vector of continuous state variables is described by differential equations) by model checking. We do this by showing how such a dynamical system can be translated into a discrete model of communicating timed automata that can be analyzed by the UPPAAL tool. The basis of the translation is the well-known Euler approach for solving differential equations where we use fixed discrete value steps instead of fixed time steps. Each state variable is represented by a timed automaton in which the delay for taking the next value is calculated on the fly using the differential equations. The state variable automata proceed independently but may notify each other when a value step has been completed; this leads to a recalculation of delays. The approach has been implemented in the tool ANIMO for analyzing biological kinase networks in cells. This tool has been used in actual biological research on osteoarthritis dealing with systems where the dimension of the state vector (the number of nodes in the network) is in the order of one hundred
- …
