Skip to main content
Graph
Search
fr
|
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Lecture
Control of Speed
Graph Chatbot
Related lectures (32)
Previous
Page 1 of 4
Next
Programming the Thymio Robot
Covers programming the Thymio robot through simulation, remote access, and integration with Raspberry PI.
Introduction to LabVIEW Programming
Covers the basics of LabVIEW programming, focusing on Virtual Instruments and their applications in engineering projects.
Thymio Programming: Simulation and Remote Control
Explores simulating and remotely controlling the Thymio robot for various applications.
Educational Robotics: Thymio
Delves into the educational potential of robotics, focusing on programming Thymio for learning purposes.
Termination Analysis using Dependency Pairs
Explores automated termination analysis using dependency pairs, covering classical and modern techniques, annual competitions, and tools like AProVE.
Introduction to Robot Programming
Covers the essential components of a robot and various programming languages available for robots.
Event and Sequential Programming
Covers the differences between event programming and sequential programming.
Solving Tasks with Thymio
Focuses on programming with Thymio, solving problem-oriented tasks and assessing the robot's abilities.
Software Engineering Fundamentals
Introduces the fundamentals of software engineering, covering instruction processing, algorithms, programming languages, abstractions, testing, security, and open source.
Foundations of Software: Modeling Programming Languages
Covers the mathematical study of program behaviors, parsing, domain-specific languages, and powerful tools for language design.