topic collection
Machines
2016 Documentary film directed by Rahul Jain
51 entities
29 domains
Research_Institute
6Institute of Mathematical Machines
Organization
research institute in Warsaw, Poland
Institute of Mathematical Machines and Systems
Organization
research institute in Kyiv, Ukraine
Georgia Institute of Technology Center for Robotics and Intelligent Machines
Organization
Institute of Electronic Control Machines
Organization
Russian (formerly Soviet) computer research institute
International Institute of Molecular Mechanisms and Machines, Polish Academy of Sciences
Organization
research institute in Poland
Research Institute for Mathematical Machines
Organization
Czechoslovak research institute
Business
4Singer Corporation
Organization
American manufacturer of sewing machines and Consumer Electronics
Olivetti
Organization
Italian manufacturer of computers, tablets, smartphones, printers and other such business products as calculators and fax machines
Konica
Organization
Japanese manufacturer of film, film cameras, camera accessories, photographic and photo-processing equipment, photocopiers, fax machines and laser printers
UGo Smoothies
Organization
Montreal food tech startup developing automated smoothie vending machines, founded 2015
Nova_C
4Intuitive Machines-1
Vehicle
lunar lander built by Intuitive Machines targeting the Malapert-A crater on the Moon
Intuitive Machines-2
Vehicle
lunar lander built by Intuitive Machines targeting the lunar south pole
Intuitive Machines-3
Vehicle
lunar lander built by Intuitive Machines targeting the Reiner Gamma region on the Moon
IM-C1
Vehicle
Intuitive Machines-Commercial 1
Video_Game_Developer
3Programming_Language
3Unified Parallel C
Place
extension of the C programming language designed for high-performance computing on large-scale parallel machines
Stateflow
Place
control logic tool used to model reactive systems via state machines and flow charts within a Simulink model
Abstract State Machine Language
Place
programming language based on the Abstract State Machines formal method