More information on internal seminars can be required to Claudia Raviolo

Webinar - 2020-07-16 h.12:00

Progetto WADcher: monitoraggio, accessibilità, servizi digitali

Verso il miglioramento dei siti web, alla luce delle nuove disposizioni europeeL’Agenzia per l'Italia Digitale, in collaborazione con il CNR, organizza un webinar dedicato a WADcher, un progetto eur...

Seminar - 2020-05-27 h.10:00

Ciclo di Seminari A+ - Quarto incontro

Fosca Giannotti - "Algorithmic bias amplifies opinion fragmentation and polarization: a bounded confidence model"Abstract: The flow of information reaching us via the online media platforms is optim...

Webinar - 2020-05-14 h.11:00

Open Science: come dare accesso aperto alla conoscenza, un focus sulle scienze della Terra e dell'ambiente

Organizzato da Cnr-Igg e Cnr-Isti, attraverso il National Open Access Desk di OpenAIRE, il seminario intende guardare al mondo dell’Open Science dal punto di vista specifico delle scienze della Terr...

Seminar - 2020-04-29 h.10:00

Ciclo di Seminari A+ - Terzo incontro

Alberto Gotta - "TCP-based M2M traffic via random-access satellite links: throughput estimation"Abstract: Provisioning of Internet of Things/machine-to-machine (M2M) services over satellite has been e...

Seminar - 2020-03-25 h.10:00

Ciclo di Seminari A+ - Secondo incontro

Antonia Bertolino - "Adaptive Test Case Allocation, Selection and Generation using Coverage Spectrum and Operational Profile"Abstract: We present an adaptive software testing strategy for test case al...

Seminar - 2020-03-04 h.10:00

Ciclo di Seminari A+ - Primo incontro

Marco Callieri & Paolo Cignoni - "Matteo Dellepiane eulogy" Abstract: We provide a brief summary of two significant recent projects in which Matteo played an important role.Claudia Caudai - "Estimat...

Seminar - 2020-02-19 h.11:00

Giovani in un'ora - Ciclo di seminari - Quarta parte

Antonio Crivello - "Performance comparison of indoor positioning systems and enabling their cooperation"Abstract: Localisation of people and devices is a key component of context-aware systems. The...

Seminar - 2020-02-12 h.11:30

Giovani in un'ora - Ciclo di seminari - Terza parte

Giulio Masetti - "Enhancing the definition and analysis of large stochastic models"Abstract: Evaluating non-functional properties, such as performance, availability and reliability, of computer and cy...

Seminar - 2020-02-05 h.11:00

Giovani in un'ora - Ciclo di seminari - Seconda parte

Parvaneh Parvin - "Just-in-time Adaptive Anomaly Detection andPersonalized Health Feedback"Abstract: Rapid population aging and the availability of sensorsand intelligent objects motivate the develo...

Seminar - 2020-01-29 h.11:00

Giovani in un'ora - Ciclo di seminari - Prima parte

Primo incontro del Ciclo di seminari "Giovani in un'ora" tenuto daicolleghi che hanno recentemente vinto un Young ResearcherAward o un Grant for YoungMobility.Fabio Valerio Massoli - "MiniMax Train...

Seminar - 2020-01-24 h.11:30

A Generic Dynamic Logic with Applications to Interaction-Based Systems

We propose a generic dynamic logic with the usual diamond andbox modalities over structured actions. Instead of using regularexpressions of actions our logic is parameterised by the form ofthe actions...

Seminar - 2019-11-25 h.14:00

Link prediction on players-agents-clubs network

The associations of the player’s agent plays a majorrole in which club they get transferred into. And hence, analysisof the club-agent-player network may provide valuable insightsfor prediction of t...

Seminar - 2019-10-15 h.11:00

Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification

Deep neural networks (DNNs) have been shown lack of robustnessfor the vulnerability of their classification to smallperturbations on the inputs. This has led to safety concerns ofapplying DNNs to safe...

Seminar - 2019-10-11 h.11:00

Stochastic modelling underpinning the engineering of trustworthy adaptive systems

Stochastic modelling is a powerful tool for establishingperformance, dependability and other key properties of systemsand processes during design, verification and at runtime.However, the usefulness o...

Seminar - 2019-10-03 h.16:00

Conformance Testing as a Tool for Designing Connected Vehicle Functions

Connected and Autonomous Vehicles (CAV) are taking a centralposition in the landscape of intelligent mobility and theirrigorous verification and validation is one of the mainchallenges in their public...

Seminar - 2019-06-06 h.19:00

Cancer tissue classification from DCE-MRI data using pattern recognition techniques

Cancer research has significantly advanced in recent yearsmainly through developments in medical genomics andbioinformatics. It is expected that such approaches will resultin more durable tumor contro...

Seminar - 2019-05-27 h.11:00

The Many Independent Objective (MIO) Algorithm for Test Suite Generation

Automatically generating test suites is intrinsically a multi-objective problem, as any of the testing targets (e.g., statements to execute or mutants to kill) is an objective on its own. Test suite g...

Webinar - 2019-04-10 h.15:00

ElasTest Presentation Webinar

