{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":50,"n_cols":5,"rows_kept":50,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[9,2,9,3],[10,2,10,3],[23,2,23,3],[24,2,24,3],[28,2,28,3],[31,2,31,3],[31,4,31,5],[32,2,32,3],[32,4,32,5],[33,2,33,3],[34,2,34,3],[36,2,36,3],[37,2,37,3],[38,2,38,3],[39,2,39,3],[42,2,42,3],[43,2,43,3],[47,2,47,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996466039703316"]
[null,null,"Titolo",null,"Hybrid Systems: Computation and Control [[electronic resource] ] : 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings / / edited by Rupak Majumdar, Paulo Tabuada"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009"]
[null,null,"ISBN",null,"3-642-00602-7"]
[null,null,"Edizione",null,"[1st ed. 2009.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XIV, 492 p.)"]
[null,null,"Collana",null,"Theoretical Computer Science and General Issues, , 2512-2029 ; ; 5469"]
[null,null,"Classificazione",null,"DAT 240f"]
[{"$nulls":4},"SS 4800"]
[null,null,"Disciplina",null,"004.19"]
[null,null,"Soggetti",null,"Computer networks"]
[{"$nulls":4},"Computer systems"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Computers, Special purpose"]
[{"$nulls":4},"Microprocessors"]
[{"$nulls":4},"Computer architecture"]
[{"$nulls":4},"Computer science"]
[{"$nulls":4},"Computer Communication Networks"]
[{"$nulls":4},"Computer System Implementation"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Special Purpose and Application-Based Systems"]
[{"$nulls":4},"Processor Architectures"]
[{"$nulls":4},"Computer Science Logic and Foundations of Programming"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","International conference proceedings."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Regular Papers -- Applications of MetiTarski in the Verification of Control and Hybrid Systems -- Three-Dimensional Kneed Bipedal Walking: A Hybrid Geometric Approach -- Safe and Secure Networked Control Systems under Denial-of-Service Attacks -- Actors without Directors: A Kahnian View of Heterogeneous Systems -- Simultaneous Optimal Control and Discrete Stochastic Sensor Selection -- Hybrid Modelling, Power Management and Stabilization of Cognitive Radio Networks -- Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study -- Local Identification of Piecewise Deterministic Models of Genetic Networks -- Distributed Wombling by "]
[{"$nulls":4},"Robotic Sensor Networks -- Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces -- Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach -- Parameter Synthesis for Hybrid Systems with an Application to Simulink Models -- Convergence of Distributed WSN Algorithms: The Wake-Up Scattering Problem -- Finite Automata as Time-Inv Linear Systems Observability, Reachability and More -- Optimal Boundary Control of Convention-Reaction Transport Systems with Binary Control Functions -- Trajectory Based Verification Using Local Finite-Time Invariance -- Synthesis of Trajectory-Dependent Control Lyapunov Functions by a Single Linear Program -- Uniform Consensus among Self-driven Particles -- Optimization of Multi-agent Motion Programs with Applications to Robotic Marionettes -- Decompositional Construction of Lyapunov Functions for Hybrid Systems -- Existence of Periodic Orbits with Zeno Behavior in Completed Lagrangian Hybrid Systems -- Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems -- Hybrid Modeling, Identification, and Predictive Control: An Application to Hybrid Electric Vehicle Energy Management -- On Event Based State Estimation -- Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer -- Event-Triggering in Distributed Networked Systems with Data Dropouts and Delays -- Specification and Analysis of Network Resource Requirements of Control Systems -- Periodically Controlled Hybrid Systems -- Stabilization of Discrete-Time Switched Linear Systems: A Control-Lyapunov Function Approach -- Bounded and Unbounded Safety Verification Using Bisimulation Metrics -- Short Papers -- The Optimal Boundary and Regulator Design Problem for Event-Driven Controllers -- Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems -- An Analysis of the Fuller Phenomenon on Transfinite Hybrid Automata -- Stochastic Optimal Tracking with Preview for Linear Discrete-Time Markovian Jump Systems (Extended Abstract) -- Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting -- Orbital Control for a Class of Planar Impulsive Hybrid Systems with Controllable Resets -- Distributed Tree Rearrangements for Reachability and Robust Connectivity -- The Sensitivity of Hybrid Systems Optimal Cost Functions with Respect to Switching Manifold Parameters -- STORMED Hybrid Games -- Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment."]
[null,null,null,"Sommario/riassunto","This book constitutes the refereed proceedings of the 12th International Conference on Hybrid Systems: Computation and Control, HSCC 2009, held in San Francisco, CA, USA, in April 2009. The 30 revised full papers and 10 revised short papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers focus on research in embedded reactive systems involving the interplay between symbolic/discrete and continuous dynamical behaviors and feature the latest developments of applications and theoretical advancements in the analysis, design, control, optimization, and implementation of hybrid systems."]
[null,"2.","Record Nr.",null,"UNINA9910972628003321"]
[null,null,"Titolo",null,"Approaches to the history and dialectology of Arabic : papers in honor of Pierre Larcher / / edited by Manuel Sartori, Manuela E. B. Giolfo, Philippe Cassuto"]
[null,null,"Pubbl/distr/stampa",null,"Leiden ; ; Boston : , : Brill, , 2016"]
[null,null,"ISBN",null,"9789004325883"]
[{"$nulls":4},"9004325883"]
[null,null,"Descrizione fisica",null,"1 online resource (606 pages)"]
[null,null,"Collana",null,"Studies in Semitic languages and linguistics ; ; v. 88"]
[null,null,"Disciplina",null,"492.709"]
[null,null,"Soggetti",null,"Arabic language - History"]
[{"$nulls":4},"Arabic language - Dialects"]
[{"$nulls":4},"Semitic languages"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Bibliographic Level Mode of Issuance: Monograph"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Front Matter / Manuel Sartori , Manuela E.B. Giolfo and Philippe Cassuto -- Introduction / Manuel Sartori , Manuela E.B. Giolfo and Philippe Cassuto -- Switching of Labials in Biblical Hebrew / Philippe Cassuto -- The Analytics of Writing, Exemplified by Arabic, the Youngest of the Semitic Scripts / Joseph Dichy -- Arabian faḫr and mubālaġa of High Rhetorical Value: A New Comprehensive View of the Nemara Inscription / Manfred Kropp -- Dia-Planar Diffusion: Reconstructing Early Aramaic-Arabic Language Contact / Jonathan Owens -- The masʾala zunbūriyya from a Semitic and Afroasiatic Perspective / Lutz Edzard -- « Man Zaydan ? » À propos de quelques cas curieux de ḥikāya chez Sībawayhi / Jean-Patrick Guillaume -- Inflectional Endings by Means of Short Vowels among Arab Grammarians: Clues for the Deconstruction of a Grammatical Ideology / Manuel Sartori -- One Word, Two Functions. The Concept of Functional Replacement in Traditional Syntactic Analysis / Ramzi Baalbaki -- Ẓarf and mafʿūl fī-hi: Really Two of a Kind? Some Notes on Zaǧǧāǧī’s Treatment / Francesco Binaghi -- The Role of Metaphor in the Interpretation of Prepositions: The Arabic min and the French de / Nadia Anghelescu -- Une corrélation retrouvée : nécessaire vs possible / Catherine Pinon -- The System of the Sciences of the Arabic Language by Sakkākī: Logic as a Complement of Rhetoric / Manuela E.B. Giolfo and Wilfrid Hodges -- Teaching Arabic to the Angels: A Scherzo by al-Maʿarrī on Heavenly Morphology / "]
[{"$nulls":4},"Martino Diez -- L’ emprunt dans le dictionnaire arabe des premiers siècles / Georgine Ayoub -- The Noun Pattern ʾufʿūlatun in Arabic Philological Tradition / Reinhard Weipert -- Gerboise : l’ entrée du terme arabe ǧerbūʿ à la cour de Louis XIV / Elie Kallas -- On the Semitic Origin of the English Word fustian / Fabrizio Angelo Pennacchietti -- La lexicographie arabe entre ʾadab et falsafa : Les questions lexicales du Kitāb al-hawāmil wa-l-šawāmil / Lidia Bettini -- « Traitement » de l’ « organisation » en arabe moderne de presse, ou le point de vue d’ une linguiste sur l’ apparente synonymie ʿilāǧ/muʿālaǧa et tanẓīm/munaẓẓama / Marie Baize-Varin -- Ḥayṯu : une inextricable polysémie ? / Alain Girod -- Fuṣḥā Arabic Vocabulary Borrowed by Mardini Arabic via Turkish / George Grigore -- Aspect Marking in Juba Arabic and Ki-Nubi / Kees Versteegh -- Jewish Writing in Arabic in Arabic Characters in the Nineteenth and Twentieth Centuries / MariaLuisa Langella -- Between Linguistics, Poetry, and Ideology: The Literary Periodical L-ʾArzyāda in the Lebanese Language (June 2009 – October 2014) General Presentation, Intellectual Impacts, Index of Authors, and “Lebanese” Lexis / Arkadiusz Płonka -- The Seven Deadly Sins of Arabic Studies / Michael George Carter -- Acclamatio heroica, in honorem reverendi, ornatissimi et doctissimi viri Professoris Dr. Petri Sagittarii, vulgo dictu Pierre Larcher, dicata, Facta a servo Domini Jesu Christi indigno, Fratre Claudio Aegidio Parvulo Ganapensi, o.p., vulgo dictu in saeculo Claude Gilliot / Manuel Sartori , Manuela E.B. Giolfo and Philippe Cassuto -- Indexes / Manuel Sartori , Manuela E.B. Giolfo and Philippe Cassuto."]
[null,null,null,"Sommario/riassunto","This volume includes the reflections of leading researchers on Arabic and Semitic languages, also understood as systems and representations. The work first deals with Biblical Hebrew, Early Aramaic, Afroasiatic and Semitic. Its core focuses on morpho-syntactic, semantic, pragmatic, rhetoric and logic matters, showing Arabic grammar's place within the system of the sciences of language. In the second part, authors deal with lexical issues, before they explore dialectology. The last stop is a reflection on how Arabic linguistics may prevent the understanding of the Arabs' own grammatical theory and the teaching and learning of Arabic."]