Alumni

A Multimodal Deep learning framework for neurodevelopmental trajectories

Virtual Coaching Interventions for Healthy Coping with Type 2 Diabetes Mellitus

Exploring the interplay between brain and mind in Alzheimer’s Disease

Remote Sensing Image processing

Modeling geometry of complex networks

Genes, environmental factors and neuroimaging: A data-driven approach to economic behavior

Gamification for linguistic annotations

Specification-based Predictive Continuous Monitoring For Cyber Physical Systems With Unobservables

Corporate religious freedom in the aftermath of Achbita v. G4S Secure Solutions

Deep Learning for high energy physics

Quantifying Urban Social Well-Being Using Mobile Phone Data

Il Circo Massimo Nell’assetto Urbanistico Della Regio XI: Ricostruzione Diacronica E Analisi Topografica Con L’applicazione Delle Tecnologie ICT

Real-time Adaptation Of Stimulation Protocols For Neuroimaging Studies

Designing Wearables For Climbing: Integrating The Practice And The Experience Perspectives Of Outdoor Adventure Sports

RESOURCE ALLOCATION AND MODELING IN SPECTRALLY AND SPATIALLY FLEXIBLE OPTICAL TRANSPORT NETWORKS

Modelling Photoinduced Events And Non-linear Spectroscopy In Complex Multichromophoric Systems

Effectiveness of measles surveillance in South West Shoa Zone of the Oromia Region, Ethiopia.

Formal specification and verification of cyberphysical systems

A METHODOLOGY FOR THE DESIGN AND SECURITY ASSESSMENT OF MOBILE IDENTITY MANAGEMENT: APPLICATIONS TO REAL-WORLD SCENARIOS

LEARNING TO LEARN CONCEPT DESCRIPTIONS

AUTOMATED ANALYSIS AND SYNTHESIS FOR THE COMPLIANCE OF PRIVACY AND OTHER LEGAL PROVISIONS

Incremental Linearization For Satisfiability And Verification Modulo Nonlinear Arithmetic And Transcendental Functions

Semantic Image Interpretation Integration Of Numerical Data And Logical Knowledge For Cognitive Vision

Automatic Creation Of Evocative Witty Expressions

Ultra-Low Power IoT Smart Visual Sensing Devices For Always-ON Applications

ENABLING NOVEL INTERACTIONS BETWEEN APPLICATIONS AND SOFTWARE-DEFINED NETWORKS

Dynamic Adaptation Of Service-Based Systems: A Design For Adaptation Framework

Development of innovative micro- and nano detection systems for dosimetry applications

Online Adaptive Neural Machine Translation: From Single- To Multi-domain Scenarios

Event Detection And Classification For The Digital Humanities

Network science of human mobility: Modelling and prediction

? The Effects Of Hungary’s Counter-terrorism And Security Policies On Civil Society Organizations In The Post-9/11 Period

COMPUTATIONAL SENSORY ANALYSIS OF CREATIVE LANGUAGE

Design And Microfabrication Of Multifunctional Bio-inspired Surfaces

AUTOMATIC ANALYSIS OF AGREEMENT AND DISAGREEMENT IN THE POLITICAL DOMAIN

ADVANCED METHODS FOR THE ANALYSIS OF MULTISPECTRAL MULTITEMPORAL SATELLITE IMAGES

Embedded machine learning and AI techniques for cognitive IoT devices

Black-Box Security Testing Of Browser-Based Security Protocols

Flexible Dialogue Models for Conversational Agents and ChatBots

Control and data resiliency in 5G network and beyond

Detecting Brain Effective Connectivity With Supervised And Bayesian Methods

Data Ethics

Energy efficient wearable computing for the Internet of Things

Data Protection

Diritto delle Relazioni industriali e di lavoro - PhD in Labour Productivity and Workplace Change”

Robustness and security in SDN/NFV environments

Sub-surface modelling and understanding by information extraction from radar sounder data

Automatic Techniques For The Synthesis And Assisted Deployment Of Security Policies In Workflow-based Applications

Machine Learning and Logical Reasoning for multimedia event detection

Arguing Religion in Europe

Strategic allocation of resources in highly distributed and heterogeneous computing and information systems under concurrency and multitenancy

Personal experiments from education to discovery: shaping new processes in diabetes care

Characterisation Of Silicon Photomultipliers For The Detection Of Near Ultraviolet And Visible Light

Purification And Detection Of Cancer-related MiRNAs In Microdevices

Microriscaldatori Innovativi In Silicio Per Sensori Di Gas Chemoresistivi

Time-frequency Reassignment For Acoustic Signal Processing From Speech To Singing Voice Applications

Decoration Of Graphene Sheets With Metal And Metal Oxide Nanostructures By Low Pressure Plasma Deposition

Ricerca e Sviluppo di materiali nanostrutturati per sensori di gas

Knowledge extraction from scientific publications in the life science domain exploiting existing knowledge repositories

Computer Assisted Curation of Digital Cultural Heritage Repositories

Gamification for Smart Cities and Communities

Cross-Language Semantic Parsing

Automatic Population Of Structured Knowledge Bases Via Natural Language Processing

Lightwawe Circuits For Integrated Silicon Photonics

Novel Method And Models To Validate H2 Storage In Solid State Material

Development Of Innovative Tools For Multi-objective Optimization Of Energy Systems

Biomedical Named Entity Recognition & Relation Extraction

Smartphone Data Transfer Protection According To Jurisdiction Regulations

Terahertz Detectors And Imaging Arrays With In-Pixel Low-noise Amplification And Filtering In CMOS Technologies

Speech Adaptation Modeling For Statistical Machine Translation

Memristor-Based Computing Architecture With Advanced Signal Processing Capabilities

3D city modeling and 3D cadastre

Sensori di immagine multispettrali

Computational Methods for Brain Connectivity Analysis

Security and privacy preservation in IoT discovery, authentication and access control through blockchain technologies

Adaptation Methods For Statistical Machine Translation In Business Scenarios

Studio e miglioramento della geometria dei ricevitori di irradiazione solare nelle torri e concentrazione

Artificial Intelligence and Machine Learning for modern applications/Intelligenza Artificiale e Machine Learning per Applicazioni Moderne

Human-Computer Interaction: narration and deliberation

Modelling and simulation of novel opto-acoustic sensors for monitoring crack growth in pressure vessel steels

Automatic Speech Recognition Quality Estimation

Dynamic Security Analysis of Android Mobile Applications

Correspondence Among Connectomes As Combinatorial Optimization

Prediction of chronic diseases using deep learning

Monolingual Semantic Alignment For Textual Inferences

Security Assessment Of Open Source Third-parties Applications

AI-powered Management and Orchestration of network services in MEC-enabled B5G Networks

Deep Learning for Machine Translation

Mathematical Modeling For Epidemiological Inference And Public Health Support

Development Of A Gamma-Ray Detector Based On Silicon Photomultipliers For Prompt Gamma Imaging And High-Energy Spectroscopy

Predictive Networks For Multi Meta-omics Data Integration

Attivita di design di un sensore HV per detector di particelle

Foundational ontologies

IoT security

Formal Failure Analyses For Effective Fault Management: An Aerospace Perspective

Interacting with big data

Machine Learning for Neuroscience

Software Engineering

The relationships between genes, psychological traits, and behaviors

Investigation of techniques to improve requirements and architectural decisions during the development and evolution of complex software systems

Deep Learning for complex data trajectories

Deep learning for human-in-the-loop advanced machine translation

Methods and Techniques for Dynamic deployability of SDN/NFV systems

Modelling and engineering of energy storage systems to balance variable and intermittent energy sources

Frame-based Ontology Population From Text: Models, Systems And Applications

I Profughi Trentini Nella Grande Guerra Identità Multiple, Fedeltà Percepita, Welfare Statale

Purification And Detection Of Cancer-related MiRNA In Microdevices

Segmentazione e semantica in nuvole di punti architettoniche

Novel Multi-modal Wideband Vibrations MEMS Energy Harvesting Concepts For Self-powered Internet Of Things (IoT) Applications, With Focus On Converterâ??s Size And Power Scalability

Solid-state Single-photon Detectors And CMOS Readout Circuits For Positron Emission Tomography Applications

Adaptive Quality Estimation For Machine Translation And Automatic Speech Recognition

Empirical Comparison Of Security Risk Assessment Methods

Understanding multimedia contents

Deep learning for human-in-the-loop advanced machine translation

Deep learning for mobile camera networks

Predictive Models for developmental trajectories

Modeling opinion, culture and knowledge dynamics using big data

Fusion Processes In Low-energy Collisions Of Weakly Bound Nuclei

Centralized vs distributed Self-Organizing Network features in 5G Small Cell networks

Exploiting Spatial And Spectral Information For Audio Source Separation And Speaker Diarization

Deep Learning,Scene Understanding, Robot Vision

Application of graphene to nanofluids synthesis for solar thermal applications

Nanostructure Formation On Germanium By Ion Irradiation

Expert Finding For Requirements Engineering

Extracting Temporal And Causal Relations Between Events

Remote Sensing image processing

Micro Fabrication Technologies For Tear Fluid Sensors For Functional Contact Lens Applications

Application of blockchain technologies to the Internet of Things

Silicon-based Photonic Integrated Circuit For Label-free Biosensing

Machine Learning For Tract Segmentation In DMRI Data

Contributions To Semantic Textual Similarity Algorithms

CMOS readout ASIC for single-photon and radiation detectors

Understanding Human Social Behaviour With Computational Social Science

_empty_

From States To Objects And Events Through Stratification: A Formal Account And An Application To Data Analytics

Microfluidic devices for microanalysis

Tensile tests and traction of graphene and related 2d materials and composites

Energy Efficient Embedded Digital Architectures

Functional split in 5g networks

Functional split in 5g networks

Flexible machine translation

Increased Qualifications And Fewer Dropouts? From Compulsory Schooling To Vocational Education In Italy

Modelling Of Grazing Incidence X-Ray Fluorescence (GIXRF) For Surface Layer Characterisation

Evolutionary Test Case Generation Via Many Objective Optimization And Stochastic Grammars

Socially-Aware Interfaces For Supporting Co-located Interactions

La Mente Dei Civili Storia E Storie Da Un Manicomio Di Confine (Pergine Valsugana 1909-1924)

International Politics and Conflict Resolution

Exploiting Online User Feedback In Requirements Engineering

Investigating the relationships between spatial structures and urban characteristics

A Formal Foundation Of FDI Design Via Temporal Epistemic Logic

Development of cryogenic Silicon Photomultipliers for Dark Matter search

Monte Carlo simulations of electron transport and mechanical phenomena in graphene and related 2d materials and composites

Development of multi-techniques systems and methodologies for material characterization in the fields of material science, cultural heritage and environmental control

Query Answering Over Contextualized RDF/OWL Knowledge With Expressive Bridge Rules Decidable Classes

Scalable Safety And Reliability Analysis Via Symbolic Model Checking Theory And Applications

Planning And Scheduling In Temporally Uncertain Domains

Biologia Matematica e Computazionale

_empty_

Diamond-based architectures for nanosystems and devices

Binder-free porous germanium anode for Li-ion batteries

Three Essays In Experimental And Labor Economics

Designing incentive models for citizen cooperation in smart communities

Multi-target Tracking In Unevenly Illuminated Scenes

Entrepreneurial Behavior Is Still A Black Box Three Essays On How Entrepreneurial Learning And Perceptions Can Influence Entrepreneurial Behavior And Firm Performance

Vision for Multimedia Understanding

Numerical simulations on the mechanics of nanocomposites based on graphene or other 2D materials

Efficient Automated Security Analysis Of Complex Authorization Policies

From Energy Efficient To Energy Neutral Wireless Sensor Networks

A Distributed Approach for Localization, Mapping and Object Tracking in Mobile Smart Camera Networks

OVVM Open Vote Verification Technique For DRE Systems

Change detection methodologies for multi-temporal SAR images

Understanding Human Dynamics

A Novel High-efficency SiPM-based System For Ps-TOF

Automatic Generation of Security Test Cases for Inter-Component Communication Vulnerabilities

The Oracle Problem in Software Testing

Remote sensing for environmental monitoring

Social Informatics, Health&wellbeing, gamification, persuasive technology, tailored approaches, diet plan

Brain, mind and computer science

Modeling, Design And Characterization Of A Multi-Pixel Digital SiPM For PET Applications

Surface Functionalizations Towards Nucleic Acid Purification: A Nanoscale Study

A Network Medicine Approach On Microarray And Next Generation Sequencing Data

Model-based design and planning in Plant Automation

Terahertz Image Sensors in CMOS technologies

Involving Domain Experts In The Construction Of OWL Ontologies Experience Oriented And Tool Base Support For Template-based Modelling And Knowledge Reuse

Exploiting Ultra-low Power Wake-up Radios to enable Low Energy Internet of Things (LE-IoT)

Exploiting Ultra-low Power Wake-up Radios to enable Low Energy Internet of Things (LE-IoT)

Automatic Post-Editing for Machine Translation

Brain, mind and computer science

Verification Of Hybrid Systems Using Satisfiability Modulo Theories

CMOS Terahertz Sensors And Circuits For Imaging Applications

Adaptation In Non-Parametric State Estimation With Application To People Tracking

Joint Attribute Extraction and Profile Alignment

Multilayer Micromachined RF MEMS Filters At Ka And L/S Band For On-board Satellite Communication Systems

Security Testing Of Web En Smart Phone Applicarions

Linguistical Motivated Recordering Modlling For Phrase-based Stastical Machine Translation

Parallel FDTD Electromagentic Simulation Of Dispersive Plamonic Nanostructures And Opal Phothonic Crystals In The Optical Frequency Range

Standardizing ICT For Development Towards The Definition Of A Standard Process And Maturity Model For ICTD Projects

_empty_

Evolution Of Arsenic Nanometric Distribution In Silicon Under Advanced Ion Implanation And Annealing Processes

Tecniche Digitali Di Modellazione 3D Applicate Alla Ricerca E Documentazione Archelogica

Silicon Concentrator Solar Cells: Fabrication, Characterization And Development Of Innovative Designs

Theoretical And Algorithmic Solutions For Null Models In Network Theory

Computational Approaches To Linguistic Creativity For Real World Applications

Traits States And Situations Automatic Prediction Of Personality And Situations From Actual Behavior

Multimodal Personality Recognition From Audiovisual Data

Tunable And Miniaturized Waveguide Filters For Advanced Communication Systems

Improving The Effectiveness Of Information Extraction From Biomedical Text

Effective Analysis Characterization And Detection Of Malicious Activities On The Web

Acoustic Model Adaptation For Reverberation Robust Automatic Speech Recognition

3D Camera Based On Gain-modulated CMOS Avalanche Photodiodes

Growth By Radio Frequency Sputtering And Characterisation Of Rare Earth Doped Wide Bandgap Oxides

Distances And Stability In Biological Network Theory

Computer Simulations Of Biomolecular Systems

STaRS Sys Designing And Building A Commonsense-knowledge Enriched Wordnet For Therapeutic Purposes

RF Plasma Synthesis And Characterization Of Thin Films For Transparent Conductors

Corrective Evolution Of Adaptable Process Models

A General Framework For Exploiting Background Knowledge In Natural Language Processing

Collective Memories In Wikipedia

Ultra-Low-Power Vision Systems For Wireless Applications

Supporting Concept Extraction And Identifier Quality Improvement Through Programmers' Lexicon Analysis

Bayesian Inference For Brain Decoding

Cross-lingual Textual Entailment And Applications

Requirements Engineering For Self-Adaptive Software Bridging The Gap Between Design-Time And Run-Time

Component-Based Textual Entailment A Modular And Linguistically-Motivated Framework For Semantic Inferences

A Lexi-ontological Resource For Consumer Healthcare

A New Computational Approach To The Integrated Modeling Of Infectious Diseases

Music Signal Processing For Automatic Extraction Of Harmonic And Rhythmic Information

Guaranteeing Communication Quality In Real World WSN Deployments

Progress Of Monte Carlo Methods In Nuclear Physics Using EFT–based NN Interaction And In Hypernuclear Systems

Semantic Annotation Of Business Process Models

Techniques For Robust Source Separation And Localization In Adverse Environments

Novel Design Solutions For High Reliability RF MEMS Switches

Using Formal Methods For Building More Reliable And Secure E-voting Systems

Lab-on-cell And Cantilever-based Sensors For Gene Analysis

Development Of A Simulation Environment For The Analysis And The Optimal Design Of Fluorescence Detectors Based On Single Photon Avalanche Diodes

Goal-Oriented Development Of Self-Adaptive Systems

Lexical Semantics Of Dialogue Acts

Study Of The Electromechanic Aspects Of RF MEM Devices With Particular Emphasis On The Dynamic Behavior For The Case Of RF MEM Switches And Tuneable Capacitors

Greedy Feature Selection In Tree Kernel Spaces

MICRO ELECTROCHEMICAL SENSORS AND PCR SYSTEMS: CELLULAR AND MOLECULAR TOOLS FOR WINE YEAST ANALYSIS

Semi-automatic Techniques For Extending The FrameNet Lexical Database To New Languages

An Efficient Effective And Scalable Methodology For Formal Verification

Multimodal Recognition Of Social Behaviors And Personality Traits In Small Group Interaction

New–generation Individual Based Models For Infectious Diseases Transmission

Efficient Solving Of The Satisfiability Modulo Bit-Vectors Problem And Some Extensions To SMT

Predictive Data Mining For Integrative Functional Genomics

Engineering Law-Compliant Requirements The Nomos Framework

A High Performance Computational Environment For UHTS Studies

CMOS Readout Interfaces For MEMS Capacitive Microphones

Computational Production Of Affect-Based Verbal Humorous Expressions

Practical Frame Semantics For Natural Language Systems

Testing Techniques For Software Agents

Ontological Constraints In A Statistical Framework For Person Cross Document Coreference

RTL Verification: From SAT To SMT(BV) Application Of Lazy Satisfiability Modulo Theories Techniques To The Validation Of Combinational RTL Designs