LECTURE NOTES IN COMPUTER SCIENCE

Series

Identifier:

E100308

ISSN:

0302-9743

Overview

Outputs (102)

A Federated Learning Framework for Stenosis Detection

Conference Paper

A Learning Approach for Informative-Frame Selection in US Rheumatology Images

Conference Paper

A Specification for Security Services on Computational Grids

Academic Article

A Systematization of the Wagner Framework: Graph Theory Conjectures and Reinforcement Learning

Conference Paper

A general framework for variable aliasing: Towards optimal operators for sharing properties

Academic Article

A tool which mines partial execution traces to improve static analysis

Academic Article

AI-Driven Surgical Tool Localization in Microsurgical Training Simulations

Conference Paper

Abstract Compilation for Sharing Analysis

Academic Article

Abstract Interpretation Based Semantics of Sequent Calculi

Academic Article

Abstract domains for sharing analysis by optimal semantics

Academic Article

An Infrastructural Approach to Secure Interoperability of Electronic IDs: The Bridging Backbone

Academic Article

An exponential improvement on the MST heuristic for the Minimum Energy Broadcasting problem

Conference Paper

Analysis and verification of navigation strategies by abstract interpretation of cellular automata

Academic Article

Approximating the Revenue Maximization Problem with Sharp Demands

Conference Paper

Approximating the Traffic Grooming Problem

Conference Paper

Approximating the Traffic Grooming Problem in Tree and Star Networks

Conference Paper

Approximating the Traffic Grooming Problem with respect to ADMs and OADMs

Conference Paper

Assessing and Comparing Free Large Language Models’ Responses to a Clinical Case: Accuracy, Safety, and Reliability

Conference Paper

Asymptotically Optimal Solutions for Small World Graphs

Conference Paper

Budget feasible mechanisms on matroids

Conference Paper

Building complete abstract interpretations in a linear logic-based setting

Academic Article

Clitic Movement in Pregroup Grammar: A Cross-Linguistic Approach

Chapter

Coalition resilient outcomes in max k-cut games

Conference Paper

Coherent upper conditional previsions defined by fractal outer measures to represent the unconscious activity of human brain

Chapter

Combining Convolutional Neural Networks and Anatomical Shape-Based Priors for Cardiac Segmentation

Conference Paper

Complete Abstract Interpretations made Constructive

Academic Article

Complex Dynamics and Financial Fragility in an Agent Based Model

Chapter

Compositional Verification of Infinite State Systems.

Academic Article

Computer algebra for fingerprint matching

Academic Article

Constraint Based Languages for Biological Reactions

Chapter

Continuous and Discrete Algorithms in Quantum Chemistry: Polynomial Sets, Spin Networks and Sturmian Orbitals

Chapter

Covering the Online Spectrum of Opinion in Social Context: The Benefit of Network Node Sampling Through an Italian Case Study

Conference Paper

Deep-Learning Architectures for Placenta Vessel Segmentation in TTTS Fetoscopic Images

Conference Paper

Deriving numerical abstract domains via Principal Component Analysis

Academic Article

Development of an Augmented Reality System Based on Marker Tracking for Robotic Assisted Minimally Invasive Spine Surgery

Conference Paper

ECG compression by efficient coding

Conference Paper

Experimental Evaluation of Algorithms for IP Table Minimization

Conference Paper

Expressiveness of multiple heads in CHR

Academic Article

Generalized Graph k-Coloring Games

Conference Paper

Generation of test data structures using Constraint Logic Programming

Conference Paper

Graphical Congestion Games

Conference Paper

Improving Reachability Analysis of Infinite State Systems by Specialization

Academic Article

Independent sets of maximum weight in apple-free graphs

Academic Article

Indexed Categories and Bottom-Up Semantics of Logic Programs

Academic Article

Interference Games in Wireless Networks.

Conference Paper

Intuitionistic Implication in Abstract Interpretation

Academic Article

Is arbitrage possible in the bitcoin market? (Work-In-Progress Paper)

Chapter

Italian Clitic Patterns in Pregroup Grammar: State of the Art

Chapter

Localizing Widening and Narrowing

Conference Paper

Logical Optimality of Groundness Analysis

Academic Article

Mobile Network Creation Games

Conference Paper

Modelling Dialogues in a Concurrent Language for Argumentation

Conference Paper

Multi-instrumental Analysis of the Extreme Meteorological Event Occurred in Matera (Italy) on November 2019

