Informatics seminars

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