Skip to Main Content (Press Enter)

Logo CNR
  • ×
  • Home
  • Persone
  • Pubblicazioni
  • Strutture
  • Competenze

UNI-FIND
Logo CNR

|

UNI-FIND

cnr.it
  • ×
  • Home
  • Persone
  • Pubblicazioni
  • Strutture
  • Competenze
  1. Pubblicazioni

ERCIM NEWS

Rivista
Codice:
E188300
ISSN:
0926-4981
  • Dati Generali

Dati Generali

Pubblicazioni (256)

  • ascendente
  • decrescente
11th International Workshop on Computational Intelligence for Multimedia Understanding
Articolo
25th International Conference on Formal Methods for Industrial Critical Systems
Recensione
A Framework for improving the multi-device user experience in smart cities
Articolo
A New Approach to Underwater Technologies for Innovative, Low-cost Ocean Observation: NAUTILOS
Articolo
A Personalisation Platform for Older Adults with Mild Cognitive Impairments
Articolo
A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities
Articolo
A Reference Architecture for Enhanced Virtual Research Environments
Articolo
A Scalable Ensemble-based Framework to Analyse Users' Digital Footprints for Cybersecurity
Articolo
A State of the Art Technology in Large Scale Underwater Monitoring
Articolo
A cloud-based platform for sharing geodata across Europe
Articolo
A low-cost optical 3D scanner
Articolo
A machine vision system controlling the cutting of animal hide
Articolo
A mobile end-user development environment for IoT applications exploiting the puzzle metaphor.
Articolo
A model for texture processing based on the unification of analysis and synthesis
Articolo
A new vision of the cruise ship cabin
Articolo
A powerful and scalable digital library information service
Articolo
A system for cross-language information retrieval
Articolo
ARGO Sentinel: the mobile App for reporting oil spillages at sea
Articolo
ARIADNE: A data infrastructure for the archaeological research community
Articolo
ATLAAS-P2P: A Two-Layer Architecture for Approximated Search in Peer to Peer
Articolo
About deep learning, intuition and thinking
Articolo
Adaptive committees of feature-specific classifiers for image classification
Articolo
Adopting a Machine Learning Approach in the design of Smart Transportation Systems
Articolo
Alchemy of services
Articolo
An Explainable Deep Ensemble Framework for Intelligent Ticket Management
Articolo
An Innovative Technology for Vision Aids
Articolo
An Intelligent System for Decision Support in Bioinformatics
Articolo
An Open Innovation Model: Six Projects in the Maritime Field
Articolo
An automatic tool for improving the quality of software requirements
Articolo
An end-to-end software suite for 3D scanning
Articolo
An explanation that LASTS: understanding any time series classifier
Articolo
An informatics research contribution to the domotic take-off
Articolo
An integrated software development lifecycle for intelligent automotive software: the W model
Articolo
An integration gateway for sensing devices in smart environments
Articolo
Analysis and modelling of genomic data
Articolo
Approximate similarity search
Articolo
Assisting the design of an industrial groupware system by model checking
Altro Prodotto di Ricerca
Asso : combining database design with formal methods
Articolo
Attaching semantics to document images safeguards our cultural heritage
Articolo
Automated verification of groupware protocols
Articolo
Automatic MRI brain tissue classification
Articolo
Automatic Offloading of Mobile Applications Using Evolutionary Algorithms
Articolo
Automatic Program Derivation by Transformation
Articolo
Avoiding Gridlocks in the Centralised Dispatching of a Fleet of Autonomous Vehicles
Articolo
BASMATI - Cloud Brokerage Across Borders for Mobile Users And Applications
Articolo
Bayesian Algorithms for Indoor Radio Localization
Articolo
Blind image analysis helps research in cosmology
Articolo
Boosting Open Science in the IPERION HS research infrastructure with OpenAIRE
Articolo
Boosting algorithms for automated text categorization
Articolo
Building a federation of digital humanities infrastructures
Articolo
Building discrete spacetimes by simple deterministic computations
Articolo
Business Process Execution Analysis through Coverage-based Monitoring
Articolo
CLEF - Cross Language Evaluation Form
Articolo
CLeMUS - Computational Learning Methods for Unsupervised Segmentation
Articolo
CasAware: A Semantic-based Context-aware System Enabling Ambient Assisted Living Solutions
Articolo
Cite-as-you-write
Articolo
Communicating concepts in an on-line public access catalog
Articolo
Communication and compatibility in systems of systems: correctness-by-construction
Articolo
Computational Geometry meets Material Science
Articolo
Computational approaches for uncertainty quantification of naval engineering problems
Articolo
Computational estimation of chromosome structure
Articolo
Computer-aided Maritime Search and Rescue Operations
Articolo
Contributions of team automata in security
Articolo
Control algorithms for electroelastic damping
Articolo
Control theory and electro-elasticity realisation of an active damper
Articolo
Cow_Suite: a UML-based tool for test-suite planning and derivation
Articolo
Creating Hypertextual Dossiers in XML for the Italian Parliament
Articolo
Cross modality adaptation of service front ends
Articolo
Cross-disciplinary data sharing and reuse via gCube
Articolo
D4SCIENCE: a unique infrastructure delivering virtual research environments as a service
Articolo
Data-aware declarative application management in the cloud-IoT continuum
Articolo
Dealing with massive volumetric visualisation: progressive algorithms and data structures
Articolo
Decision support for personnel and resources management in multi-project environments
Articolo
Deductive proof of software properties
Articolo
Designing Cyber-Physical Systems for Smart Infrastructures: The Rainbow Platform.
Articolo
Designing Usable Multi-Platform Interactive Applications
Articolo
Detecting adversarial inputs by looking in the black box
Articolo
Digital Library Competence Center
Articolo
Digital acquisition and structural analysis of the "Rognosa" tower in San Gimignano
Articolo
Digital techniques for character recognition in old documents
Articolo
Discovering Europeana Users' Search Behavior
Articolo
Discriminating Between the Wheat and the Chaff in Online Recommendation Systems
Articolo
Distributional correspondence indexing for cross-lingual and cross-domain sentiment classification
Articolo
Drone Swarms in the Field
Articolo
EINS-Web: User Interface Evaluation in Digital Libraries
Articolo
ERCIM launches the Delos network of excellence for digital libraries
Articolo
ERCIM technical reference digital library. Joint Ercim Action
Articolo
Educational software for the disabled children
Articolo
Electronic dictionaries
Articolo
Empirical software engineering and formal methods for IoT systems
Articolo
Epeerdemics: a peer-to-peer simulator targeting epidemic-based protocols
Articolo
EvAAL Evaluation workshop
Articolo
EvAAL: Evaluating AAL systems through competitive benchmarking
Articolo
Evaluation of natural language requirements in the MODCONTROL project
Articolo
Experimenting with diversity in the formal development of railway signalling systems
Articolo
Explaining ensemble models for lung ultrasound classification
Articolo
Exploiting Computational Models of the Human Visual System
Articolo
Extracting information from free-text mammography reports
Articolo
Extraction and deployment of new features for cardiac shape and function representation
Articolo
FMICS 2005 - 10th International Workshop on Formal Methods in SAfety Critical Systems
Articolo
Fast traversal of large ensembles of regression trees
Articolo
Filling the Gap between ICT and HydroMeteo Research Communities: the DRIHMS Project,
Articolo
Final delos workshop on future directions in the digital libraries domain
Articolo
Firmitas - Structural monitoring of ancient buildings
Articolo
First 'NetWordS'Workshop on Understanding the Architecture of the Mental Lexicon: Integration of Existing Approaches
Articolo
Fluid-Dynamic Approach to Traffic Flow Problems
Articolo
Formal methods for the railway sector
Articolo
Formal modelling and verification in service-oriented computing
Articolo
Formal synthetic immunology
Articolo
From ACTL to ?-calculus
Contributo in Atti di convegno
GHT*: a Peer-to-Peer System for Metric Data
Articolo
GeoMemories: A Spatial-Temporal Atlas of the Italian Landscape
Articolo
Graphics and visualization: breaking new frontiers (introduction to the special theme section on "computer graphics and visualization")
Articolo
Guaranteeing correct evolution of software product lines
Articolo
HEALPS 2: Tourism Based on Natural health Resources for the Development of Alpine Regions
Articolo
Health care monitoring of mobile patients
Articolo
High-Density Wireless Geophone Networks for Oil and Gas Monitoring and Exploration
Articolo
Highly degraded recto-verso document image processing and understanding
Articolo
Home automation devices belong to the IoT world
Articolo
How distributed Ledgers Can Transform Healthcare Applications
Articolo
Human-Robot Social Interactions: the Role of Social Norms
Articolo
Image Analysis and Content-Based Retrieval for Semantic Image Databases
Articolo
Image analysis on the archimedes palimpsest
Articolo
Image annotation with Presence-Vector Classifiers
Articolo
Implementing a user-friendly conceptual access to CNR research project description
Articolo
Information Extraction from Presentation-Oriented Documents
Articolo
Information Systems for Precision Agriculture: Monitoring Computation of Prescription Maps
Articolo
Integrating GSM Networks and Internet: New Unstructured Services
Articolo
Interactive Games in Multi-Device Environments to Enhance the Learning Experience of Museum Visitors
Articolo
International Workshop on Computational Intelligence for Multimedia Understanding
Articolo
International Workshop on Computational Intelligence for Multimedia Understanding
Articolo
International Workshop on Computational Intelligence for Multimedia Understanding
Articolo
Italian initiatives in grid computing
Articolo
Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems
Recensione
KINE a Knowledge Integration Environment
Articolo
KandISTI: a family of model checkers for the analysis of software designs
Articolo
LIGHT: XML-innovative generation for home networking technologies
Articolo
LREC2008 - The Language Resources and Evaluation Conference
Articolo
Large scale image retrieval using vector of locally aggregated descriptors
Articolo
Large-Scale Data Analysis on Cloud Systems
Articolo
Layered thinking in vertex centric computations
Articolo
Learning from experience to anticipate domestic needs
Articolo
LecceAR: an augmented reality App for cultural heritage
Articolo
Lexical knowledge bases
Articolo
Lightweight random indexing for polylingual text classification
Articolo
Lip segmentation on hyper-spectral images
Articolo
Long-term Evaluation of a Mobile Remote Presence Robot for the Elderly
Articolo
Lost container detection system
Altro Prodotto di Ricerca
MAP: A Tool for Program Derivation Based on Transformation Rules and Strategies
Articolo
MIDAS: automated SOA testing on the cloud
Articolo
MUSCLE Working Group International Workshop on Computational Intelligence for Multimedia Understanding
Articolo
MUSCLE Working Group International Workshop on Computational Intelligence for Multimedia Understanding
Articolo
MUSCLE working group co-organised mass data analysis conference
Articolo
Making the development and deployment of virtual research environments easy and effective
Articolo
Making virtual research environments in the cloud a reality: the gCube approach
Articolo
Managing big data through hybrid data infrastructures
Articolo
Mesh joinery: a method for building fabricable structures
Articolo
MeshLab: an open-source 3D mesh processing system
Articolo
Metay: a Web-based metacomputing problem-solving environment for building complex applications
Articolo
Model checking of embedded systems
Articolo
Modelling SAR Images of Urban Areas
Articolo
Modelling SAR imaging of urban areas
Articolo
Modelling and Validating an Import/Export Shipping Process
Articolo
Modelling mobile applications
Articolo
Multi-faceted rating of product reviews
Articolo
NICHE: Natural Interaction in Computerised Home Environments
Articolo
NanoICT: a new challenge for ICT
Articolo
Never-stop Learning: continuous validation of learned models for evolving systems through monitoring
Articolo
Open and Distant Training Techniques for Small and Medium Enterprises
Articolo
Open-Access repositories and the Open Science challenge
Articolo
Opening catalogs to search and retrieve protocol
Articolo
Optimizing text quantifiers for multivariate loss functions
Articolo
Particle swarm optimization for the reconstruction of permittivity range profiles from microwave measurements
Articolo
Personalisation of humanoid robots: serious games for older adults based on biographical memories
Articolo
Play with me! A serious game for cognitive stimulation of older adults with a humanoid robot
Articolo
PlayToPickup: customisable serious games for children with cognitive disorders
Articolo
Preferential text classification: learning algorithms and evaluation measures
Articolo
Preserving Linked Data
Articolo
Privacy-Preserving Interest-Cast for Android smartphones
Articolo
Processing multimedia biomedical information for disease evolution monitoring
Articolo
Processing satellite imagery to detect and identify non-collaborative vessels
Articolo
Providing Web accessibility for the visually impaired
Articolo
Providing research infrastructures with data publishing
Articolo
Quality by means of automated testing
Contributo in Atti di convegno
Quality in software : breaking the wall
Articolo
Quantifying the Benefits of Taxi Trips Sharing in New York through Shareability Networks
Articolo
RDA: Brokering with Metadata
Articolo
RITMARE: Linked Open Data for Italian Marine Research
Articolo
Radiomics to support precision medicine in oncology
Articolo
Real-time tracking of sound parameters in a multimedia system
Articolo
Realizing ambient assisted living spaces with the PERSONA platform
Articolo
Redocumentation, Reverse Engineering and Reuse at CNUCE-CNR
Articolo
Representation and communication of multimedia data and metadata
Articolo
Restoration of ancient documents using sparse image representation
Articolo
SNIPER: A Data Mining Methodology for Fiscal Fraud Detection
Articolo
SPRANKER: a discovery tool to rank service providers using quality of experience
Articolo
Sailing Towards Open Marine Data: the RITMARE Data Policy
Articolo
Scene understanding using hierarchical neural networks
Articolo
Scientific computing for astrophysical map analysis
Articolo
Sea Monitoring Made Simple and Efficient
Articolo
Searching documentary films on line: the ECHO Project
Articolo
Self-Organizing P2P Systems Inspired by Ant Colonies
Articolo
Semantic Characterisation of Links and Documents
Articolo
Service-oriented Mobile Social Networking
Articolo
Smart Devices for the Home of the Future: A New Model for Collaboration
Articolo
Smart Farming - Introduction to the Special Theme
Articolo
Smart Services for Railways
Articolo
Smart Working at CNR-ISTI in the COVID-19 Era
Articolo
Smart buildings: an energy saving and control system in the CNR Research Area, Pisa.
Articolo
Social fingerprinting - or the truth About you
Articolo
Soft Sensors: The New Frontier in Measurement for Non-Invasive Monitoring of Cultural Heritage Sites
Articolo
Software certification: myths and reality
Articolo
Software quality principles and techniques : activities within the Ercim Institutes
Articolo
Software requirements verification by natural language analysis: a CNR initiative for italian SME's
Articolo
Strengthening the Cybersecurity of Manufacturing Companies: A Semantic Approach Compliant with the NISt framework
Articolo
Supervised term weighting for automated text categorization
Articolo
Technology Enhanced Learning on Industrial Automation Solutions Development
Articolo
The "SHOWN" platform - Safeguarding architectural heritage using wireless networks
Articolo
The AI black box explanation problem
Articolo
The Clavius Correspondence: From Digitization to Visual Exploration of Knowledge
Articolo
The D4Science research-oriented social networking facilities
Articolo
The Digital Health revolution
Articolo
The ERCIM technical reference digital library goes on-line
Articolo
The ITIA-CNR Customized shoe production service
Articolo
The Internet of Ships
Articolo
The KandIStI/UMC Online Open-Access Verification Framework
Articolo
The Mubarak City Project: A Euro Mediterranean Collaboration
Articolo
The OpenAIRE project - Open Access Infrastructure for Research in Europe
Articolo
The SAPIR Project: Executing A/V Complex Queries in Peer-to-Peer Systems
Articolo
The South Pole Information System
Articolo
The VR4REhAB Interreg Project: Five hackathons for virtual and Augmented Rehabilitation
Articolo
The impacts of low-quality training data on information extraction from clinical reports
Articolo
The interactive classification system
Articolo
Time, Language and Action - A Unified Long-Term Memory Model for Sensory-Motor Chains and Word Schemata
Articolo
Towards a Unified Theory for the Control of CPS: A Symbolic Approach
Articolo
Towards an integrated envinronment for the specification, design and testing of quality software
Articolo
Towards data management in the sensor Web: the MaD-WiSe system
Articolo
Towards reliable computer systems
Articolo
Training Crisis Managers in Strategic Decision-Making
Articolo
Ultrasound material inspection
Articolo
Understanding and managing ocean sustainability: the Blue-Cloud project
Articolo
Universal housing technologies
Articolo
Using 3D digital technologies in the restoration of the Madonna of Pietranico
Articolo
Using Deep Learning and Data Integration for Accurate Rainfall Estimates
Articolo
Using localisation technologies and haptic feedback for a more inclusive society
Articolo
Utility-theoretic ranking for semi-automated text classification
Articolo
VISIOLAM - A Workstation for Volumetric Data Acquisition
Articolo
VISITO Tuscany: landmark recognition for cultural heritage
Articolo
VMC: a tool for the analysis of variability in software product lines
Articolo
Video transcoding architectures for multimedia real time services
Articolo
Virtual re-opening of the leaning tower
Articolo
Virtual reconstruction of an egyptian beaker
Articolo
Visio - a real-time multimedial workstation
Articolo
Visualization of colour information on highly detailed 3D models
Articolo
VoxLogicA: a Spatial-Logic based tool for Declarative Image Analysis
Articolo
Water Quality Modelling in the Channel Network of Venice
Articolo
No Results Found
  • «
  • ‹
  • {pageNumber}
  • ›
  • »
{startItem} - {endItem} di {itemsNumber}
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 26.5.0.0 | Sorgente dati: PREPROD (Ribaltamento disabilitato)