top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Formal Modeling and Analysis of Timed Systems [[electronic resource] ] : 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings / / edited by Nathalie Bertrand, Nils Jansen
Formal Modeling and Analysis of Timed Systems [[electronic resource] ] : 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings / / edited by Nathalie Bertrand, Nils Jansen
Edizione [1st ed. 2020.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Descrizione fisica 1 online resource (X, 301 p. 657 illus., 55 illus. in color.)
Disciplina 004.0151
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science
Artificial intelligence
Microprogramming
Computer systems
Computers, Special purpose
Computers
Theory of Computation
Artificial Intelligence
Control Structures and Microprogramming
Computer System Implementation
Special Purpose and Application-Based Systems
Computer Hardware
ISBN 3-030-57628-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto On the Semantics of Polychronous Polytimed Specifications -- Backward Symbolic Optimal Reachability in Weighted Timed Automata -- Certifying Emptiness of Timed Büchi Automata -- Learning Specifications for Labelled Patterns -- On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games -- Computing Maximally-Permissive Strategies in Acyclic Timed Games -- Dynamic Causes for the Violation of Timed Reachability Properties -- Active Learning of Timed Automata with Unknown Resets -- Computation of Transient in Max-Plus Linear Systems via SMT-Solving -- Clairvoyant Monitoring for Signal Temporal Logic Patterns -- Embedding Online RV for Fault Disambiguation on Robonaut2 -- Guarded Autonomous Transitions Increase Conciseness and Expressiveness of Timed Automata -- Probabilistic Guarantees for Safe Deep Reinforcement Learning -- Incremental Methods for Checking Real-Time Consistency -- Reachability Analysis of Nonlinear Systems Using Hybridization and Dynamics Scaling -- Weakness Monitors for Fail-Aware Systems.
Record Nr. UNISA-996418296003316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Formal Modeling and Analysis of Timed Systems [[electronic resource] ] : 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings / / edited by Nathalie Bertrand, Nils Jansen
Formal Modeling and Analysis of Timed Systems [[electronic resource] ] : 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings / / edited by Nathalie Bertrand, Nils Jansen
Edizione [1st ed. 2020.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Descrizione fisica 1 online resource (X, 301 p. 657 illus., 55 illus. in color.)
Disciplina 004.0151
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science
Artificial intelligence
Microprogramming
Computer systems
Computers, Special purpose
Computers
Theory of Computation
Artificial Intelligence
Control Structures and Microprogramming
Computer System Implementation
Special Purpose and Application-Based Systems
Computer Hardware
ISBN 3-030-57628-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto On the Semantics of Polychronous Polytimed Specifications -- Backward Symbolic Optimal Reachability in Weighted Timed Automata -- Certifying Emptiness of Timed Büchi Automata -- Learning Specifications for Labelled Patterns -- On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games -- Computing Maximally-Permissive Strategies in Acyclic Timed Games -- Dynamic Causes for the Violation of Timed Reachability Properties -- Active Learning of Timed Automata with Unknown Resets -- Computation of Transient in Max-Plus Linear Systems via SMT-Solving -- Clairvoyant Monitoring for Signal Temporal Logic Patterns -- Embedding Online RV for Fault Disambiguation on Robonaut2 -- Guarded Autonomous Transitions Increase Conciseness and Expressiveness of Timed Automata -- Probabilistic Guarantees for Safe Deep Reinforcement Learning -- Incremental Methods for Checking Real-Time Consistency -- Reachability Analysis of Nonlinear Systems Using Hybridization and Dynamics Scaling -- Weakness Monitors for Fail-Aware Systems.
Record Nr. UNINA-9910427720303321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
La notion d’« école » / / Christine Peltre, Philippe Lorentz
La notion d’« école » / / Christine Peltre, Philippe Lorentz
Autore Absalon Patrick
Pubbl/distr/stampa Strasbourg, : Presses universitaires de Strasbourg, 2019
Descrizione fisica 1 online resource (270-XXXIII p.)
Altri autori (Persone) BaridonLaurent
BertrandNathalie
BorléeDenise
CassegrainGuillaume
CorneloupAnne
Da CostaValérie
DupeuxCécile
ElsigFrédéric
GuédronMartial
JacqueminAnne
Jirat-WasiutynskiVojtech
JordyCatherine
LescourretMarie-Anne
LorentzPhilippe
LouisJulien
MartinFrançois-René
MérotAlain
PeltreChristine
VigatoJean-Claude
Soggetto topico Art
History
histoire
Alsace
Europe méridionale
Europe occidentale
art plastique
Soggetto non controllato Europe occidentale
histoire
Europe méridionale
Alsace
art plastique
ISBN 979-1-03-440428-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione fre
Record Nr. UNINA-9910341151003321
Absalon Patrick  
Strasbourg, : Presses universitaires de Strasbourg, 2019
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Quantitative Evaluation of Systems [[electronic resource] ] : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings / / edited by Nathalie Bertrand, Luca Bortolussi
Quantitative Evaluation of Systems [[electronic resource] ] : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings / / edited by Nathalie Bertrand, Luca Bortolussi
Edizione [1st ed. 2017.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Descrizione fisica 1 online resource (XIII, 370 p. 94 illus.)
Disciplina 004.24
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science
Electronic digital computers—Evaluation
Computer science—Mathematics
Mathematical statistics
Computer simulation
Computer Science Logic and Foundations of Programming
System Performance and Evaluation
Probability and Statistics in Computer Science
Theory of Computation
Computer Modelling
ISBN 3-319-66335-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Probabilistic modeling --  Smart energy systems over the cloud --  Petri nets and performance modeling --  Parametric verification -- Machine learning and formal methods -- Tools.  .
Record Nr. UNISA-996465877003316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Quantitative Evaluation of Systems [[electronic resource] ] : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings / / edited by Nathalie Bertrand, Luca Bortolussi
Quantitative Evaluation of Systems [[electronic resource] ] : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings / / edited by Nathalie Bertrand, Luca Bortolussi
Edizione [1st ed. 2017.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Descrizione fisica 1 online resource (XIII, 370 p. 94 illus.)
Disciplina 004.24
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science
Electronic digital computers—Evaluation
Computer science—Mathematics
Mathematical statistics
Computer simulation
Computer Science Logic and Foundations of Programming
System Performance and Evaluation
Probability and Statistics in Computer Science
Theory of Computation
Computer Modelling
ISBN 3-319-66335-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Probabilistic modeling --  Smart energy systems over the cloud --  Petri nets and performance modeling --  Parametric verification -- Machine learning and formal methods -- Tools.  .
Record Nr. UNINA-9910484791703321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui