Skip to Main Content (Press Enter)

Logo UNISS
  • ×
  • Home
  • Corsi
  • Insegnamenti
  • Professioni
  • Persone
  • Pubblicazioni
  • Strutture
  • Terza Missione
  • Competenze

Logo UNISS

|

UNIFIND

uniss.it
  • ×
  • Home
  • Corsi
  • Insegnamenti
  • Professioni
  • Persone
  • Pubblicazioni
  • Strutture
  • Terza Missione
  • Competenze
  1. Pubblicazioni

LECTURE NOTES IN COMPUTER SCIENCE

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

Dati Generali

Pubblicazioni (141)

  • ascendente
  • decrescente
"Better decisions for a better quality of life: the potential of rural districts supported by e-governance tools
Capitolo di libro
2D Shape Classification Using Multifractional Brownian Motion
Capitolo di libro
A 5/4-Approximation Algorithm for Biconnecting a Graph with a Given Hamiltonian Path
Contributo in Atti di convegno
A Cellular Automata-Ready GIS Infrastructure for Geosimulation and Territorial Analysis
Contributo in Atti di convegno
A Collaborative and Collective Concept Mapping Tool
Contributo in Atti di convegno
A Comparison of Evolutionary Algorithms for Automatic Calibration of Constrained Cellular Automata
Contributo in Atti di convegno
A Customised Assessment Tool Based on Cellular Automata for the Visit-Ability of an Urban Environment
Capitolo di libro
A Decision Support Tool Coupling a Causal Model and a Multi-Objective Genetic Algorithm
Contributo in Atti di convegno
A Design and Planning Support System for Walkability and Pedestrian Accessibility
Contributo in Atti di convegno
A Faster Computation of All the Best Swap Edges of a Tree Spanner
Contributo in Atti di convegno
A Generalized Rapid Development Environment for Cellular Automata Based Simulations
Contributo in Atti di convegno
A Hidden Markov Model approach to classify and predict the sign of financial local trends
Contributo in Atti di convegno
A Multi-engine Solver for Quantified Boolean Formulas
Contributo in Atti di convegno
A Multiagent Model for Supporting Tourism Policy-Making by Market Simulations
Contributo in Atti di convegno
A Novel Non-Exclusive Dual-Mode Architecture for MPSoCs-Oriented Network on Chip Designs
Contributo in Atti di convegno
A Parallel Framework for the Simulation of Emission, Transport, Transformation and Deposition of Atmospheric Mercury on a Regional Scale
Capitolo di libro
A Proximal Space Approach for Embedding Urban Geography into CA Models
Contributo in Atti di convegno
A Reduction-Based Approach for Solving Disjunctive Temporal Problems with Preferences
Contributo in Atti di convegno
A Scoping Review of the Barriers and Prerequisites for MaaS Implementation in Low-Demand Contexts
Contributo in Atti di convegno
A Software Infrastructure for Multi-agent Geosimulation Applications
Contributo in Atti di convegno
A Web-Based Participatory Management and Evaluation Support System for Urban Maintenance
Contributo in Atti di convegno
A faster computation of all the best swap edges of a shortest paths tree
Contributo in Atti di convegno
A framework for automatic population of ontology-based digital libraries
Contributo in Atti di convegno
A fuzzy logic inspired cellular automata based model for simulating crowd evacuation processes
Contributo in Atti di convegno
A stochastic semantics for BioAmbients
Contributo in Atti di convegno
A theorem about the algorithm of minimization of differences for multicomponent cellular automata
Contributo in Atti di convegno
Advanced Studies in Biometrics
Curatela
Advances in multi-engine ASP solving
Contributo in Atti di convegno
An Abstraction-Refinement Approach to Verification of Artificial Neural Networks
Contributo in Atti di convegno
An Evolutionary Approach for Modelling Lava Flows Through Cellular Automata
Contributo in Atti di convegno
An Hybrid Attention-Based System for the Prediction of Facial Attributes
Capitolo di libro
An Ontology for Container Terminal Operations
Contributo in Atti di convegno
Analysis of “User-Specific Effect” and Impact of Operator Skills on Fingerprint PAD Systems
Contributo in Atti di convegno
Analyzing the Central Business District: The Case of Sassari in the Sardinia Island
Capitolo di libro
Approximate Mechanisms for the Graphical TSP and Other Graph Traversal Problems
Contributo in Atti di convegno
Approximating the Metric TSP in Linear Time
Contributo in Atti di convegno
Attractor and Slicing Analysis of a T Cell Differentiation Model Based on Reaction Systems
Contributo in Atti di convegno
Augmenting the Edge-Connectivity of a Spider Tree
Contributo in Atti di convegno
Automated selection of grounding algorithm in Answer Set Programming
Contributo in Atti di convegno
Basic Endogenous-Money Economy: an Agent-Based Approach
Contributo in Atti di convegno
Bounded-distance network creation game
Contributo in Atti di convegno
CANv2: A Hybrid CA Model by Micro and Macro-dynamics Examples
Contributo in Atti di convegno
Classifying Human Activities in Urban Spaces with a Multimodal AI: Towards a Massive Assessment of Urban Affordances
Contributo in Atti di convegno
Cohort normalization based sparse representation for undersampled face recognition
Contributo in Atti di convegno
Cold Ironing: An Analysis of Policies and Its Implementation in Europe with a Focus on the Italian Context and the Future Prospects in Sardinia
Contributo in Atti di convegno
Computational Aspects of a 2-Player Stackelberg Shortest Paths Tree Game
Contributo in Atti di convegno
Constructing Strategies in Strategic Urban Planning: A Case Study of a Decision Support and Evaluation Model
Contributo in Atti di convegno
Coupling Surveys with GPS Tracking to Explore Tourists’ Spatio-Temporal Behaviour
Capitolo di libro
Deducing interactions in partially unspecified biological systems
Contributo in Atti di convegno
Designing a Truthful Mechanism for a Spanning Arborescence Bicriteria Problem
Contributo in Atti di convegno
Discovery of Network Properties with All-Shortest-Paths Queries
Contributo in Atti di convegno
Dynamic Mechanism Design
Contributo in Atti di convegno
Effect of Neuromodulation on the Brain Dynamical Repertoire
Capitolo di libro
Effective edge-fault-tolerant single-source spanners via best (or good) swap edges
Contributo in Atti di convegno
Enhancing Cellular Automata by an Embedded Generalized Multi-Layer Perceptron
Contributo in Atti di convegno
Enhancing Urban Walkability Assessment with Multimodal Large Language Models
Contributo in Atti di convegno
Evaluating Cellular Automata Models by Evolutionary Multiobjective Calibration
Contributo in Atti di convegno
Exact and approximate algorithms for movement problems on (special classes of) graphs
Contributo in Atti di convegno
Experimental results on fingerprint liveness detection
Contributo in Atti di convegno
Exploiting Spatio-temporal Data for the Multiobjective Optimization of Cellular Automata Models
Contributo in Atti di convegno
Exploiting the golden ratio on human faces for head-pose estimation
Contributo in Atti di convegno
Face Identification Using Local Ternary Tree Pattern Based Spatial Structural Components
Capitolo di libro
Face Recognition under Ageing Effect: A Comparative Analysis
Contributo in Atti di convegno
Face authentication using One-Class Support Vector Machines
Contributo in Atti di convegno
Fault-tolerant approximate shortest-path trees
Contributo in Atti di convegno
Finding best swap edges minimizing the routing cost of a spanning tree
Contributo in Atti di convegno
Formal Verification of Neural Networks: A “Step Zero” Approach for Vehicle Detection
Contributo in Atti di convegno
GPU and FPGA parallelization of fuzzy cellular automata for the simulation of wildfire spreading
Contributo in Atti di convegno
Human Face Analysis: From Identity to Emotion and Intention Recognition
Contributo in Atti di convegno
Identity Management in Face Recognition Systems
Contributo in Atti di convegno
Improved Purely Additive Fault-Tolerant Spanners
Contributo in Atti di convegno
Improved approximability and non-approximability results for graph diameter decreasing problems
Contributo in Atti di convegno
Improving scalability of an hybrid infrastructure for e-science applications
Capitolo di libro
Interpreting 3D faces for augmented human-computer interaction
Contributo in Atti di convegno
Landscape planning and fragmentation: a method for classifying rural landscapes
Contributo in Atti di convegno
Large scale experiments on fingerprint liveness detection
Contributo in Atti di convegno
Locating Facilities on a Network to Minimize Their Average Service Radius
Contributo in Atti di convegno
Log-Polar Stereo for Antropomorphic Robots
Contributo in Atti di convegno
Maximized posteriori attributes selection from facial salient landmarks for face recognition
Contributo in Atti di convegno
Meta-model Assisted Evolutionary Optimization of Cellular Automata: An Application to the SCIARA Model
Contributo in Atti di convegno
Modelling Macroscopic Phenomena with Cellular Automata and Parallel Genetic Algorithms: An Application to Lava Flows
Contributo in Atti di convegno
Modelling Proximal Space in Urban Cellular Automata
Contributo in Atti di convegno
Network Verification via Routing Table Queries
Contributo in Atti di convegno
Network creation games with traceroute-based strategies
Contributo in Atti di convegno
New advances in reoptimizing the minimum Steiner tree problem
Contributo in Atti di convegno
New bounds for the balloon popping problem
Contributo in Atti di convegno
Nineteen Urgent Research Topics in Biometrics and Identity Management
Contributo in Atti di convegno
OBDA and Intermodal Logistics: Active Projects and Applications
Contributo in Atti di convegno
On combining edge detection methods for improving BSIF based facial recognition performances
Contributo in Atti di convegno
On the Complexity of Minimizing Interference in Ad-Hoc and Sensor Networks
Contributo in Atti di convegno
On the Existence of Truthful Mechanisms for the Minimum-Cost Approximate Shortest-Paths Tree Problem
Contributo in Atti di convegno
On the Expressiveness of the pi-Calculus and the Mobile Ambients
Contributo in Atti di convegno
Open multiparty interaction
Contributo in Atti di convegno
Optimizing cellular automata through a meta-model assisted memetic algorithm
Contributo in Atti di convegno
Over-Subscription Planning with Boolean Optimization: An Assessment of State-of-the-Art Solutions
Contributo in Atti di convegno
Parallel Simulation of Urban Dynamics on the GPU
Contributo in Atti di convegno
Performance evaluation for global computation
Contributo in Atti di convegno
Playing with automata. An innovative perspective for gaming simulation
Contributo in Atti di convegno
Polygon-constrained motion planning problems
Contributo in Atti di convegno
Predicting Wildfire Spreading Through a Hexagonal Cellular Automata Model
Contributo in Atti di convegno
QBFFam: A Tool for Generating QBF Families from Proof Complexity
Contributo in Atti di convegno
Range Augmentation Problems in Static Ad-Hoc Wireless Networks
Contributo in Atti di convegno
Realistic Modeling of Large-Scale Networks: Spatio-temporal Dynamics and Long-Term Synaptic Plasticity in the Cerebellum
Contributo in Atti di convegno
Recognition of human faces: from biological to artificial vision
Contributo in Atti di convegno
Reconstructing Visibility Graphs with Simple Robots
Contributo in Atti di convegno
Recreation tourist areas. An exam on Recreational Business Districts in Olbia (Sardinia)
Capitolo di libro
Reflecting Mobile Ambient into the pi-calculus
Contributo in Atti di convegno
Reoptimization of Steiner Trees
Contributo in Atti di convegno
Reoptimization of Weighted Graph and Covering Problems
Contributo in Atti di convegno
Reoptimization of the Shortest Common Superstring Problem
Contributo in Atti di convegno
Repairing Learned Controllers with Convex Optimization: A Case Study
Contributo in Atti di convegno
Robust Coarse-to-Fine Sparse Representation for Face Recognition
Contributo in Atti di convegno
Robust multi-modal and multi-unit feature level fusion of face and iris biometrics
Contributo in Atti di convegno
Rural Tourism and Walkability. Compare Sardinia and Gran Canaria Models
Capitolo di libro
Segmentation and Identification of Mediterranean Plant Species
Contributo in Atti di convegno
Selection and Scheduling Problem in Continuous Time with Pairwise-Interdependencies
Capitolo di libro
Simulation of wildfire spread using cellular automata with randomized local sources
Contributo in Atti di convegno
Simultaneous Decision Networks with Multiple Objectives as Support for Strategic Planning
Contributo in Atti di convegno
Smart ports from theory to practice: a review of sustainability indicators
Capitolo di libro
Some Preliminary Remarks on the Recreational Business District in the City of Sassari: A Social Network Approach
Capitolo di libro
Specializations and Generalizations of the Stackelberg Minimum Spanning Tree Game
Contributo in Atti di convegno
Stability of Networks in Stretchable Graphs
Contributo in Atti di convegno
Static Detection of Logic Flaws in Service-Oriented Applications
Contributo in Atti di convegno
Static evidences for attack reconstruction
Contributo in Atti di convegno
Swii2, a HTML5/WebGL Application for cellular automata debris flows simulation
Contributo in Atti di convegno
Symbolic semantics for multiparty interactions in the link-calculus
Contributo in Atti di convegno
The Multi-Engine ASP Solver me-asp
Contributo in Atti di convegno
The Seventh QBF Solvers Evaluation (QBFEVAL’10)
Contributo in Atti di convegno
The max-distance network creation game on general host graphs
Contributo in Atti di convegno
Towards A Planning Decision Support System For Low-Carbon Urban Development
Capitolo di libro
Towards Automatic Assessment of Perceived Walkability
Capitolo di libro
Towards a Cooperative Visual Authoring Environment for Storytelling
Contributo in Atti di convegno
Towards a Multiagent Model for Planning and Design of Exposition Spaces
Contributo in Atti di convegno
Towards a Planning Decision Support System for Low-Carbon Urban Development
Contributo in Atti di convegno
Training Cellular Automata to Simulate Urban Dynamics: A Computational Study Based on GPGPU and Swarm Intelligence
Contributo in Atti di convegno
Urban cellular automata with irregular space of proximities: a case study
Contributo in Atti di convegno
Verifying Autoencoders for Anomaly Detection in Predictive Maintenance
Contributo in Atti di convegno
Walkability Explorer: An Evaluation and Design Support Tool for Walkability
Contributo in Atti di convegno
Walkability explorer: Application to a case-study
Contributo in Atti di convegno
What Can I Tell From Your Face?
Contributo in Atti di convegno
pyNeVer: A Framework for Learning and Verification of Neural Networks
Contributo in Atti di convegno
No Results Found
  • «
  • ‹
  • {pageNumber}
  • ›
  • »
{startItem} - {endItem} di {itemsNumber}
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 26.5.1.0