Search - Université Toulouse - Jean Jaurès Access content directly

Filter your results

18 Results
Structure: Internal structure identifier : 252912
Image document

Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web

Fayollas Camille , Célia Martinie , Philippe Palanque , Paolo Masci , Michael Harrison , et al.
3rd Workshop on Formal Integrated Development Environment (F-IDE 2016), co-located with FM 2016, Nov 2016, Limassol, Cyprus. pp.1-19, ⟨10.4204/EPTCS.240.1⟩
Conference papers hal-01757338v1

Prototyping and analysing ubiquitous computing environments using multiple layers

José Luis Silva , José Creissac Campos , Michael Harrison
International Journal of Human-Computer Studies, 2014, 72 (5), pp.488--506. ⟨10.1016/j.ijhcs.2014.02.001⟩
Journal articles hal-03236144v1
Image document

A Refinement Based Method for Developing Distributed Protocols

Paulius Stankaitis , Alexei Iliasov , Yamine Aït-Ameur , Tsutomou Kobayashi , Fuyuki Ishikawa , et al.
19th IEEE International Symposium on High Assurance Systems Engineering (HASE 2019), Jan 2019, Hangzhou, China. pp.90-97
Conference papers hal-02453122v1
Image document

The FAERUS Project: Formal Analysis of Evolving Resilient Usable Systems

Giorgio Faconti , Michael Harrison , Mieke Massink , Philippe Palanque
7th European Dependable Computing Conference (EDCC 2008), May 2008, Kaunaas, Lithuania. pp.11-14
Conference papers hal-03662269v1
Image document

Desenvolvimento de Jogos Educativos na plataforma APEX : O Jogo da Asma

Tiago Gomes , Tiago Abade , José Creissac Campos , Michael Douglas Harrison , José Luis Silva
5ª edição da Conferência Nacional sobre Interação (2013), Nov 2013, Vila Real, Portugal. pp. 90-97
Conference papers hal-01228756v1
Image document

Individual common variants exert weak effects on the risk for autism spectrum disorders.

Richard Anney , Lambertus Klei , Dalila Pinto , Joana Almeida , Elena Bacchelli , et al.
Human Molecular Genetics, 2012, 21 (21), pp.4781-92. ⟨10.1093/hmg/dds301⟩
Journal articles inserm-00723650v1

The French Digital Kitchen: Implementing Task-Based Language Teaching Beyond the Classroom

Paul Seedhouse , Anne Preston , Patrick Olivier , Dan Jackson , Philip Heslop , et al.
International Journal of Computer-Assisted Language Learning and Teaching, 2013, 3 (1), pp.50 - 72. ⟨10.4018/ijcallt.2013010104⟩
Journal articles hal-01616809v1
Image document

Convergence of Genes and Cellular Pathways Dysregulated in Autism Spectrum Disorders.

Dalila Pinto , Elsa Delaby , Daniele Merico , Mafalda Barbosa , Alison Merikangas , et al.
American Journal of Human Genetics, 2014, 94 (5), pp.677-694. ⟨10.1016/j.ajhg.2014.03.018⟩
Journal articles inserm-00986225v1

Rhythmic fluctuations of saccadic reaction time arising from visual competition

Samson Chota , Canhuang Luo , Sébastien M Crouzet , Léa Boyer , Ricardo Kienitz , et al.
Scientific Reports, 2018, 8 (1), ⟨10.1038/s41598-018-34252-7⟩
Journal articles hal-02341941v1
Image document

Analysis of shared heritability in common disorders of the brain

Verneri Anttila , Brenda Sullivan , Hilary Finucane , Walter Walters , Jose Bras , et al.
Science, 2018, 360 (6395), eaap8757. ⟨10.1126/science.aap8757⟩
Journal articles cea-01870483v1
Image document

Cyber-physical systems engineering: an introduction

John Paul Gibson , Peter Gorm Larsen , Marc Pantel , John Fitzgerald , Jim Woodcock
ISOLA 2018: 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Nov 2018, Limassol, Cyprus. pp.407 - 410, ⟨10.1007/978-3-030-03424-5_27⟩
Conference papers hal-01914210v1

Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools

José Creissac Campos , Fayollas Camille , Michael Harrison , Célia Martinie , Paolo Masci , et al.
ACM Transactions on Computer-Human Interaction, 2020, 27 (5), pp.1-48. ⟨10.1145/3404199⟩
Journal articles hal-02931903v1

A practical approach to revising prioritized knowledge-bases

Salem Benferhat , Didier Dubois , Henri Prade , Mary-Anne Williams
3rd International Conference on Knowledge-Based Intelligent Information Engineering Systems (KES 1999), Aug 1999, Adelaïde, SA, Australia. pp.170--174, ⟨10.1109/KES.1999.820146⟩
Conference papers hal-04019620v1
Image document

Mapping autism risk loci using genetic linkage and chromosomal rearrangements.

Peter Szatmari , Andrew D. Paterson , Lonnie Zwaigenbaum , Wendy Roberts , Jessica Brian , et al.
Nature Genetics, 2007, 39 (3), pp.319-28. ⟨10.1038/ng1985⟩
Journal articles inserm-00937094v1
Image document

The impact of the metabotropic glutamate receptor and other gene family interaction networks on autism.

Dexter Hadley , Zhi Liang Wu , Charlly Kao , Akshata Kini , Alisha Mohamed-Hadley , et al.
Nature Communications, 2014, 5, pp.4074. ⟨10.1038/ncomms5074⟩
Journal articles inserm-01009668v1
Image document

An integrated approach based on archaeometry, use-wear analysis and experimental archaeology to investigate the function of a specific type of basin diffused in the Predynastic sites of lower Egypt (4th mill. BC)

Jade Bajeot , Isabella Caricola , Laura Medeghini , Vittorio Vinciguerra , Vanessa Forte
Quaternary International, 2020, pp.135-149. ⟨10.1016/j.quaint.2020.03.023⟩
Journal articles hal-03129316v1
Image document

Functional impact of global rare copy number variation in autism spectrum disorders.

Dalila Pinto , Alistair T. Pagnamenta , Lambertus Klei , Richard Anney , Daniele Merico , et al.
Nature, 2010, 466 (7304), pp.368-72. ⟨10.1038/nature09146⟩
Journal articles inserm-00521387v1
Image document

A genome-wide scan for common alleles affecting risk for autism.

Richard Anney , Lambertus Klei , Dalila Pinto , Regina Regan , Judith Conroy , et al.
Human Molecular Genetics, 2010, 19 (20), pp.4072-82. ⟨10.1093/hmg/ddq307⟩
Journal articles inserm-00521391v1