Skip to Main Content (Press Enter)

Logo UNICH
  • ×
  • Home
  • Corsi
  • Insegnamenti
  • Professioni
  • Persone
  • Pubblicazioni
  • Strutture
  • Terza Missione
  • Attività
  • Competenze

UNI-FIND
Logo UNICH

|

UNI-FIND

unich.it
  • ×
  • Home
  • Corsi
  • Insegnamenti
  • Professioni
  • Persone
  • Pubblicazioni
  • Strutture
  • Terza Missione
  • Attività
  • Competenze
  1. Pubblicazioni

LECTURE NOTES IN COMPUTER SCIENCE

Serie
Codice:
E100308
ISSN:
0302-9743
  • Dati Generali

Dati Generali

Pubblicazioni (98)

  • ascendente
  • decrescente
A Federated Learning Framework for Stenosis Detection
Contributo in Atti di convegno
A Learning Approach for Informative-Frame Selection in US Rheumatology Images
Contributo in Atti di convegno
A Specification for Security Services on Computational Grids
Articolo
A general framework for variable aliasing: Towards optimal operators for sharing properties
Articolo
A tool which mines partial execution traces to improve static analysis
Articolo
AI-Driven Surgical Tool Localization in Microsurgical Training Simulations
Contributo in Atti di convegno
Abstract Compilation for Sharing Analysis
Articolo
Abstract Interpretation Based Semantics of Sequent Calculi
Articolo
Abstract domains for sharing analysis by optimal semantics
Articolo
An Infrastructural Approach to Secure Interoperability of Electronic IDs: The Bridging Backbone
Articolo
An exponential improvement on the MST heuristic for the Minimum Energy Broadcasting problem
Contributo in Atti di convegno
Analysis and verification of navigation strategies by abstract interpretation of cellular automata
Articolo
Approximating the Revenue Maximization Problem with Sharp Demands
Contributo in Atti di convegno
Approximating the Traffic Grooming Problem
Contributo in Atti di convegno
Approximating the Traffic Grooming Problem in Tree and Star Networks
Contributo in Atti di convegno
Approximating the Traffic Grooming Problem with respect to ADMs and OADMs
Contributo in Atti di convegno
Assessing and Comparing Free Large Language Models’ Responses to a Clinical Case: Accuracy, Safety, and Reliability
Contributo in Atti di convegno
Asymptotically Optimal Solutions for Small World Graphs
Contributo in Atti di convegno
Budget feasible mechanisms on matroids
Contributo in Atti di convegno
Building complete abstract interpretations in a linear logic-based setting
Articolo
Clitic Movement in Pregroup Grammar: A Cross-Linguistic Approach
Capitolo di libro
Coalition resilient outcomes in max k-cut games
Contributo in Atti di convegno
Coherent upper conditional previsions defined by fractal outer measures to represent the unconscious activity of human brain
Capitolo di libro
Combining Convolutional Neural Networks and Anatomical Shape-Based Priors for Cardiac Segmentation
Contributo in Atti di convegno
Complete Abstract Interpretations made Constructive
Articolo
Complex Dynamics and Financial Fragility in an Agent Based Model
Capitolo di libro
Compositional Verification of Infinite State Systems.
Articolo
Computer algebra for fingerprint matching
Articolo
Constraint Based Languages for Biological Reactions
Capitolo di libro
Continuous and Discrete Algorithms in Quantum Chemistry: Polynomial Sets, Spin Networks and Sturmian Orbitals
Capitolo di libro
Deep-Learning Architectures for Placenta Vessel Segmentation in TTTS Fetoscopic Images
Contributo in Atti di convegno
Deriving numerical abstract domains via Principal Component Analysis
Articolo
Development of an Augmented Reality System Based on Marker Tracking for Robotic Assisted Minimally Invasive Spine Surgery
Contributo in Atti di convegno
ECG compression by efficient coding
Contributo in Atti di convegno
Experimental Evaluation of Algorithms for IP Table Minimization
Contributo in Atti di convegno
Expressiveness of multiple heads in CHR
Articolo
Generalized Graph k-Coloring Games
Contributo in Atti di convegno
Generation of test data structures using Constraint Logic Programming
Contributo in Atti di convegno
Graphical Congestion Games
Contributo in Atti di convegno
Improving Reachability Analysis of Infinite State Systems by Specialization
Articolo
Independent sets of maximum weight in apple-free graphs
Articolo
Indexed Categories and Bottom-Up Semantics of Logic Programs
Articolo
Interference Games in Wireless Networks.
Contributo in Atti di convegno
Intuitionistic Implication in Abstract Interpretation
Articolo
Is arbitrage possible in the bitcoin market? (Work-In-Progress Paper)
Capitolo di libro
Italian Clitic Patterns in Pregroup Grammar: State of the Art
Capitolo di libro
Localizing Widening and Narrowing
Contributo in Atti di convegno
Logical Optimality of Groundness Analysis
Articolo
Mobile Network Creation Games
Contributo in Atti di convegno
Modelling Dialogues in a Concurrent Language for Argumentation
Contributo in Atti di convegno
Multi-instrumental Analysis of the Extreme Meteorological Event Occurred in Matera (Italy) on November 2019
Contributo in Atti di convegno
Multicast Transmission in Non-Cooperative Networks with a Limited Number of Selfish Moves
Contributo in Atti di convegno
Narrowing Operators on Template Abstract Domains
Contributo in Atti di convegno
New graph classes of bounded clique-width
Articolo
Observational Completeness on Abstract Interpretation
Articolo
On Best Response Dynamics in Weighted Congestion Games with Polynomial Delays
Contributo in Atti di convegno
On Colorful Bin Packing Games
Contributo in Atti di convegno
On Nash Equilibria for Multicast Transmissions in Ad-Hoc Wireless Networks
Contributo in Atti di convegno
On Nash Equilibria in Non-Cooperative All-Optical Networks
Contributo in Atti di convegno
On distance-3 matchings and induced matchings
Articolo
On stable cutsets in claw-free graphs and planar graphs
Articolo
On the Complexity of the Regenerator Cost Problem in General Networks with Traffic Grooming
Contributo in Atti di convegno
On the Impact of Fair Best Response Dynamics
Contributo in Atti di convegno
On the Performances of Nash Equilibria in Isolation Games
Contributo in Atti di convegno
Optimizing Regenerator Cost in Traffic Grooming (Extended Abstract)
Contributo in Atti di convegno
Performance of DFT and MP2 Approaches for Geometry of Rhenium Allenylidenes Complexes and the Thermodynamics of Phosphines Addition
Capitolo di libro
Performances of One-Round Walks in Linear Congestion Games
Contributo in Atti di convegno
Physiological Parameter Estimation from Multispectral Images Unleashed
Contributo in Atti di convegno
Predicting the Failure of Component X in the Scania Dataset with Graph Neural Networks
Contributo in Atti di convegno
Preliminary Results of the AEROMET Project on the Assimilation of the Rain-Rate from Satellite Observations
Contributo in Atti di convegno
Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation
Articolo
Proving Correctness of Timed Concurrent Constraint Programs
Contributo in Atti di convegno
Proving Properties of Logic Programs by Abstract Diagnosis
Contributo in Atti di convegno
RDFSync: Efficient remote synchronization of RDF models
Contributo in Atti di convegno
Random: R-based Analyzer for Numerical DOMains
Articolo
Regeneration and reuse of heritage in Basso Sangro-Trigno: an opportunity for the sustainable development of inner areas
Capitolo di libro
Reliable peer-to-peer access for Italian citizens to digital government services on the Internet.
Articolo
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
Contributo in Atti di convegno
Robustness of Radiomics Features to Varying Segmentation Algorithms in Magnetic Resonance Images
Contributo in Atti di convegno
Selfishness, Collusion and Power of Local Search for the ADMs Minimization Problem
Contributo in Atti di convegno
Semantics and Expressive Power of a Timed Concurrent Constraint Language
Contributo in Atti di convegno
Should a Chatbot Disclose Itself? Implications for an Online Conversational Retailer
Contributo in Atti di convegno
Some Ethical Remarks on Deep Learning-Based Movements Monitoring for Preterm Infants: Green AI or Red AI?
Contributo in Atti di convegno
Stackelberg Strategies for Network Design Games
Contributo in Atti di convegno
Strategyproof Mechanisms for Additively Separable Hedonic Games and Fractional Hedonic Games
Contributo in Atti di convegno
Sum of Abstract Domains
Contributo in Atti di convegno
The Multi-budget Maximum Weighted Coverage Problem
Contributo in Atti di convegno
The ScalaFix Equation Solver
Contributo in Atti di convegno
The ring design game with fair cost allocation
Contributo in Atti di convegno
The speed of Convergence in Congestion Games under Best Response Dynamics
Contributo in Atti di convegno
Theoretical Foundations and Semantics of Logic Programming
Articolo
Tight Bounds for Selfish and Greedy Load Balancing
Contributo in Atti di convegno
Timed Concurrent Language for Argumentation: An Interleaving Approach
Contributo in Atti di convegno
Timed soft Concurrent Constraint Programs
Contributo in Atti di convegno
Using Real Relaxations During Program Specialization
Articolo
Verifying Controllability of Time-Aware Business Processes
Contributo in Atti di convegno
Verifying Smart Contracts in Yul via Transformation to CHC by Interpreter Specialization
Contributo in Atti di convegno
When Ignorance helps: Graphical Cost Sharing Games
Contributo in Atti di convegno
No Results Found
  • «
  • ‹
  • {pageNumber}
  • ›
  • »
{startItem} - {endItem} di {itemsNumber}
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 25.11.5.0