ISTI-CNR - Seminars

Internal
External

More information on internal seminars can be required to Daniela Falconetti

Upcoming

Seminar - 2024-11-27 h.11:00

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

Giulio Del Corso - "Generating a physically accurate cardiac MRI: a story of (interesting) failures and (justifiable) numerical shortcuts"Abstract: "The generation of physically accurate cardiac-MRI ...

Past

Seminar - 2024-11-20 h.11:00

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

Luca Ciampi - "Mind the Prompt: A Novel Benchmark for Prompt-based Class-Agnostic Counting"Abstract: "Object counting estimates the number of objects in images or video frames. Studies reveal that the...

Seminar - 2024-10-16 h.11:00

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

Gabriele Lagani - "Hebbian learning algorithms for deep neural networks: explorations and outlooks"Abstract: Deep learning systems have achieved outstanding results in various AI tasks. However, such...

Seminar - 2024-10-09 h.11:00

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

Saira Bano - "From Complexity to Clarity: Enhancing Cross-Modal Knowledge Distillation via Multimodal Teacher Ensembles"Abstract: Traditional knowledge distillation (KD) typically uses a large, comp...

Seminar - 2024-10-08 h.16:00

Patient Interaction – for well-being, productivity and sustainability

We live in aworld of instant results and fleeting gratification. In HCI no less: the designprinciples for direct manipulation require immediate feedback and, in the caseof graphical actions, sub-secon...

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

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

Ali Reza Omrani - "Machine Learning to Measure Vocal Stereotypy: An Extension"Abstract: Repeated measurement of behavior is a process central to behavior analysis, but its implementation occasionally...

Seminar - 2024-09-26 h.11:00

A general framework for distributed approximate similarity search with arbitrary distances

While many similarity search algorithms are specifically adapted to metric distances,they are unsuitable for alternatives like the cosine distance, which has gained popularity, particularly with embed...

Seminar - 2024-09-17 h.11:00

Model-Driven Engineering Meets Model-Based Testing

In this talk, I will focus on a connection between stable-failures refinement and the ioco conformance relation. Both behavioural relations underlie methodologies that have gained traction in industry...

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

Explainability in deep learning models applied to spatio-temporal problems

