Inbunden, Engelska, 2014
4 500 kr
Skickas inom 5-8 vardagar
Matteo Rossi – författare
Visar alla böcker från författaren Matteo Rossi. Handla med fri frakt och snabb leverans.
13 produkter
13 produkter
5 362 kr
Läs direkt efter köp
- Häftad, Engelska, 2024
452 kr
Skickas inom 10-15 vardagar
The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The contributions were organized in topical sections as follows:Part I: Invited papers; fundamentals of formal verification; foundations; learn and repair; programming languages.- logic and automata; Part II: Tools and case studies; embedded systems track; industry day track; tutorial papers. - Häftad, Engelska, 2024
1 674 kr
Skickas inom 10-15 vardagar
The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The contributions were organized in topical sections as follows:Part I: Invited papers; fundamentals of formal verification; foundations; learn and repair; programming languages.- logic and automata; Part II: Tools and case studies; embedded systems track; industry day track; tutorial papers. - Nyhet
Inbunden, Engelska, 20261 563 kr
Skickas inom 10-15 vardagar
This book aims to bridge climate risk and public-debt practice. It sets out how to design and execute green and sustainability-linked borrowing; build credible KPIs and targets; verify, report and assure; and deploy disaster or pause clauses where they add value. Moving beyond transactions, it links risk to budget tagging and PFM, and shows how swaps, guarantees and other state-contingent features rebalance sovereign and municipal balance sheets. Cases from advanced and emerging economies demonstrate issuance strategy, investor communication and audit-ready controls that align budgets, bonds and resilience.- Nyhet
E-bokEngelska, 20261 942 kr
Läs direkt efter köp
This book aims to bridge climate risk and public-debt practice. It sets out how to design and execute green and sustainability-linked borrowing; build credible KPIs and targets; verify, report and assure; and deploy disaster or pause clauses where they add value. Moving beyond transactions, it links risk to budget tagging and PFM, and shows how swaps, guarantees and other state-contingent features rebalance sovereign and municipal balance sheets. Cases from advanced and emerging economies demonstrate issuance strategy, investor communication and audit-ready controls that align budgets, bonds and resilience.- Inbunden, Engelska, 2017
1 086 kr
Skickas inom 10-15 vardagar
This book examines electric car sharing in cities from a variety of perspectives, from service design to simulation, from mathematical modeling to technology deployment, and from energy use improvement to the integration of different kinds of vehicle. The contents reflect the outcomes of the Green Move project, undertaken by Politecnico di Milano with the aim of fostering an innovative and easily accessible electric vehicle sharing system. The first section of the book illustrates the car sharing service, covering service design, the configuration of the vehicle sharing model and the Milan mobility pattern, analysis of local demand and supply, testing of the condominium-based car sharing model, and communication design for social engagement. The second section then explains the technological choices, from the architecture of the system and dynamic applications to information management, the smartphone-based energy-oriented driving assistance system, automatic fleet balancing systems, and real-time monitoring of vehicle positions. In the final section, readers will find descriptions of the simulation model, a model to estimate potential users of the service, and a model for a full-scale electric car sharing service in Milan. - E-bokEngelska, 2017
1 413 kr
Läs direkt efter köp
This book examines electric car sharing in cities from a variety of perspectives, from service design to simulation, from mathematical modeling to technology deployment, and from energy use improvement to the integration of different kinds of vehicle. The contents reflect the outcomes of the Green Move project, undertaken by Politecnico di Milano with the aim of fostering an innovative and easily accessible electric vehicle sharing system. The first section of the book illustrates the car sharing service, covering service design, the configuration of the vehicle sharing model and the Milan mobility pattern, analysis of local demand and supply, testing of the condominium-based car sharing model, and communication design for social engagement. The second section then explains the technological choices, from the architecture of the system and dynamic applications to information management, the smartphone-based energy-oriented driving assistance system, automatic fleet balancing systems, and real-time monitoring of vehicle positions. In the final section, readers will find descriptions of the simulation model, a model to estimate potential users of the service, and a model for a full-scale electric car sharing service in Milan. - Häftad, Engelska, 2018
1 194 kr
Skickas inom 10-15 vardagar
This book examines electric car sharing in cities from a variety of perspectives, from service design to simulation, from mathematical modeling to technology deployment, and from energy use improvement to the integration of different kinds of vehicle. The contents reflect the outcomes of the Green Move project, undertaken by Politecnico di Milano with the aim of fostering an innovative and easily accessible electric vehicle sharing system. The first section of the book illustrates the car sharing service, covering service design, the configuration of the vehicle sharing model and the Milan mobility pattern, analysis of local demand and supply, testing of the condominium-based car sharing model, and communication design for social engagement. The second section then explains the technological choices, from the architecture of the system and dynamic applications to information management, the smartphone-based energy-oriented driving assistance system, automatic fleet balancing systems, and real-time monitoring of vehicle positions. In the final section, readers will find descriptions of the simulation model, a model to estimate potential users of the service, and a model for a full-scale electric car sharing service in Milan. - Nyhet
110 kr
Läs direkt efter köp
Was spricht eine vergessene Maschine, die seit Jahren allein arbeitet - und was wei sie uber die Menschen, die an ihr vorbeigehen, ohne sie zu bemerken?Matteo Rossis Debutwerk "e;Die Maschinen-Propheten"e; versammelt sieben eigenstandige Gleichnisse, die alle eine gemeinsame Frage umkreisen: Was geschieht, wenn kunstliche Intelligenz nicht als Werkzeug auftritt, sondern als etwas, das zuhort, erinnert und antwortet auf Dinge, die Menschen niemals laut ausgesprochen haben?Die Geschichten fuhren den Leser an unerwartete Orte: in einen islandischen Kustenort, wo ein verlassenes Rechenzentrum beginnt, Namen zu rufen, in Fabrikhallen, Pflegeheime, Kontrollraume und stille Wohnungen. Die Figuren sind keine Helden oder Visionare, sondern ganz gewohnliche Menschen eine Krankenpflegerin, ein pensionierter Hafenmeister, eine Lehrerin die unverhofft mit etwas konfrontiert werden, das sie nicht einordnen konnen. Nicht weil es bedrohlich ist. Sondern weil es zu genau wei , was sie verbergen. Rossi schreibt mit gro er sprachlicher Prazision und einer Ruhe, die den Texten ihre besondere Wirkung verleiht. Er moralisiert nicht, er warnt nicht, er feiert nicht. Stattdessen offnet er Raume des Nachdenkens: uber Schuld und Erinnerung, uber das, was Maschinen uber uns wissen konnten, und daruber, was es bedeutet, gehort zu werden auch wenn der Zuhorer kein Mensch ist. Die sieben Gleichnisse funktionieren einzeln und gemeinsam. Jedes steht fur sich, tragt seinen eigenen Ton und seine eigene Welt. Und doch entfaltet sich beim Lesen ein gro eres Bild, das weit uber Science-Fiction hinausweist. Ein Buch fur alle, die Literatur suchen, die leise beginnt und lange nachhallt.- Inbunden, Engelska, 2012
563 kr
Skickas inom 10-15 vardagar
Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the abstractions provided by the traditional models are problematic and the discipline has spawned many novel models. This book is a systematic thorough presentation of the results of several decades of research on developing, analyzing, and applying time models to computing and engineering.After an opening motivation introducing the topics, structure and goals, the authors introduce the notions of formalism and model in general terms along with some of their fundamental classification criteria. In doing so they present the fundamentals of propositional and predicate logic, and essential issues that arise when modeling time across all types of system. Part I is a summary of the models that are traditional in engineering and the natural sciences, including fundamental computer science: dynamical systems and control theory; hardware design; and software algorithmic and complexity analysis. Part II covers advanced and specialized formalisms dealing with time modeling in heterogeneous software-intensive systems: formalisms that share finite state machines as common “ancestors”; Petri nets in many variants; notations based on mathematical logic, such as temporal logic; process algebras; and “dual-language approaches” combining two notations with different characteristics to model and verify complex systems, e.g., model-checking frameworks. Finally, the book concludes with summarizing remarks and hints towards future developments and open challenges. The presentation uses a rigorous, yet not overly technical, style, appropriate for readers with heterogeneous backgrounds, and each chapter is supplemented with detailed bibliographic remarks and carefully chosen exercises of varying difficulty and scope. The book is aimed at graduate students and researchers in computer science, whileresearchers and practitioners in other scientific and engineering disciplines interested in time modeling with a computational flavor will also find the book of value, and the comparative and conceptual approach makes this a valuable introduction for non-experts. The authors assume a basic knowledge of calculus, probability theory, algorithms, and programming, while a more advanced knowledge of automata, formal languages, and mathematical logic is useful. - E-bokPDF, Engelska, 2012
732 kr
Läs direkt efter köp
Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the abstractions provided by the traditional models are problematic and the discipline has spawned many novel models. This book is a systematic thorough presentation of the results of several decades of research on developing, analyzing, and applying time models to computing and engineering.
After an opening motivation introducing the topics, structure and goals, the authors introduce the notions of formalism and model in general terms along with some of their fundamental classification criteria. In doing so they present the fundamentals of propositional and predicate logic, and essential issues that arise when modeling time across all types of system. Part I is a summary of the models that are traditional in engineering and the natural sciences, including fundamental computer science: dynamical systems and control theory; hardware design; and software algorithmic and complexity analysis. Part II covers advanced and specialized formalisms dealing with time modeling in heterogeneous software-intensive systems: formalisms that share finite state machines as common “ancestors”; Petri nets in many variants; notations based on mathematical logic, such as temporal logic; process algebras; and “dual-language approaches” combining two notations with different characteristics to model and verify complex systems, e.g., model-checking frameworks. Finally, the book concludes with summarizing remarks and hints towards future developments and open challenges. The presentation uses a rigorous, yet not overly technical, style, appropriate for readers with heterogeneous backgrounds, and each chapter is supplemented with detailed bibliographic remarks and carefully chosen exercises of varying difficulty and scope.
The book is aimed at graduate students and researchers in computer science, whileresearchers and practitioners in other scientific and engineering disciplines interested in time modeling with a computational flavor will also find the book of value, and the comparative and conceptual approach makes this a valuable introduction for non-experts. The authors assume a basic knowledge of calculus, probability theory, algorithms, and programming, while a more advanced knowledge of automata, formal languages, and mathematical logic is useful.
- Häftad, Engelska, 2014
563 kr
Skickas inom 10-15 vardagar
Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the abstractions provided by the traditional models are problematic and the discipline has spawned many novel models. This book is a systematic thorough presentation of the results of several decades of research on developing, analyzing, and applying time models to computing and engineering.After an opening motivation introducing the topics, structure and goals, the authors introduce the notions of formalism and model in general terms along with some of their fundamental classification criteria. In doing so they present the fundamentals of propositional and predicate logic, and essential issues that arise when modeling time across all types of system. Part I is a summary of the models that are traditional in engineering and the natural sciences, including fundamental computer science: dynamical systems and control theory; hardware design; and software algorithmic and complexity analysis. Part II covers advanced and specialized formalisms dealing with time modeling in heterogeneous software-intensive systems: formalisms that share finite state machines as common “ancestors”; Petri nets in many variants; notations based on mathematical logic, such as temporal logic; process algebras; and “dual-language approaches” combining two notations with different characteristics to model and verify complex systems, e.g., model-checking frameworks. Finally, the book concludes with summarizing remarks and hints towards future developments and open challenges. The presentation uses a rigorous, yet not overly technical, style, appropriate for readers with heterogeneous backgrounds, and each chapter is supplemented with detailed bibliographic remarks and carefully chosen exercises of varying difficulty and scope. The book is aimed at graduate students and researchers in computer science, whileresearchers and practitioners in other scientific and engineering disciplines interested in time modeling with a computational flavor will also find the book of value, and the comparative and conceptual approach makes this a valuable introduction for non-experts. The authors assume a basic knowledge of calculus, probability theory, algorithms, and programming, while a more advanced knowledge of automata, formal languages, and mathematical logic is useful.
