32,970 research outputs found
System Description, Abstraction, and Verification: A Uniform Treatment of Quality and Quantity
No full textion, and Verification: A Uniform Treatment of Quality and Quantity Michael Huth Department of Computing and Information Sciences Kansas State University, Manhattan, KS66506, USA [email protected], +1-785-532-f6350 (ph.), 7353 (fax)g Full version at http://www.cis.ksu.edu/~huth/fsstcs99.ps.gz May 7, 1999 Abstract We build on the established work on modal transition systems and probabilistic specifications to sketch a framework in which system descriptions, abstraction, and finite-state model checking all have a uniform presentation across various levels of qualitative and quantitative views together with mediating abstraction and concretization maps. We prove safety results for abstractions within and across such views for the "forall fragment" of the modal mu-calculus and show that such abstractions allow for some compositional reasoning with respect to a uniform family of process algebras `a la CCS. 1 Introduction and Motivation Process algebras such as Milner's CCS [Mil89] and modu..
Michael Rodriguez interviews fiction writer Michael Kimball
No full textAuthor Michael Kimball talks about moving away from Michigan to become a successful writer, his education, the fiction reading series he has started in Baltimore, the life-story-on-postcard project, and his book "Dear everybody." Kimball is interviewed by Michigan State University Librarian Michael Rodriguez for the Michigan State University Libraries' Michigan Writers Series
Impacts and Supply Chain Resilience Strategies to Cope with COVID-19 Pandemic: A Literature Review
No full textCoronavirus COVID-19 is an extraordinary event that can be categorized as a subcategory of Supply Chain (SC) disruptions. This pandemic has impacted supply chains differently, depending on the produced item, the industry, and the role of firms along the supply chains. Several studies, that emerged during the last 2 years, have analyzed the impact of COVID-19 on supply chains and firms, and the strategies adopted to cope with the pandemic. In addition to several resilience strategies, papers also highlighted the key role of digitalization to support firms in building more effective resilience strategies. The literature on the topic is however still fragmented. To overcome this fragmentation, our chapter offers a Systematic Literature Review (SLR), which investigates, in particular, the impacts of COVID-19 on Supply Chain Management (SCM) areas and actors, the SC resilience strategies which can enable firms to cope with the pandemic, and the role of digitalization. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG
Beschreibung zur Arzeney dienlicher Pflanzen
No full textaus dem Französischen ins Deutsche übersetzt von Georg Leonhard Huth ...Kollation: [3] Bl., 136 S., [3] Bl., L kol. Kupfertaf.; [2] Bl., 208 S., [6] Bl., L Kupfertaf
Verification and Refutation of Probabilistic Specifications via Games
Get PDFWe develop an abstraction-based framework
to check probabilistic specifications of Markov Decision Processes (MDPs) using
the stochastic two-player game abstractions (\ie ``games'') developed by
Kwiatkowska et al.\ as a foundation.
We define an abstraction preorder for these game abstractions which
enables us to identify many new game abstractions for each MDP ---
ranging from compact and imprecise to complex and precise.
This added ability to trade precision for efficiency
is crucial for scalable software model
checking, as precise abstractions are expensive to construct in
practice.
Furthermore, we develop a four-valued probabilistic computation tree
logic (PCTL) semantics for game abstractions.
Together, the preorder and PCTL semantics comprise a powerful verification and
refutation framework for arbitrary PCTL properties of MDPs
Michael Rodriguez interviews author Paul Clemens
No full textAuthor Paul Clemens talks about his book "Made in Detroit," the genre of memoir, and writing about race. Clemens is interviewed by Michigan State University Librarian Michael Rodriguez for the MSU Libraries' Michigan Writers Series. Held in the MSU Main Library
[Stammbuch Philipp Ludwig Huth]
Get PDF[STAMMBUCH PHILIPP LUDWIG HUTH]
[Stammbuch Philipp Ludwig Huth] ( - )
Cover ( - )
Beschreibung ([0]-[1])
Register über die hierinn befindliche Nahmen. ([4]-[5])
Ebner von Eschenbach, Friedrich Wilhelm; Blatt 1 (0v 1r)
Krafft von Dellmensingen, Marcus Antonius; Blatt 2 (1v 2r)
Linck, Georg Heinrich; Blatt 3v (3v 4r)
Linck, Jacob Gottlieb; Blatt 4 (3v 4r)
Benz, Johann Heinrich; Blatt 5 (4v 5r)
Seiffart de Klettenberg, Remigius; Blatt 6v (6v 7r)
Lersner, Friedrich Maximilian von; Blatt 7 (6v 7r)
Trew, Christoph Jacob; Blatt 7v (7v 8r)
Haller von Hallerstein, Johann Joachim; Blatt 8 (7v 8r)
Buck, Daniel; Blatt 8v (8v 9r)
W., C. A.; Blatt 9 (8v 9r)
Finger, Johann Wolfgang; Blatt 9v (9v 10r)
Erlabeck, Georg Christoph; Blatt 10 (9v 10r)
Scharmann, Johann Leonhard; Blatt 10v (10v 11r)
Klepperbein, Joachim; Blatt 11 (10v 11r)
Schmidt, Andreas Bartholomäus; Blatt 11v (10v 11r)
Textor, Johann Wolfgang; Blatt 13 (12v 13r)
Scheurl von Defersdorf, Christoph Wilhelm; Blatt 13v (13v 14r)
Ebner von Eschenbach, Carl Wilhelm; Blatt 14 (13v 14r)
Feuerlein, Conrad Friedrich; Blatt 14v (14v 15r)
Feuerlein, Georg Christoph; Blatt 15 (14v 15r)
Holzschuher von Harrlach, Wolfgang Sigmund; Blatt 15v (15v 16r)
Scheurl von Defersdorf, Johann Karl; Blatt 16 (15v 16r)
Paumgartner, Johann Paul; Blatt 16v (16v 17r)
Pund, Friedrich; Blatt 17 (16v 17r)
Herdegen, Johann; Blatt 17v (17v 18r)
Monro, Johann Daniel von; Blatt 18 (17v 18r)
Faber, Georg Caspar; Blatt 18v (18v 19r)
Düstau, Johann Carl; Blatt 19 (18v 19r)
Fleischmann, Johann Paul; Blatt 19v (19v 20r)
Müller, Christoph Paul; Blatt 20 (19v 20r)
Bonhoeffer, Johann Friedrich; Blatt 20v (20v 21r)
Humbracht, Reinhart Friedrich; Blatt 22 (21v 22r)
Dilherr de Thumenberg, Christophorus Theophilus; Blatt 23 (22v 23r)
Grambs, Johann Jacob; Blatt 24 (23v 24r)
Guttenberg, Jacob Willibald Hermann von und zu; Blatt 25 (24v 25r)
Spitz, Heinrich Felix; Blatt 25v (25v 26r)
Flessa, Johann Adam; Blatt 26 (25v 26r)
Rodberg, Heinrich Christoph; Blatt 26v (26v 27r)
Carstens, Johann Friedrich; Blatt 27 (26v 27r)
Melle, Franz Jakob von; Blatt 27v (27v 28r)
Müller, Martin Matthias; Blatt 28 (27v 28r)
Löffelloth, Joachim Andreas; Blatt 29 (28v 29r)
Hoeger, Johann Tobias; Blatt 29v (29v 30r)
Beck, Johann Konrad; Blatt 30 (29v 30r)
Will, Georg Leonhard; Blatt 31 (30v 31r)
Teuffel, Christoph Wilhelm; Blatt 31v (31v 32r)
Romig, Johann Christoph; Blatt 33 (32v 33r)
Otho, Johann Georg Friedrich; Blatt 33v (33v 34r)
Regenfus, Veit Hieronymus; Blatt 34 (33v 34r)
Hollweg, Georg Daniel; Blatt 37 (36v 37r)
Petz von Lichtenhof, Georg Christoph; Blatt 41 (40v 41r)
Kelsch, Michael; Blatt 45v (45v 46r)
Clausner, Georg; Blatt 46 (45v 46r)
Behaim, Johann Carl; Blatt 46v (46v 47r)
Schmidt, Johann Georg; Blatt 50 (49v 50r)
Henseler, Johann; Blatt 54 (53v 54r)
Finckler, Friedrich Gustav; Blatt 56 (55v 56r)
Peller von Schoppershof, Johann Christoph; Blatt 56v (56v 57r)
Faber, Samuel; Blatt 67 (66v 67r)
Wülfer, Georg Friedrich; Blatt 67v (67v 68r)
Bittner, Heinrich Christoph; Blatt 79 (78v 79r)
Häberlein, Johann Jakob; Blatt 80 (79v 80r
Michael Rodriguez interviews author Tom Springer
No full textAuthor Tom Springer is interviewed about his writing career and his newest book "Looking for hickories". Springer talks about his career following after earning an Environmental Journalism degree from Michigan State University. He calls his genre "creative non-fiction" and explains how he weaves his memories into his books about life in rural and wild Michigan. Part of the Michigan State University Libraries' Michigan Writers Series. Springer is interviewed by Librarian Michael Rodriguez
Michael Rodriguez interviews author Gary Gildner
No full textAuthor Gary Gildner explains why he left his tenured teaching position to move to Idaho to became a full-time writer of poetry. Gildner talks about donating his personal papers to Michigan State University Libraries' Special Collections, his writing style and how he approaches writing. Gildner is interviewed by MSU Librarian Michael Rodriguez for the MSU Libraries' Michigan Writer Series. Held at the MSU Main Library
- …