The goal of the talk is to present the ElasTest platform developed in the context of the H2020 European project ElasTest: an elastic platform for testing complex distributed large software systems (ht...

Seminar - 2018-11-07 h.11:30

RSA-like cryptosystems with conics

The RSA scheme is one of the most widespread public-key cryptographic systems. However, besides one-to-one communication scenario, there also exist cryptographic scenarios, such as broadcast applicat...

Seminar - 2018-11-05 h.11:00

Computational Approaches to Nonverbal Communication: Personality Synthesis and Interaction in Embodied VR

This talk will discuss two different bodies of work. The first part of the talk will examine how nonverbal communication, and in particular gesture, conveys personality to observers. Our work is frame...

Seminar - 2018-10-12 h.11:00

Graph Transduction and Model-driven Visual Dictionary Construction with Applications in Ancient Coin Classification and Computer Vision

This talk will present two of our works in the field of computer vision. I will first introduce our recent work on ancient coin classification using Graph Transduction Games (GTG). Recognizing the typ...

Seminar - 2018-10-10 h.11:15

Deep Image Quality Metric

Image metrics based on human visual system (HVS) play a remarkable role in the evaluation of complex image processing algorithms. However, mimicking the HVS is typically complex, and it demands high c...

Seminar - 2018-09-13 h.11:00

Spazio dei concetti

Lo spazio dei concetti è ampio, inesplorato e aperto. Strutture per preservare e analizzare concetti di basi di dati sono state definite, e proprietà di tali strutture sono state determi...

Seminar - 2018-09-03 h.15:00

Fire Detection in Compressed Video

Early detection of fires is an important aspect of public safety. In the past decades, devices and systems are developed for volumetric sensing of fires using non-conventional techniques, like compute...

Seminar - 2018-07-30 h.11:00

Generalized locally Toeplitz sequences and some applications to MHD subproblems

When discretizing a linear PDE by a linear numerical method, the computation of the numerical solution reduces to solving a linear system. The size of this system grows when the discretization paramet...

Seminar - 2018-05-17 h.10:00

Big Data Clustering using Particle Swarm Optimization Algorithm

Big data referred to huge datasets with high number of objects and high number of dimensions. Mining and extracting big datasets is beyond the capability of conventional data mining tools. Clustering,...

Seminar - 2018-03-02 h.15:00

Geometry Processing for Subtractive Fabrication

Subtractive manufacturing technologies, such as 3-axis CNC milling, add a useful tool to the digital manufacturing arsenal. However, each milling pass using such machines can only carve a single heigh...

Seminar - 2018-02-27 h.09:30

RDA WORKSHOP - Virtual Research EnvironmentS: What services should they offer and what the e-infrastructures should provide to support them

Virtual Research Environments (also named Virtual Laboratories or Science Gateways) play a key role in supporting communities of practices willing to seamlessly access scattered resources (datasets, s...

Seminar - 2018-02-26 h.11:00

Computing Medicine

Computing continues to change the landscape of nearly all domains, medicine included. For instance, drug resistance is predicted and avoided via data mining applications; radiological reading errors a...

Seminar - 2018-01-17 h.12:00

Discretization of Continuous Dynamical Systems Using UPPAAL

In this talk we present a technique to enable the analysis of continuous dynamical systems (where the evolution of a vector of continuous state variables is described by differential equations) by mod...

Seminar - 2018-01-11 h.15:00

Tomographic imaging in CWI: algorithms and applications

Tomography is a widely used imaging tool to explore the 3D inner structure of object without having to cut it open using penetrating beams. In this talk, I will present the different aspects of tomogr...

Seminar - 2017-12-12 h.14:30

Algorithms for Organizing Human Experts

Despite the improvement of AI in the last decades, there are still tasks very hard for machines, but easy for humans. Crowdsourcing is a computational paradigm that is successfully used to address pro...

Seminar - 2017-11-23 h.14:30

Requirements-driven Synthesis of Optimal Strategies for Autonomous Systems

Many software systems have to operate in uncertain and dynamic environments, which often makes it difficult to model or specify their ideal behavior at design time. Thus, it is much more convenient to...

Seminar - 2017-10-30 h.15:00

Collapsible Spikes and the Correspondence Problem in Point Clouds

A useful representation of many digital objects is a set of points in two or three dimensions. Examples of this are keypoints in images, e.g. SIFT/SURF, superpixels, high energy points in the spectrum...

Seminar - 2017-10-27 h.11:00

Self indexed motion plannin

Motion planning is a central problem for robotics. The PRM algorithm is, together with the asymptotically optimal variant PRM*, the standard method to maintain a (collision-free) roadmap in the con- f...

Seminar - 2017-10-10 h.14:30

News Stream Mining for Event Detection and Tracking and for Newswire-Timeliness Analysis

ABSTRACT: Every day a huge volume of news are published online, therefore journalists and news analysts often require the support of automatic tools for coping with such a flood of information. This t...

Seminar - 2017-09-15 h.15:00

Pandora Media - Online Radio Streaming Service

Pandora Media (Pandora) is a personalized internet radio streaming operating mainly in United States. The company has around 80 million monthly active users, more than 2200 employees, and 1.4 billion ...

Seminar - 2017-07-17 h.10:00

Deep Character-Level Click-Through Rate Prediction for Sponsored Search

Predicting the click-through rate of an advertisement is a critical component of online advertising platforms. In sponsored search, the click-through rate estimates the probability that a displayed ad...

Seminar - 2017-06-29 h.10:00

Seminars Young Researcher Award 2016

Seminars by the the recipients of the Young Researcher Award 2016: Speaker: Davide Basile - Title: Specifying Variability in Service Contracts. Abstract: In Service-Oriented Computing, contracts offer...

Seminar - 2017-06-23 h.14:30

Removing unwanted data from heritage range scans

Range scans captured by laser scanners are an important source of data in attempts to capture and preserve heritage sites. Unfortunately this data almost always contains unwanted sample points, arisin...

Seminar - 2017-05-22 h.15:00

Sparse Image Representation and its Applications

Recently, sparse representation emerged as a useful regularization in ill-posed linear inverse problems. The key observation in this direction is the fact that many natural signals and images contain ...

Seminar - 2017-05-12 h.09:30

Challenges and future perspectives in automotive software

Automotive is witnessing a substantial innovation trend since more than a decade. Pervasiveness of electronics in vehicles determines complex challenges in terms of functional safety, cyber security a...

Seminar - 2017-04-20 h.14:00

Modelling crime and its fear

Generally speaking, crime is a rare event, which means that traditional tools for modelling, simulating or even measuring crime are not appropriate because they are not comparable across time and popu...

Seminar - 2017-04-03 h.16:00

Data-driven modeling of scientific migration

In the academic community there is a widely accepted belief that movement between institutions is beneficial to, possibly even essential for, a successful career. From doctorate to post-doc, lecturer ...

Seminar - 2017-02-06 h.14:30

Probabilistic Methods for Hyperspectral Image

As one of the main topics of remote sensing research, hyperspectral images (HSIs) are used in many real-life applications including forest vegetation mapping and classification, urban and land usage, ...

Seminar - 2016-12-21 h.11:00

Quali politiche di assunzione al CNR?

Relazione sulla recente esperienza di commissario di concorso CNR: analisi delle difficolta' di gestione del processo di espletamento di concorsi con l'attuale normativa CNR e delle potenziali apertur...

Seminar - 2016-12-07 h.11:00

Improving Document Understanding through Saliency Detection (ISTI Grants for Young Mobility seminar series)

A lot of research efforts have been spent in the latest years to devise effective solutions to allow machines understand the main topics covered in a document. Several approaches have been proposed in...

Seminar - 2016-12-07 h.10:30

Data Flow Quality Monitoring in Data Infrastructures (ISTI Grants for Young Mobility seminar series)

From an abstract point of view, Data infrastructures (DIs) can be intended as large (eco)systems constituted by data storage and processing components. Such components can be in turn combined into so-...

Seminar - 2016-11-30 h.11:30

True Concurrency

In a distributed system, actions may occur concurrently. This leads in a natural way to a partial order model of concurrency. In this set-up, the runs of a system are represented as labelled partial o...

Seminar - 2016-11-29 h.11:00

Autonomous cars and vehicular networks. History. State of art. Research problems

Autonomous cars, or cars that run without human control, have been developed over the past several decades, starting in 1977. Currently, we have autonomous cars still in experimental and development s...

Seminar - 2016-11-23 h.10:30

Measuring the Relevance of Evidence Sources in Digital Forensics Investigations (ISTI Grants for Young Mobility seminar series)

In forensics investigations, several digital sources exist that can be used to provide evidence for a crime case, from CCTVs to NFC readers, and from network routers to PC hard-disks. Inspecting all t...

Seminar - 2016-11-23 h.10:30

On improving Content-Based Image Retrieval using Convolutional Neural Networks features (ISTI Grants for Young Mobility seminar series)

The research to effectively represent visual features of images has received much attention over the last decade. Although hand-crafted local features (e.g SIFTs and SURFs) and their encodings (e.g Ba...

Seminar - 2016-11-18 h.10:30

Automating Reasoning About Large (Collective Adaptive) Systems and Space

Collective Adaptive System (CAS) are often composed of very large numbers of relatively simple agents, so that modelling these systems, analysing them or rigorously reasoning about them faces serious ...

Seminar - 2016-11-16 h.10:30

Face recognition with Deep Convolutional Neural Networks (ISTI Grants for Young Mobility seminar series)

Face recognition is an appealing and challenging problem in many research fields. Several approaches have been proposed in literature to address this problem. Recently, the diffusion of computationall...

Seminar - 2016-11-16 h.10:30

Exploring Social Media for Classifying Attendance for Events (ISTI Grants for Young Mobility seminar series)

The huge volume of user-generated data in social media platforms, such as Facebook, Twitter and Instagram, can be exploited to extract valuable information concerning human dynamics and behaviors. Soc...

Seminar - 2016-10-26 h.10:30

An Application of Contextualized Software Testing (ISTI Grants for Young Mobility seminar series)

Test coverage information can help testers in deciding when to stop testing and in augmenting their test suites when the measured coverage is not deemed sufficient. Since the 70’s, research on c...

Seminar - 2016-10-26 h.10:30

On the Behaviour of Deviant Communities in Online Social Networks. (ISTI Grants for Young Mobility seminar series)

On-line social networks are complex ensembles of inter- linked communities that interact on different topics. Some communities are characterized by what are usually referred to as deviant behaviors, c...

Seminar - 2016-10-03 h.15:00

Mozart's Laptop: Implications for Creativity in Multimedia Digital Libraries and Beyond

If Mozart were alive today, what sorts of musical apps would such an innovative composer use on his laptop? In this seminar I will attempt to answer - at least in part - this question. We will metapho...

Seminar - 2016-10-03 h.11:00

A Framework for Evaluating and Validating Energy-saving Cyber-Physical Systems in the Railway Domain through Stochastic Activity Network and Stochastic Hybrid Automata

Cautious usage of energy resources is gaining great attention nowadays, both from an environmental and economical point of view. Therefore, studies devoted to analyse and predict energy consumption in...

Seminar - 2016-10-03 h.10:00

Probabilistic PCTL*: The deductive way

Complex probabilistic temporal behaviours need to be guaranteed in robotics and various other control domains, as well as in the context of families of randomized protocols. At its core, this entails ...

Seminar - 2016-09-20 h.14:00

Loving Vincent: Guiding Painters through 64.000 frames... and other unrelated work

In this presentation, Prof. Melendez will present some of his earlier works in photogrammetry and 3D reconstruction of buildings. Then, a recent collaboration in the movie "Loving Vincent", which is t...

Seminar - 2016-09-07 h.11:00

On the processing of facial blood concentration and saturation maps from hyperspectral data (ISTI Grants for Young Mobility seminar series)

Hyperspectral data, i.e. images collected over tens of narrow contiguous light spectrum intervals represent a natural choice for expanding face recognition image analysis, especially since it may prov...

Seminar - 2016-06-16 h.15:00

Large Scale Data Analytics: Challenges, and the role of Stratified Data Placement

With the increasing popularity of XML data stores, social networks and Web 2.0 and 3.0 applications, complex data formats, such as trees and graphs, are becoming ubiquitous. Managing and processing su...

Seminar - 2016-05-26 h.15:00

Dealing with incompleteness in automata-based model checking

A software specification is often the result of an iterative process that transforms an initial incomplete model through refinement decisions. A model is *incomplete* because decisions about certain f...

Seminar - 2016-05-26 h.14:30

Sound and Music Computing for Cultural Heritage

Il 26 Maggio vi sarà la visita del Sound and Music Computing Group, Università di Padova. Nell’ambito della visita (dove saranno presentate agli studenti visitatori le attivit&agra...

Seminar - 2016-04-05 h.14:00

Exploring the Critical and Cultural Dimensions of SoBigData: From Empowering Data Citizens to Persona Non Data

This talk will present insights and innovations from a series of recent and ongoing research projects at Kingâ??s College London. Beyond the analysis and modelling of SoBigData, our highly interdisci...

Seminar - 2016-02-25 h.09:30

The illusion that comes with a price: privacy on the web

We are used to the fact that things are free on the web. Since the Snowden case, more people know that even free services have their price. In spite of this, most of us still don't take any countermea...

Seminar - 2016-02-24 h.14:30

Spatial, statistical and morphological 3D shape analysis for automatic and interactive computer graphics applications

Shape analysis takes many forms in computer graphics, and one can easily think there are as many analysis primitives as applications needing them. However, for certain classes of shape analysis method...

Seminar - 2016-01-27 h.11:00

Relative scale estimation and 3D registration of multi-modal geometry using Growing Least Squares

The advent of low cost scanning devices and the improvement of multi-view stereo techniques have made the acquisition of 3D geometry ubiquitous. Data gathered from different devices, however, result i...

Seminar - 2015-12-18 h.17:30

Possible uses of Bluetooth Low Energy in AmI applications (YRA seminar)

Ambient Intelligence is the vision of a future in which environments support the people inhabiting them. In order to realise it, environments should pervasively but unobrusively equipped with sensors ...

Seminar - 2015-12-03 h.15:00

Big Data Analytics: systems and algorithmic challenges

In this talk, I will overview a selection of topics covering both systems and algorithmic aspects of large-scale data analysis. At the system level, we will overview current research on topics ranging...

Seminar - 2015-10-23 h.14:30

Why Open Access? A researcher's perspective

Open Access, as its name indicates, is about access (and re­use) of validated scientific results (and, more recently, about data as well); but it is also about regaining a clear perspective on the ...

Seminar - 2015-10-07 h.11:00

Designing structures for additive fabrication

Additive fabrication (3D printing) presents a range of unique challenges and opportunities for computational design. On of the distinctive features of additive fabrication is effectively free complexi...

Seminar - 2015-07-22 h.15:30

Data-Driven Interactive Quadrangulation

We propose an interactive quadrangulation method based on a large collection of patterns that are learned from models manually designed by artists. The patterns are distilled into compact quadrangulat...

Seminar - 2015-07-07 h.14:00

An overview of the NeMIS IT facilities

This seminar gives an overview of the NeMIS IT facilities. In particular, it gives a detailed description of the core systems exploited to operate the NeMIS services. Approaches aiming at scalability,...

Seminar - 2015-06-29 h.11:00

Real-time Hand Motion Tracking from a Single RGBD Camera

We present a robust method for capturing articulated hand motions in realtime using a single depth camera. Our system is based on a realtime registration process that accurately reconstructs hand pose...

Seminar - 2015-05-21 h.12:00

HCI in a World of DataScience

This talk will try to set out where Human Computer Interaction sits in a world rapidly moving to Data Science. Data Science, is seen as a home for statisticians, machine learners, data warehousers, an...

Seminar - 2015-05-21 h.11:30

Identifying interaction workflows with complex artefacts

I argue that interaction with many forms of data constitutes 'complex' interaction, characterised by multitasking situations, highly-specialised domain, high cognitive demand, and large size - and oft...

Seminar - 2015-05-19 h.15:00

Metric Indexes based on Recursive Voronoi Partitioning

In this talk, we target the problem of search efficiency vs. answer quality of approximate metric-based similarity search. We especially focus on techniques based on recursive Voronoi-like partitionin...

Seminar - 2015-04-29 h.11:00

ISTI Young Researcher Award 2015 - Young Researchers Day

This is a set of 3 seminars from the recipients of the ISTI YRA 2015 - Category: Young Researchers Title: Unsupervised Induction of Relations within a Reconstruction Framework Speaker: Diego Marcheggi...

Seminar - 2015-04-21 h.14:00

Current Research in Human-generated Data at the Big Data Analytics Institute?

In this presentation we will review current research projects in progress at the Institute for Big Data Analytics at Dalhousie University, Halifax, Canada. While we are involved in a variety of applie...

Seminar - 2015-04-20 h.11:00

Ambiguity as a Resource to Disclose Tacit Knowledge (seminario GYM)

Interviews are the most common and effective means to perform requirements elicitation and support knowledge transfer between a customer and a requirements analyst. Ambiguity in communication is often...

Seminar - 2015-04-01 h.15:00

On the use of TCP on Random Access Satellite Links (seminario GYM)

Grants for Young Mobility (GYM) seminar....

Seminar - 2015-03-06 h.10:00

Applied geometry processing: results and future research

The main scope of industrial prototyping consists in creating a tangible representation of an arbitrary complex object. This activity usually starts with the design of a digital 3D model, often using ...

Seminar - 2015-03-04 h.14:00

IceSL: a GPU slicer for 3D printing

IceSL is a GPU accelerated modeler an slicer for 3D printing developed by our group. IceSL uses recent GPU algorithms to speed-up the visualization and slicing process, and avoids the expensive mesh c...

Seminar - 2015-02-25 h.11:00

Grade, a sustainable repository of Linked Data

Come and meet Grade, our latest and coolest tool in FAO to integrate data from local and remote sources into a sustainable repository of Linked Data. Why sustainable? Grade puts data management back i...

Seminar - 2015-02-19 h.10:30

Analysis Strategies for Configurable Systems

The advent of variability management and generator technology enables users to derive individual system variants from a given configurable system just based on a selection of desired configuration opt...

Seminar - 2015-02-12 h.10:30

Cause learning from examples--challenges and opportunities

Cause learning from examples is an urgent call and a pathway for understanding the most insights of some scientific problems. A central question is to learn substantial causes which must be a good mat...

Seminar - 2015-02-10 h.11:00

Studying properties of a random variable in dual domains

Studying fundamental properties of a random variable is a key step towards its applications. Here we provide a paradigm of study in density domain, in characteristic domain and transfer between the do...

Seminar - 2015-02-03 h.11:30

Unsupervised Induction of Relation within a Reconstruction Minimization Framework

Relation extraction is the task that aims to extract structured information between elements from unstructured sources such as natural language text. This comes in help when one wants to create a know...

Seminar - 2015-02-03 h.11:00

Explaining mobile application recommendation

As previously demonstrated, given the right incentives and explanations users are more likely to adopt a recommended product (application, item etc.). In this work we wish to determine what are the mo...

Seminar - 2015-02-03 h.10:30

Distributed Word Embeddings on Data Streams

Word representation via numerical vectors (word embeddings) is a central topic in natural language processing. The recent approaches for computing word embeddings from text corpora (e.g., word2vec) ha...

Seminar - 2014-12-11 h.11:00

Conquering the Combinatorial Explosion: Analyzing Variable Software

Variability is everywhere, and software is no exception: It is difficult to imagine any kind of non-trivial software system that is not variable or configurable. Beside immediate benefits, such as mas...

Seminar - 2014-12-09 h.15:00

From the Theory to the Product: Building a Music Locker

In this talk we explain the concept of a music locker, the services offered and the challenges for its construction. We show how a simple concept requires substantial advances in algorithms and data s...

Seminar - 2014-11-12 h.10:30

Data driven small community media and related services for community self-organization

The primary goal of this ongoing project is to strengthen communities, especially local communities, through utilizing the potential of smartphones. One key element of the system is audio based commun...

Seminar - 2014-10-22 h.11:00

A Quantified Modal Logic for the Specification and Verification of Software Systems

Quantified modal logics (possibly extended with fixpoint operators) combine the modal operators with (existential) quantifiers: their intertwining allows for reasoning about the possible behavior of i...

Seminar - 2014-10-17 h.11:00

Automatic Scene Understanding in the Underwater Environment

A marine survey is typically performed by multi-sensor platforms capturing data (e.g. optical and acoustic) during experimental missions and implementing suitable data analysis algorithms. These imple...

Seminar - 2014-10-06 h.16:00

Discovering and Disambiguating Named Entities in Text

Disambiguating named entities in natural language texts maps ambiguous names to canonical entities registered in a knowledge base such as DBpedia, Freebase, or YAGO. Knowing the specific entity is an ...

Seminar - 2014-09-12 h.11:00

3D Shape Retrieval with a tree graph representation based on the Autodiffusion function topology

In this seminar I will give a summary of my past and current research and in particular I will focus on my recent work on a shape descriptor for 3D shape retrieval with texture information. I will pre...

Seminar - 2014-07-23 h.15:00

The Role of User Location in Personalisation of Information Retrieval Systems

Information Retrieval (IR) systems aim at assisting user in finding information among huge variety of resources available on the Web. While traditional IR systems characterized by "one size fits all" ...

Seminar - 2014-07-23 h.14:00

Adaptive clipping of splats to models with sharp features

Splat-based models are a good representation because of its absense of topology, making complex modeling operations easier, but keeping the same approximation ratio from triangular meshes. However cor...

Seminar - 2014-07-18 h.11:00

Towards Green Information Retrieval

Web search engines have to deal with a rapid increase of information, demanded by high incoming query traffic. This situation has driven companies to build geographically distributed data centres hou...

Seminar - 2014-07-02 h.15:45

Gastrin releasing peptide attenuates reconsolidation of conditioned fear memory in rats

Anthony Murkar is one of the four Canadian graduate students who are performing a two-week internship activity at the Signals and Images Lab. He graduated in psychology and is carrying out research in...

Seminar - 2014-07-02 h.15:00

Assessing the effects of meditation and sleep mentation therapy in recovering alcohol and drug addicts

Nicolle Miller is one of the four Canadian graduate students who are performing a two-week internship activity at the Signals and Images Lab. She graduated in psychology and is carrying out research i...

Seminar - 2014-07-02 h.11:00

Renewal intermittency in complex systems

The interest towards self-organized and cooperative systems has rapidly increased in recent years. This is related to the increasing interest in the evolution of complex networks, such as the web and,...

Seminar - 2014-07-02 h.10:30

Francesco Banterle: Acquisition, processing and display of High Dynamic Range Data in the Rendering Pipeline Luca Pappalardo: Human Mobility, Social Networks, and Economic Development Rossano Venturini: Succinct Data Structures

Nello "Young Research(ers) Workshop 2/2" tre dei sei vincitori dell'ISTI Young Researcher Award 2014 ( http://www.isti.cnr.it/news/yawards.php ) presenteranno una selezione dei risultati della loro at...

Seminar - 2014-07-01 h.15:45

The effects of gratitude journaling on the vicissitudes of mood in recovering addicts and the role of dreams as predictive variables

Patrick Fox is one of the four Canadian graduate students who are performing a two-week internship activity at the Signals and Images Lab. He graduated in psychology and is carrying out research in th...

Seminar - 2014-07-01 h.15:00

Ontogenetic patterns and gender dimensions in the dreams of Canadians

Allyson Dale is one of the four Canadian graduate students who are performing a two-week internship activity at the Signals and Images Lab. She graduated in psychology and is carrying out research in ...

Seminar - 2014-06-25 h.11:00

Requirements Engineering for Cloud Applications

Cloud computing is a new business paradigm managed through Internet, where different providers offer their services using scalable virtualization. Services selection depends of the service level agree...

Seminar - 2014-06-19 h.10:15

Mean-Field approximation and Quasi-Equilibrium reduction of Markov Population Models

Markov Population Model (MPM) is a commonly used framework to describe stochastic systems. Their exact analysis is not feasible in most cases because of the so-called state space explosion problem. Ap...

Seminar - 2014-06-09 h.11:00

Transforming Big Data into Smart Data: Deriving Value via harnessing Volume, Variety, and Velocity using semantic techniques and technologies

Big Data has captured a lot of interest in industry, with anticipation of better decisions, efficient organizations, and many new jobs. Much of the emphasis is on the challenges of the four Vs of Big ...

Seminar - 2014-05-30 h.10:15

Specifying and Verifying Properties of Space

The interplay between process behaviour and spatial aspects of computation has become more and more relevant in Computer Science, especially in the field of collective adaptive systems, but also, more...

Seminar - 2014-05-21 h.10:30

Young Research(ers) Workshop 1/2

Nello "Young Research(ers) Workshop 1/2" tre dei sei vincitori dell'ISTI Young Researcher Award 2014 ( http://www.isti.cnr.it/news/yawards.php ) presenteranno una selezione dei risultati della loro at...

Seminar - 2014-05-20 h.11:00

The digital journey for audiovisual contents

Il seminario avrà come tema la presentazione delle problematiche particolari dei contenuti audiovisivi in termine di preservazione digitale. L'attenzione sarà rivolta principalmente a digitalizazi...

Seminar - 2014-04-16 h.14:30

Descriptive and Visual Approaches in the Computer-Based Representation of Text in the Humanities

In the Humanities, the de facto standard to represent texts with the help of a computer is a markup language called TEI (Text Encoding Initiative) based on XML (previously SGML). TEI/XML favors a sing...

Seminar - 2014-03-17 h.15:00

Modeling for Entertainment industry: semi-automatic, patch-based quadrangulation

We give an overview of an ongoing research, aimed at the design of a semi-automatic method for quad mesh generation. Quad meshes are mandatory in many applications in computer graphics: animation, Fem...

Seminar - 2014-02-26 h.11:00

Management of a bike sharing system - an operations research perspective

Modern bike sharing systems allow to monitor in real time the situation of bike availability at bike sharing parking places. Among the many management aspects to be considered, we will focus on the re...

Seminar - 2014-02-17 h.11:30

Computational Analysis in Cultural Heritage Applications

Through the increasing availability of high-quality consumer hardware for advanced imaging tasks, digital imaging and scanning are gradually pervading general practice in cultural heritage preservatio...

Seminar - 2014-02-14 h.11:00

Single-material elasticity approximation

3D printing is becoming a pervasive technology in a variety of applications. The main advantage of these solutions is that the structural complexity of the printed objects does not affect time and cos...

Seminar - 2014-02-13 h.10:00

Evaluation of conceptual models for digital preservation

Keeping alive the audio-visual (AV) scientific content for next generations is our responsibility and need of hour. Keeping this in mind various preservation initiatives are going on in Europe and aro...

Seminar - 2013-12-17 h.11:00

Personalization and Contextualization in Query Auto Complete

Personalization and Contextualization are two somehow different, but related, very interesting topics in research and two of the most valuable â??weaponsâ?? in the arsenal of any modern search engin...

Seminar - 2013-11-12 h.11:00

Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models

During my postdoc, we extend PALPS, a process calculus proposed for the spatially-explicit individual-based modeling of ecological systems, with the notion of a policy. A policy is an entity for speci...

Seminar - 2013-11-08 h.14:00

ZigBee ed applicazioni pratiche del protocollo

Il seminario sarà focalizzato sul protocollo ZigBee e sarà diviso in due parti: una iniziale teorica che descriva il protocollo ed una seconda parte più pratica, con una piccola s...

Seminar - 2013-10-25 h.11:00

The origin of heterogeneity in human mobility

Researchers recently discovered that traditional mobility models adapted from the observation of particles or animals (such as Brownian motion and Levy-flights), and recently from the observation of d...

Seminar - 2013-10-08 h.11:00

Functional and Non-functional model-based test design

The talk will report on a proposal to provide a black-box and model-based system testing approach, integrating functional and nonfunctional aspects. The approach extends the UML-TP profile with concep...

Seminar - 2013-09-24 h.11:00

Prefab: What If Anybody Could Modify Any Interface?

Widely-used interface toolkits currently stifle the progress and impact of user interface research. Advances are limited by both the rigidity of current interfaces and the fragmentation of application...

Seminar - 2013-07-22 h.10:30

Exploring the Detection of Geographic Communities, their Evolution and Applications

It is well-known that space plays an important role in social networks, with pairs of geographically close individuals being more likely to have a connection than those far apart. However, lack of ava...

Seminar - 2013-06-28 h.14:00

Energy Efficient networking

Great attention to energy efficiency is being dedicated in all Information and Communication Technology (lCT) sectors. In particular, besides data centers and mobile networks, where the concept alread...

Seminar - 2013-06-24 h.11:00

DEMON: Uncovering Overlapping Communities with a Local-First Approach

Community discovery in complex networks is an interesting problem with a number of applications, especially in the knowledge extraction task in social and information networks. However, many large net...

Seminar - 2013-06-14 h.11:00

Beyond Visual Computing: Interactive Auditory Display

Extending the frontier of visual computing, an interactive auditory display utilizes sound to communicate information to a user and offers an alternative means of visualization. By harnessing the sens...

Seminar - 2013-06-13 h.14:30

Compressed Static Functions with Applications

Given a set of integer keys from a bounded universe along with associated data, the dictionary problem asks to build a data structure able to answer efficiently two queries: membership and retrieval. ...

Seminar - 2013-06-12 h.15:00

Growing Least Squares for Multi-scale surface analysis and editing

In the first part of the talk, a generalization of Algebraic Point Set Surfaces to scale-space analysis called Growing Least Squares will be presented. This new analysis framework provide tools to det...

Seminar - 2013-06-11 h.14:30

Bayes Theorem and Stochastic Process Prediction

Bayesian inference is recognized as a general framework for performing optimal stochastic process prediction. Fundamentally, it assumes that the uncertainty in our knowledge of the state of the observ...

Seminar - 2013-06-10 h.11:00

A Classification for Community Discovery Methods in Complex Networks

In the last few years many real-world networks have been found to show a so-called community structure organization. Much effort has been devoted in the literature to develop methods and algorithms th...

Seminar - 2013-06-07 h.11:00

Perspectives of Human Mobility in Location-based Social Networks: Models and Applications

In this talk I will be sharing my experience of mining, analysing and modeling user mobility in location-based social networks in the past couple of years. We will initially present an agent based mod...

Seminar - 2013-06-03 h.11:00

Learning to Predict Tourists Movements

Touristic applications stirred an increased interest in the last years due to the intense use of mobile devices and location based applications. Our outlook on this matter is directed towards the next...

Seminar - 2013-05-28 h.11:30

A temporal logic approach to modular design of synthetic biological circuits

We present a new approach for the design of a synthetic biological circuit whose behavior is specified in terms of signal temporal logic (STL) formulae. We first show how to characterize with STL form...

Seminar - 2013-05-28 h.11:00

Central Limit Approximation for Stochastic Model Checking

In this talk we investigate the use of Central Limit Approximation of Continuous Time Markov Chains to verify collective properties of large population models, describing the interaction of many simil...

Seminar - 2013-05-27 h.11:00

Using collective intelligence to detect natural language pragmatic ambiguities

We present a novel approach for pragmatic ambiguity detection in natural language (NL) requirements specifications defined for a specific application domain. Starting from a requirements specification...

Seminar - 2013-05-22 h.10:00

Europe's new data protection framework and what it means to IT engineering

Europe - along with much of the developing world - is ready to implement a new and robust regime of data protection. The IT industry is carefully considering the challenges and the opportunities that ...

Seminar - 2013-05-20 h.11:00

Utility-Theoretic Ranking for Semi-Automated Text Classification

Suppose an organization needs to classify a set D of textual documents, and suppose that D is too large to be classified manually, so that resorting to some form of automated text classification (TC) ...

Seminar - 2013-05-15 h.11:00

ASSERT Enabled Marketplace

Platform providers establish marketplace ecosystems to sell to end users services and applications running on the platform. Very prominent examples of these marketplaces are the Google Play Store and ...

Seminar - 2013-05-14 h.16:30

The effects of meditation on dream imagery, depression and anxiety in Canadian students

The current study examined the effects of meditation on waking day depression levels (BDI), waking day trait anxiety levels (BAI-T) and dream imagery in University students. The Storytelling Method wa...

Seminar - 2013-05-14 h.16:00

The neuropsychology of dreams, memories, and learning

The seminar presentation will discuss how dreams relate to memory. It is not fully understood how dreams are generated by the brain, but recent research has uncovered relationships between sleep, drea...

Seminar - 2013-05-14 h.15:30

Dream work with Soldiers and Gamers

Dream content and discovery have been studied comparing soldiers with operational experience in Afghanistan with an age matched sample of male civilians. Soldiers' dreams contained a higher frequency ...

Seminar - 2013-05-13 h.11:00

Compressed Static Functions with Applications

Given a set of integer keys from a bounded universe along with associated data, the dictionary problem asks to build a data structure able to answer efficiently two queries: membership and retrieval. ...

Seminar - 2013-05-07 h.11:00

A new probabilistic model for IR

Over the years a number of competing models have been introduced attempting to solve the central IR problem of ranking documents given textual queries. These models, however, tend to require the inclu...

Seminar - 2013-04-23 h.15:00

DEMON: Uncovering Overlapping Communities with a Local-First Approach

Community discovery in complex networks is an interesting problem witha number of applications, especially in the knowledge extraction taskin social and information networks. However, many large net...

Seminar - 2013-04-22 h.12:00

Designing conceptual database models for innovative evaluation of quality

The approach to introduce innovative evaluations of quality is based on two different methods: the former is a vertical mapping which starts from the formal specification of a database application and...

Seminar - 2013-04-05 h.10:00

Analysis and Test of the Effects of Single Event Upsets in the Configuration Memory of SRAM-based FPGAs

SRAM-based FPGAs are increasingly relevant in a growing number ofsafety-criticalapplication fields, ranging from automotive to aerospace. Theseapplication fields arecharacterized by a harsh radiation ...

Seminar - 2013-03-15 h.14:30

Simulazione e sistemi IDroinformatici per la Gestione delle Risorse Idriche

La gestione delle risorse idriche, attualmente soggette ad unacrescente pressione antropica ed alle crisi ricorrenti legate aicambiamenti climatici, costituisce una delle problematicheambientali cui...

Seminar - 2013-03-13 h.15:00

Abstract Modelling and On-the-fly model checking

The seminar will present the underlying basic ideas and the current status of the UMC/FMC/CMC/VMC modellling and verification framework developed at ISTI. A railway scenario will be used to illustrate...

Seminar - 2013-02-15 h.11:30

Extended Visual Tracking for Video Analytics under the Bayesian Probabilistic Graphical Framework

Visual tracking represents the basic processing step for most Video Analytics applications where the aim is to automatically understand the actions occurring in a monitored scene. Consequently, the pe...

Seminar - 2013-02-11 h.15:00

Stochastic modelling of Signalling Pathways

Signalling pathways are a set of inerconnected biochemical reactions that, in living organisms, are dedicated to the transduction of signals coming from the environment. They represent fundamental str...

Seminar - 2013-02-01 h.11:00

BAT-Framework: a framework to compare text-annotators

We have implemented a benchmarking framework for fair and exhaustive comparison of entity-annotation systems. The framework is based upon the definition of a set of problems related to the entity-anno...

Seminar - 2012-12-19 h.10:30

Using Collective Intelligence to Detect Natural Language Pragmatic Ambiguities

We present a novel approach for pragmatic ambiguity detection in natural language (NL) requirements specifications defined for a specific application domain. Starting from a requirements specification...

Seminar - 2012-12-05 h.15:00

Run-time Failure Forecasting for Dynamically Evolving Systems

---...

Seminar - 2012-11-21 h.10:30

Analysing Robot Swarm Decision-making with Bio-PEPA

A formal approach to analyse swarm robotics systems is presented based on Bio-PEPA. Bio-PEPA is a process algebraic language originally developed to analyse biochemical systems. Its main advantage is ...

Seminar - 2012-11-20 h.14:30

Localizzazione in interni basata su RSS

Il seminario sarà un excursus sulle passate e presenti attività di ricerca del gruppo Wnlab nel campo della localizzazione in interni e nel riconoscimento dell'attività di persone...

Seminar - 2012-11-07 h.10:30

Product Line Engineering Applied to CBTC Systems Development

Communications-based Train Control (CBTC) systems arethe new frontier of automated train control and operation. Currentlydeveloped CBTC platforms are actually very complex systems includingseveral fun...

Seminar - 2012-10-17 h.11:30

The Elegant Search Universe: superstrings and hidden dimensions

...

Seminar - 2012-10-17 h.09:30

Real-time believable stereo and virtual view synthesis engine for autostereoscopic display

An FPGA and VLSI oriented stereo and virtual view synthesis engine is designed for the autostereoscopic display in the distributed multimedia plays application. To acquire the believable rendering not...

Seminar - 2012-10-16 h.16:30

The Renaissance of Logic-based Languages and Systems--Data Streams

...

Seminar - 2012-10-12 h.11:00

Social computing: exploiting the human factor in social media data management.

One of the reasons behind the tremendous success of Social Network Analysis (SNA) methods in various research disciplines is a very general and simple graph model that enables the representation and s...

Seminar - 2012-10-11 h.11:00

Selecting stars: fast and accurate computation of representative skylines for finding interesting records under multiple criteria.

Which basketball player has been the Most Valuable Player in the last NBA season? Which materials should we use to build a product in a short time, that is cheap but is still appreciated by our custom...

Seminar - 2012-09-14 h.11:30

Using Collective Intelligence to Detect Pragmatic Ambiguities

We present a novel approach for pragmatic ambiguity detection in natural language (NL) requirements specifications defined for a specific application domain. Starting from a requirements specification...

Seminar - 2012-09-10 h.14:00

High-quality parametrization and quadrangualation

In this talk I will review recent progress in global parametrization and quadrangulation algorithms, focusing on our recent work emphasizing optimization of parametrization quality. We have pursued se...

Seminar - 2012-07-06 h.11:00

Security Testing of Web Applications from a Secure Model

Web applications are a major target of attackers. The increasing complexity of such applications and the subtlety of today’s attacks make it very hard for developers to manually secure their web...

Seminar - 2012-06-13 h.10:00

Chisel: A Cultural Heritage Information System based on Extended Layers

Dealing with cultural heritage sites or artifacts usually involves a large volume of heterogeneous information to be managed, accessed and analyzed by specialists. In this way we present Chisel: a cul...

Seminar - 2012-06-08 h.10:00

Shape Analysis with Correspondences

The talk will discuss recent work that has been done within the "Statistical Geometry Processing" group at MPI Informatics and Saarland University. We are working on "shape understanding" algorithms, ...

Seminar - 2012-06-06 h.11:00

PolarityRank: Finding an equilibrium between followers and contraries in a network

In this talk I will present the random-walk ranking algorithm named PolarityRank. This algorithm is inspired in PageRank, and generalizes it to deal with graphs having not only positive but also negat...

Seminar - 2012-05-23 h.11:00

The inductive print: An example from physical modeling for digital synthesis

The dynamics of musical instruments are simulated to approximate their waveform for digital synthesis. In addition to this largely deductive process, the development of the model also includes an indu...

Seminar - 2012-03-30 h.14:30

Analyzing and Simulating Fracture Patterns in Theran Wall Paintings

We analyze the fracture patterns observed in wall paintings excavated at Akrotiri, a Bronze Age Aegean settlement destroyed by a volcano on the Greek island of Thera around 1630 BC. We use interactive...

Seminar - 2012-03-02 h.11:00

Lightweight Approaches to Highly Adaptive Web Interfaces

The growing range and diversity of new devices makes it increasingly difficult for web developers to cater for the large variety of viewing and interaction contexts. While there is a great body of wor...

Seminar - 2012-02-24 h.14:00

Il prodotto SKOSware V1.0

SKOSware è un sistema per la gestione condivisa e per la pubblicazione di thesaurus SKOS prodotto dalla EtcWare s.r.l. . SKOS (Simple Knowledge Organization System) è un formalismo per r...

Seminar - 2012-02-17 h.10:00

Automated quality assessment of volunteered geographic information: engaging citizens in the next generation Digital Earth. Case study on forest fire.

This seminar present a conceptual workflow for assessing the quality of geographic user-generated content (GUGC) or volunteered geographic information (VGI) in the context of crisis events like forest...

Seminar - 2012-02-07 h.11:00

Cross-lingual Word Clusters for Direct Transfer of Linguistic Structure

The ability to predict the linguistic structure of sentences or documents is central to the study of natural language processing. While annotated resources for parsing and several other tasks are avai...

Seminar - 2011-12-05 h.15:15

I limiti di acquisizione e visione delle immagini HDR come chiave di lettura dell'intera pipeline di imaging ad alta dinamica

Il passaggio dall'imaging tradizionale a quello ad alta dinamica non consiste semplicemente nell'aumentare il numero di bit del singolo pixel. Nel passaggio verso una immagine in grado di acquisire, t...

Seminar - 2011-12-05 h.14:30

The brain side of Information Technology: an exploration with low cost EEG devices

An emerging problem in IT is how human communication, mediated by computer systems, evolves in new and unexpected ways. Diffusion of social networks, virtual reality, videogames, e-learning, mobile co...

Seminar - 2011-12-01 h.11:00

Regression Testing of Web Service: A Systematic Mapping Study

Web Service is a mature and widely-used implementation technique under the new paradigm of Service-Oriented Architecture (SOA). This work aims to identify any gap in current research and suggest some ...

Seminar - 2011-11-25 h.11:00

Analysis of aa-tRNA competition: An application of Prism in systems biology

We present a formal analysis of ribosome kinetics using probabilistic model checking with the tool Prism. We compute different parameters of the model, like probabilities of translation errors and ave...

Seminar - 2011-11-15 h.11:00

Towards a Universal Information Distance for Structured Data

The similarity of objects is one of the most fundamental concepts in any collection of complex information; similarity, along with techniques for storing and indexing sets of values based on it, is a ...

Seminar - 2011-11-14 h.11:00

Dynamic Variability in Families of Clouds

The use of a cloud service requires a company to trust the vendor to comply with given Service-level Agreements (SLA). This work proposes a framework for modelling and maintaining Quality of Service l...

Seminar - 2011-11-07 h.15:00

Modelling and Analysing Variability in Product Families

We propose an emerging solution technique and a support tool for modelling and analysing variability in product families. First we illustrate how to manage variability in a formal framework consisting...

Seminar - 2011-10-25 h.11:00

Model-based Engineering of Distributed Systems with SPACE and Arctis

Model-based software engineering techniques are suited for the rapid and cheap service development. Our approach SPACE and its tool set Arctis use collaborative models each describing a possibly distr...

Seminar - 2011-10-17 h.11:00

Adoption of SysML by a Railway Signaling Manufacturer

This talk reports the experience of a railway signaling manufacturer in introducing the SysML notation within its development process by means of the TOPCASED tool. Though the tool was later substitut...

Seminar - 2011-10-14 h.11:00

Modeling Dynamic System Adaptation with Paradigm

Dynamic system evolution of cooperating software components can be modeled in the Paradigm language. Paradigm provides layers of granularity, allowing to describe component interaction at a higher lev...

Seminar - 2011-10-14 h.09:15

Interactive Visualization of Large Terrains on Mobile Devices, with applications

The recent advent of low energy GPUs has boosted the graphics capabilities of mobile devices, such as smartphones, tablets or PDAs. However, this kind of devices still has several restrictions and lim...

Seminar - 2011-10-07 h.11:00

FuTS - A Uniform Framework for the Definition of Stochastic Process Languages

Process Algebras are one of the most successful formalisms for modeling concurrent systems and proving their properties. Due to the growing interest in the analysis of shared-resource systems, stochas...

Seminar - 2011-10-05 h.11:00

Dealing with Uncertainty to Ensure Open System Dependability

Dealing with uncertainty inherent in the very nature of service-oriented architectures, is one of the main challenges in building dependable service architectures. This uncertainty needs to be treated...

Seminar - 2011-09-27 h.11:00

Timed Automata as Observers of Stochastic Processes

In this talk, we will argue that (deterministic) timed automata are a natural specification formalism for practically relevant measures on stochastic processes. It will be discussed how DTA specificat...

Seminar - 2011-09-20 h.10:00

WhatsUp: a P2P recommender

WhatsUp is an instant news system aimed for a large scale network with no central bottleneck, single point of failure or censorship authority. Users express their opinions about the news items they re...

Seminar - 2011-07-07 h.14:00

Web Service Contracts: Specification, Selection and Composition

Web services promise universal interoperability and integration of services developed by independent providers to execute business processes by discovering and composing services distributed over the ...

Seminar - 2011-07-07 h.10:30

Multispectral Image Classification for Urban Studies

Urban growth generates interesting problems in emerging economies, these problems are generally due to the lack of land planning. Remote Sensing has proved to be a good analysis technique adapted to s...

Seminar - 2011-07-01 h.10:00

Sketch-based constraints for procedural generation of 3D scenes

I will present a brief overview of the research activity on Computer Graphics of the Computer Science Department at the University of Cape Town, as well as some information on my own research interest...

Seminar - 2011-06-24 h.15:00

A universal model for mobility and migration patterns

The gravity law, widely used to predict the number of commuters between two geographic locations or administrative areas, has played a central role in the past half century in epidemic forecast, urban...

Seminar - 2011-06-15 h.10:00

FLIR camera demostration

Technical discussion (particularly the combination/integration of the eligible FLIR products);Extensive demostration/test of the camera (TAU), in combination with the different available lens-dimens...

Seminar - 2011-06-07 h.11:00

Efficient Diversification of Web Search Results

In this paper we analyze the efficiency of various search re- sults diversification methods. While efficacy of diversification approaches has been deeply investigated in the past, response time and sc...

Seminar - 2011-04-19 h.11:30

Off the beaten track: using content-based multimedia similarity search for learning

Electronic media is a valuable and ever increasing resource for information seekers and learners. So much information can be contained in a picture, explained by a diagram or demonstrated in a video c...

Seminar - 2011-04-12 h.15:00

Similarity based financial networks: tracking investor's trading behavior

Networks are a powerful tool to explore the interaction structure of many complex systems. In the vast majority of studied networks a link between two nodes identifies a direct interaction (e.g. tradi...

Seminar - 2011-03-30 h.11:00

Il progetto Mattoni/Matrice, sistematizzazione di uso secondario di dati amministrativi del sistema sanitario.

Il seminario presenta il progetto Mattoni/Matrice dell'Agenzia Nazionale per i Servizi Sanitari Regionali (Agenas) nel quadro del programma Mattoni per la costruzione del sistema informativo del siste...

Seminar - 2011-03-15 h.11:00

Towards an alternative to Gillespie's Algorithm for simulating biochemical reactions

Gillespie's Stochastic Simulation Algorithm (SSA) is probably the most used method for the stochastic simulation of biochemical reactions. The results of some recent wet-lab experiments on single enzy...

Seminar - 2011-03-01 h.15:00

Looking at data through the eyes of a designer

New technologies have increased the possibilities of communicative expression and expanded processes and procedures of accessing, organizing and communicating information. If in the past it was possib...

Seminar - 2011-02-21 h.12:00

Cloudy Weather for P2P, with a Chance of Gossip

Peer-to-peer (P2P) and cloud computing, two of the Internet trends of the last decade, hold similar promises: the (virtually) infinite availability of computing and storage resources. But there are im...

Seminar - 2011-02-15 h.15:00

Trasportare algoritmi di partizionamento di oggetti in ambito teoria dei concetti

La teoria dei concetti pone in risalto la distinzione tra il livello intensionale e il livello estensionale di un concetto. Il livello intensionale, detto anche concept level, è il livello del pens...

Seminar - 2011-02-01 h.11:00

Identifying Task-based Sessions in Search Engine Query Logs

The research challenge addressed in this paper is to devise effective techniques for identifying task-based sessions, i.e. sets of possibly non contiguous queries issued by the user of a Web Search En...

Seminar - 2010-12-02 h.11:00

The Distributed Media Plays System

The Distributed Multimedia Plays Systems Architecture (DMP) provides 3D multiview video and 3D sound collaboration between performers over packet networks. To guarantee the end-to-end time delay less ...

Seminar - 2010-12-02 h.10:30

A Novel Acoustic Indoor Localization System Employing

Nowadays, outdoor location systems have been used extensively in all fields of human life from military applications to daily life. However, these systems cannot operate in indoor applications. This p...

Seminar - 2010-11-09 h.11:00

Il processo di informatizzazione dell’Istituto Ambiente Marino Costiero

Nell’ambito di un complesso e articolato progetto di innovazione e trasferimento di conoscenza per le realtà produttive della Sicilia Occidentale (ICT-E3), l’IAMC ha delegato all’ISTI la proget...

Seminar - 2010-10-22 h.11:00

Feature curves in range images with application to archaeology

Archaeological artifacts are of vital importance in archaeological research. At present there is a drive to scan these artifacts and store the scanned objects on the internet making them accessible to...

Seminar - 2010-10-19 h.15:00

Comparing fluid and mean field approximation of Markov Chains

We will consider two apparently different techniques for deterministic approximation of Markov Chains: fluid-flow approximation and mean field analysis. Fluid limits, or fluid-flow approximation, has ...

Seminar - 2010-10-19 h.11:00

Construction of Concepts and Decomposition of Objects

The seminar aims to present the research results achieved in transporting to the concept theory algorithms for mapping graphs of classes supported by semantic data models to graphs of classes supporte...

Seminar - 2010-10-18 h.11:00

Discrete Physics and Computation

As more and more theories in particle physics begin to explore the possibility of discrete space-time, the smaller the gap becomes between physics and computer science. Can computer science provide us...

Seminar - 2010-10-13 h.10:00

Simulating Aging, Weathering and Surface Details

Accurately modeling material appearance and surface details is essential for realistic image synthesis. In this talk, I will describe different solutions we have been working in this direction. The fi...

Seminar - 2010-09-29 h.11:00

Semantic and abstraction content of art images

A key characteristic of visual arts’ objects is that they are created by a cognitive process. The artwork is not merely an objective presentation, but also communicates one or more subjective me...

Seminar - 2010-07-21 h.11:00

Learning from Pairwise Constraints by Similarity Neural Networks

We present Similarity Neural Networks (SNNs), a neural network model able to learn a similarity measure for pairs of patterns, exploiting a binary supervision on their similarity/dissimilarity relatio...

Seminar - 2010-07-16 h.11:00

Anisotropic Quadrangulation

Quadrangulation methods aim to approximate surfaces by semi-regular meshes with as few extraordinary vertices as possible. A number of techniques employ the harmonic parameterization to control angle ...

Seminar - 2010-07-14 h.15:00

Il contesto evolutivo del mondo GIS Open Source

Negli ultimi anni si è assistito ad un crescente interesse della comunità scientifica allo sviluppo di soluzioni GIS free e open source. Tale percorso ha delineato uno scenario in cui un utente G...

Seminar - 2010-07-12 h.11:00

Efficient and accurate algorithms for deforming surfaces

Many engineering and computer graphics applications require computing surface deformations minimizing an energy or solving an equation of motion. This type of deformations are used to model free-form ...

Seminar - 2010-07-06 h.11:00

An approach to Content-Based Image Retrieval based on the Lucene search engine library

Content-based image retrieval is becoming a popular way for searching the web as the amount of available multimedia data increases. However, the cost of developing from scratch a robust and reliable s...

Seminar - -0001-11-30 h.00:00

Gamification - I Videogiochi nella Vita Quotidiana

Ogni anno nella sola Italia si spendono 1.1 miliardi di euro in videogiochi. Ogni mese 3 miliardi di ore vengono investite nel mondo video giocando. Ogni giorno sul social Game "Farmville" entrano olt...

Seminar - -0001-11-30 h.00:00

Problemi Irrisolti in motori di ricerca per commercio elettronico

La popolarità e l'importanza economica dei motori di ricerca per l'internet ha portato allo sviluppo di diverse soluzioni che hanno trovato grande impiego pratico. Nel mio intervento descriverò com...

Seminar - -0001-11-30 h.00:00

Seminari YRA 2015, prima parte

Primo appuntamento con i seminari dei vincitori del premio Young Researcher Award 2015, che presenteranno i loro attuali e futuri argomenti di ricerca. I tre seminari saranno tenuti da: Luigi Malomo -...

Seminar - -0001-11-30 h.00:00

Seminari YRA 2015, seconda parte

Secondo e ultimo appuntamento con i seminari dei vincitori del premio Young Researcher Award 2015, che presenteranno i loro attuali e futuri argomenti di ricerca. I tre seminari saranno tenuti da: Mic...

Seminar - -0001-11-30 h.00:00

L'uso delle Reti di Petri per la modellazione della circolazione ferroviaria

Cenni sulla Teoria delle Reti di Petri. Algebra e formalismo grafico delle Reti di Petri, Formulazione analitico matriciale, Situazioni fondamentali in una Rete di Petri,Tipologie di Reti di Petri, Es...

Seminar - -0001-11-30 h.00:00

Software Culture - I nuovi formati della digital art

L'incontro prevede un excursus intorno all"evoluzione della scena digitale attraverso esempi tratti dagli artisti più rappresentativi dell'arte all"epoca della software culture: da Klaus Obermaier a ...

Seminar - -0001-11-30 h.00:00

Introduzione a reti neurali artificiali e loro applicazioni

Le reti neurali artificiali sono modelli matematici che tentano di imitare il funzionamento del sistema nervoso animale, in particolare del cervello. Nel loro modello più semplice sono rappresentate ...

Seminar - -0001-11-30 h.00:00

Giovani in un'ora - Ciclo di seminari - Terza parte

Terzo incontro del Ciclo di seminari "Giovani in un'ora" tenuto dai colleghi che hanno recentemente vinto un Young Researcher Award o un Grant for Young Mobility. Alessio Ferrari - "Interview Review: ...

Seminar - -0001-11-30 h.00:00

Giovani in un'ora - Ciclo di seminari - Prima parte

Primo incontro del Ciclo di seminari "Giovani in un'ora" tenuto dai colleghi che hanno recentemente vinto un Young Researcher Award o un Grant for Young Mobility. Alejandro Moreo - "Random Indexing Ke...

Seminar - -0001-11-30 h.00:00

Giovani in un'ora - Ciclo di seminari - Seconda parte

Secondo incontro del Ciclo di seminari "Giovani in un'ora" tenuto dai colleghi che hanno recentemente vinto un Young Researcher Award o un Grant for Young Mobility. Speaker: Fabio Carrara Title: Real...

Seminar - -0001-11-30 h.00:00

Giovani in un'ora - Ciclo di seminari - Quarta parte

Quarto incontro del Ciclo di seminari "Giovani in un'ora" tenuto dai colleghi che hanno recentemente vinto un Young Researcher Award o un Grant for Young Mobility. Matteo Catena - "Efficient and effec...

Seminar - -0001-11-30 h.00:00

Reconstruction of N-way Arrays by Partial Sampling

In modern signal processing, data mining and other applications, we are frequently faced to the problem of dealing with huge-size datasets (large-scale problems). Moreover, datasets usually have a mul...

Older Seminars
Modello di Trasporto Atmosferico dello Xenon radioattivo: studio dellfimpatto ambientale delle Centrali Nucleari e analisi degli eventi critici per la Comprehensive Nuclear-Test-Ban Treaty Organization
2015-05-27 h.11:00

Seminario del Prof. Wolfango Plastino del Dipartimento di Matematica e Fisica dell'Università...

Research on Web Services at Zayed University – Past, Present, and Future - Speaker: Zakaria Maamar, Zayed University, Dubai.
2013-10-16 h.15:00

This talk presents our research on Web services for the last ten years. Different projects have...

Biblioteche digitali, Web e Linked Data - Relatore: Carlo Meghini (ISTI-CNR)
2013-10-09 h.14:15

Seminario di Cultura Digitale - Il seminario sarà focalizzato sulle biblioteche digitali,...

Error resilient OBBDs
2013-02-04 h.10:00

Speaker: Lorenzo Lago, Università degli Studi di Milano Le attuali memorie, soprattutto quelle più...

Emergent Coordination in Pervasive Service Ecosystems
2013-01-16 h.15:30

Speaker:Mirko Viroli, Alma Mater Studiorum Bologna Several today and emergent applications of...

Elettroacustica e processi digitali del segnale audio
2013-01-08 h.16:00

I sistemi di sonorizzazione dei grandi spazi traggono vantaggio dalle possibilità offerte dai...

Testing Probabilistic Wireless Networks
2012-12-19 h.16:00

Organized by the RU: SySMA - Dynamical Systems, Control, and Optimization Relatore: Andrea Cerone,...

Tra il continuo e il discreto: optimal location
2012-12-18 h.15:00

Relatore: Eugene Stepanov, St. Petersburg State University Studieremo vari modelli per allocare un...

Seminario di Cultura Digitale - La felicità è una scelta facile. L'architettura dell'informazione come antidoto all'information overload
2012-11-28 h.14:15

Relatore: Luca Rosati (http://lucarosati.it/chi) In un mercato dominato dal modello della coda...

Reconciling Self-adaptation with Self-organization
2012-10-04 h.16:00

Two complementary software engineering approaches currently exist to make complex software systems...

I quipu come caso esemplare di codifica della conoscenza
2012-10-03 h.14:15

La cultura letteraria e umanistica ci propongono un modo di intendere il codice. La cultura del...

Quantitatively relaxed concurrent data structures
2012-09-03 h.16:00

There is a trade-off between performance and correctness in implementing concurrent data...

Nuovi sistemi di interazione per la grafica attraverso paesaggi di informazione
2012-05-23 h.14:15

Nell'ambito della Realtà Virtuale ci sono vari livelli di rappresentazione per gli ambienti...

Qualità e Ricerca
2012-05-09 h.08:30

Seminario Formativo sulla Qualità della Ricerca - per il programma consulare la brochure...

Lean and Agile Development with Scrum (Part 1)
2012-05-03 h.14:00

In this seminar, we will discuss the Scrum agile development methodology, together with the agile...

Seminario di Cultura Digitale - The Use of Digital Technologies for the Documentation and the Communication of Archaeological Contexts
2012-05-02 h.14:15

The use of visualization technology to document, investigate and re interpret archaeological...

Verso una Internet Science
2012-04-27 h.16:00

Verso la fine del secolo scorso alcuni ricercatori sentirono il bisogno - e l'opportunità - di...

Is Laziness Paying Off?
2012-04-26 h.17:00

We are going to discuss a new method called "absorbing" method and we are going to give some...

Simple Things We Don't Know
2012-03-21 h.16:30

We will explain some open problems in arithmetic algebraic geometry which are simple to state but...

Ensuring trust in service consumption through security certification
2012-03-12 h.15:00

The service-based paradigm is enabling new models of software provisioning based on cloud...

Origini, principi e futuro del WWW
2012-03-08 h.14:00

Il Web è il risultato di una sintesi di una serie di idee e di tecnologie, e nasce in un ambiente di ricerca...

Seminario di Cultura Digitale - Le fonti per la storia antica e la Rete
2012-03-07 h.14:15

La relativa scarsità, la natura composita e i notevoli problemi interpretativi posti dalla...

Seminario di Cultura Digitale - I modelli 3D ad alto dettaglio nei Beni Culturali: applicazioni e prospettive
2011-11-16 h.14:15

Le tecnologie 3D hanno avuto un grande sviluppo negli ultimi 10 anni: uno dei principali campi di...

Seminario di Cultura Digitale - Social Data Science
2011-11-09 h.14:00

Oggi siamo di fronte ad una svolta, un cambio di paradigma che sta trasformando profondamente la...

Chernobyl 25 anni dopo
2011-04-26 h.14:00

Pomeriggio dedicato al dopo Chernobyl e dopo Fukushima. Alle 16:00 Tavola Rotonda su "Quali...

ADB: An Efficient Multihop Broadcast Protocol based on Asynchronous Duty-cycling in WSN
2011-04-18 h.11:00

The use of asynchronous duty-cycling in wireless sensor network (WSN) MAC protocols is common,...

Seminario di cultura digitale - Fotografia digitale
2011-04-13 h.14:00

Attraverso l'uso delle nuove sofisticate tecnologie digitali in uso nel cinema è possibile...

Seminario di Cultura Digitale: Google Books e il Google Books Settlement
2011-03-30 h.14:30

Il 22 marzo, la sentenza di un giudice federale americano ha rimesso in discussione il Google...

Controllo di Sistemi Complessi
2011-03-15 h.16:00

L’obiettivo di questa presentazione è dimostrare l’importanza fondamentale svolta dai controlli...

Seminario di Cultura Digitale: E-drawing e nuovo mercato editoriale degli e-book
2011-03-09 h.14:00

La nuova e potente rivoluzione culturale nel passaggio dei saperi: gli e-book. I nuovi tablet e...

Seminario Galileiano - Mobility Data Analysis and Mining: Understanding Human Movement Patterns from Trajectory Data
2011-03-08 h.15:00

Uncovering the patterns of human mobility, which characterize the trajectories humans follow...

Seminario di Cultura Digitale: Looking at data through the eyes of a designer
2011-03-04 h.14:00

New technologies have increased the possibilities of communicative expression and expanded...

Implantable neural prostheses to restore sensorimotor functions
2011-02-22 h.16:00

Neuroengineering is a novel discipline combining engineering including micro and nanotechnology,...

Understanding actions, intentions, and emotions of others
2011-02-09 h.15:00

Mirror neurons are a set of neurons that discharge both when the monkey executes a specific motor...

Collaboration between Selex Sistemi Integrati and Computer Science Department
2010-12-17 h.09:30

Selex Sistemi Integrati activities will be presented, in particular about radar products and...

Analisi dello strato limite per una classe di flussi non-lineari lungo canali
2010-12-16 h.16:00

Un teorema di unicità per trasporto con campi a divergenza nulla
2010-12-16 h.15:00

The game-theoretic approach to machine learning and adaptation
2010-12-15 h.15:00

The design of artificial systems able to learn and adapt has been one of the main goals of...

Seminario di Cultura Digitale: Estrazione terminologica e validazione
2010-12-10 h.14:30

Nel seminario verrà presentato il progetto di ricerca FIRB "Piattaforma di servizi integrati per...

Where do children with autism look?
2010-12-02 h.16:00

Controllo dell'Azione e Aprassia
2010-11-29 h.16:00

On effective versions of a theorem due to Shafarevich
2010-11-25 h.16:00

Let K be a number field and let S be a finite set of places of K. A classical theorem of...

Geometria dei loop spaces derivati e applicazioni
2010-11-17 h.15:00

La geometria algebrica derivata permette di definire una versione derivata del loop space LX per...

Estetica della programmazione
2010-11-16 h.12:00

Il quadro generale dell'intervento è una ricerca sulla possibilità di applicare anche ai codici...

Deriving Labels and Bisimilarity for Concurrent Constraint Programming
2010-10-28 h.15:30

Concurrent Constraint Programming (CCP) is a well-established model for concurrency that builds...

The Development and Evolution of Face Space
2010-10-25 h.16:00

Faces are important visual stimuli to social primates because they transmit information that can...

The impact of systemic infection on the brain in health and disease
2010-10-11 h.11:30

Prof. V Hugh Perry, School of Biological Sciences, University of Southampton, Mail Point 840,...

Dirichlet spaces on H-convex sets in the Wiener space
2010-09-23 h.11:00

Dirichlet spaces on H-convex sets in the Wiener space

The global random attractor for a class of stochastic porous media equations
2010-09-23 h.10:00

The global random attractor for a class of stochastic porous media equations

Electron scattering mechanisms in graphen
2010-09-22 h.11:00

High electron mobility in graphene is one of its most interesting properties for potential...

Strains and gauge fields in graphene
2010-09-21 h.11:00

Lattice deformations couple to electrons in graphene by giving rise to an effective gauge field...

Snake and snail neurotoxins in research on nicotinic acetylcholine receptors
2010-09-20 h.16:00

 

Complexity analysis and optimization for the shortest path tour problem
2010-09-14 h.15:00

The shortest path tour problem (SPTP) consists of finding a shortest path from a given origin node s...

New observational tests of the LCDM (with pesky baryons) paradigm
2010-09-14 h.14:00

I will presents new observational tests of the LCDM paradigm. In particular I will focus on the...

Paying the cost of freedom
2010-09-10 h.11:00

"True consent", as Bacon has it, "is that which consists in the coincidence of free judgements...

L'operatore su spazi complessi singolari
2010-07-16 h.11:00

Viene presentato un approccio alla teoria dell'operatore $\overline\partial$ su spazi con...

Symmetry and asymmetry in quantum transport
2010-07-14 h.14:00

Recent experimental observations have shown that quantum coherence plays an important role in...

Older Seminars