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.
AIxIA 2024 – Advances in Artificial Intelligence : XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25–28, 2024 Proceedings / / edited by Alessandro Artale, Gabriella Cortellessa, Marco Montali
| AIxIA 2024 – Advances in Artificial Intelligence : XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25–28, 2024 Proceedings / / edited by Alessandro Artale, Gabriella Cortellessa, Marco Montali |
| Autore | Artale Alessandro |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (360 pages) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
CortellessaGabriella
MontaliMarco |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer science Software engineering Application software Computers, Special purpose Compilers (Computer programs) Artificial Intelligence Theory of Computation Software Engineering Computer and Information Systems Applications Special Purpose and Application-Based Systems Compilers and Interpreters |
| ISBN |
9783031806070
3031806077 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | -- Against the Clock: Lessons Learned by Applying Temporal Planning in Practice. -- A Novel Approach for Leveraging Agent-based Experts on Large Language Models to Enable Data Sharing among Heterogeneous IoT Devices in Agriculture. -- An Extensive Empirical Analysis of Macro-Actions for Numeric Planning. -- Feature selection on contextual embedding pushing the sparseness. -- Neuro-symbolic Integration for Open Set Recognition in Network Intrusion Detection. -- MM-IGLU-IT: Multi-Modal Interactive Grounded Language Understanding in Italian. -- IDADA: A Blended Inductive-Deductive Approach for Data Augmentation . -- HaWANet: Road Scene Understanding with Multi-modal Sensor Data using Height-Width-driven Attention Network. -- Hybrid Classification of European Legislation using Sustainable Development Goals. -- Supporting Decision-Making for City Management through Automated Planning and Execution. -- NutriWell: an Explainable Ontology-Based FoodAI Service for Nutrition and Health Management. -- Regular Clocks for Temporal Task Specifications in Reinforcement Learning. -- A Real-Time Support with Haptic Feedback for Safer Driving using Monocular Camera. -- Relating explanations with the inductive biases of Deep Graph Networks. -- ntegrating Temporal Planning and Knowledge Representation to Generate Personalized Touristic Itineraries. -- ASR Systems Under Acoustic Challenges: A Multilingual Study. -- Automating Resume Analysis: Knowledge Graphs via Prompt Engineering. -- Combined Text-Visual Attention Models for Robot Task Learning and Execution. -- ICE: An Evaluation Metric to Assess Symbolic Knowledge Quality. -- Hierarchical Knowledge Extraction from Opaque Machine Learning Predictors. -- On Different Symbolic Music Representations for Algorithmic Composition Approaches based on Neural Sequence Models. -- DR-Minerva: a Multimodal Language Model based on Minerva for Diagnostic Information Retrieval . -- REPAIR platform: Robot-aidEd PersonAlIzed Rehabilitation. -- Integrating classical planners with GPT-based Planning Policies. -- Probabilistic Traces in Declarative Process Mining. |
| Record Nr. | UNISA-996641271703316 |
Artale Alessandro
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures / / edited by Roland Backhouse, Roy Crole, Jeremy Gibbons
| Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures / / edited by Roland Backhouse, Roy Crole, Jeremy Gibbons |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XIV, 390 p.) |
| Disciplina | 005 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer science Compilers (Computer programs) Machine theory Software Engineering Theory of Computation Compilers and Interpreters Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
| ISBN | 3-540-47797-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Ordered Sets and Complete Lattices -- Algebras and Coalgebras -- Galois Connections and Fixed Point Calculus -- Calculating Functional Programs -- Algebra of Program Termination -- Exercises in Coalgebraic Specification -- Algebraic Methods for Optimization Problems -- Temporal Algebra. |
| Record Nr. | UNINA-9910145793503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algebraic and Numeric Biology [[electronic resource] ] : 4th International Conference, ANB 2010, Hagenberg, Austria, July 31-August 2, 2010, Revised Selected Papers / / edited by Katsuhisa Horimoto, Masahiko Nakatsui, Nikolaj Popov
| Algebraic and Numeric Biology [[electronic resource] ] : 4th International Conference, ANB 2010, Hagenberg, Austria, July 31-August 2, 2010, Revised Selected Papers / / edited by Katsuhisa Horimoto, Masahiko Nakatsui, Nikolaj Popov |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (IX, 185 p.) |
| Disciplina | 570.285 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Computer science—Mathematics Bioinformatics Software engineering Compilers (Computer programs) Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Symbolic and Algebraic Manipulation Computational and Systems Biology Software Engineering Compilers and Interpreters |
| ISBN | 3-642-28067-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465981103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Algebraic Foundations in Computer Science [[electronic resource] ] : Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement / / edited by Werner Kuich, George Rahonis
| Algebraic Foundations in Computer Science [[electronic resource] ] : Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement / / edited by Werner Kuich, George Rahonis |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (X, 363 p.) |
| Disciplina | 004.01512 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Artificial intelligence Compilers (Computer programs) Computer science—Mathematics Software engineering Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Artificial Intelligence Compilers and Interpreters Symbolic and Algebraic Manipulation Software Engineering |
| ISBN | 3-642-24897-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Selected Decision Problems for Square-Refinement Collage Grammars -- Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics -- Partial Conway and Iteration Semiring-Semimodule Pairs -- Kleene Theorem in Partial Conway Theories with Applications -- Rational Transformations and a Kleene Theorem for Power Series over Rational Monoids -- Equational Weighted Tree Transformations with Discounting -- Quantum Automata Theory – A Review -- Graph Automata: The Algebraic Properties of Abelian Relational Graphoids -- A Survey on Picture-Walking Automata -- Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups -- Algebraic Systems and Pushdown Automata -- Where Automatic Structures Benefit from Weighted Automata -- Survey: Weighted Extended Top-Down Tree Transducers Part III — Composition -- Valuations of Weighted Automata: Doing It in a Rational Way -- Selected Combinatorial Properties of Random Intersection Graphs. Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics -- Partial Conway and Iteration Semiring-Semimodule Pairs -- Kleene Theorem in Partial Conway Theories with Applications -- Rational Transformations and a Kleene Theorem for Power Series over Rational Monoids -- Equational Weighted Tree Transformations with Discounting -- Quantum Automata Theory – A Review -- Graph Automata: The Algebraic Properties of Abelian Relational Graphoids -- A Survey on Picture-Walking Automata -- Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups -- Algebraic Systems and Pushdown Automata -- Where Automatic Structures Benefit from Weighted Automata -- Survey: Weighted Extended Top-Down Tree Transducers Part III — Composition -- Valuations of Weighted Automata: Doing It in a Rational Way -- Selected Combinatorial Properties of Random Intersection Graphs. |
| Record Nr. | UNISA-996465957003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Algebraic Methodology and Software Technology : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings / / edited by José Meseguer, Grigore Rosu
| Algebraic Methodology and Software Technology : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings / / edited by José Meseguer, Grigore Rosu |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (XIII, 434 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer programming
Software engineering Compilers (Computer programs) Computer science Machine theory Programming Techniques Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
| ISBN | 3-540-79980-X |
| Classificazione |
004
DAT 335f MAT 110f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Marrying Words and Trees -- Simulation Using Orchestration -- Liberate Computer User from Programming -- An Algebra for Features and Feature Composition -- Petri Nets Are Dioids -- Towards an Efficient Implementation of Tree Automata Completion -- Calculating Invariants as Coreflexive Bisimulations -- Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines -- A Declarative Debugger for Maude -- Long-Run Cost Analysis by Approximation of Linear Operators over Dioids -- Towards Validating a Platoon of Cristal Vehicles Using CSP//B -- Explaining Verification Conditions -- Towards Formal Verification of ToolBus Scripts -- A Formal Analysis of Complex Type Flaw Attacks on Security Protocols -- Abstract Interpretation Plugins for Type Systems -- Separation Logic Contracts for a Java-Like Language with Fork/Join -- An Algebraic Semantics for Contract-Based Software Components -- Implementing a Categorical Information System -- Constant Complements, Reversibility and Universal View Updates -- Coinductive Properties of Causal Maps -- Extending Timed Process Algebra with Discrete Stochastic Time -- Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving -- Evolving Specification Engineering -- Verification of Java Programs with Generics -- Domain Axioms for a Family of Near-Semirings -- Generating Specialized Rules and Programs for Demand-Driven Analysis -- Non Expansive ?-Bisimulations -- A Hybrid Approach for Safe Memory Management in C -- Service Specification and Matchmaking Using Description Logic -- System Demonstration of Spiral: Generator for High-Performance Linear Transform Libraries -- The Verification of the On-Chip COMA Cache Coherence Protocol. |
| Record Nr. | UNINA-9910767522803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algorithms - ESA 2015 [[electronic resource] ] : 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings / / edited by Nikhil Bansal, Irene Finocchi
| Algorithms - ESA 2015 [[electronic resource] ] : 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings / / edited by Nikhil Bansal, Irene Finocchi |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XXIII, 1053 p. 142 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Compilers (Computer programs) Computer science—Mathematics Discrete mathematics Software engineering Machine theory Computer Science Logic and Foundations of Programming Compilers and Interpreters Discrete Mathematics in Computer Science Software Engineering Formal Languages and Automata Theory |
| ISBN | 3-662-48350-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466185003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Algorithms - ESA 2015 : 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings / / edited by Nikhil Bansal, Irene Finocchi
| Algorithms - ESA 2015 : 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings / / edited by Nikhil Bansal, Irene Finocchi |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XXIII, 1053 p. 142 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Compilers (Computer programs) Computer science - Mathematics Discrete mathematics Software engineering Machine theory Computer Science Logic and Foundations of Programming Compilers and Interpreters Discrete Mathematics in Computer Science Software Engineering Formal Languages and Automata Theory |
| ISBN | 3-662-48350-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910483520803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Application and Theory of Petri Nets [[electronic resource] ] : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings / / edited by Lars M. Kristensen, Laure Petrucci
| Application and Theory of Petri Nets [[electronic resource] ] : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings / / edited by Lars M. Kristensen, Laure Petrucci |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XII, 349 p. 130 illus., 23 illus. in color.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Computer programming Compilers (Computer programs) Machine theory Theory of Computation Software Engineering Computer Science Logic and Foundations of Programming Programming Techniques Compilers and Interpreters Formal Languages and Automata Theory |
| ISBN | 3-642-21834-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465409703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings / / edited by Raymond Devillers, Antti Valmari
| Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings / / edited by Raymond Devillers, Antti Valmari |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (X, 351 p. 129 illus.) |
| Disciplina | 511.35 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Compilers (Computer programs) Computer Science Logic and Foundations of Programming Software Engineering Compilers and Interpreters |
| ISBN | 3-319-19488-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996198524603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Application and Theory of Petri Nets and Concurrency : 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings / / edited by Raymond Devillers, Antti Valmari
| Application and Theory of Petri Nets and Concurrency : 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings / / edited by Raymond Devillers, Antti Valmari |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (X, 351 p. 129 illus.) |
| Disciplina | 511.35 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Compilers (Computer programs) Computer Science Logic and Foundations of Programming Software Engineering Compilers and Interpreters |
| ISBN | 3-319-19488-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910484073003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto topico
- Compilers (Computer programs) (1501)
-
Compilers and Interpreters
(1501)
- Computer science (1047)
- Software Engineering (1041)
- Software engineering (1041)