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.
Computational Methods in Systems Biology : 22nd International Conference, CMSB 2024, Pisa, Italy, September 16–18, 2024, Proceedings / / edited by Roberta Gori, Paolo Milazzo, Mirco Tribastone
| Computational Methods in Systems Biology : 22nd International Conference, CMSB 2024, Pisa, Italy, September 16–18, 2024, Proceedings / / edited by Roberta Gori, Paolo Milazzo, Mirco Tribastone |
| Autore | Gori Roberta |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (268 pages) |
| Disciplina |
570.285
570.113 |
| Altri autori (Persone) |
MilazzoPaolo
TribastoneMirco |
| Collana | Lecture Notes in Bioinformatics |
| Soggetto topico |
Bioinformatics
Computer systems Artificial intelligence Biological models Computational and Systems Biology Computer System Implementation Artificial Intelligence Biological Models |
| ISBN | 3-031-71671-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910887805503321 |
Gori Roberta
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
From Data to Models and Back : 12th International Symposium, DataMod 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers / / edited by Ricardo M. Czekster, Paolo Milazzo
| From Data to Models and Back : 12th International Symposium, DataMod 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers / / edited by Ricardo M. Czekster, Paolo Milazzo |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (XV, 159 p. 44 illus., 36 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer engineering Computer networks Artificial intelligence Computer science Software Engineering Computer Engineering and Networks Artificial Intelligence Theory of Computation |
| ISBN | 3-031-87908-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | -- A Critique on Transductive Evaluation for GNN Node Classification. -- Gene Importance Assessment based on Shapley Values for Boolean Networks: Validation and Scalability Analysis. -- Modelling COVID 19 with a SIR Variant using Real-World Data: a Case Study in Brazil. -- Verifying properties of Activities of Daily Living. -- Explaining Pain: on the Impact of Physiological Signals in Pain Prediction. -- Exploring the Trade Offs in ECG Biometrics: Impact of Acquisition Time and Temporal Separation. -- Risk Management and Process Optimization in Industry 4.0: Integrating Sensors with Critical Path and FMEA. -- Beyond Flattening: Detecting Concurrency Anomalies Using K NN Graph-based Modeling in Object Centric Event Logs. -- Towards Achieving Energy Efficiency and Service Availability in 6G O RAN via Formal Verification. |
| Record Nr. | UNINA-9910999685103321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
From Data to Models and Back : 12th International Symposium, DataMod 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers / / edited by Ricardo M. Czekster, Paolo Milazzo
| From Data to Models and Back : 12th International Symposium, DataMod 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers / / edited by Ricardo M. Czekster, Paolo Milazzo |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (XV, 159 p. 44 illus., 36 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer engineering Computer networks Artificial intelligence Computer science Software Engineering Computer Engineering and Networks Artificial Intelligence Theory of Computation |
| ISBN | 3-031-87908-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | -- A Critique on Transductive Evaluation for GNN Node Classification. -- Gene Importance Assessment based on Shapley Values for Boolean Networks: Validation and Scalability Analysis. -- Modelling COVID 19 with a SIR Variant using Real-World Data: a Case Study in Brazil. -- Verifying properties of Activities of Daily Living. -- Explaining Pain: on the Impact of Physiological Signals in Pain Prediction. -- Exploring the Trade Offs in ECG Biometrics: Impact of Acquisition Time and Temporal Separation. -- Risk Management and Process Optimization in Industry 4.0: Integrating Sensors with Critical Path and FMEA. -- Beyond Flattening: Detecting Concurrency Anomalies Using K NN Graph-based Modeling in Object Centric Event Logs. -- Towards Achieving Energy Efficiency and Service Availability in 6G O RAN via Formal Verification. |
| Record Nr. | UNISA-996655269703316 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Intelligent Transport Systems : 8th International Conference, INTSYS 2024, Pisa, Italy, December 5–6, 2024, Revised Selected Papers / / edited by Alexander Kocian, Paolo Milazzo, Ana Lúcia Henriques Martins, Mirco Nanni, Luca Pappalardo
| Intelligent Transport Systems : 8th International Conference, INTSYS 2024, Pisa, Italy, December 5–6, 2024, Revised Selected Papers / / edited by Alexander Kocian, Paolo Milazzo, Ana Lúcia Henriques Martins, Mirco Nanni, Luca Pappalardo |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (XIV, 426 p. 134 illus., 121 illus. in color.) |
| Disciplina | 005.3 |
| Collana | Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering |
| Soggetto topico |
Information technology - Management
Computer Application in Administrative Data Processing |
| ISBN | 3-031-86370-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | -- Smart technologies. -- Beat trustfully: The correlation between heart rate and a multi-dimensional trust questionnaire. -- Detecting and Locating Stress in Urban Settings with ChillIn. -- Traceability. -- Interoperable Traceability in Supply Chains: A Use Case in Agritech. -- Treemob: Expressive Mobility Data Representation through Tree-based Structures. -- From GPS Traces to Individual Emission Exposure: a Data-Driven Four-Step Process. -- Capacity Vehicle Routing Problem with Time Windows: Simulation tool for Footprint Network Design. -- Chain of Portable Health Folders: A Systematic Literature Review. -- Integrating Metro Infrastructure in Circular Food Supply Chains: A Model for decentralized Quito’s Food Bank Network Redesign. -- Traffic forecasting and control. -- An AutoML Approach for Bike Demand Forecasting and Redistribution. -- Adaptive Stop-Skipping Scheduling Approach Using Reinforcement Learning. -- Machine Learning Approach for Labeling Undetected Planned Trips in Public Transport Operators. -- Reinforcement Learning Algorithms with Graph Convolution Networks for Traffic Signal Control. -- Optimizing Intelligent Transportation Systems with Multi-Agent Reinforcement Learning: A Socio-Economic Impact Assessment. -- Road safety. -- A Mobile Application to secure pedestrians interacting with automated vehicles. -- A Simulation-based Security Benchmarking Approach for Assessing Cooperative Driving Automation (CDA) Applications. -- Regulations and policies. -- Wireless Interference and Regulatory Frameworks for Frequency Allocation in V2X Communication Systems. -- Runtime norms regulation framework for drones’ smart cities applications. -- Autonomous vehicles. -- A Data-Driven Integrated Framework for Virtual Testing of Autonomous Vehicles in Mixed Traffic Scenarios. -- Federated Learning for Lane-Change Prediction. -- Evaluating Traffic Control Strategies for Autonomous Shuttle In Different AV penetration, Using SUMO Traffic Simulation. -- Adaptive Video Bitrate Allocation for Remotely Operated Vehicles (ROV). -- Model-based analysis for cooperative transportation under uncertainty and threats. -- Experimental Evaluation of Road-Crossing Decisions by Autonomous Wheelchairs against Environmental Factors. -- Impact of Network Delays on Edge-Assisted Platooning Systems in 5G Networks: Addressing Latency Challenges. -- A model-based approach for analysis of data-alteration attacks in co-operative vehicles. -- A Preliminary Approach To Verify Platoon Behaviour Using Execution Traces and Model Checking. |
| Record Nr. | UNINA-9910993928703321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Technologies: Applications and Foundations [[electronic resource] ] : STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers / / edited by Paolo Milazzo, Dániel Varró, Manuel Wimmer
| Software Technologies: Applications and Foundations [[electronic resource] ] : STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers / / edited by Paolo Milazzo, Dániel Varró, Manuel Wimmer |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXXII, 472 p. 185 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Artificial intelligence Application software Mathematical logic Computer communication systems Software Engineering Logics and Meanings of Programs Artificial Intelligence Information Systems Applications (incl. Internet) Mathematical Logic and Formal Languages Computer Communication Networks |
| ISBN | 3-319-50230-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Practical and foundational advances in software technology -- Formal foundations of software technology -- Testing and formal analysis -- Graph transformations and model transformations -- Model driven engineering, and tools. |
| Record Nr. | UNISA-996465490103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Technologies: Applications and Foundations : STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers / / edited by Paolo Milazzo, Dániel Varró, Manuel Wimmer
| Software Technologies: Applications and Foundations : STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers / / edited by Paolo Milazzo, Dániel Varró, Manuel Wimmer |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXXII, 472 p. 185 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Artificial intelligence Application software Logic, Symbolic and mathematical Computer networks Software Engineering Logics and Meanings of Programs Artificial Intelligence Information Systems Applications (incl. Internet) Mathematical Logic and Formal Languages Computer Communication Networks |
| ISBN | 3-319-50230-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Practical and foundational advances in software technology -- Formal foundations of software technology -- Testing and formal analysis -- Graph transformations and model transformations -- Model driven engineering, and tools. |
| Record Nr. | UNINA-9910484291203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||