IL PORTALE per la RICERCA dei DIPARTIMENTI

Giorgio Brajnik (2013) " Model-based engineering of user interfaces to support cognitive load estimation in automotive applications"

Mirolo C (2013) ""Archaeology of Information" in the Primary School"

Claudio Mirolo (2013) ""Welcome to Nimrod" to learn CS ideas in the middle school"

Della Mea V (2013) "2012 – The beginning of a new world for Digital Pathology"

M. Comini (2013) "A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting"

D. De Nart, C. Tasso (2013) "A Keyphrase Generation Technique Based upon Keyphrase Extraction and Reasoning on Loosely Structured Ontologies"

MUSINA R (2013) "A class of second order dilation invariant inequalities"

Montanari A. (2013) "A complete classification of the expressiveness of interval logics of Allen's relations over dense linear orders"

R. Desiante (2013) "A hint to the origin of the extended emission in LAT GRBs: the relation between LAT luminosity and prompt energetics"

Pietro Di Gianantonio (2013) "A language for differentiable functions"

F. Blanchini (2013) "A stabilizable switched linear system does not necessarily admit a smooth homogeneous Lyapunov function"

Montanari A. (2013) "A tableau system for right propositional neighborhood logic over finite linear orders: An implementation"

F. Blanchini (2013) "A universal class of non-homogeneous control Lyapunov functions for linear differential inclusions"

Scagnetto I (2013) "A weak HOAS approach to the POPLmark Challenge"

Montanari A. (2013) "Adding an equivalence relation to the interval logic ABBbar: complexity and expressiveness"

Montanari A. (2013) "An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics"

T. Dreossi, C. Piazza (2013) "Approximated Symbolic Computations over Hybrid Automata"

Federico Fontana (2013) "Association of Haptic Trajectories to Takete and Maluma"

Marco COMINI (2013) "Automatic Inference of Term Equivalence in Term Rewriting Systems"

Mizzaro S (2013) "Axiometrics: An Axiomatic Approach to Information Retrieval Effectiveness Metrics"

Dovier A (2013) "CUD@ASP: Experimenting with GPUs in ASP solving"

LANCIA G (2013) "Computing the equity of a poker hand by Integer Linear Programming"

Ferdinando Fioretto (2013) "Constraint Programming in Community-Based Gene Regulatory Network Inference"

L. Snidaro, G.L. Foresti (2013) "Context in fusion: Some considerations in a JDL perspective"

C. Piazza (2013) "Contextual Lumpability"

V. Della Mea, E. Maddalena, S.Mizzaro (2013) "Crowdsourcing to Mobile Users: A Study of the Role of Platforms and Tasks"

A. Policriti (2013) "Encodings of Sets and Hypersets"

C. Tasso (2013) "Evaluating the results of methods for computing semantic relatedness"

C. Tasso (2013) "Exploiting Wikipedia for evaluating semantic relatedness mechanisms"

L. Chittaro (2013) "Exploring audio storytelling in mobile exergames to affect the perception of physical exercise"

L. Chittaro, R. Sioni (2013) "Exploring eye-blink startle response as a physiological measure for affective computing"

Tommaso Dreossi (2013) "Falsifying Oscillation Properties of Parametric Biological Models"

G. Giordano (2013) "Feedback architectures to regulate flux of components in artificial gene networks"

Fausto Galvan (2013) "First JPEG quantization matrix estimation based on histogram analysis2013 IEEE International Conference on Image Processing"

Fausto Galvan (2013) "First Quantization Coefficient Extraction from Double Compressed JPEG ImagesImage Analysis and Processing – ICIAP 2013"

F. Zanolin (2013) "From the Poincaré-Birkhoff Fixed Point Theorem to Linked Twist Maps: Some Applications to Planar Hamiltonian Systems"

F. Blanchini (2013) "Further results on merging control Lyapunov functions for linear differential inclusions"

Farinosi M (2013) "Googlemapping and sharing digital memories after a natural disaster: community, places and digital media to remember the city of L'Aquila (Italy)"

N. Martinel, M. Vernier, G.L. Foresti (2013) "Image Processing Supports HCI in Museum Applications"

Pietro Di Gianantonio, Marina Lenisa (2013) "Innocent game semantics via intersection type assignment systems"

C.Tasso (2013) "Integrating semantic relatedness in a collaborative filtering system"

Montanari A. (2013) "Interval logics and omegaB-regular languages"

MILANESE V (2013) "Knowledge driven verification of positional tolerances"

Niki Martinel, Christian Micheloni, Claudio Piciarelli (2013) "Learning pairwise feature dissimilarities for person re-identification"

Carlo Drioli (2013) "Networked Performances and Natural Interaction via LOLA: Low Latency High Quality A/V Streaming SystemInformation Technologies for Performing Arts, Media Access, and Entertainment"

Mizzaro S (2013) "On Using Fewer Topics in Information Retrieval Evaluations"

Piciarelli C, Micheloni C, Martinel N, Vernier M, Foresti G L (2013) "Outdoor Environment Monitoring with Unmanned Aerial Vehicles"

Lauro Snidaro (2013) "Overview of contextual tracking approaches in information fusion"

D. Ballis (2013) "Parametric Exploration of Rewriting Logic Computations"

D. De Nart, C. Tasso (2013) "Personalized Access to Scientific Publications: from Recommendation to Explanation"

D. De Nart, C. Tasso (2013) "Personalized Recommendation and Explanation by using Keyphrases Automatically extracted from Scientific Literature"

Federico Campeotto, Agostino Dovier (2013) "Protein Structure Prediction on GPU: A Declarative Approach in a Multi-agent Framework2013 42nd International Conference on Parallel Processing"

D. De Nart, C. Tasso (2013) "RES: A Personalized Filtering Tool for CiteSeerX Queries Based on Keyphrase Extraction"

N. Martinel, M. Vernier, C. Micheloni, G.L. Foresti (2013) "Remote Feature Learning for Mobile Re-Identification"

Alfredo Soldati (2013) "Rotation Statistics of Rigid Fibers in Turbulent Channel Flow"

Toppano E., Roberto V. (2013) "Semiotic-based Conceptual Modeling of Hypermedia"

F. Fontana (2013) "Sensitivity to loudspeaker permutations during an eight-channel array reproduction of piano notes"

BALLIS D (2013) "Slicing-based Trace Analysis of Rewriting Logic Specifications with iJulienne"

F. Blanchini, G. Giordano (2013) "Structured-LMI conditions for stabilizing network-decentralized control"

M. Comini (2013) "TRSynth: a Tool for Automatic Inference of Term Equivalence in Left-linear Term Rewriting Systems"

M. Comini, L. Titolo (2013) "Towards an Effective Decision Procedure for LTL formulas with Constraints"

HONSELL F, LENISA M (2013) "Unfixing the Fixpoint: the theories of the lambdaY-calculus"

Agostino Dovier (2013) "co-LP: Back to the Roots"

Tommaso Dreossi (2013) "pyHybrid Analysis: A Package for Semantics Analysis of Hybrid Systems2013 Euromicro Conference on Digital System Design"

Claudio Mirolo (2013) "« Archéologie de l’information » à l’école primaire"

Piazza C (2013) "High-throughput trascriptome profiling of two peach chimeric genotypes"

Pietro De Poi (2013) "On generalised OADP-surfaces"

SCAGNETTO I (2013) "Revisiting the bookkeeping technique in HOAS-based encodings"