Artificial Intelligence (AI) is transforming society, affecting everything from industry to decision making, and concerns about its transparency have increased. Explainable Artificial Intelligence (XA...

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

Making 5G Networks Reliable for Next-generation Applications using AI

The emergence of 5G technology marks a significant milestone in developing telecommunication networks, enabling exciting new applications such as augmented reality and self-driving vehicles. However, ...

Seminar - 2024-05-24 h.14:30

Cargo Cult Architecture: An Empirical Investigation into the Maintainability Benefits of Design Patterns

There have been many claims for the benefits of using patterns in software design and implementation. In this research we were interested to understand whether adopting patterns positively affects a...

Seminar - 2024-04-24 h.15:00

Runtime Metaphors of Software Development Tools

Software developers utilize a wide range of features in their integrated development environments, such as text search, documentation views, or inline hints in the editor. Many of these features tradi...

Seminar - 2024-04-23 h.16:30

Affective Interaction in Extended Reality

The talk will reflect oninsights from the current affective experiences of users in socialvirtual reality, as well as emerging cultures and practices. These includedrinking together in VR, groups th...

Seminar - 2024-04-23 h.12:00

An encoder-centric view of retrieval

In this talk, I will describe my encoder-centric view of neural methods for retrieval and how different types of approaches compare under this framework. In some sense, traditional methods like BM25 a...

Seminar - 2024-03-22 h.15:30

Bio-Inspired Methods for Deep Learning

Bio-Inspired Deep Learning (BIDL) represents a promising and currently active research area, at the intersection of computer science and neuroscience. While, on one hand, recent work aims at enhancing...

Seminar - 2024-03-20 h.11:00

Trust and Reliance in AI: an interaction framework for Human-Centered AI as a joint cognitive system

In the realm of Artificial Intelligence (AI), fostering trust and reliance is crucial for effective human-computer interaction. This presentation introduces an interaction framework centered on human ...

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

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

Virginia Morini - "Netnography of mental health online supportive groups: Reddit case study"Abstract: Disclosing personal experiences for seeking mental health support is a well-established phenomenon...

Seminar - 2023-11-02 h.11:00

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

Alberto Veneri - "Explain the prediction of large language models used for ranking"Abstract: Understanding the behavior of deep neural networks for Information Retrieval is crucial to improving trust ...

Seminar - 2023-10-26 h.11:00

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

Francesco Conti - "An automatic pipeline for topological machine learning"Abstract: In this work, we develop a pipeline that associates Persistence Diagrams to digital data via the most appropriate fi...

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

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

Salvatore Citraro - "Tools for Node-Attributed Community Detection"Abstract: Node-attributed community detection aims to identify cohesive clusters in graphs with label homogeneity among their nodes. ...

Seminar - 2023-09-28 h.11:00

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

Rossana Buongiorno - "Tailoring skip connections for task-specific optimization of the attention mechanism in UNet-based Convolutional Neural Networks for medical image segmentation"Abstract: In the ...

Seminar - 2023-09-21 h.11:00

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

Gianluca Carloni - "Observational Causal Discovery in Images: Leveraging Weak Causal Signals for Classification in Medical Imaging Applications"Abstract: We present a new method for automatically cla...

Seminar - 2023-09-19 h.15:00

Towards cybersecurity informed safety assurance of critical cyber-physical systems: methodology, approaches and technologies

Cyberattacks have emerged as significant threats that can severely impact the functional safety of different computational systems and domains, e.g. industrial automation and control systems, transpor...

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

Bending the light: Next generation anamorphic sculptures

This seminar presents a new method for generating artworks that extends the classical anamorphic archetype to use freeform reflective and refractive media and 3D surfaces instead of images. The method...

Seminar - 2023-04-26 h.14:30

Bringing Collections to Life with Large Language Models

When discussing Large Language Models (LLMs), corpora are often only mentioned for their potential to serve as training data. However, LLMs can play a crucial role in enriching collections to make the...

Seminar - 2023-03-31 h.16:00

Turning emerging AI sustainability challenges into opportunities for the green transition

AI has the potential to drive the green transition, but it also poses significant sustainability risks in the short-and long-term including increasing CO2 emissions, resource consumption, social biase...

Seminar - 2022-10-04 h.09:30

Integrating ethical, societal, and legal impact assessment in co-design activities for ethical and socially sustainable solutions

Link zoom: https://us02web.zoom.us/j/88137502320?pwd=VXpjajlUMFFvb2dwNVU3YVUya0xQQT09 ID meeting: 881 3750 2320Passcode: 149622Addressing ethical, societal, and legal concerns emerging from AI researc...

Seminar - 2022-07-20 h.11:00

The fragile art of 3D meshing

Modern 3D sensor technologies allow efficient digital reproductions of many real-world objects. However, the produced 3D data is usually organized as a point cloud or a triangle mesh. While this data ...

Seminar - 2022-07-20 h.10:00

Capture and reproduction of perceptual reality

Today's computer graphics techniques make it possible to createimagery that is hardly distinguishable from photographs. However, aphotograph is clearly no match to an actual real-world scene. I arguet...

Webinar - 2022-05-19 h.11:00

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

Antonino Crivello - "Off-the-shelf Indoor localization Systems: is it feasible in the near future?"Abstract: Localization systems are apparently close to hitting the market thanks to several companies...

Webinar - 2022-05-11 h.11:00

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

Vasiliki Voukelatou - "Measuring well-being through novel digital data"Abstract: Well-being is an important value for people's lives, and it is crucial for societal progress. Considering that well-bei...

Webinar - 2022-05-04 h.11:00

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

Riccardo Guidotti - "Ensemble of Counterfactual Explainers"Abstract: In eXplainable Artificial Intelligence (XAI), several counterfactual explainers have been proposed, each focusing on some desirable...

Webinar - 2022-03-17 h.10:30

Functional Safety, Cybersecurity and Deep Learning: Integration Challenges in the New Generation of Connected Vehicles

New disruptive automotive technologies such as connected cars, e-mobility, and especially autonomous driving dramatically increase the importance and complexity of automotive functional safety and cyb...

Webinar - 2021-05-17 h.14:00

La strategia Open Science in Horizon Europe e la nuova piattaforma di pubblicazione ORE

Donatella Castelli e Emma Lazzeri, coinvolte in diversi progetti e iniziative per l'Open Science e la realizzazione dello European Open Science Cloud (EOSC), illustreranno le novità del programma qua...

Webinar - 2021-04-08 h.15:30

Valutare o valorizzare la ricerca: percorsi possibili

I criteri attuali di valutazione della ricerca influenzano profondamente - e non sempre in modo positivo - i comportamenti dei ricercatori e condizionano la qual...

Webinar - 2021-04-08 h.14:00

Osmotic Computing come evoluzione del Cloud Computing

With the promise of potentially unlimited power and scalability, cloud computing (especially infrastructure as a service [IaaS]) supports the deployment of reliable services across several application...

Seminar - 2021-03-18 h.11:00

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

Riccardo Guidotti - Explaining Any Time Series ClassifierAbstract: We present LASTS, a method to explain the decisions of black box models for time series classification. The explanation consists of f...

Seminar - 2021-03-11 h.11:00

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

Francesco Laccone - Computational design and behavior of FlexMaps architectures Abstract: Bending-active techniques are known since ancient times, but only in recent years the interest on the topic is...

Seminar - 2021-03-04 h.11:00

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

Giulio Ermanno Pibiri - "Efficiency for Real-World Applications"Abstract: Practical efficiency in Algorithms and Data Structures is essential to deliver better services by using less computing resourc...

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...

Webinar - 2020-02-18 h.15:00

Open Access, come e perché

OpenAIRE organizza un webinar introduttivo su Cos'è e come si fa Open Access.Scopo del webinar non è ancora di dare indicazioni operative sulla VQR ma solo di chiarire le logiche e le modalità dell...

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-21 h.11: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 ...

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

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

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

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...