Authors: Gotlieb, Arnaud
Contributors: Logiciel : ANalyse et DEveloppement (Lande), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria), INRIA
Superior Title: https://inria.hal.science/inria-00071776 ; [Research Report] RR-4810, INRIA. 2003.
Subject Terms: AUTOMATED SOFTWARE TESTING, SYMMETRY, GROUP THEORY, SYMMETRIC TESTING, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]
Relation: Report N°: RR-4810; inria-00071776; https://inria.hal.science/inria-00071776; https://inria.hal.science/inria-00071776/document; https://inria.hal.science/inria-00071776/file/RR-4810.pdf
Contributors: Institut de Recherche Mathématique Avancée (IRMA), Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS), Dipartimento di Ingegneria Benevento, Università degli Studi del Sannio, Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)
Superior Title: ISSN: 0195-6698.
Subject Terms: Finitely generated graph, pushdown automaton, Word Problem, context-free group, ends of a graph, monadic second-order logic, tiling problems, cellular automata, 03D05 20F05 20F10 20F65 20F69 37B15 68Q70 68Q80, [MATH.MATH-GR]Mathematics [math]/Group Theory [math.GR], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1201.3108; hal-00737451; https://hal.science/hal-00737451; ARXIV: 1201.3108
Authors: Fiorenzi, Francesca
Contributors: Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)
Superior Title: ISSN: 0218-1967.
Subject Terms: [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS], [MATH.MATH-GR]Mathematics [math]/Group Theory [math.GR]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1402.3448; hal-01119188; https://hal.science/hal-01119188; ARXIV: 1402.3448
Authors: Refaat, S., Herve, Jm, Nahavandi, S., Trinh, H.
Contributors: Simplex Pty Ltd, Melbourne, Laboratoire de mécanique des sols, structures et matériaux (MSSMat), CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Geelong, Deakin University Burwood
Superior Title: ISSN: 0997-7538 ; European Journal of Mechanics - A/Solids ; https://hal.science/hal-00116584 ; European Journal of Mechanics - A/Solids, 2006, 25, pp.550-558.
Subject Terms: overconstrained mechanisms, asymmetric parallel-kinematics mechanisms, rotational-translational mechanisms, three-DOFs PKMs, Lie group theory, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]
Relation: hal-00116584; https://hal.science/hal-00116584
Availability: https://hal.science/hal-00116584
Authors: Karouia, M., Hervé, Jm
Contributors: CHU Pitié-Salpêtrière AP-HP, Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Sorbonne Université (SU), Laboratoire de mécanique des sols, structures et matériaux (MSSMat), CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)
Superior Title: ISSN: 0997-7538 ; European Journal of Mechanics - A/Solids ; https://hal.science/hal-00126114 ; European Journal of Mechanics - A/Solids, 2005, 24 (1), pp.47-57. ⟨10.1016/j.euromechsol.2004.10.001⟩.
Subject Terms: Spherical parallel mechanisms, Non-overconstrained, Asymmetrical structural types, Group theory, Synthesis method, [SPI.MECA]Engineering Sciences [physics]/Mechanics [physics.med-ph]
Relation: hal-00126114; https://hal.science/hal-00126114
Contributors: Dept Tool & Die Making, Natl Kaohsiung Univ Appl Sci, Laboratoire de mécanique des sols, structures et matériaux (MSSMat), CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)
Superior Title: ISSN: 0954-4062.
Subject Terms: discontinuously movable (DM) mechanism, discontinuous mobility, bifurcation, manifold, group theory, Lie group algebraic structure, displacement set, [SPI.MECA.GEME]Engineering Sciences [physics]/Mechanics [physics.med-ph]/Mechanical engineering [physics.class-ph]
Relation: hal-00114944; https://hal.science/hal-00114944
Availability: https://hal.science/hal-00114944