نتائج البحث

Modular design of solar-powered photocathodic metal protection device

• Authors : Hui Xie; Lilac Amirav; Zheng Xing

Subjects: Modular design; Optoelectronic materials; Energy conversion

• Source: Carbon Neutrality, Vol 2, Iss 1, Pp 1-10 (2023)

تفاصيل العنوان

Design and manufacturing of a hip joint motion simulator with a novel modular design approach

• Authors : Torabnia, Shams; LazoÄŸlu, Ä°smail; Mihçin, Åženay

Subjects: Hip joint motion simulator; Multidisciplinary design; Modular design

تفاصيل العنوان

Modular Design of Image Based Visual Servo Control for Dynamic Mechanical Systems

Subjects: Conference paper

• Source: International Symposium on Robotics Research (ISRR 2011) proceedings

تفاصيل العنوان

Modular Design of Domain-Specific Languages using Splittings of Catamorphisms

• Authors : Badouel, Eric; Djeumen Djatcha, Rodrigue;

Subjects: Abstract Syntax Trees; Catamorphisms; Bekic's TheoremStellenbosch; South Africa

• Source: ICTAC 2018 - 15th International Colloquium on the Theoretical Aspects of Computing ; https://hal.inria.fr/hal-01919423 ; ICTAC 2018 - 15th International Colloquium on the Theoretical Aspects of

تفاصيل العنوان

Modular Verification of JML Contracts Using Bounded Model Checking

• Authors : Beckert, Bernhard; Kirsten, Michael; Klamroth, Jonas

Subjects: Software verification; Modular design; Design by contract

• Source: ISSN: 1611-3349.

تفاصيل العنوان

Formal Property-Oriented Design of Voting Rules Using Composable Modules

• Authors : Diekhoff, Karsten; Kirsten, Michael; Krämer, Jonas

Subjects: Social choice; Formal correctness; Modular design

تفاصيل العنوان

Modular Design of Image Based Visual Servo Control for Dynamic Mechanical Systems

• Authors : Mahony, Robert

Subjects: Flagstaff USA

• Source: International Symposium on Robotics Research (ISRR 2011) proceedings

تفاصيل العنوان

Theoretical Analysis of the Relationships Between Modularity in Design and Modularity in Production

• Authors : Paulo A. Cauchick-Miguel; Juliana Hsuan; Flávio Issao Kubota

Subjects: Engineering; Process management; Automotive industry

• Source: International Journal of Advanced Manufacturing Technology. 89(5-8):1943-1958

تفاصيل العنوان

Galois Connections for Recursive Types

• Authors : Al-Sibahi, Ahmad Salim; Jensen, Thomas P.; Møgelberg, Rasmus Ejlers

• Source: Al-Sibahi , A S , Jensen , T P , Møgelberg , R E & Wasowski , A 2020 , Galois Connections for Recursive Types . in From Lambda Calculus to Cybersecurity Through Program Analysis .

تفاصيل العنوان

Modular field robots for extraterrestrial exploration

Subjects: mobile robots; Robot motion; Uncrewed autonomous vehicles

• Source: Advances in Astronautics Science and Technology

تفاصيل العنوان