Content. Content. Introduction. T. Chateau. Computer Vision. Introduction. Outil projectif permettant l acquisition d une scène 3D sur un plan 2D
|
|
- Jody Nelson
- 5 years ago
- Views:
Transcription
1 Content Modèle de caméra T Chateau Lamea/Gravir/ComSee, Blaie Pacal Univerit Computer Viion 2 Content La projection perpective Changement de repère objet/caméra Changement de repère caméra/image Changement de coordonnée dan le plan image Défintion géométrique d une caméra Outil projectif permettant l acquiition d une cène 3D ur un plan 2D D un point de vue mathématique Un modèle de caméra et un enemble de relation mathématique permettant de déterminer le coordonnée bi-dimentionnelle d un point 3D projeté dan l image 2
2 Modèle de caméra ténopé Stème d acquiition d image pinhole (5ème iècle Modèle de caméra ténopé Modèle de caméra ténopé Plan image défini devant le centre optique P(X,Y,Z) Notation de différent repère (R,T) Rw Z u p v Y X Rc
3 Modèle de caméra ténopé Notation de différent repère Rappel ur le coordonnée homogène Changement de repère v u (R,T) Rw X R Y R Z R P R R T R2 P R 2 n a P Y n a P n a P X R 2 Y R 2 Z R 2 Rc R T R2 R 2 R c : repère caméra, R w : repère monde, (O, u, v) : repère Image (prie en compte de la numériation) R Tranformation rigide Tranformation rigide avec : P c =(M ) P w () ( ) X w X c R T P c = Y w 0 Z w = Y c Z c (2) P w le coordonnée 3D d un point de la mire, eprimée dan le repère de modéliation ; P c le coordonnée du même point 3D eprimée dan le repère de la caméra i M f = ( i R f i P f 0 i M f = ( I3 i P f 0 ) ( i A = i ) f P f 0 ) ( i ) A f 0 0 (3) (4)
4 Tranformation d un point Tranlation pure = R i ( i R f i P f 0 = i M f ) R f R f (5) (6) Tran(, a) Tr de a elon l ae Tran(a, b, c) a ur, b ur, c ur, Compoition de tranlation Matrice de rotation pure () Tr(a, b, c) = Tr(a, 0, 0)Tr(0, b, 0)Tr(0, 0, c) = Tr(, a)tr(, b)tr(, c) (7) R = cθ θ 0 θ cθ (8)
5 Rotation quelconque (eemple : angle d Euler) Propriété (inverion) Le angle d Euler (convention,, ) φ (préceion) : angle entre 0 et ON tel que 0 φ θ (nutation) : angle entre 0 et n tel que 0 θ 80 0 ψ (rotation propre) : angle entre ON et n tel que 0 ψ T = T P A T n T P a T P 0 = ( A T A T P 0 ) (9) Propriété (tranformation conécutive) Prie en compte de la focale Projection perpective Y P RW X v u u0 Z v0 0 T k = 0 T T 2 2 T 3 3 T 4 k T k (0) RC f
6 Prie en compte de la focale Paage dan le plan image Projection perpective Paage plan image Y P v u u0 RW X v u u0 Z v0 (ae optique) RC v0 f = f f P c (3) u v Rc = f /d 0 u 0 0 /d v (4) Paage dan le plan image u v = /d 0 u 0 0 /d v (5) { u = /d + u0 v = /d + v 0 (6) (u 0, v 0 ) repréentent le coordonnée (en piel) dan l image, de l interection de l ae optique et du plan image (origine du changement de repère) ; (d, d) ont le dimenion repectivement elon et d un piel élémentaire de la matrice CCD u v = /d 0 u 0 0 /d v f f R R 2 R 3 T R 2 R 22 R 23 T R 3 R 32 R 33 T X w Y w Z w (7)
7 (X w, Y w, Z w ) ont le coordonnée 3D d un point de calibrage appartenant à l étalon; (u, v) ont le coordonnée piel 2D dan l image de la projection de ce point; (u 0, v 0, f, d, d) ont appelé le paramètre intrinèque de calibrage Il ont propre au tème d acquiition; (R (,,,33), T (,,) ) ont appelé paramètre etrinèque de calibrage Il donnent la localiation de l étalon dan le repère de la caméra, au moment de la prie de vue u v = M int M et X w Y w Z w = M (3 4) M et appelée matrice de calibrage du tème X w Y w Z w (8) Matrice de paramètre intrinèque projection 3D-2D On utilie généralement la matrice M int ou la forme: f /d 0 u f /d v 0 0 (9) En poant: f = f /d f = f /d } (f /f = d/d) (20) u v = m m 2 m 3 m 4 m 2 m 22 m 23 m 24 m 3 m 32 m 33 m 34 X w Y w Z w (2)
8 Approche linéaire Projection perpective Définition Calibrer un tème de viion, c et être capable de déterminer tou le paramètre intervenant dan l epreion analtique de la formation de l image Utiliation d une mire, Etant donné un nombre n d appariement 3D-2D (X w, Y w, Z w ; u, v) entre une mire et on image, déterminer le 6 paramètre de formation d image Approche linéaire : principe Approche linéaire : principe Projection perpective u v = m m 2 m 3 m 4 m 2 m 22 m 23 m 24 m 3 m 32 m 33 m 34 X w Y w Z w (m,, m 34 ) ont le 2 inconnue du tème à réoudre (22) En ubtituant, il vient: u = m X w + m 2 Y w + m 3 Z w + m 4 m 3 X w + m 32 Y w + m 33 Z w + m 34 v = m (23) 2X w + m 22 Y w + m 23 Z w + m 24 m 3 X w + m 32 Y w + m 33 Z w + m 34
9 Approche linéaire : epreion matricielle Approche linéaire : réolution Xw i Yw i Zw i u i Xw i u i Yw i u i Zw i u i Xw i Yw i Zw i v i Xw i v i Yw i v i Zw i v i m m 2 m 32 m 34 3 =0 7 5 (24) SVD Réoudre un tème urdéterminé (AX = 0), revient à chercher le vecteur propre aocié à la plu petite valeur propre de A On utilie en général l algorithme de SVD (Singular Value Decompoition Peudo-invere Le tème peut également écrire ou la forme AX = B et peut e réoudre par une peudo-invere Bibliographie Content Eercice Biblio Ce cour et baé ur : JM Lavet, G Rive : Etalonnage de capteur de Viion (Chapitre ), Perception Viuelle par imagerie vidéo, Traitement du ignal et de l imge, Herme, Lavoiier, Sou la direction de M Dhome 2 Eercice
10 Eercice Eercice Eercice : Détermination de paramètre intrinèque et etrinèque Eercice énoncé On donne le correpondance uivante entre la matrice de projection et le paramètre caméra : m (,2,3) = f d R (,2,3) + u 0 R 3(,2,3) m 2(,2,3) = f d R 2(,2,3) + v 0 R 3(,2,3) m 3(,2,3) = R 3(,2,3) m 4 = f d T + u 0 T m 24 = f d T + v 0 T m 34 = T correction Quetion Retrouver le 6 paramètre qui contribuent à la formation d image (33 Rotation + 3 Tranlation + f /d + f /d+ u 0, v 0 ) Eercice Eercice : Calcul de coordonnée d un point 3D à partir de 2 caméra énoncé On conidère que l on connait le matrice de projection de 2 caméra (C et C 2 ), qui obervent la même cène Pour un point 3D inconnu, on donne la correondance dan la caméra (u, v ) et dan la caméra 2 (u 2, v 2 ) correction Quetion Calculer la forme matricielle linéaire qui permet d etimer la poition du point 3D dan le repère monde, à partir de matrice de projection caméra et 2 et de point (u, v ) et (u 2, v 2 )
Apprentissage automatique Méthodes à noyaux - motivation
Apprentissage automatique Méthodes à noyaux - motivation MODÉLISATION NON-LINÉAIRE prédicteur non-linéaire On a vu plusieurs algorithmes qui produisent des modèles linéaires (régression ou classification)
More informationOutils de Recherche Opérationnelle en Génie MTH Astuce de modélisation en Programmation Linéaire
Outils de Recherche Opérationnelle en Génie MTH 8414 Astuce de modélisation en Programmation Linéaire Résumé Les problèmes ne se présentent pas toujours sous une forme qui soit naturellement linéaire.
More informationApprentissage automatique Machine à vecteurs de support - motivation
Apprentissage automatique Machine à vecteurs de support - motivation RÉGRESSION À NOYAU régression à noyau Algorithme de régression à noyau entraînement : prédiction : a = (K + λi N ) 1 t. y(x) =k(x) T
More informationExercise sheet n Compute the eigenvalues and the eigenvectors of the following matrices. C =
L2 - UE MAT334 Exercise sheet n 7 Eigenvalues and eigenvectors 1. Compute the eigenvalues and the eigenvectors of the following matrices. 1 1 1 2 3 4 4 1 4 B = 1 1 1 1 1 1 1 1 1 C = Which of the previous
More informationDETERMINING HIGH VOLTAGE CABLE CONDUCTOR TEMPERATURES. Guy Van der Veken. Euromold, Belgium. INVESTIGATIONS. INTRODUCTION.
DETERMINING HIGH VOLTAGE CABLE CONDUCTOR TEMPERATURES. Guy Van der Veken. Euromold, Belgium. INTRODUCTION. INVESTIGATIONS. Type tests on MV cable accessories are described in CENELEC HD68 and HD69 documents.
More informationA set of formulas for primes
A set of formulas for primes by Simon Plouffe December 31, 2018 Abstract In 1947, W. H. Mills published a paper describing a formula that gives primes : if A 1.3063778838630806904686144926 then A is always
More informationA set of formulas for primes
A set of formulas for primes by Simon Plouffe December 31, 2018 Abstract In 1947, W. H. Mills published a paper describing a formula that gives primes : if A 1.3063778838630806904686144926 then A is always
More informationApprentissage automatique Classification linéaire - fonction discriminante
Apprentissage automatique Classification linéaire - fonction discriminante TYPES D APPRENTISSAGE apprentissage supervisé, classification, régression L apprentissage supervisé est lorsqu on a une cible
More informationRandom variables. Florence Perronnin. Univ. Grenoble Alpes, LIG, Inria. September 28, 2018
Random variables Florence Perronnin Univ. Grenoble Alpes, LIG, Inria September 28, 2018 Florence Perronnin (UGA) Random variables September 28, 2018 1 / 42 Variables aléatoires Outline 1 Variables aléatoires
More informationAn explicit formula for ndinv, a new statistic for two-shuffle parking functions
FPSAC 2012, Nagoya, Japan DMTCS proc AR, 2012, 147 156 An explicit formula for ndinv, a new statistic for two-shuffle parking functions Angela Hicks and Yeonkyung Kim Mathematics Department, University
More informationA set of formulas for primes
A set of formulas for primes by Simon Plouffe December 31, 2018 Abstract In 1947, W. H. Mills published a paper describing a formula that gives primes : if A 1.3063778838630806904686144926 then A is always
More informationLa question posée (en français, avec des mots justes ; pour un calcul, l'objectif doit être clairement écrit formellement)
Exercise : You have to make one ton of mayonnaise sauce using 95 % oil, 2.5 % egg yolk, 2.5 % vinegar. What is the minimum energy that you have to spend? Calculation for mayonnaise Hervé 4th October 2013
More informationA set of formulas for primes
A set of formulas for primes by Simon Plouffe December 31, 2018 Abstract In 1947, W. H. Mills published a paper describing a formula that gives primes : if A 1.3063778838630806904686144926 then A is always
More information( ) 2 ( kg) ( 9.80 m/s 2
Chapitre 1 Charges et champs électriques [9 au 1 mai] DEVOIR : 1.78, 1.84, 1.56, 1.90, 1.71 1.1. Charge électrique et structure de la matière À lire rapidement. Concepts déjà familiers. 1.. Conducteurs,
More informationStructures de données
Notes de cours Ecole Nationale d Ingénieurs de Brest Structures de données J. Tisseau, S. Morvan 1994,1999 enib c jt..... 1/42 Chapitre 1 Collections Séquences Arbres Graphes enib c jt..... 2/42 Collections
More informationA DIFFERENT APPROACH TO MULTIPLE CORRESPONDENCE ANALYSIS (MCA) THAN THAT OF SPECIFIC MCA. Odysseas E. MOSCHIDIS 1
Math. Sci. hum / Mathematics and Social Sciences 47 e année, n 86, 009), p. 77-88) A DIFFERENT APPROACH TO MULTIPLE CORRESPONDENCE ANALYSIS MCA) THAN THAT OF SPECIFIC MCA Odysseas E. MOSCHIDIS RÉSUMÉ Un
More informationDESIGN AND ANALYSIS OF CAM MECHANISM WITH TRANSLATING FOLLOWER HAVING DOUBLE ROLLERS. Jung-Fa Hsieh
DESIGN AND ANALYSIS OF CAM MECHANISM WITH TRANSLATING FOLLOWER HAVING DOUBLE ROLLERS Jung-Fa Hsieh Far East University Department of Mechanical Engineering Tainan, 74448, Taiwan E-mail: seznof@cc.feu.edu.tw
More informationarxiv:cs/ v1 [cs.dm] 21 Apr 2005
arxiv:cs/0504090v1 [cs.dm] 21 Apr 2005 Abstract Discrete Morse Theory for free chain complexes Théorie de Morse pour des complexes de chaines libres Dmitry N. Kozlov Eidgenössische Technische Hochschule,
More informationANNALES SCIENTIFIQUES L ÉCOLE NORMALE SUPÉRIEURE. Cluster ensembles, quantization and the dilogarithm. Vladimir V. FOCK & Alexander B.
ISSN 0012-9593 ASENAH quatrième série - tome 42 fascicule 6 novembre-décembre 2009 ANNALES SCIENTIFIQUES de L ÉCOLE NORMALE SUPÉRIEURE Vladimir V. FOCK & Alexander B. GONCHAROV Cluster ensembles, quantization
More informationIt s a Small World After All Calculus without s and s
It s a Small World After All Calculus without s and s Dan Sloughter Department of Mathematics Furman University November 18, 2004 Smallworld p1/39 L Hôpital s axiom Guillaume François Antoine Marquis de
More informationREVUE FRANÇAISE D INFORMATIQUE ET DE
REVUE FRANÇAISE D INFORMATIQUE ET DE RECHERCHE OPÉRATIONNELLE, SÉRIE ROUGE SURESH CHANDRA Decomposition principle for linear fractional functional programs Revue française d informatique et de recherche
More informationTime-varying cascade model for flow forecasting
Hydrological forecasting - Prévisions hydrologiques (Proceedings of the Oxford Symposium, April 1980; Actes du Colloque d'oxford, avril 1980): IAHS-AISH Publ. no. 129. Time-varying cascade model for flow
More informationContrôle adaptatif backstepping de structures à base isolée hystérétiques
Contrôle adaptatif backstepping de structures à base isolée hystérétiques Francesc Pozo* Gisela Pujol* Fayçal Ikhouane ** José Rodellar** * Escola Universitària d Enginyeria Tècnica Industrial de Barcelona
More informationKato s inequality when u is a measure. L inégalité de Kato lorsque u est une mesure
Kato s inequality when u is a measure L inégalité de Kato lorsque u est une mesure Haïm Brezis a,b, Augusto C. Ponce a,b, a Laboratoire Jacques-Louis Lions, Université Pierre et Marie Curie, BC 187, 4
More informationStatistiques en grande dimension
Statistiques en grande dimension Christophe Giraud 1,2 et Tristan Mary-Huart 3,4 (1) Université Paris-Sud (2) Ecole Polytechnique (3) AgroParistech (4) INRA - Le Moulon M2 MathSV & Maths Aléa C. Giraud
More informationNumerical modification of atmospheric models to include the feedback of oceanic currents on air-sea fluxes in ocean-atmosphere coupled models
Numerical modification of atmospheric models to include the feedback of oceanic currents on air-sea fluxes in ocean-atmosphere coupled models Florian Lemarié To cite this version: Florian Lemarié. Numerical
More informationChapitre 2 : Sélection de variables et pénalisations. Agathe Guilloux Professeure au LaMME - Université d Évry - Paris Saclay
Chapitre 2 : Sélection de variables et pénalisations Agathe Guilloux Professeure au LaMME - Université d Évry - Paris Saclay Avant de commencer Les documents du cours sont disponibles ici : http://www.math-evry.
More informationAgeostrophic instabilities of a front in a stratified rotating fluid
8 ème Congrès Français de Mécanique Grenoble, 27-3 août 27 Ageostrophic instabilities of a front in a stratified rotating fluid J. Gula, R. Plougonven & V. Zeitlin Laboratoire de Météorologie Dynamique
More informationSome consequences of the analytical theory of the ferromagnetic hysteresis
Some consequences of the analytical theory of the ferromagnetic hysteresis G. Biorci, D. Pescetti To cite this version: G. Biorci, D. Pescetti. Some consequences of the analytical theory of the ferromagnetic
More informationThe p-adic Jacquet-Langlands correspondence and a question of Serre
The p-adic Jacquet-Langlands correspondence and a question of Serre Sean Howe University of Chicago CNTA 2016, 2016-06-24 Outline Serre s mod p Jacquet-Langlands A p-adic Jacquet-Langlands Proof (highlights)
More informationThe epsilon method: analysis of seepage beneath an impervious dam with sheet pile on a layered soil
The epsilon method: analysis of seepage beneath an impervious dam with sheet pile on a layered soil Zheng-yi Feng and Jonathan T.H. Wu 59 Abstract: An approximate solution method, referred to as the epsilon
More informationMGDA II: A direct method for calculating a descent direction common to several criteria
MGDA II: A direct method for calculating a descent direction common to several criteria Jean-Antoine Désidéri To cite this version: Jean-Antoine Désidéri. MGDA II: A direct method for calculating a descent
More informationON OZANAM S RULE. Adam Krause Department of Mathematics, University of Rochester, Rochester, New York
#A98 INTEGERS 18 (018) ON OZANAM S RULE Adam Krause Department of Mathematics, University of Rochester, Rochester, New Yor arause5@ur.rochester.edu Howard Sogman Department of Mathematics, SUNY Brocport,
More informationThe use of L-moments for regionalizing flow records in the Rio Uruguai basin: a case study
Regionalization in Ifylwltm (Proceedings of the Ljubljana Symposium, April 1990). IAHS Publ. no. 191, 1990. The use of L-moments for regionalizing flow records in the Rio Uruguai basin: a case study ROBM
More informationIntroduction 1. Partie II : Cosmologie
Introduction 1 Partie II : Cosmologie Introduction 2 Only 5% of universe is ordinary matter! For the first time in human history we believe we have an inventory of the constituents of the universe. Rapid
More informationIntroduction aux Systèmes Collaboratifs Multi-Agents
M1 EEAII - Découverte de la Recherche (ViRob) Introduction aux Systèmes Collaboratifs Multi-Agents UPJV, Département EEA Fabio MORBIDI Laboratoire MIS Équipe Perception Robotique E-mail: fabio.morbidi@u-picardie.fr
More informationPhysics 312, Winter 2007, Practice Final
Physics 312, Winter 2007, Practice Final Time: Two hours Answer one of Question 1 or Question 2 plus one of Question 3 or Question 4 plus one of Question 5 or Question 6. Each question carries equal weight.
More informationModélisation & simulation de la génération de champs magnetiques par des écoulements de métaux liquides. Wietze Herreman
Modélisation & simulation de la génération de champs magnetiques par des écoulements de métaux liquides Wietze Herreman 19ième Colloque Alain Bouyssy!!"#$%&'()*+(,#-*.#*+( )/01+"2(!!!!!!! Origine des champs
More informationBest linear unbiased prediction when error vector is correlated with other random vectors in the model
Best linear unbiased prediction when error vector is correlated with other random vectors in the model L.R. Schaeffer, C.R. Henderson To cite this version: L.R. Schaeffer, C.R. Henderson. Best linear unbiased
More informationA Generic Calibration Concept Theory and Algorithms
INSTITUT NTIONL DE REHERHE EN INFORMTIQUE ET EN UTOMTIQUE Generic alibration oncept Theory and lgorithms Peter Sturm Srikumar Ramalingam N 558 December THÈME ISSN 9-699 ISRN INRI/RR--558--FR+ENG apport
More informationLe classeur à tampons
Le classeur à tampons P a s à pa s Le matériel 1 gr a n d cla s s e u r 3 pa pi e r s co o r d o n n é s. P o u r le m o d è l e pr é s e n t é P a p i e r ble u D ai s y D s, pa pi e r bor d e a u x,
More informationGraphics Rendering Pipeline
Graphic Rendering ipeline Model Modeling Tranformation M Viewing Tranformation Model 2 M 2 3DWorld Scene V 3D View Scene Model n M n 2D Image Raterization 2D Scene rojection Scaling S. ], [ ], [ ;, (,
More informationK. FUJITA INTRODUCTION. Dr., Managing Director of Hazama-Gumi, Ltd. K. UEDA. Deputy Director, Institute of Technology, Hazama-Gumi, Ltd. M.
A METHOD TO PREDICT THE LOAD-DISPLACEMENT RELATIONSHIP OF GROUND ANCHORS Modèle pour calculer la relation charge-déplacement des ancrages dans les sols by K. FUJITA Dr., Managing Director of Hazama-Gumi,
More informationBasis Function Selection Criterion for Modal Monitoring of Non Stationary Systems ABSTRACT RÉSUMÉ
Basis Function Selection Criterion for Modal Monitoring of Non Stationary Systems Li W. 1, Vu V. H. 1, Liu Z. 1, Thomas M. 1 and Hazel B. 2 Zhaoheng.Liu@etsmtl.ca, Marc.Thomas@etsmtl.ca 1 Dynamo laboratory,
More informationBAVER OKUTMUSTUR. pour l obtention du titre de. Sujet : MÉTHODES DE VOLUMES FINIS POUR LES LOIS DE CONSERVATION HYPERBOLIQUES NON-LINÉAIRES
THÈSE DE L UNIVERSITÉ PIERRE ET MARIE CURIE PARIS VI SPÉCIALITÉ MATHÉMATIQUES présentée par BAVER OUTMUSTUR pour l obtention du titre de DOCTEUR DE L UNIVERSITÉ PIERRE ET MARIE CURIE PARIS VI Sujet : MÉTHODES
More informationDéstabilisation par un processus d advection dans un laser: défauts spectro temporels et structures induites par bruit
Déstabilisation par un processus d advection dans un laser: défauts spectro temporels et structures induites par bruit S. Bielawski and C. Szwaj Lab. PhLAM/CERLA, université de Lille 1 (France) C. Bruni,
More informationUncoupled variational formulation of a vector Poisson problem Jiang Zhu 1, Luigi Quartapelle 2 and Abimael F. D. Loula 1 Abstract { This Note provides
Uncoupled variational formulation of a vector Poisson problem Jiang Zhu 1, Luigi Quartapelle 2 and Abimael F. D. Loula 1 Abstract { his Note provides a rigorous analysis for the vector Poisson problem
More informationDESIGN AND ANALYSIS OF CAM MECHANISM WITH NEGATIVE RADIUS ROLLER-FOLLOWER. Jung-Fa Hsieh
DESIGN AND ANALYSIS OF CAM MECHANISM WITH NEGATIVE RADIUS ROLLER-FOLLOWER Jung-Fa Hsieh Department of Mechanical Engineering, Far East University, Tainan, Taiwan E-mail: seznof@cc.feu.edu.tw Received July
More informationMathématiques. Denis AUROUX
Thèse présentée pour obtenir le titre de DOCTEUR DE L ÉCOLE POLYTECHNIQUE Spécialité : Mathématiques par Denis AUROUX Titre : Théorèmes de structure des variétés symplectiques compactes via des techniques
More informationExtending Zagier s Theorem on Continued Fractions and Class Numbers
Extending Zagier s Theorem on Continued Fractions and Class Numbers Colin Weir University of Calgary Joint work with R. K. Guy, M. Bauer, M. Wanless West Coast Number Theory December 2012 The Story of
More informationMesurer des déplacements ET des contraintes par correlation mécanique d images
Mesurer des déplacements ET des contraintes par correlation mécanique d images J. RÉTHORÉ a, A. LEYGUE a, M. CORET a, L. STAINIER a, E. VERRON a a. Institut de Recherche en Génie Civil et Mécanique (GeM)
More informationProbabilistic model for distributed and concurrent systems. Limit theorems and application to statistical parametric estimation
Probabilistic model for distributed and concurrent systems. Limit theorems and application to statistical parametric estimation Samy Abbes To cite this version: Samy Abbes. Probabilistic model for distributed
More informationA pointwise equivalence of gradients on configuration spaces
A pointwise equivalence of gradients on configuration spaces Nicolas Privault Equipe d Analyse et Probabilités, Université d Evry-Val d Essonne Boulevard F. Mitterrand, 91025 Evry Cedex, France e-mail:
More informationCartesian closed 2-categories and rewriting
Cartesian closed 2-categories and rewriting Aurore Alcolei A brief presentation of Tom Hirschowitz s paper, Cartesian closed 2-categories and permutation equivalence in higher-order rewriting June 7, 2014
More informationA MODELING OF MICHELSON -MORLEY INTERFEROMETER IN A PLATONIC FOUR-DIMENSIONAL SPACE
A MODELING OF MICHELSON -MORLEY INTERFEROMETER IN A PLATONIC FOUR-DIMENSIONAL SPACE Alain Jégat To cite this version: Alain Jégat. A MODELING OF MICHELSON -MORLEY INTERFEROMETER IN A PLATONIC FOUR-DIMENSIONAL
More informationMinimal representations of orientation
Robotics 1 Minimal representations of orientation (Euler and roll-pitch-yaw angles) Homogeneous transformations Prof. lessandro De Luca Robotics 1 1 Minimal representations rotation matrices: 9 elements
More informationExpression of Dirichlet boundary conditions in terms of the strain tensor in linearized elasticity
Expression of Dirichlet boundary conditions in terms of the strain tensor in linearized elasticity Philippe Ciarlet a, Cristinel Mardare b a Department of Mathematics, City University of Hong Kong, 83
More informationRapid Bridge Deck Condition Assessment Using Three- Dimensional Visualization of Impact Echo Data
Rapid Bridge Deck Condition Assessment Using Three- Dimensional Visualization of Impact Echo Data Nenad GUCUNSKI 1, Zhe WANG 2, Tong FANG 2, Ali MAHER 1 1 Rutgers University, Piscataway, New Jersey, U.S.A.,
More informationName: Solutions Exam 2
Intruction. Anwer each of the quetion on your own paper. Put your name on each page of your paper. Be ure to how your work o that partial credit can be adequately aeed. Credit will not be given for anwer
More informationANNALES DE LA FACULTÉ DES SCIENCES DE TOULOUSE
ANNALES DE LA FACULTÉ DES SCIENCES DE TOULOUSE ALEX BIJLSMA A note on elliptic functions approximation by algebraic numbers of bounded degree Annales de la faculté des sciences de Toulouse 5 e série, tome
More informationAssimilation des Observations et Traitement des Incertitudes en Météorologie
Assimilation des Observations et Traitement des Incertitudes en Météorologie Olivier Talagrand Laboratoire de Météorologie Dynamique, Paris 4èmes Rencontres Météo/MathAppli Météo-France, Toulouse, 25 Mars
More informationOn the direct kinematics of planar parallel manipulators: special architectures and number of solutions
On the direct kinematics of planar parallel manipulators: special architectures and number of solutions by Clément M. Gosselin and Jean-Pierre Merlet Département de Génie Mécanique Université Laval Ste-Foy,
More informationHow to Sparsify the Singular Value Decomposition with Orthogonal Components
How to Sparsify the Singular Value Decomposition with Orthogonal Components Vincent Guillemot, Aida Eslami, Arnaud Gloaguen 3, Arthur Tenenhaus 3, & Hervé Abdi 4 Institut Pasteur C3BI, USR 3756 IP CNRS
More informationANNALES. FLORENT BALACHEFF, ERAN MAKOVER, HUGO PARLIER Systole growth for finite area hyperbolic surfaces
ANNALES DE LA FACULTÉ DES SCIENCES Mathématiques FLORENT BALACHEFF, ERAN MAKOVER, HUGO PARLIER Systole growth for finite area hyperbolic surfaces Tome XXIII, n o 1 (2014), p. 175-180.
More informationMorphologie de domaines à l équilibre et hors d équilibre
THÈSE DE DOCTORAT DE L UNIVERSITÉ PIERRE ET MARIE CURIE Spécialité Physique Théorique École doctorale Physique en Île de France ED 564 Morphologie de domaines à l équilibre et hors d équilibre Réalisée
More informationStokes-Darcy coupling for periodically curved interfaces
Stokes-Darcy coupling for periodically curved interfaces Sören Dobberschütz sdobber@nano.ku.dk February 21, 2014 Abstract We investigate the boundary condition between a free fluid and a porous medium,
More informationFuRII - An ENVI toolbox for image classification Part 1: Theory related to fuzzy sets, evidential reasoning and fusion
FuRII - An ENVI toolbox for image classification Part 1: Theory related to fuzzy sets, evidential reasoning and fusion François Leduc DRDC Valcartier Defence R&D Canada Valcartier Technical Memorandum
More informationA method for synthesis of designs of multilayer structures with prescribed frequency dependent properties
A method for synthesis of designs of multilayer structures with prescribed frequency dependent properties G. Tricoles To cite this version: G. Tricoles. A method for synthesis of designs of multilayer
More informationInfluence of pullout loads on the lateral response of pile foundation
Influence of pullout loads on the lateral response of pile foundation Mahmoud N. Hussien & Mourad Karray Department of Civil Engineering, Sherbrooke University (QC), Canada Tetsuo Tobita & Susumu Iai Disaster
More informationSelection on selected records
Selection on selected records B. GOFFINET I.N.R.A., Laboratoire de Biometrie, Centre de Recherches de Toulouse, chemin de Borde-Rouge, F 31320 Castanet- Tolosan Summary. The problem of selecting individuals
More informationAPPROXIMATE EXPRESSION OF THE "THREE HALVES LAW" FOR A BOUNDED CATHODE IN A UNIFORM FIELD
A translation from Atomic Energy of Canada Limited APPROXIMATE EXPRESSION OF THE "THREE HALVES LAW" FOR A BOUNDED CATHODE IN A UNIFORM FIELD (INTRODUCED BY ACADEMICIAN N.N. SEMENOV 3 JULY 1952) by I.I.
More informationTHE OLYMPIAD CORNER No. 305
THE OLYMPIAD CORNER / 67 THE OLYMPIAD CORNER No. 305 Nicolae Strungaru The solutions to the problems are due to the editor by 1 January 014. Each problem is given in English and French, the official languages
More informationSignal structure: from manifolds to molecules and structured sparsity
Signal structure: from manifolds to molecules and structured sparsity THÈSE N O 6832 (2015) PRÉSENTÉE LE 3 DÉCEMBRE 2015 À LA FACULTÉ DES SCIENCES ET TECHNIQUES DE L'INGÉNIEUR LABORATOIRE DE TRAITEMENT
More informationOptimisation par réduction d incertitudes : application à la recherche d idéotypes
: application à la recherche d idéotypes Victor Picheny 1, D. Da Silva et E. Costes 2 Rencontres du réseau Mexico, Toulouse 23 mai 2014 1. INRA MIAT 2. INRA GAP Plan de l exposé 1 Introduction : recherche
More informationCompressive sensing of low-complexity signals: theory, algorithms and extensions
Compressive sensing of low-complexity signals: theory, algorithms and extensions Laurent Jacques March 7, 9, 1, 14, 16 and 18, 216 9h3-12h3 (incl. 3 ) Graduate School in Systems, Optimization, Control
More informationème Congrès annuel, Section technique, ATPPC th Annual Meeting, PAPTAC
2000-86 ème Congrès annuel, Section technique, ATPPC 2000-86th Annual Meeting, PAPTAC Use of components of formation for predicting print quality and physical properties of newsprint Jean-Philippe Bernié,
More informationEstimation of the transmissmty of the Santiago aquifer, Chile, using different geostatistical methods
Groundwater Management: Quantity and Quality (Proceedings of the Benidorm Symposium, October 1989). IAHS Publ. no. 188,1989. Estimation of the transmissmty of the Santiago aquifer, Chile, using different
More informationNon-uniform consolidation around vertical drains installed in soft ground Consolidation non-uniforme autour de drains verticaux dans un sol faible
Non-uniform consolidation around vertical drains installed in soft ground Consolidation non-uniforme autour de drains verticaux dans un sol faible I.C. Pyrah, I.G.N. Smith & D. Hull Napier University,
More informationANNALES DE L I. H. P., SECTION C
ANNALES DE L I. H. P., SECTION C NICHOLAS J. KOREVAAR A priori interior gradient bounds for solutions to elliptic Weingarten equations Annales de l I. H. P., section C, tome 4, n o 5 (1987), p. 405-421
More informationOn a multivariate implementation of the Gibbs sampler
Note On a multivariate implementation of the Gibbs sampler LA García-Cortés, D Sorensen* National Institute of Animal Science, Research Center Foulum, PB 39, DK-8830 Tjele, Denmark (Received 2 August 1995;
More informationIMPROVED SUPPRESSION OF UNCORRELATED BACKGROUND NOISE WITH THE STSF TECHNIQUE
IMPROVED SUPPRESSION OF UNCORRELATED BACKGROUND NOISE WITH THE STSF TECHNIQUE J. Hald, K. Ginn To cite this version: J. Hald, K. Ginn. IMPROVED SUPPRESSION OF UNCORRELATED BACKGROUND NOISE WITH THE STSF
More informationTwo requirements for evaporation from natural surfaces. The atmospheric boundary layer. Vertical structure of the ABL. Bloc 1. Hydrologie quantitative
3.1 Introduction Figure 3.1 M1 SDE MEC558 Hydrologie continentale et ressources en eau Continental Hydrology and Water Resources Two requirements for evaporation from natural surfaces Bloc 1. Hydrologie
More informationSediment sampling in rivers and canals
Erosion and Sediment Transport Measurement (Proceedings of the Florence Symposium, June 1981). IAHS Publ. no. 133. Sediment sampling in rivers and canals H, S, S, SINGHAL, G. C, JOSHI & R. S. VERMA UP
More informationApplication of computational fluid dynamics to spray drying
Application of computational fluid dynamics to spray drying Simon Lo To cite this version: Simon Lo. Application of computational fluid dynamics to spray drying. Le Lait, INRA Editions, 2005, 85 (4-5),
More informationSediment yield and availability for two reservoir drainage basins in central Luzon, Philippines
Sediment Budgets (Proceedings of the Porto Alegre Symposium, December 1988). IAHS Publ. no. 174, 1988. Sediment yield and availability for two reservoir drainage basins in central Luzon, Philippines SUE
More informationRotation harmonics for a numerical diatomic potential
Le The for dans J. Physique 44 (1983) 12571262 NOVEMBRE 1983, 1 E 1257 Classification Physics Abstracts 31.00 Rotation harmonics for a numerical diatomic potential H. Kobeissi and M. Korek Faculty of Science,
More informationProposition of a general yield function in geomechanics
Proposition of a general yield function in geomechanics Siegfried Maïolino To cite this version: Siegfried Maïolino. Proposition of a general yield function in geomechanics. Comptes Rendus Mécanique, Elsevier
More informationA note on the moving hyperplane method
001-Luminy conference on Quasilinear Elliptic and Parabolic Equations and Systems, Electronic Journal of Differential Equations, Conference 08, 00, pp 1 6. http://ejde.math.swt.edu or http://ejde.math.unt.edu
More informationThe spectrum of an asymmetric annihilation process
The spectrum of an asymmetric annihilation process arxiv:1008.2134v1 [math.co] 12 Aug 2010 Arvind Ayyer 1 and Volker Strehl 2 1 Institut de Physique Théorique, C. E. A. Saclay, 91191 Gif-sur-Yvette Cedex,
More informationA Singularity-Free Method for the Time-Dependent Schrödinger Equation for Nonlinear Molecules
A Singularity-Free Method for the Time-Dependent Schrödinger Equation for Nonlinear Molecules A.D.Bandrauk a,, Hui-Zhong Lu a a Labo. de Chimie Théorique, Faculté des Sciences, Université de Sherbrooke,
More informationANNALES DE L I. H. P., SECTION C
ANNALES DE L I. H. P., SECTION C ARRIGO CELLINA GIOVANNI COLOMBO ALESSANDRO FONDA A continuous version of Liapunov s convexity theorem Annales de l I. H. P., section C, tome 5, n o 1 (1988), p. 2336.
More informationThe multi-terminal vertex separator problem : Complexity, Polyhedra and Algorithms
The multi-terminal vertex separator problem : Complexity, Polyhedra and Algorithms Youcef Magnouche To cite this version: Youcef Magnouche. The multi-terminal vertex separator problem : Complexity, Polyhedra
More informationDynamic simulation of the formation of granular media and study of their properties
8 ème Congrès Français de Mécanique Grenoble, 7-3 août 7 Dynamic simulation of the formation of granular media and study of their properties V. Mourzenko (), J.-F. Thovert () & P.M. Adler () () Laboratoire
More informationAn appraisal of the region of influence approach to flood frequency analysis
Hydrological Sciences Journal ISSN: 0262-6667 (Print) 2150-3435 (Online) Journal homepage: http://www.tandfonline.com/loi/thsj20 An appraisal of the region of influence approach to flood frequency analysis
More informationTHÈSE DE DOCTORAT. Barbara GRIS. Modular approach on shape spaces, sub-riemannian geometry and computational anatomy
NNT : 2016SACLN069 Université Paris-Saclay École Doctorale de Mathématiques Hadamard (EDMH, ED 574) Établissement d inscription : École Normale Supérieure de Paris-Saclay Laboratoires d accueil : Centre
More informationRAIRO. INFORMATIQUE THÉORIQUE
RAIRO. INFORMATIQUE THÉORIQUE HELMUT PRODINGER Analysis of an algorithm to construct Fibonacci partitions RAIRO. Informatique théorique, tome 18, n o 4 (1984), p. 387-394
More informationContrôle multi-objectifs d ordre réduit
Contrôle multi-objectifs d ordre réduit Christian Fischer To cite this version: Christian Fischer. Contrôle multi-objectifs d ordre réduit. Autre [cs.oh]. École Nationale Supérieure des Mines de Paris,
More informationTHÈSE présentée par :
UNIVERSITÉ DE STRASBOURG ÉCOLE DOCTORALE des Sciences de la Vie et de la Sante IGBMC - CNRS UMR 7104 - Inserm U 964 THÈSE présentée par : Amita SINGH soutenue le : 29 Septembre 2014 pour obtenir le grade
More informationActivity corrections for ionic equilibria in aqueous solutions MIAN S. SUN, DONALD K. HARRISS, AND VINCENT R. MAGNUSON
Activity corrections for ionic equilibria in aqueous solutions MIAN S. SUN, DONALD K. HARRISS, AND VINCENT R. MAGNUSON Departtnet~c ofchetnist,y, Ui~iucrsity of Mitrtzcsotcz, Dlrlrrth, MN 55812, U.S.A.
More informationTHE RESOLUTION OF SAFFARI S PHASE PROBLEM. Soit K n := { p n : p n (z) = n
Comptes Rendus Acad. Sci. Paris Analyse Fonctionnelle Titre français: Solution du problème de la phase de Saffari. THE RESOLUTION OF SAFFARI S PHASE PROBLEM Tamás Erdélyi Abstract. We prove a conjecture
More information