 Centre National de la Recherche Scientifique  Institut National Polytechnique de Grenoble  Université Joseph Fourier Laboratoire G-SCOP 46, av Félix.

Slides:



Advertisements
Similar presentations
12th september :00 – 18:30 TIMA Laboratory,
Advertisements

ENSEMBLES-Hamburg Meeting, Martin Beniston, University of Fribourg, Switzerland ENSEMBLES RT8 Dissemination, education and training Martin Beniston.
1 The new unified French evaluation agency for research and higher education: a direct consequence of the international rankings Pr. Alain Menand, Director.
Genealogies of time structured data, an application on cave bear ancient DNA Frantz Depaulis Ludovic Orlando Catherine Hannï UMR 5534 Centre de Génétique.
Intuitive Modeling and Animation for Interactive Graphics & Narrative Environments LJK & INRIA Group meeting April 19, 2012 Imagine.
Intuitive Modeling and Animation for Interactive Graphics & Narrative Environments LJK & INRIA Group meeting May 31, 2012 Imagine.
Impressions from evaluation exercises of engineering schools in France Jacques L Willems Em Prof Gent University.
Bicubic G1 interpolation of arbitrary quad meshes using a 4-split
 Centre National de la Recherche Scientifique  Institut National Polytechnique de Grenoble  Université Joseph Fourier Laboratoire G-SCOP 46, av Félix.
Toward the Paris-Saclay University 17/12/2014 toward the UPSay Jean Zinn-Justin Since at least two decades, at the government level, there is constant.
Laboratoire de Communication Langagière et Interaction Personne-Système (CLIPS-IMAG) 291 rue de la bibliothèque, BP 53, Grenoble cedex 9, France.
Proposal for ½ MW photo-fission driver based on TESLA 1.3 GHz SCRF technology (Shane Koscielniak, 09 Nov 2007) Electron Linac CANADA ’ S NATIONAL LABORATORY.
 Centre National de la Recherche Scientifique  Institut National Polytechnique de Grenoble  Université Joseph Fourier Laboratoire G-SCOP 46, av Félix.
CampusFrance Higher education in France. CampusFrance A national agency for the promotion of French higher education abroad uFrance’s system of higher.
1/03/09 De 89 à 98. 1/03/09 De 89 à 98 1/03/09 De 89 à 98.
 Centre National de la Recherche Scientifique  Institut National Polytechnique de Grenoble  Université Joseph Fourier Laboratoire G-SCOP 46, av Félix.
Conditions and configuration metadata for the ATLAS experiment E J Gallas 1, S Albrand 2, J Fulachier 2, F Lambert 2, K E Pachal 1, J C L Tseng 1, Q Zhang.
Analysis of the 18 O 3 CRDS spectra in the 6000 – 7000 cm -1 spectral range : comparison with 16 O 3. Marie-Renée De Backer-Barilly, Alain Barbe, Vladimir.
S&MPO linelist of 16 O 3 in the range 6000 – 7000 cm -1. M.-R. De Backer-Barilly #, Semen N. Mikhailenko*, Yurii Babikov*, Alain Campargue §, Samir Kassi.
7/6/2015 Orthogonal Functions Chapter /6/2015 Orthogonal Functions Chapter 7 2.
Organization chart of the functioning of practicums in the Faculty of Education and Psychology.
SafeScale project C. CERIN, J.L. PAZAT, J.L. ROCH, R. KERYELL
Network of Excellence in Content Based Semantic Scene Analysis and Information Retrieval Coordinating Partner: Centre for Research and Technology Hellas.
Concepts&Models for Ubicomp, Ubicomp02, Goteborg, Sept. 29th, Contextor: a Computational Model for Contextual Information Joëlle Coutaz, Gaëtan.
1 Jean-François Desnos, Geneviève Gras, Béatrice Meier, Laurent Pilet Université Joseph Fourier, Université de Strasbourg, Clermont Université.
 Centre National de la Recherche Scientifique  Institut National Polytechnique de Grenoble  Université Joseph Fourier Laboratoire G-SCOP 46, av Félix.
CASTNESS‘11 Computer Architectures and Software Tools for Numerical Embedded Scalable Systems Workshop & School: Roma January 17-18th 2011 Frédéric ROUSSEAU.
 Centre National de la Recherche Scientifique  Institut National Polytechnique de Grenoble  Université Joseph Fourier Laboratoire G-SCOP 46, av Félix.
ATLAS : File and Dataset Metadata Collection and Use S Albrand 1, J Fulachier 1, E J Gallas 2, F Lambert 1 1. Introduction The ATLAS dataset search catalogs.
Electrode Selection for Noninvasive Fetal Electrocardiogram Extraction using Mutual Information Criteria R. Sameni, F. Vrins, F. Parmentier, C. Hérail,
 Centre National de la Recherche Scientifique  Institut National Polytechnique de Grenoble  Université Joseph Fourier Laboratoire G-SCOP 46, av Félix.
