Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Les Jaquet-Droz et Leschot occupent une place de choix dans la mémoire collective neuchâteloise. L’histoire mythifiée des trois mécaniciens chaux-de-fonniers – Pierre Jaquet-Droz, son fils Henry-Louis et leur ami et collaborateur Jean-Frédéric Leschot – participe encore aujourd’hui à la définition du savoir-faire horloger comme une aptitude technique propre à l’Arc jurassien. Alors que tant a été écrit sur ces horlogers du XVIIIe siècle, éminents s’il en est, deux enjeux balisent le présent travail : renouveler le regard porté sur ce trio mécanicien et analyser les sphères d’activités qui caractérisent leurs parcours. De la figure du génie mécanique montagnard à l’image d’Épinal de l’horloger, acteurs isolés au sein d’un contexte idéalisé et non problématisé, les Jaquet-Droz et Leschot envahissent tous les champs de l’histoire en devenant les figures tutélaires de l’horlogerie neuchâteloise. Au sein de cette composition historiographique, les automates occupent une place prépondérante. Déjà au XVIIIe siècle, les enjeux dont ils sont les porte-paroles motivent des commentaires aux orientations diverses : elles ont trait au domaine technique et commercial, à la sphère philosophique et au champ épistémologique. Forte d’une réputation technique fondée sur les automates notamment, la maison Jaquet-Droz prospère et se développe en ouvrant des ateliers à Londres puis à Genève. Ceux-ci deviennent des acteurs importants de la production de mécaniques de luxes où sous-traitance et adaptabilité sont les mots-clés qui permettent de se faire un nom sur la place, quitte à l’effacer de ses propres pièces pour favoriser la vente de la marchandise. À l’image de la production, la vente se réalise sur l’échelle internationale pour toucher, notamment, un marché riche en symboles : la Chine. Pour survivre, notamment en situation de crise, la maison doit aussi adapter son écoulement et laisse ainsi entrevoir les stratégies nécessaires à mettre en œuvre pour s’implanter durablement dans le commerce international. Une polyphonie de définitions permet de mieux circonscrire le rôle et la place de l’horloger au XVIIIe siècle, à l’aune d’activités qui dépassent le seul intérêt économique. À travers la fabrication de prothèses anatomiques ou la participation aux activités de la Société des Arts de Genève, la mécanique devient un outil mis au service de la collectivité et vient ainsi contrecarrer les propos parfois réducteurs émis au sujet de l’inutilité des automates. À travers un corpus forcément à géométrie variable qui donne une image plus nuancée du parcours des trois hommes, cette étude souhaite replacer les Jaquet-Droz et Leschot dans le contexte qui est leur et évoquer les enjeux multiples qu’ils rendent visibles.

horlogerie --- automates --- luxe --- Chine --- commerce --- sous-traitance --- réseaux --- mobilité

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Automata theory lies at the foundation of computer science, and is vital to a theoretical understanding of how computers work and what constitutes formal methods. This treatise gives a rigorous account of the topic and illuminates its real meaning by looking at the subject in a variety of ways. The first part of the book is organised around notions of rationality and recognisability. The second part deals with relations between words realised by finite automata, which not only exemplifies the automata theory but also illustrates the variety of its methods and its fields of application. Many exercises are included, ranging from those that test the reader, to those that are technical results, to those that extend ideas presented in the text. Solutions or answers to many of these are included in the book.

Machine theory --- Automates mathématiques, Théorie des --- Machine theory. --- Automata theory. --- Automata math. --- Formal language. --- Automates mathématiques, Théorie des --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics --- Informatique --- Computer science --- Mathématiques --- Computer science. --- Mathématiques --- Automates abstraits

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Automata, languages, and machines

Computer science --- Sequential machine theory --- Formal languages --- Théorie des machines séquentielles --- Langages formels --- ELSEVIER-B EPUB-LIV-FT --- Formal languages. --- Sequential machine theory. --- Automata --- Machine theory. --- Abstract automata --- Abstract machines --- Mathematical machine theory --- Algorithms --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics --- Finite automata --- Finite state machines (Machine theory) --- Machine theory --- Electronic digital computers --- 519.713 --- 519.713 Automata --- Automates abstraits --- Automates finis

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Several of the contributions to this volume bring forward many mutually beneficial interactions and connections between the three domains of the title. Developing them was the main purpose of the NATO ASI summerschool held in Montreal in 2003. Although some connections, for example between semigroups and automata, were known for a long time, developing them and surveying them in one volume is novel and hopefully stimulating for the future. Another aspect is the emphasis on the structural theory of automata that studies ways to construct big automata from small ones. The volume also has contributions on top current research or surveys in the three domains. One contribution even links clones of universal algebra with the computational complexity of computer science. Three contributions introduce the reader to research in the former East block.

Abstract automata --- Abstract machines --- Algebra [Multiple ] --- Algebra [Universal ] --- Algebra [Universele ] --- Algèbre universelle --- Automata --- Automates [Théorie des ] --- Automates mathématiques [Théorie des ] --- Machine theory --- Machines [Théorie des ] --- Mathematical machine theory --- N-way algebra --- Semigroup algebras --- Théorie des automates mathématiques --- Théorie des machines --- Universal algebra --- Universele algebra --- Wiskundige automaten [Theorie van de ] --- Algebra, Universal. --- Semigroup algebras. --- Machine theory. --- Algèbres de semi-groupes --- Automates mathématiques, Théorie des --- Algebra, Universal --- Mathematics --- Physical Sciences & Mathematics --- Algebra --- Algèbre universelle --- Algèbres de semi-groupes --- Automates mathématiques, Théorie des --- EPUB-LIV-FT LIVMATHE SPRINGER-B --- Algebras, Semigroup --- Algebra, Multiple --- Multiple algebra --- Mathematics. --- Algebra. --- Group theory. --- General Algebraic Systems. --- Group Theory and Generalizations. --- Algorithms --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics --- Algebra, Abstract --- Numbers, Complex --- Groups, Theory of --- Substitutions (Mathematics) --- Mathematical analysis --- Structural theory

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Lego robots! Mindstorms are sweeping the world and fans need to learn how to programme them Lego Mindstorms are a new generation of Lego Robots that can be manipulated using microcomputers, light and touch sensors, an infrared transmitter and CD-ROMs. Since Lego launched Lego Mindstorms in late 1998 sales have skyrocketed - with no sign of slowing down. Mindstorms have captured the imagination of adults and children alike, creating a subculture of Mindstorm enthusiasts around the world. The kits are now a staple part of engineering and computer science classes at many high profile Universi

LEGO toys. --- Robots --- Toys --- Automata --- Automatons --- Robotics --- Manipulators (Mechanism) --- Mecha (Vehicles) --- Design and construction --- Programming. --- Information Technology --- General and Others --- Computer programming. --- Automates --- LEGO (jouets) --- Programmation (Informatique) --- Design and construction. --- Conception et construction