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.
2018 MATRIX Annals [[electronic resource] /] / edited by Jan de Gier, Cheryl E. Praeger, Terence Tao
| 2018 MATRIX Annals [[electronic resource] /] / edited by Jan de Gier, Cheryl E. Praeger, Terence Tao |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XXXII, 427 p. 5 illus., 4 illus. in color.) |
| Disciplina | 510 |
| Collana | MATRIX Book Series |
| Soggetto topico |
Algebraic geometry
Dynamics Ergodic theory Partial differential equations Category theory (Mathematics) Homological algebra Bioinformatics Computer science—Mathematics Algebraic Geometry Dynamical Systems and Ergodic Theory Partial Differential Equations Category Theory, Homological Algebra Computational Biology/Bioinformatics Mathematics of Computing |
| ISBN | 3-030-38230-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Non-Equilibrium Systems and Special Functions -- Algebraic Geometry, Approximation and Optimisation -- On the Frontiers of High Dimensional Computation -- Month of Mathematical Biology -- Dynamics, Foliations, and Geometry In Dimension 3 -- Recent Trends on Nonlinear PDEs of Elliptic and Parabolic Type -- Functional Data Analysis and Beyond -- Geometric and Categorical Representation Theory. . |
| Record Nr. | UNISA-996418268103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2018 MATRIX Annals [[electronic resource] /] / edited by Jan de Gier, Cheryl E. Praeger, Terence Tao
| 2018 MATRIX Annals [[electronic resource] /] / edited by Jan de Gier, Cheryl E. Praeger, Terence Tao |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XXXII, 427 p. 5 illus., 4 illus. in color.) |
| Disciplina | 510 |
| Collana | MATRIX Book Series |
| Soggetto topico |
Algebraic geometry
Dynamics Ergodic theory Partial differential equations Category theory (Mathematics) Homological algebra Bioinformatics Computer science—Mathematics Algebraic Geometry Dynamical Systems and Ergodic Theory Partial Differential Equations Category Theory, Homological Algebra Computational Biology/Bioinformatics Mathematics of Computing |
| ISBN | 3-030-38230-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Non-Equilibrium Systems and Special Functions -- Algebraic Geometry, Approximation and Optimisation -- On the Frontiers of High Dimensional Computation -- Month of Mathematical Biology -- Dynamics, Foliations, and Geometry In Dimension 3 -- Recent Trends on Nonlinear PDEs of Elliptic and Parabolic Type -- Functional Data Analysis and Beyond -- Geometric and Categorical Representation Theory. . |
| Record Nr. | UNINA-9910483564303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A 25-Year Perspective on Logic Programming [[electronic resource] ] : Achievements of the Italian Association for Logic Programming, GULP / / edited by Agostino Dovier, Enrico Pontelli
| A 25-Year Perspective on Logic Programming [[electronic resource] ] : Achievements of the Italian Association for Logic Programming, GULP / / edited by Agostino Dovier, Enrico Pontelli |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIV, 329 p. 21 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Mathematical logic Computer logic Computer programming Computer science—Mathematics Computers Software Engineering/Programming and Operating Systems Mathematical Logic and Formal Languages Logics and Meanings of Programs Programming Techniques Mathematics of Computing Theory of Computation |
| ISBN |
1-280-38788-2
9786613565808 3-642-14309-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Twenty-Five Years of Logic Programming in Italy -- Logic Programming in Italy: A Historical Perspective -- Theoretical Foundations and Semantics of Logic Programming -- Theory-Specific Automated Reasoning -- Constraint Logic Programming -- Knowledge Representation and Non-monotonic Reasoning -- The Transformational Approach to Program Development -- Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming -- Answer Set Programming -- Logic Programming Languages for Databases and the Web -- Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How? -- Concurrent and Reactive Constraint Programming -- Proof-Theoretic and Higher-Order Extensions of Logic Programming -- Transformation and Debugging of Functional Logic Programs -- 25 Years of Applications of Logic Programming in Italy. |
| Record Nr. | UNISA-996465635203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
A 25-Year Perspective on Logic Programming [[electronic resource] ] : Achievements of the Italian Association for Logic Programming, GULP / / edited by Agostino Dovier, Enrico Pontelli
| A 25-Year Perspective on Logic Programming [[electronic resource] ] : Achievements of the Italian Association for Logic Programming, GULP / / edited by Agostino Dovier, Enrico Pontelli |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIV, 329 p. 21 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Mathematical logic Computer logic Computer programming Computer science—Mathematics Computers Software Engineering/Programming and Operating Systems Mathematical Logic and Formal Languages Logics and Meanings of Programs Programming Techniques Mathematics of Computing Theory of Computation |
| ISBN |
1-280-38788-2
9786613565808 3-642-14309-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Twenty-Five Years of Logic Programming in Italy -- Logic Programming in Italy: A Historical Perspective -- Theoretical Foundations and Semantics of Logic Programming -- Theory-Specific Automated Reasoning -- Constraint Logic Programming -- Knowledge Representation and Non-monotonic Reasoning -- The Transformational Approach to Program Development -- Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming -- Answer Set Programming -- Logic Programming Languages for Databases and the Web -- Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How? -- Concurrent and Reactive Constraint Programming -- Proof-Theoretic and Higher-Order Extensions of Logic Programming -- Transformation and Debugging of Functional Logic Programs -- 25 Years of Applications of Logic Programming in Italy. |
| Record Nr. | UNINA-9910483881603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
27th International Meshing Roundtable [[electronic resource] /] / edited by Xevi Roca, Adrien Loseille
| 27th International Meshing Roundtable [[electronic resource] /] / edited by Xevi Roca, Adrien Loseille |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (IX, 490 p. 314 illus., 249 illus. in color.) |
| Disciplina | 004 |
| Collana | Lecture Notes in Computational Science and Engineering |
| Soggetto topico |
Computer mathematics
Software engineering Numerical analysis Computer science—Mathematics Computer-aided engineering Computer simulation Computational Science and Engineering Software Engineering Numeric Computing Math Applications in Computer Science Computer-Aided Engineering (CAD, CAE) and Design Simulation and Modeling |
| ISBN | 3-030-13992-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part 1: High-order Adapted Meshes -- P2 Mesh Optimization Operators -- Isometric Embedding of Curvilinear Meshes Defined on Riemannian Metric Spaces -- Defining a Stretching and Alignment Aware Quality Measure for Linear and Curved 2D Meshes -- Curvilinear Mesh Adaptation -- Part 2 : Mesh and Geometry Blocks, Hex mesh generation -- A 44-Element Mesh of Schneiders' Pyramid: Bounding the Difficulty of Hex-Meshing Problems -- Representing Three-dimensional Cross Fields Using 4th Order Tensors -- Medial Axis Based Bead Feature Recognition for Automotive Body Panel Meshing -- An Angular Method with Position Control for Block Mesh Squareness Improvement -- Dual Surface Based Approach to Block Decomposition of Solid Models -- Automatic Blocking of Shapes using Evolutionary Algorithm -- Multi-block mesh refinement by adding mesh singularities -- Part 3: Simplicial Meshes -- Tuned Terminal Triangles Centroid Delaunay Algorithm for Quality Triangulation -- Local Bisection for Conformal Refinement of Unstructured 4D Simplicial Meshes -- A Construction of Anisotropic Meshes Based on Quasi Conformal Mapping -- Terminal Star Operations Algorithm for Tetrahedral Mesh Improvement -- Part 4: Curved High-Order Meshes -- Towards Simulation-Driven Optimization of High-Order Meshes by the Target-Matrix Optimization Paradigm -- Curving for Viscous Meshes -- An Angular Approach to Untangling High-Order Curvilinear Triangular Meshes -- Imposing Boundary Conditions to Match a CAD Virtual Geometry for the Mesh Curving Problem -- Part 5: Parallel and Fast Meshing Methods -- Exact Fast Parallel Intersection of Large 3-D Triangular Meshes -- Performance Comparison and Workload Analysis of Mesh Untangling and Smoothing Algorithms -- Accurate Manycore-Accelerated Manifold Surface Remesh Kernels -- Parallel Performance Model for Vertex Repositioning Algorithms and Application to Mesh Partitioning -- Discrete Mesh Optimization on GPU -- Mesh Morphing for Turbomachinery Applications Using Radial Basis Functions. |
| Record Nr. | UNINA-9910349352403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Abstract Algebra [[electronic resource] ] : Structure and Application / / by David R. Finston, Patrick J. Morandi
| Abstract Algebra [[electronic resource] ] : Structure and Application / / by David R. Finston, Patrick J. Morandi |
| Autore | Finston David R |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2014 |
| Descrizione fisica | 1 online resource (IX, 187 p. 45 illus.) |
| Disciplina | 512.02 |
| Collana | Springer Undergraduate Texts in Mathematics and Technology |
| Soggetto topico |
Algebra
Computer science—Mathematics Computer mathematics Matrix theory Mathematical Applications in Computer Science Linear and Multilinear Algebras, Matrix Theory |
| ISBN | 3-319-04498-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Identification Numbers and Modular Arithmetic -- Error Correcting Codes -- Rings and Fields -- Linear Algebra and Linear Codes -- Quotient Rings and Field Extensions -- Ruler and Compass Constructions -- Cyclic Codes -- Groups and Cryptography -- The Structure of Groups -- Symmetry. |
| Record Nr. | UNINA-9910299965903321 |
Finston David R
|
||
| Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Abstract State Machines, Alloy, B and Z [[electronic resource] ] : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings / / edited by Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves
| Abstract State Machines, Alloy, B and Z [[electronic resource] ] : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings / / edited by Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIV, 416 p. 95 illus.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Algorithms Computer science—Mathematics Theory of Computation Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Mathematics of Computing |
| ISBN |
1-280-38571-5
9786613563637 3-642-11811-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- A Structure for Dependability Arguments -- Formal Probabilistic Analysis: A Higher-Order Logic Based Approach -- ASM Papers -- Synchronous Message Passing and Semaphores: An Equivalence Proof -- AsmL-Based Concurrency Semantic Variations for Timed Use Case Maps -- Bârun: A Scripting Language for CoreASM -- AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications -- An Executable Semantics of the SystemC UML Profile -- Alloy Papers -- Specifying Self-configurable Component-Based Systems with FracToy -- Trace Specifications in Alloy -- An Imperative Extension to Alloy -- Towards Formalizing Network Architectural Descriptions -- Lightweight Modeling of Java Virtual Machine Security Constraints -- Alloy+HotCore: A Fast Approximation to Unsat Core -- B Papers -- Supporting Reuse in Event B Development: Modularisation Approach -- Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance -- Applying the B Method for the Rigorous Development of Smart Card Applications -- Automatic Verification for a Class of Proof Obligations with SMT-Solvers -- A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking -- Development of a Synchronous Subset of AADL -- Matelas: A Predicate Calculus Common Formal Definition for Social Networking -- Structured Event-B Models and Proofs -- Refinement-Animation for Event-B — Towards a Method of Validation -- Reactivising Classical B -- Event-B Decomposition for Parallel Programs -- Z Papers -- Communication Systems in ClawZ -- Formalising and Validating RBAC-to-XACML Translation Using Lightweight Formal Methods -- Towards Formally Templated Relational Database Representations in Z -- Translating Z to Alloy -- ABZ Short Papers (Abstracts) -- B-ASM: Specification of ASM à la B -- A Case for Using Data-Flow Analysis to Optimize Incremental Scope-Bounded Checking -- On the Modelling and Analysis of Amazon Web Services Access Policies -- Architecture as an Independent Variable for Aspect-Oriented Application Descriptions -- ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models -- Introducing Specification-Based Data Structure Repair Using Alloy -- Secrecy UML Method for Model Transformations -- Improving Traceability between KAOS Requirements Models and B Specifications -- Code Synthesis for Timed Automata: A Comparison Using Case Study -- Towards Validation of Requirements Models -- A Proof Based Approach for Formal Verification of Transactional BPEL Web Services -- On an Extensible Rule-Based Prover for Event-B -- B Model Abstraction Combining Syntactic and Semantic Methods -- A Basis for Feature-Oriented Modelling in Event-B -- Using Event-B to Verify the Kmelia Components and Their Assemblies -- Starting B Specifications from Use Cases -- Integrating SMT-Solvers in Z and B Tools -- Formal Analysis in Model Management: Exploiting the Power of CZT. |
| Record Nr. | UNISA-996465641803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Abstract State Machines, Alloy, B and Z [[electronic resource] ] : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings / / edited by Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves
| Abstract State Machines, Alloy, B and Z [[electronic resource] ] : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings / / edited by Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIV, 416 p. 95 illus.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Algorithms Computer science—Mathematics Theory of Computation Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Mathematics of Computing |
| ISBN |
1-280-38571-5
9786613563637 3-642-11811-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- A Structure for Dependability Arguments -- Formal Probabilistic Analysis: A Higher-Order Logic Based Approach -- ASM Papers -- Synchronous Message Passing and Semaphores: An Equivalence Proof -- AsmL-Based Concurrency Semantic Variations for Timed Use Case Maps -- Bârun: A Scripting Language for CoreASM -- AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications -- An Executable Semantics of the SystemC UML Profile -- Alloy Papers -- Specifying Self-configurable Component-Based Systems with FracToy -- Trace Specifications in Alloy -- An Imperative Extension to Alloy -- Towards Formalizing Network Architectural Descriptions -- Lightweight Modeling of Java Virtual Machine Security Constraints -- Alloy+HotCore: A Fast Approximation to Unsat Core -- B Papers -- Supporting Reuse in Event B Development: Modularisation Approach -- Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance -- Applying the B Method for the Rigorous Development of Smart Card Applications -- Automatic Verification for a Class of Proof Obligations with SMT-Solvers -- A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking -- Development of a Synchronous Subset of AADL -- Matelas: A Predicate Calculus Common Formal Definition for Social Networking -- Structured Event-B Models and Proofs -- Refinement-Animation for Event-B — Towards a Method of Validation -- Reactivising Classical B -- Event-B Decomposition for Parallel Programs -- Z Papers -- Communication Systems in ClawZ -- Formalising and Validating RBAC-to-XACML Translation Using Lightweight Formal Methods -- Towards Formally Templated Relational Database Representations in Z -- Translating Z to Alloy -- ABZ Short Papers (Abstracts) -- B-ASM: Specification of ASM à la B -- A Case for Using Data-Flow Analysis to Optimize Incremental Scope-Bounded Checking -- On the Modelling and Analysis of Amazon Web Services Access Policies -- Architecture as an Independent Variable for Aspect-Oriented Application Descriptions -- ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models -- Introducing Specification-Based Data Structure Repair Using Alloy -- Secrecy UML Method for Model Transformations -- Improving Traceability between KAOS Requirements Models and B Specifications -- Code Synthesis for Timed Automata: A Comparison Using Case Study -- Towards Validation of Requirements Models -- A Proof Based Approach for Formal Verification of Transactional BPEL Web Services -- On an Extensible Rule-Based Prover for Event-B -- B Model Abstraction Combining Syntactic and Semantic Methods -- A Basis for Feature-Oriented Modelling in Event-B -- Using Event-B to Verify the Kmelia Components and Their Assemblies -- Starting B Specifications from Use Cases -- Integrating SMT-Solvers in Z and B Tools -- Formal Analysis in Model Management: Exploiting the Power of CZT. |
| Record Nr. | UNINA-9910483437903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| 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 | ||
| ||
Accuracy and Fuzziness. A Life in Science and Politics [[electronic resource] ] : A Festschrift book to Enric Trillas Ruiz / / by Luis Argüelles Méndez ; edited by Rudolf Seising
| Accuracy and Fuzziness. A Life in Science and Politics [[electronic resource] ] : A Festschrift book to Enric Trillas Ruiz / / by Luis Argüelles Méndez ; edited by Rudolf Seising |
| Autore | Argüelles Méndez Luis |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XXXVI, 350 p. 123 illus., 11 illus. in color.) |
| Disciplina | 511.322 |
| Collana | Studies in Fuzziness and Soft Computing |
| Soggetto topico |
Computational intelligence
Computer science—Mathematics Mathematics Artificial intelligence Computational Intelligence Math Applications in Computer Science Popular Science in Mathematics Artificial Intelligence |
| ISBN | 3-319-18606-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Not, Or, And, – Not An End And Not No End! The “Enric-Trillas-Path” in Fuzzy Logic -- Causal Relations, Text Mining And Causal Graphs -- A Thread Through Challenging Questions -- Doctor Honoris Causa for Enric Trillas By the Universidad P´Ublica De Navarra -- A Hypothetical Conversation -- Professor Trillas’ Presidency of CSIC: Years Of Political Change And Friendship -- Leaves from a Tree Called Friendship -- Working with Enric Trillas and why 1977 was a Good Year -- How I Met Enric Trillas -- A Short Tribute to Enric Trillas Homage -- Enric Trillas Barcelona -- Memories on Enric Trillas in Madrid -- Enric Trillas: One of the First Spaniards Interested in The Study of Aggregation Functions -- In the Future Everyone will be A Fuzzy Set. Enric Trillas, FST as an Experimental Science And the Relationship with Theory of Concepts -- From Trillas’ Negations and Antonyms to a Set Representation of Contradiction Within Bipolar and Other Extensions of Fuzzy Sets -- Some Memories about an Old Research Companionship -- A Photographic Essay -- Some of my Memories With Enric Trillas During the Last 20 Years: A Small Tribute to an Outstanding Researcher and an Even Better Person -- Enric Trillas, a Logical Path -- “Enrique” in our Life -- My Appreciation of Enric Trillas: A Personal Note -- Enric Trillas: Master, Scientist and Humanist -- Small Recollections -- Some Notes on my Friendship With Enric Trillas -- Some Anticipatory Reminiscences -- Computational Intelligence and Soft Computing: Closely Related But not the Same -- Vague Heuristics -- Fuzzy Web Search: Representing and Applying Concepts Instead of Words -- Come to the Centre. You Won’t Regret -- ENRIC By Enrique -- Theoretical and Experimental Teaching -- A First Inquiry on Semantic-Based Models of and. |
| Record Nr. | UNINA-9910299819603321 |
|
Argüelles Méndez Luis
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto topico
-
Computer science—Mathematics
(3587)
- Discrete Mathematics in Computer Science (2092)
- Algorithms (2013)
- Discrete mathematics (1209)
- Computer science (1117)