Cornell July 25, 2002 NUMDAM Pierre Bérard Institut Fourier, CNRS–Université Joseph Fourier & Cellule MathDoc, CNRS–Université Joseph Fourier Grenoble.
Agence Europe Education Formation France French-Syrian cooperation under Tempus programme Damascus –February 2010 Hélène Pinaud- NCP Tempus France.
Preliminary approach. Scenarios with an Intensive Contribution of Nuclear Energy to the World Energy Supply H.Nifenecker 1, D.Heuer 1, S.David 2, J.M.Loiseaux.
PWI Meeting Kanazawa 25/03/2006 Active Measurement of Mercury’s Plasma, AM 2 P CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE Laboratoire de Physique et.
Kaunas University of Technology, 2004 Since 2002 Kaunas University of Technology is a partner in the two EU IST Grid Projects. Kaunas University of Technology.
 Centre National de la Recherche Scientifique  Institut National Polytechnique de Grenoble  Université Joseph Fourier Laboratoire G-SCOP 46, av Félix.
 Centre National de la Recherche Scientifique  Institut National Polytechnique de Grenoble  Université Joseph Fourier Laboratoire G-SCOP 46, av Félix.
EGEE-III INFSO-RI Enabling Grids for E-sciencE EGEE and gLite are registered trademarks France Grilles The French NGI R. Rumler,
 Centre National de la Recherche Scientifique  Institut Polytechnique de Grenoble  Université Joseph Fourier Laboratoire G-SCOP 46, av Félix Viallet.
« FIABILISATION & INDUSTRIALIZATION OF RISK ANALYSIS METHODS » A. MILI 1 ; S. HUBAC 1 ; S. BASSETTO 2 ; ;
New challenges, new approaches: A new way to teach Mathemathics in Engineering F. Alonso, G. Rodríguez, A. de la Villa Universidad Pontificia Comillas.
VOCATIONAL QUALIFICATION STANDARDS. Expert working groups have been formed for each occupational family, with the task of determining that family’s skills.
1 ACM SAC’2008 – Fortaleza, Ceará, Brazil, March 16-20, 2008 An Intelligent Editor for Multi-Presentation User Interfaces Benoît Collignon 1, Jean Vanderdonckt.
 Centre National de la Recherche Scientifique  Institut National Polytechnique de Grenoble  Université Joseph Fourier Laboratoire G-SCOP 46, av Félix.
If you are studying CP 102 this January, you will need Technology in Action, 5 th edition AND myitlab. Material from the text will be reflected in some.
1 ICAS’2008 – Gosier, March 16-21, 2008 Model-Driven Engineering of Multi-Target Plastic User Interfaces Benoît Collignon 1, Jean Vanderdonckt 1, Gaëlle.
Fourier Transform Emission Spectroscopy of the G 3  -X 3 , C 3  -X 3  and G 3  -C 3  systems of CoCl R. S. Ram Department of Chemistry, University.
The CPPM. IN2P3 laboratory network 2 The Centre de Physique des Particules de Marseille CPPM linked to : ● The Centre National de la Recherche Scientifique.
LEPS - LIRDHIST - Université de Lyon - Université Lyon 1 Bat. La Pagode - 38 Bd Niels Bohr Villeurbanne Cedex, France téléphone : (+33)
。 33 投资环境 3 开阔视野 提升竞争力 。 3 嘉峪关市概况 。 3 。 3 嘉峪关是一座新兴的工业旅游城市,因关得名,因企设市,是长城文化与丝路文化交 汇点,是全国唯一一座以长城关隘命名的城市。嘉峪关关城位于祁连山、黑山之间。 1965 年建市,下辖雄关区、镜铁区、长城区, 全市总面积 2935.
HCS 449 Week 2 Learning Team Case Study Presentation Topic Proposal Submit a brief ( word) proposal on the topic you plan to use for your Case Study.
Les Mathématiques: un enjeu pour le futur
micromachined multi-sensors
II Acoustic Reality II.4 (F Sept 22) FM, Wavelets, and Physical Modeling.
Task T HTS Dipole Magnet Design and Construction
Task 10.3 : 5T HTS Dipole Magnet Design and Construction
WP 4 CERN Nov 2, 2009.
Scientific Coordination of an Integrated Project
Green’s functions/fundamental solutions
Explore PT Impact of Computing Innovations
Title of the paper here. (Arial black 30)
An Information System about Research Units
II Acoustic Reality II.4 (F Sept 21) FM, Wavelets, and Physical Modeling.
MIME update RPWI Team Meeting, 10/11 January, 2011 Olivier LE DUFF
Fourier Series: Examples
Increasing Membership in the ICSU World Data System
Reasoning With Web Services
Galerkin discretization
2007 TWEPP – Prague – September 3-7, 2007
Presentation transcript:

 Centre National de la Recherche Scientifique  Institut National Polytechnique de Grenoble  Université Joseph Fourier Laboratoire G-SCOP 46, av Félix Viallet Grenoble Cedex ROMMA Task 1 Model Functional Analysis Status Briefing Ahmad Shahwan Moreno Trlin Gilles Foucault Jean-Claude Léon G-SCOP Laboratory Université de Grenoble, Grenoble-INP INRIA Rhone-Alpes September 2012

Overview Using local coordinate system for quantative reasoning. Results. Limitation of DL. Exploring FOL.

Local coordinate system

Results

Limitation of Description Logic Component Threaded Link Planar Support innerFormsforms Screw  Component and (innerForms some ThreadedLink) and (forms some PlannarSupport) ?

First Order Logic Component Threaded Link Planar Support innerFormsforms Screw(x) := Component(x) ∧ ∃ y, z; ThreadedLink(y) ∧ innerForms(x, y) ∧ PlanarSupport(z) ∧ forms(x, z) ∧ orthogonal(y, z)