Conference Paper

Multicast Transmission in Non-Cooperative Networks with a Limited Number of Selfish Moves

Conference Paper

Narrowing Operators on Template Abstract Domains

Conference Paper

New graph classes of bounded clique-width

Academic Article

Observational Completeness on Abstract Interpretation

Academic Article

On Best Response Dynamics in Weighted Congestion Games with Polynomial Delays

Conference Paper

On Colorful Bin Packing Games

Conference Paper

On Nash Equilibria for Multicast Transmissions in Ad-Hoc Wireless Networks

Conference Paper

On Nash Equilibria in Non-Cooperative All-Optical Networks

Conference Paper

On distance-3 matchings and induced matchings

Academic Article

On stable cutsets in claw-free graphs and planar graphs

Academic Article

On the Complexity of the Regenerator Cost Problem in General Networks with Traffic Grooming

Conference Paper

On the Impact of Fair Best Response Dynamics

Conference Paper

On the Performances of Nash Equilibria in Isolation Games

Conference Paper

Optimizing Regenerator Cost in Traffic Grooming (Extended Abstract)

Conference Paper

Performance of DFT and MP2 Approaches for Geometry of Rhenium Allenylidenes Complexes and the Thermodynamics of Phosphines Addition

Chapter

Performances of One-Round Walks in Linear Congestion Games

Conference Paper

Physiological Parameter Estimation from Multispectral Images Unleashed

Conference Paper

Predicting the Failure of Component X in the Scania Dataset with Graph Neural Networks

Conference Paper

Preliminary Results of the AEROMET Project on the Assimilation of the Rain-Rate from Satellite Observations

Conference Paper

Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation

Academic Article

Proving Correctness of Timed Concurrent Constraint Programs

Conference Paper

Proving Properties of Logic Programs by Abstract Diagnosis

Conference Paper

RDFSync: Efficient remote synchronization of RDF models

Conference Paper

Random: R-based Analyzer for Numerical DOMains

Academic Article

Regeneration and reuse of heritage in Basso Sangro-Trigno: an opportunity for the sustainable development of inner areas

Chapter

Reliable peer-to-peer access for Italian citizens to digital government services on the Internet.

Academic Article

Resilience of Cultural Heritage in Extreme Weather Conditions: The Case of the UNESCO Villa Romana del Casale Archaeological Site's Response to the Apollo Medicane in October 2021

Conference Paper

Robustness of Radiomics Features to Varying Segmentation Algorithms in Magnetic Resonance Images

Conference Paper

Selfishness, Collusion and Power of Local Search for the ADMs Minimization Problem

Conference Paper

Semantics and Expressive Power of a Timed Concurrent Constraint Language

Conference Paper

Should a Chatbot Disclose Itself? Implications for an Online Conversational Retailer

Conference Paper

Some Ethical Remarks on Deep Learning-Based Movements Monitoring for Preterm Infants: Green AI or Red AI?

Conference Paper

Stackelberg Strategies for Network Design Games

Conference Paper

Strategyproof Mechanisms for Additively Separable Hedonic Games and Fractional Hedonic Games

Conference Paper

Sum of Abstract Domains

Conference Paper

SwitchPath: Enhancing Exploration in Neural Networks Learning Dynamics

Conference Paper

The Key Role of Structural Health Monitoring as a Control Tool in the Post-earthquake Recovery Phase of Damaged Heritage Buildings: The Case Study of “Collegiata di Santa Maria” in Visso, Italy

Chapter

The Multi-budget Maximum Weighted Coverage Problem

Conference Paper

The ScalaFix Equation Solver

Conference Paper

The ring design game with fair cost allocation

Conference Paper

The speed of Convergence in Congestion Games under Best Response Dynamics

Conference Paper

Theoretical Foundations and Semantics of Logic Programming

Academic Article

Tight Bounds for Selfish and Greedy Load Balancing

Conference Paper

Timed Concurrent Language for Argumentation: An Interleaving Approach

Conference Paper

Timed soft Concurrent Constraint Programs

Conference Paper

Using Real Relaxations During Program Specialization

Academic Article

Verifying Controllability of Time-Aware Business Processes

Conference Paper

Verifying Smart Contracts in Yul via Transformation to CHC by Interpreter Specialization

Conference Paper

When Ignorance helps: Graphical Cost Sharing Games

Conference Paper

No Results Found

LECTURE NOTES IN COMPUTER SCIENCE

Overview

Outputs (102)