Informatics seminars

Sensing People and Localization in Indoor Environments
11 gennaio 2019
Beyond Classical IR: Conceptual IR
20 dicembre 2018
Why time travel is less implausible than initially thought
20 dicembre 2018
Alternative targets for neurodegeneration: beyond aggregation of misfolded proteins
18 dicembre 2018
Termination mechanisms in Byzantine fault tolerant consensus protocols
03 dicembre 2018
Kairos: Preemptive Data Center Scheduling Without Runtime Estimates
30 novembre 2018
Non-hierarchical Agile Organisations – Avaloqs way of change
26 novembre 2018
Blockchains in Finance
12 novembre 2018
Parallel Tree Partitions and their Role in Scalable Computing
12 novembre 2018
Open Networking Foundation (ONF) Overview with P4 and programmable data planes use cases deep-dive
08 novembre 2018
Digital analytics to fight financial crime
29 ottobre 2018
Size-aware Sharding For Improving Tail Latencies in In-memory Key-value Stores
26 ottobre 2018
Workshop on Advanced Topics in Computing 2018
26 ottobre 2018
New Approach to FIND-PATH: a Paradigmic Problem in Robotics, AI and SC (Part 2)
23 ottobre 2018
New Approach to FIND-PATH: a Paradigmic Problem in Robotics, AI and SC (Part 1)
17 ottobre 2018
Network models to improve credit risk estimation
15 ottobre 2018
Artificial Intelligence – and why it's relevant to UBS
08 ottobre 2018
Statistical Inference for Quality Control in Crowd-sourcing
02 ottobre 2018
Probabilistic symbolic execution: a bird's eye view
02 ottobre 2018
An automatic implementation of ACMG/AMP genomic variant interpretation guidelines
24 settembre 2018
The Essence of Gradual Typing
20 settembre 2018
Combining excited state ab-initio molecular dynamics and time resolved vibrational analysis to understand nuclear photorelaxation processes
13 settembre 2018
A Molecular-Level Investigation on Aggregation Processes
11 settembre 2018
Numerical and experimental study on the behavior of facial soft tissues
24 agosto 2018
Reconstructing a convex polygon from its omega-cloud
19 luglio 2018
Towards Anticipatory Mobile Computing: Sensing and Modelling Mobile Data for Understanding and Predicting Human Behaviour
04 luglio 2018
Differentiating conscious and formalized information needs
03 luglio 2018
Effective Diameter Estimation for Very Large Graphs
22 giugno 2018
"Who is the secret hand behind Elena Ferrante?"
21 giugno 2018
SLA-Driven Governance for RESTful Systems
12 giugno 2018
The grand four - affine invariant globalizations of Netwon’s method
08 giugno 2018
Reconstructing Cancer Progression Models
05 giugno 2018
A fictitious domain approach for fluid structure interactions
14 maggio 2018
Keyword Search in Relational Databases: an open challenge.
09 maggio 2018
"Was my contribution fairly reviewed?" A Framework to Study the Perception of Fairness in Modern Code Reviews
26 aprile 2018
Memory technologies: capture, recall and forget
20 aprile 2018
OntoGene/BioMeXt: Information Extraction for the Life Sciences
13 aprile 2018
Bioresorbable polymers for medical devices: a perspective on multiscale modeling
09 aprile 2018
Homomorphisms and generalisations seen from both sides
14 marzo 2018
Counting 2-level polytopes
14 marzo 2018
Penalising model component complexity: A principled practical approach to constructing priors
22 febbraio 2018
Meltdown, Spectre, and the hidden side of a computer's processor
22 febbraio 2018
(*Really*) Practical Byzantine Fault Tolerance and its application to the Hyperledger Fabric Blockchain
30 gennaio 2018
Likelihood Approximation With Hierarchical Matrices For Large Spatial Datase
19 dicembre 2017
HiFrog: SMT-based Model Checker for Software Verification
13 dicembre 2017
What to search on, What to search for, and How to search for patents
05 dicembre 2017
Test design of IIR evaluation
01 dicembre 2017
What Good are Formal Methods for Software Engineering?
22 novembre 2017
Software testing research: foundations, key problems and future directions
21 novembre 2017
Dude, we can estimate the understandability of your code! Actually, no! Not yet!
20 novembre 2017
Super-Resolution of Positive Sources and One More Thing ...
09 novembre 2017
Statitstical Inference for small & large dynamical data sets in Systems Biology
09 novembre 2017
Efficient Computational and Statistical Methods for, but not limited to, the Social Science
07 novembre 2017
Statistical Data Science: a thriving future
07 novembre 2017
Difficult queries: data analytics, machine learning and users studies
07 novembre 2017
The quest for fast learning from few examples
07 novembre 2017
Scalable Precision Computational Imaging : from Astronomy to Medicine
06 novembre 2017
Detecting Structure in High Dimensional Data
06 novembre 2017
Big Data integration and trans-Omics analysis for reconstructing relevant pathways and networks underlying neurodegenerative diseases
06 novembre 2017
New three-field mixed formulations for elasticity and poroelasticity
03 novembre 2017
Computational PDE and data assimilation
03 novembre 2017
Uncertainty quantification for elliptic PDEs
03 novembre 2017
Parallel Multigrid Solvers in Space and Time for Future Architectures
02 novembre 2017
Human Factors in Crowdsourcing
16 ottobre 2017
Database storage tiering, fast and slow
11 ottobre 2017
Optimization in function space and some applications in medicine
06 ottobre 2017
"Big" Data Preparation for the Data Science Journey
21 settembre 2017
Fast and scalable implicit low-order finite-element solvers for solid earth science simulations
20 settembre 2017
Security evaluation for automotive systems and lightweight cryptography standardization
18 settembre 2017
Challenges in languages and compilers
13 luglio 2017
Network-wide Consensus in Low-power Wireless Networks
11 luglio 2017
Multiscale uncertainty quantification in solid mechanics using a posteriori error-estimation techniques with applications to additively-manufactured structures / Polyhedral finite elements using harmonic shape functions for nonlinear solid mechanics
03 luglio 2017
An embedded mesh coupling of overlapping Lagrange and ALE meshes
28 giugno 2017
Hardware Architectures for Smart Data Analytics on Low-Power Edge Computing Nodes
27 giugno 2017
Information Asymmetry and Costly Signaling: What Bitcoins Can Teach
16 giugno 2017
Information and Research Infrastructures for Digital Humanities
16 giugno 2017
Systematic Black-Box Analysis of Collaborative Web Applications
14 giugno 2017
Applications of focused interpolants
14 giugno 2017
Securing Mobile Devices from Evasive Malware
12 giugno 2017
Polynomial interpolation on interlacing rectangular grids
24 maggio 2017
The Collective Behavior and Conserved Microdomains of the HIV-1 Envelope Trimer Glycan Shield
24 maggio 2017
The Mechanics of Cell Motility
24 maggio 2017
Text Entry Tap Accuracy and Exploration of Tilt Controlled Layered Interaction on Smartwatches
19 maggio 2017
Building wireless networks and routing on them
17 maggio 2017
Empowering technologies for children with disability and their caregivers
16 maggio 2017
Experience in Introducing Computing into Schools
12 maggio 2017
Teaching Programming Languages by Experimental and Adversarial Thinking
11 maggio 2017
CutFEM: Discretizing Geometry and Partial Differential Equations
10 maggio 2017
Effects of mechano-electric feedbacks on the cardiac bioelectrical activity
09 maggio 2017
On the issue of aggregation in Information Retrieval
28 aprile 2017
Improving Students' Understanding in Python Programming
27 aprile 2017
From Distributed Programming to Big Data Analytics
07 aprile 2017
Data Structures of the Future: Concurrent, Optimistic, and Relaxed
04 aprile 2017
Graphical models through the lens of phase transitions
29 marzo 2017
Performance Engineering for HPC: Models generating insights
29 marzo 2017
Types: Safety Net and Springboard
27 marzo 2017
Scalable Platforms for System-on-Chip Design
24 marzo 2017
Data Privacy: How to Survive the Inference Avalanche
24 marzo 2017
From Mobile Phone based Monitoring of Depressive States to Data-Driven Behaviour Interventions
23 marzo 2017
Informative Descriptor Preservation via Commutativity for Shape Matching
23 marzo 2017
Where Virtual Meets Real: Perceptually-Driven Inputs for New Output Devices
20 marzo 2017
Designing Fault-Tolerant Networks via Rounding-by-Tree-Embedding
17 marzo 2017
Quantum Cryptography in the Real World
15 marzo 2017
Democratizing Graph Analytics
10 marzo 2017
Robustness and complexity tradeoffs in inference and learning
08 marzo 2017
Dimensionality reduction for search in high dimensions
06 marzo 2017
Consistent Partial Matching of Shape Collections via Sparse Modeling
02 marzo 2017
Augmenting virtual rehabilitation for stroke with the help of immersive Virtual-Reality and Brain-Computer Interfacing
28 febbraio 2017
Computation of Moment Forms for Subdivision Surfaces
27 febbraio 2017
Recommender Systems in the Wild
24 febbraio 2017
Multiscale modelling for in-silico design of materials and devices: from solvation to plasmonics and electrochemistry
24 febbraio 2017
A consistent and efficient framework for the time integration of multibody systems with impacts and friction
22 febbraio 2017
A multigrid perspective on PFASST
21 febbraio 2017
AMG based on Maximum Weighted Matching in Matrix Graphs
14 febbraio 2017
From Service- to UI-Oriented Computing: The Vision of an Intuitive Composition Paradigm
14 febbraio 2017
Why developers don't like BPM and how research can help
13 febbraio 2017
Significant Words Language Models
27 gennaio 2017
HiFrog: SMT-based Function Summarization for Software Verification
25 gennaio 2017
A Collocation Method for Sequential Testing Problems
10 gennaio 2017
A computational fluid dynamics investigation of gas transport in crystal rich magma reservoir
19 dicembre 2016
Hessian Matrix-free Lagrange-Newton-Krylov methods for PDE-Constrained Optimization
15 dicembre 2016
Graph of Graphs
14 dicembre 2016
A dynamic object model in Unix processes, and what it's good for
14 dicembre 2016
Multimodal Document Annotation
25 novembre 2016
From Distributed Programming to Big Data Analytics
24 novembre 2016
On the Key Role Intelligence Agencies can play to Restore our Democratic Institutions
17 novembre 2016
Data relevance in pharmaceutical industry
08 novembre 2016
Inference and learning in Bayesian Networks
03 novembre 2016
Solving Non-Linear Arithmetic: a Numerical Alternative
28 ottobre 2016
DynIBEX: a Differential Constraint Library for Studying Dynamical Systems
28 ottobre 2016
Mobile Sensing Unleashed: Autonomous Drones at Your Service
24 ottobre 2016
Soft Computing in Cryptography
24 ottobre 2016
The Cross-Entropy based Testing
20 ottobre 2016
Witnessing existential quantifiers with AE-VAL
20 ottobre 2016
Computer modeling and simulation of natural phenomena
18 ottobre 2016
The Art of Consistent SDN Updates
13 ottobre 2016
Hardware Trojans: An Emerging Threat for the Internet of Things
12 ottobre 2016
Voltage-Gated Channel Channelopathies: Small defects with fatal consequences
07 ottobre 2016
Blockchains and Their Limits
06 ottobre 2016
Algorithmic Logic-Based Verification with SeaHorn
06 ottobre 2016
Tackling sampling and accuracy issues in biomolecular simulations
04 ottobre 2016
Mechanical behaviour of materials at high strain rate
23 settembre 2016
Computing the solution sets of nonlinear equations
19 settembre 2016
Prefetching of Mobile Application Content on Mobile Devices
07 settembre 2016
A Colour Interpolation Scheme for Topologically Unrestricted Gradient Meshes
06 settembre 2016
Ebros or how to speed date your network
01 settembre 2016
Modeling the Mechanics of Plant Morphogenesis
22 agosto 2016
Optimizing for Happiness in Personal Finance
11 agosto 2016
From Big Data to Little Knowledge
14 luglio 2016
Stabilized CutFEM for the Discretization of Two-phase Incompressible Flows in 3D
28 giugno 2016
Tcl1 interacts with Atm and enhances NF-κB activation in hematologic malignancies
09 giugno 2016
Adventures in Crowdsourcing
08 giugno 2016
Microservices - The Hunting of the Snark
07 giugno 2016
How Far Are We from Collecting the Knowledge in the World?
06 giugno 2016
Service-Oriented Architectures Past and Present: from Monolith to Microservices (and Beyond)
27 maggio 2016
Following the intracellular repair of oxidation-damaged α-synuclein by time-resolved in-cell NMR spectroscopy
19 maggio 2016
In-cell structural biology using NMR spectroscopy
18 maggio 2016
Characterisation of CMOS and FPGAs operating at cryogenic temperatures for quantum computing applications
13 maggio 2016
Towards finding non-terminating behaviours in programs
12 maggio 2016
Protein dynamics and molecular design: computational approaches with an eye to chemical biology
12 maggio 2016
Property Directed Equivalence via Abstract Simulation
11 maggio 2016
Finding Rare Numerical Stability Errors in Concurrent Computations
11 maggio 2016
Towards a Robust Internet of Things: The Case of Wireless Sensor Networks
11 maggio 2016
Information Retrieval is not only Search. How to aggregate, cluster, quantify and visualize result sets
09 maggio 2016
Scalable Software Testing and Verification Through Heuristic Search and Optimization: Experiences and Lessons Learned
29 aprile 2016
Graph matching: relax or not?
25 aprile 2016
Living Labs for Online Evaluation
22 aprile 2016
Non-Invasive Localization of Cardiac Isochrones using the standard 12 lead ECG using the cardiac isochrone positioning system
21 aprile 2016
A hybrid domain decomposition type of preconditioner for Jacobi-Davidson on modern hardware
18 aprile 2016
Detecting Irony and Sarcasm in Twitter: The Role of Affective Content
15 aprile 2016
ASIST: Automatic Semantically Invariant Scene Transformation
13 aprile 2016
Novel Hyperspectral Sensors for Quantitative Assessment of Health and Nutrition States of Crop Plants
13 aprile 2016
Recommender Systems for Software Developers
08 aprile 2016
Automatically generating software documentation from existing sources
08 aprile 2016
Multipoint polynomials and basis for scattered data interpolation
24 marzo 2016
Piecewise Liner Differentiation and Algebra
22 marzo 2016
Chupja--PHY Covert Channels: Can you see the Idles?
21 marzo 2016
GPU-Powered Simulations of Seismic Waves in Nonlinear Media
08 marzo 2016
PoliCert: Secure and Flexible TLS Certificate Management
07 marzo 2016
Ensuring Performance in the Virtual Environment
01 marzo 2016
Software Analytics needs the right data and the right questions
29 febbraio 2016
Software Development for the Cloud - Challenges and Opportunities
26 febbraio 2016
Dynamic Bayesian networks to discover novel regulatory mechanisms underlying heart development
10 febbraio 2016
From heart development to cardiac regeneration
10 febbraio 2016
Crowdsourcing Relevance Magnitudes
05 febbraio 2016
Research topics in STRaDe@FIT
03 febbraio 2016
The Idiosyncratic Project Hypothesis
18 gennaio 2016
Investigating performance and scalability for rank learning with regression tree ensembles
18 gennaio 2016
When the catenary degree meets the tame degree in embedding dimension 3 numerical semigroups
21 dicembre 2015
Interactions between synthetic nanomaterials and model biological membranes
15 dicembre 2015
Lost in Abstraction: Monotonicity in Multi-Threaded Programs
11 dicembre 2015
Data Valorization based on Linked (open) Data approaches
04 dicembre 2015
OLAP-Enabled Web Search of Complex Objects
27 novembre 2015
Fast radial basis function partition of unity interpolation through block-based data structures
26 novembre 2015
Cryptography for People
17 novembre 2015
Finite element modeling of frictional contact and stress intensity factors in three-dimensional fractured media
09 ottobre 2015
Approximate Selective Matrix Inversion Algorithms for Computing the Diagonal Entries of the Inverse Matrix
06 ottobre 2015
The computation of multiple roots of a Bernstein basis polynomial
23 settembre 2015
Topic Models and their Applications in Social Media Analytics
23 settembre 2015
An Overview of GPU-accelerated Routines and Implementation Techniques in ViennaCL
16 settembre 2015
Content-Mediated Social User Experiences – Evaluating and Understanding Content Sharing Services
01 settembre 2015
Restructuring the Multifluid PPM Gas Dynamics Code for GPUs
14 agosto 2015
Making Privacy Usable: Increasing Awareness and Empowering Users
10 agosto 2015
On the Foundations of Soft Subdivision Search in Robotics
29 luglio 2015
Live Trace Visualization for System and Program Comprehension in Large Software Landscapes
01 luglio 2015
Real-time Hand Motion Tracking from a Single RGBD Camera
23 giugno 2015