Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Confessions of an AI Brain / / Elena Fersman, Paul Pettersson, and Athanasios Karapantelakis
| Confessions of an AI Brain / / Elena Fersman, Paul Pettersson, and Athanasios Karapantelakis |
| Autore | Fersman Elena |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2023] |
| Descrizione fisica | 1 online resource (XIII, 178 p. 1 illus.) |
| Disciplina | 153.42028563 |
| Soggetto topico |
Artificial intelligence - Psychological aspects
Thought and thinking - Data processing |
| Soggetto non controllato | Science |
| ISBN | 3-031-25935-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Prologue -- Chapter 1: Baby steps -- Chapter 2: Basic Needs of an AI Brain -- Chapter 3: My Role in Internet of Things -- Chapter 4: Managing Relathionships -- Chapter 5: Working with Humans -- Chapter 6: Avoiding the Criminal Path -- Chapter 7: My Role in Climate Change -- Chapter 8: My Role in Diversity -- Chapter 9: My Creative Side -- Chapter 10: Growing Older and Staying in Shape -- Epilogue. |
| Record Nr. | UNISA-996546832003316 |
Fersman Elena
|
||
| Cham, Switzerland : , : Springer, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Confessions of an AI Brain / / by Elena Fersman, Paul Pettersson, Athanasios Karapantelakis
| Confessions of an AI Brain / / by Elena Fersman, Paul Pettersson, Athanasios Karapantelakis |
| Autore | Fersman Elena |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (XIII, 178 p. 1 illus.) |
| Disciplina |
153.42028563
006.3 |
| Soggetto topico |
Artificial intelligence
Computers and civilization Robotics Technology - Moral and ethical aspects Automatic control Automation Artificial Intelligence Computers and Society Ethics of Technology Control, Robotics, Automation |
| ISBN |
9783031259357
3031259351 |
| Classificazione | COM004000COM079000PHI005000TEC007000TEC037000 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Prologue -- Chapter 1: Baby steps -- Chapter 2: Basic Needs of an AI Brain -- Chapter 3: My Role in Internet of Things -- Chapter 4: Managing Relathionships -- Chapter 5: Working with Humans -- Chapter 6: Avoiding the Criminal Path -- Chapter 7: My Role in Climate Change -- Chapter 8: My Role in Diversity -- Chapter 9: My Creative Side -- Chapter 10: Growing Older and Staying in Shape -- Epilogue. |
| Record Nr. | UNINA-9910736012603321 |
|
Fersman Elena
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Modeling and Analysis of Timed Systems [[electronic resource] ] : Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings / / edited by Paul Pettersson, Wang Yi
| Formal Modeling and Analysis of Timed Systems [[electronic resource] ] : Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings / / edited by Paul Pettersson, Wang Yi |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (IX, 305 p.) |
| Disciplina | 005.1015113 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer logic
Software engineering Programming languages (Electronic computers) Special purpose computers Logics and Meanings of Programs Software Engineering Programming Languages, Compilers, Interpreters Special Purpose and Application-Based Systems |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- Modular Performance Analysis of Distributed Embedded Systems -- Logic and Specification -- Real Time Temporal Logic: Past, Present, Future -- Translating Timed I/O Automata Specifications for Theorem Proving in PVS -- Specification and Refinement of Soft Real-Time Requirements Using Sequence Diagrams -- Times Games and Synthesis -- On Optimal Timed Strategies -- Average Reward Timed Games -- Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness -- Invited Talk -- Verification of Parameterized Timed Systems -- Model Checking -- Model Checking the Time to Reach Agreement -- Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems -- A New Verification Procedure for Partially Clairvoyant Scheduling -- Invited Talk -- Timing Analysis and Simulation Tools for Real-Time Control -- Hybrid Systems -- Automatic Rectangular Refinement of Affine Hybrid Systems -- Reachability Problems on Extended O-Minimal Hybrid Automata -- Counterexamples for Timed Probabilistic Reachability -- Petri Nets -- Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets -- Comparison of the Expressiveness of Timed Automata and Time Petri Nets -- Semantics -- Quantifying Similarities Between Timed Systems -- Performance of Pipelined Asynchronous Systems -- Is Timed Branching Bisimilarity an Equivalence Indeed? -- Semantics and Modelling -- Implementation of Timed Automata: An Issue of Semantics or Modeling? -- Timed Abstract Non-interference. |
| Record Nr. | UNISA-996465550903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal modeling and analysis of timed systems : third international conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : proceedings / / Paul Pettersson, Wang Yi (eds.)
| Formal modeling and analysis of timed systems : third international conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : proceedings / / Paul Pettersson, Wang Yi (eds.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2005 |
| Descrizione fisica | 1 online resource (IX, 305 p.) |
| Disciplina | 003/.3 |
| Altri autori (Persone) |
PetterssonPaul
YiWang |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer simulation
Temporal automata Formal methods (Computer science) Robots |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- Modular Performance Analysis of Distributed Embedded Systems -- Logic and Specification -- Real Time Temporal Logic: Past, Present, Future -- Translating Timed I/O Automata Specifications for Theorem Proving in PVS -- Specification and Refinement of Soft Real-Time Requirements Using Sequence Diagrams -- Times Games and Synthesis -- On Optimal Timed Strategies -- Average Reward Timed Games -- Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness -- Invited Talk -- Verification of Parameterized Timed Systems -- Model Checking -- Model Checking the Time to Reach Agreement -- Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems -- A New Verification Procedure for Partially Clairvoyant Scheduling -- Invited Talk -- Timing Analysis and Simulation Tools for Real-Time Control -- Hybrid Systems -- Automatic Rectangular Refinement of Affine Hybrid Systems -- Reachability Problems on Extended O-Minimal Hybrid Automata -- Counterexamples for Timed Probabilistic Reachability -- Petri Nets -- Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets -- Comparison of the Expressiveness of Timed Automata and Time Petri Nets -- Semantics -- Quantifying Similarities Between Timed Systems -- Performance of Pipelined Asynchronous Systems -- Is Timed Branching Bisimilarity an Equivalence Indeed? -- Semantics and Modelling -- Implementation of Timed Automata: An Issue of Semantics or Modeling? -- Timed Abstract Non-interference. |
| Record Nr. | UNINA-9910483853003321 |
| Berlin ; ; New York, : Springer, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Real Time and Such : Essays Dedicated to Wang Yi to Celebrate His Scientific Career / / edited by Susanne Graf, Paul Pettersson, Bernhard Steffen
| Real Time and Such : Essays Dedicated to Wang Yi to Celebrate His Scientific Career / / edited by Susanne Graf, Paul Pettersson, Bernhard Steffen |
| Autore | Graf Susanne |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (175 pages) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
PetterssonPaul
SteffenBernhard |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Machine theory Software Engineering Formal Languages and Automata Theory |
| ISBN | 3-031-73751-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | All About Time -- Wang@MDU in a nutshell -- To Sifu - Supervision, Mentorship and Lifelong Bond -- Research in one Area Benefits Another -- Verifying PLC-Automata against Counterexample Formulas using Timed Automata -- Nudging Strategies for User Journeys: Take a Path on the Wild Side -- Adaptive Task Planning and Formal Control Synthesis using Temporal Logic Trees -- Trading Space for Simplicity in Stateless Model Checking -- Performance Analysis of Stochastic Digraph Real-Time Task Model -- A Closer Look at Pseudo-Polynomial Time and its Use in Real-Time Scheduling Theory -- Voting-Based Shortcuts through Random Forests for Obtaining Explainable Models -- Reminiscences of a Real-Time Researcher. |
| Record Nr. | UNINA-9910983355703321 |
|
Graf Susanne
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||