Model Checking Gene Regulatory Networks ? Mirco Giacobbe∗ , C˘alin C. Guet∗ , Ashutosh Gupta∗† , Thomas A. Henzinger∗ , Tiago Paix˜ao∗ , and Tatjana Petrov∗

Source URL: pub.ist.ac.at

• Mathematical analysis
• Probability theory
• Statistical theory
• Evolutionary developmental biology
• Gene expression
• Gene regulatory network
• Networks
• Systems biology
• Linear temporal logic
• Normal distribution
• Model theory

SeekWhence A Retrospective Analysis Tool for General Game Design Tiago Machado New York University

Source URL: julian.togelius.com

Adaptive Modulation Spectral Filtering for Improved Electrocardiogram Quality Enhancement Diana P Tob´on and Tiago H Falk INRS-EMT, University of Qu´ebec, Montr´eal, QC, Canada Abstract Advances in portable electrocar

Source URL: musaelab.ca

Rigorous global filtering methods with interval unions∗ Ferenc Domes and Tiago Montanher and Hermann Schichl and Arnold Neumaier Dedicated to Vladik Kreinovich on the occasion of his 65th birthday.

Source URL: www.mat.univie.ac.at

CICERO: Computationally Intelligent Collaborative EnviROnment for game and level design Tiago Machado Andy Nealen

Source URL: julian.togelius.com

Grip Force Variability and Its Effects on Children’s Handwriting Legibility, Form, and Strokes Tiago H. Falk Bloorview Research Institute, Holland Bloorview Kids Rehabilitation Hospital,

Source URL: musaelab.ca

The effects of whispered speech on state-of-the-art voice based biometrics systems Milton Sarria-Paja and Tiago H. Falk ´ Quebec, Canada Institut National de la Recherche Scientifique (INRS-EMT), University of Quebec, M

Source URL: musaelab.ca

Fortaleza OLIMPÍADA ESCOLAR 4 cearenses ganham medalhas de Química Tiago Braga da Redação

Source URL: www.obq.ufc.br

Tiago Lima Salmito PUC-Rio - Certificação Digital Nº CA Uma abordagem flex´ıvel para o modelo de concorrˆ

Source URL: www.dbd.puc-rio.br

Lightweight Cryptography on ARM Software implementation of block ciphers and ECC Rafael Cruz, Tiago Reis, Diego F. Aranha, Julio López, Harsh Kupwade Patil University of Campinas, LG Electronics Inc.

Source URL: ccccspeed.win.tue.nl