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.
Abstract State Machines, Alloy, B, TLA, VDM, and Z [[electronic resource] ] : 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings / / edited by Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl
| Abstract State Machines, Alloy, B, TLA, VDM, and Z [[electronic resource] ] : 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings / / edited by Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIV, 432 p. 83 illus.) |
| Disciplina | 006.31 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Algorithms Computer science Compilers (Computer programs) Artificial intelligence Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Compilers and Interpreters Artificial Intelligence |
| ISBN | 3-319-91271-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Translation and Transformation -- Analysis and Tests -- Reals and Hybrid Systems -- Refinement -- Hybrid ERTMS Case Study -- Short Papers. |
| Record Nr. | UNISA-996465825303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Abstract State Machines, Alloy, B, TLA, VDM, and Z [[electronic resource] ] : 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings / / edited by Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl
| Abstract State Machines, Alloy, B, TLA, VDM, and Z [[electronic resource] ] : 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings / / edited by Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIV, 432 p. 83 illus.) |
| Disciplina | 006.31 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Algorithms Computer science Compilers (Computer programs) Artificial intelligence Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Compilers and Interpreters Artificial Intelligence |
| ISBN | 3-319-91271-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Translation and Transformation -- Analysis and Tests -- Reals and Hybrid Systems -- Refinement -- Hybrid ERTMS Case Study -- Short Papers. |
| Record Nr. | UNINA-9910349429803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Abstract State Machines, Alloy, B, VDM, and Z [[electronic resource] ] : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings / / edited by John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene
| Abstract State Machines, Alloy, B, VDM, and Z [[electronic resource] ] : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings / / edited by John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XV, 378 p. 133 illus.) |
| Disciplina | 006.3/1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Algorithms Computer science—Mathematics Discrete mathematics Computer Science Logic and Foundations of Programming Theory of Computation Mathematics of Computing Discrete Mathematics in Computer Science |
| ISBN | 3-642-30885-6 |
| Classificazione | 54.53 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Contribution to a Rigorous Analysis of Web Application Frameworks / Egon Börger, Antonio Cisternino and Vincenzo Gervasi -- Integrated Operational Semantics: Small-Step, Big-Step and Multi-step / Ian J. Hayes and Robert J. Colvin -- Test Generation for Sequential Nets of Abstract State Machines / Paolo Arcaini, Francesco Bolis and Angelo Gargantini -- ASM and Controller Synthesis / Richard Banach, Huibiao Zhu, Wen Su and Xiaofeng Wu -- Continuous ASM, and a Pacemaker Sensing Fragment / Richard Banach, Huibiao Zhu, Wen Su and Xiaofeng Wu -- An ASM Model of Concurrency in a Web Browser / Vincenzo Gervasi -- Modeling the Supervisory Control Theory with Alloy / Benoît Fraikin, Marc Frappier and Richard St-Denis -- Preventing Arithmetic Overflows in Alloy / Aleksandar Milicevic and Daniel Jackson -- Extending Alloy with Partial Instances / Vajih Montaghami and Derek Rayside -- Toward a More Complete Alloy / Timothy Nelson, Daniel J. Dougherty, Kathi Fisler and Shriram Krishnamurthi -- Temporal Logic Model Checking in Alloy / Amirhossein Vakili and Nancy A. Day -- Active Attacking Multicast Key Management Protocol Using Alloy / Ting Wang and Dongyao Ji -- Formalizing Hybrid Systems with Event-B / Jean-Raymond Abrial, Wen Su and Huibiao Zhu -- SMT Solvers for Rodin / David Déharbe, Pascal Fontaine, Yoann Guyot and Laurent Voisin -- Refinement Plans for Informed Formal Design / Gudmund Grov, Andrew Ireland and Maria Teresa Llano -- Refinement by Interface Instantiation / Stefan Hallerstede and Thai Son Hoang -- Discharging Proof Obligations from Atelier B Using Multiple Automated Provers / David Mentré, Claude Marché, Jean-Christophe Filliâtre and Masashi Asuka -- A Semantic Analysis of Logics That Cope with Partial Terms / Cliff B. Jones, Matthew J. Lovert and L. Jason Steggles -- Combining VDM with Executable Code / Claus Ballegaard Nielsen, Kenneth Lausdahl and Peter Gorm Larsen -- Extending the Test Template Framework to Deal with Axiomatic Descriptions, Quantifiers and Set Comprehensions / Maximiliano Cristiá and Claudia Frydman -- A Tool Chain for the Automatic Generation of Circus Specifications of Simulink Diagrams / Chris Marriott, Frank Zeyda and Ana Cavalcanti -- Verification of Hardware Interaction Properties of Software / Ramsay Taylor -- Using the Arbitrator Pattern for Dynamic Process-Instance Extension in a Work-Flow Management System / Matthes Elstermann, Detlef Seese and Albert Fleischmann -- A Unified Processor Model for Compiler Verification and Simulation Using ASM / Roland Lezuo and Andreas Krall -- Modeling Synchronization/Communication Patterns in Vision-Based Robot Control Applications Using ASMs / Andrea Luzzana, Mattia Rossetti, Paolo Righettini and Patrizia Scandurra -- A Reliability Prediction Method for Abstract State Machines / Raffaela Mirandola, Pasqualina Potena and Patrizia Scandurra -- A Simplified Parallel ASM Thesis / Klaus-Dieter Schewe and Qing Wang -- Refactoring Abstract State Machine Models / Hamed Yaghoubi Shahir, Roozbeh Farahbod and Uwe Glässer -- Continuous Behaviour in Event-B: A Sketch / Richard Banach, Huibiao Zhu, Wen Su and Xiaofeng Wu -- Formal Verification of PLC Programs Using the B Method / Haniel Barbosa and David Déharbe -- A Practical Event-B Refinement Method Based on a UML-Driven Development Process / Thiago C. de Sousa, Paulo Sérgio Muniz Silva and Colin F. Snook -- Learn and Test for Event-B -- A Rodin Plugin / Ionut Dinca, Florentin Ipate, Laurentiu Mierla and Alin Stefanescu -- Event-B Code Generation: Type Extension with Theories / Andrew Edmunds, Michael Butler, Issam Maamria, Renato Silva and Chris Lovell -- Formal Proofs for the NYCT Line 7 (Flushing) Modernization Project / Denis Sabatier, Lilian Burdy, Antoine Requet and Jérôme Guéry -- A Pattern for Modelling Fault Tolerant Systems in Event-B / Gintautas Sulskus and Michael Poppleton. |
| Record Nr. | UNISA-996465312903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Accelerating calculations of reaction dissipative particle dynamics in LAMMPS / / by Christopher P Stone [and three others]
| Accelerating calculations of reaction dissipative particle dynamics in LAMMPS / / by Christopher P Stone [and three others] |
| Autore | Stone Christopher P. |
| Pubbl/distr/stampa | Aberdeen Proving Ground, MD : , : US Army Research Laboratory, , May 2017 |
| Descrizione fisica | 1 online resource (vi, 26 pages) : color illustrations |
| Collana | ARL-TR |
| Soggetto topico |
Particle dynamics
Multiscale modeling System theory Programming (Mathematics) Algorithms |
| Soggetto genere / forma | Technical reports. |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910711555503321 |
Stone Christopher P.
|
||
| Aberdeen Proving Ground, MD : , : US Army Research Laboratory, , May 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Accurate finite difference algorithms / / John W. Goodrich
| Accurate finite difference algorithms / / John W. Goodrich |
| Autore | Goodrich John W. |
| Pubbl/distr/stampa | Cleveland, Ohio : , : National Aeronautics and Space Administration, Lewis Research Center, , December 1996 |
| Descrizione fisica | 1 online resource (15 pages) : illustrations |
| Collana | NASA technical memorandum |
| Soggetto topico |
Aeroacoustics
Finite difference theory Algorithms Method of characteristics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910707308803321 |
|
Goodrich John W.
|
||
| Cleveland, Ohio : , : National Aeronautics and Space Administration, Lewis Research Center, , December 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The ACM journal of experimental algorithmics
| The ACM journal of experimental algorithmics |
| Pubbl/distr/stampa | New York, : ACM |
| Disciplina | 004 |
| Soggetto topico |
Computer algorithms
Data structures (Computer science) Algorithms |
| Soggetto genere / forma | Periodicals. |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Journal of experimental algorithmics
JEA ACM JEA Association for Computing Machinery journal of experimental algorithmics |
| Record Nr. | UNINA-9910376057303321 |
| New York, : ACM | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The ACM journal of experimental algorithmics
| The ACM journal of experimental algorithmics |
| Pubbl/distr/stampa | New York, : ACM |
| Disciplina | 004 |
| Soggetto topico |
Computer algorithms
Data structures (Computer science) Algorithms |
| Soggetto genere / forma | Periodicals. |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Journal of experimental algorithmics
JEA ACM JEA Association for Computing Machinery journal of experimental algorithmics |
| Record Nr. | UNISA-996214423303316 |
| New York, : ACM | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Active control of flow separation over an airfoil / / S.S. Ravindran
| Active control of flow separation over an airfoil / / S.S. Ravindran |
| Autore | Ravindran S. S. |
| Pubbl/distr/stampa | Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , December 1999 |
| Descrizione fisica | 1 online resource (10 pages) : illustrations |
| Collana | NASA/TM |
| Soggetto topico |
Active control
Airfoils Navier-Stokes equation Mathematical models Algorithms Computational fluid dynamics Separated flow Unsteady aerodynamics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910706278603321 |
|
Ravindran S. S.
|
||
| Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , December 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Active Mining [[electronic resource] ] : Second International Workshop, AM 2003, Maebashi, Japan, October 28, 2003, Revised Selected Papers / / edited by Shusaku Tsumoto, Takahira Yamaguchi, Masayuki Numao, Hiroshi Motoda
| Active Mining [[electronic resource] ] : Second International Workshop, AM 2003, Maebashi, Japan, October 28, 2003, Revised Selected Papers / / edited by Shusaku Tsumoto, Takahira Yamaguchi, Masayuki Numao, Hiroshi Motoda |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XII, 348 p.) |
| Disciplina | 005.74 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Database management
Artificial intelligence Algorithms Health informatics Bioinformatics Database Management Artificial Intelligence Algorithm Analysis and Problem Complexity Health Informatics |
| ISBN | 3-540-31933-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Overview -- Active Mining Project: Overview -- Tutorial Papers -- Computational and Statistical Methods in Bioinformatics -- Indexing and Mining Audiovisual Data -- Active Information Collection -- Relevance Feedback Document Retrieval Using Support Vector Machines -- Micro View and Macro View Approaches to Discovered Rule Filtering -- Mining Chemical Compound Structure Data Using Inductive Logic Programming -- First-Order Rule Mining by Using Graphs Created from Temporal Medical Data -- Active Data Mining -- Extracting Diagnostic Knowledge from Hepatitis Dataset by Decision Tree Graph-Based Induction -- Data Mining Oriented CRM Systems Based on MUSASHI: C-MUSASHI -- Investigation of Rule Interestingness in Medical Data Mining -- Experimental Evaluation of Time-Series Decision Tree -- Spiral Multi-aspect Hepatitis Data Mining -- Sentence Role Identification in Medline Abstracts: Training Classifier with Structured Abstracts -- CHASE 2 – Rule Based Chase Algorithm for Information Systems of Type ? -- Active User Reaction -- Empirical Comparison of Clustering Methods for Long Time-Series Databases -- Spiral Mining Using Attributes from 3D Molecular Structures -- Classification of Pharmacological Activity of Drugs Using Support Vector Machine -- Cooperative Scenario Mining from Blood Test Data of Hepatitis B and C -- Integrated Mining for Cancer Incidence Factors from Healthcare Data. |
| Record Nr. | UNISA-996465816603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Active Mining [[electronic resource] ] : Second International Workshop, AM 2003, Maebashi, Japan, October 28, 2003, Revised Selected Papers / / edited by Shusaku Tsumoto, Takahira Yamaguchi, Masayuki Numao, Hiroshi Motoda
| Active Mining [[electronic resource] ] : Second International Workshop, AM 2003, Maebashi, Japan, October 28, 2003, Revised Selected Papers / / edited by Shusaku Tsumoto, Takahira Yamaguchi, Masayuki Numao, Hiroshi Motoda |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XII, 348 p.) |
| Disciplina | 005.74 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Database management
Artificial intelligence Algorithms Health informatics Bioinformatics Database Management Artificial Intelligence Algorithm Analysis and Problem Complexity Health Informatics |
| ISBN | 3-540-31933-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Overview -- Active Mining Project: Overview -- Tutorial Papers -- Computational and Statistical Methods in Bioinformatics -- Indexing and Mining Audiovisual Data -- Active Information Collection -- Relevance Feedback Document Retrieval Using Support Vector Machines -- Micro View and Macro View Approaches to Discovered Rule Filtering -- Mining Chemical Compound Structure Data Using Inductive Logic Programming -- First-Order Rule Mining by Using Graphs Created from Temporal Medical Data -- Active Data Mining -- Extracting Diagnostic Knowledge from Hepatitis Dataset by Decision Tree Graph-Based Induction -- Data Mining Oriented CRM Systems Based on MUSASHI: C-MUSASHI -- Investigation of Rule Interestingness in Medical Data Mining -- Experimental Evaluation of Time-Series Decision Tree -- Spiral Multi-aspect Hepatitis Data Mining -- Sentence Role Identification in Medline Abstracts: Training Classifier with Structured Abstracts -- CHASE 2 – Rule Based Chase Algorithm for Information Systems of Type ? -- Active User Reaction -- Empirical Comparison of Clustering Methods for Long Time-Series Databases -- Spiral Mining Using Attributes from 3D Molecular Structures -- Classification of Pharmacological Activity of Drugs Using Support Vector Machine -- Cooperative Scenario Mining from Blood Test Data of Hepatitis B and C -- Integrated Mining for Cancer Incidence Factors from Healthcare Data. |
| Record Nr. | UNINA-9910768442503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto topico
-
Algorithms
(6673)
- Algorithm Analysis and Problem Complexity (3368)
- Artificial intelligence (2341)
- Artificial Intelligence (2320)
- Computer science—Mathematics (2015)