Search for tag: "programming"

25 Media

WiFi web-client - This is Arduino #12 duration 5 minutes 49 seconds WiFi web-client - This is Arduino #12 WiFi web-client - This is Arduino #12	WiFi web-client - This is Arduino #12 WiFi communication; web-client; IoT sensing. … arduino +6 More From Maarten Lamers 0 likes 33 plays 0 Faculty and Departments Science Language English Creative Commons All Rights Reserved
WiFi web-server - This is Arduino #11 duration 6 minutes 45 seconds WiFi web-server - This is Arduino #11 WiFi web-server - This is Arduino #11	WiFi web-server - This is Arduino #11 WiFi communication; web-server; web-browser… arduino +5 More From Maarten Lamers 0 likes 29 plays 0 Faculty and Departments Science Language English Creative Commons All Rights Reserved
EEPROM - This is Arduino #10 duration 8 minutes 18 seconds EEPROM - This is Arduino #10 EEPROM - This is Arduino #10	EEPROM - This is Arduino #10 EEPROM memory; non-volatile memory. Part #10 of… arduino +2 More From Maarten Lamers 0 likes 30 plays 0 Faculty and Departments Science Language English Creative Commons All Rights Reserved
External interrupts - This is Arduino #9 duration 9 minutes 43 seconds External interrupts - This is Arduino #9 External interrupts - This is Arduino #9	External interrupts - This is Arduino #9 External interrupts; switch bouncing. Part #9 of… arduino +2 More From Maarten Lamers 0 likes 40 plays 0 Faculty and Departments Science Language English Creative Commons All Rights Reserved
Servo motor - This is Arduino #8 duration 5 minutes 23 seconds Servo motor - This is Arduino #8 Servo motor - This is Arduino #8	Servo motor - This is Arduino #8 Servo motor. Part #8 of video lecture… arduino +3 More From Maarten Lamers 0 likes 37 plays 0 Faculty and Departments Science Language English Creative Commons All Rights Reserved
Firmata - This is Arduino #7 duration 8 minutes 10 seconds Firmata - This is Arduino #7 Firmata - This is Arduino #7	Firmata - This is Arduino #7 Firmata libraries; using Firmata from Processing.… arduino +4 More From Maarten Lamers 0 likes 39 plays 0 Faculty and Departments Science Language English Creative Commons All Rights Reserved
Serial communication - This is Arduino #6 duration 18 minutes 14 seconds Serial communication - This is Arduino #6 Serial communication - This is Arduino #6	Serial communication - This is Arduino #6 Serial communication; serial monitor;… arduino +3 More From Maarten Lamers 0 likes 49 plays 0 Faculty and Departments Science Language English Creative Commons All Rights Reserved
Character-based LCD display - This is Arduino #5 duration 8 minutes 11 seconds Character-based LCD display - This is Arduino #5 Character-based LCD display - This is Arduino #5	Character-based LCD display - This is Arduino #5 Character-based LCD display. Part #5 of video… arduino +5 More From Maarten Lamers 0 likes 71 plays 0 Faculty and Departments Science Language English Creative Commons All Rights Reserved
Analog i/o - This is Arduino #4 duration 18 minutes 7 seconds Analog i/o - This is Arduino #4 Analog i/o - This is Arduino #4	Analog i/o - This is Arduino #4 Analog input and output; connecting a variable… arduino +6 More From Maarten Lamers 0 likes 78 plays 0 Faculty and Departments Science Language English Creative Commons All Rights Reserved
Digital i/o - This is Arduino #3 duration 15 minutes 57 seconds Digital i/o - This is Arduino #3 Digital i/o - This is Arduino #3	Digital i/o - This is Arduino #3 Digital input and output; connecting LEDs;… arduino +7 More From Maarten Lamers 0 likes 114 plays 0 Faculty and Departments Science Language English Creative Commons All Rights Reserved
Coding basics - This is Arduino #2 duration 11 minutes 19 seconds Coding basics - This is Arduino #2 Coding basics - This is Arduino #2	Coding basics - This is Arduino #2 Arduino development environment; coding basics;… arduino +5 More From Maarten Lamers 0 likes 112 plays 0 Faculty and Departments Science Language English Creative Commons All Rights Reserved
Introduction - This is Arduino #1 duration 8 minutes 41 seconds Introduction - This is Arduino #1 Introduction - This is Arduino #1	Introduction - This is Arduino #1 Introducing Arduino; different types; Wiring.… arduino +5 More From Maarten Lamers 0 likes 142 plays 0 Faculty and Departments Science Language English Creative Commons All Rights Reserved
Panel: Discussion of the future development of… duration 1 hour 0 minutes Panel: Discussion of the future development of… Panel: Discussion of the future development of methods inspired by relational and logic programming	Panel: Discussion of the future development of methods inspired by relational and logic programming TEASE-LP Session 2 Full logic +1 More From Henning Basold 0 likes 7 plays 0 Faculty and Departments Science Language English Creative Commons Attribution-ShareAlike
Vivek Nigam: A Proof Theory for Distributed… duration 37 minutes 7 seconds Vivek Nigam: A Proof Theory for Distributed… Vivek Nigam: A Proof Theory for Distributed Evidential Transactions	Vivek Nigam: A Proof Theory for Distributed Evidential Transactions TEASE-LP Session 2 Full logic +1 More From Henning Basold 0 likes 1 plays 0 Faculty and Departments Science Language English Creative Commons Attribution-ShareAlike
Olivier Hermant and James Lipton: Eliminating… duration 33 minutes 33 seconds Olivier Hermant and James Lipton: Eliminating… Olivier Hermant and James Lipton: Eliminating Cuts in HoiC	Olivier Hermant and James Lipton: Eliminating Cuts in HoiC TEASE-LP Session 2 Full logic +1 More From Henning Basold 0 likes 1 plays 0 Faculty and Departments Science Language English Creative Commons Attribution-ShareAlike
Uli Sattler: Description Logics and Ontology… duration 1 hour 53 minutes Uli Sattler: Description Logics and Ontology… Uli Sattler: Description Logics and Ontology Languages – an introduction and overview	Uli Sattler: Description Logics and Ontology Languages – an introduction and overview TEASE-LP Session 2 Full logic +1 More From Henning Basold 0 likes 37 plays 0 Faculty and Departments Science Language English Creative Commons Attribution-ShareAlike
Discussion Session, 28 May 2020 duration 39 minutes 24 seconds Discussion Session, 28 May 2020 Discussion Session, 28 May 2020	Discussion Session, 28 May 2020 Live session 1, full recording logic +1 More From Henning Basold 0 likes 10 plays 0 Faculty and Departments Science Language English Creative Commons Attribution-ShareAlike
Marco Maggesi and Enrico Tassi: Private types in… duration 22 minutes 28 seconds Marco Maggesi and Enrico Tassi: Private types in… Marco Maggesi and Enrico Tassi: Private types in Higher Order Logic Programming	Marco Maggesi and Enrico Tassi: Private types in Higher Order Logic Programming Live session 1, full recording logic +1 More From Henning Basold 0 likes 12 plays 0 Faculty and Departments Science Language English Creative Commons Attribution-ShareAlike
Dmitry Rozplokhas and Dmitry Boulytchev:… duration 23 minutes 5 seconds Dmitry Rozplokhas and Dmitry Boulytchev:… Dmitry Rozplokhas and Dmitry Boulytchev: Certified Semantics for Disequality Constraints	Dmitry Rozplokhas and Dmitry Boulytchev: Certified Semantics for Disequality Constraints Live session 1, full recording logic +1 More From Henning Basold 0 likes 13 plays 0 Faculty and Departments Science Language English Creative Commons Attribution-ShareAlike
Davide Ancona, Luca Franceschini, Angelo Ferrando… duration 34 minutes 18 seconds Davide Ancona, Luca Franceschini, Angelo Ferrando… Davide Ancona, Luca Franceschini, Angelo Ferrando and Viviana Mascardi: A SWI-Prolog based implementation of RML	Davide Ancona, Luca Franceschini, Angelo Ferrando and Viviana Mascardi: A SWI-Prolog based implementation of RML Live session 1, full recording logic +1 More From Henning Basold 0 likes 6 plays 0 Faculty and Departments Science Language English Creative Commons Attribution-ShareAlike
Dale Miller: Structural Proof Theory and Logic… duration 57 minutes 17 seconds Dale Miller: Structural Proof Theory and Logic… Dale Miller: Structural Proof Theory and Logic Programming	Dale Miller: Structural Proof Theory and Logic Programming Live session 1, full recording logic +1 More From Henning Basold 0 likes 58 plays 0 Faculty and Departments Science Language English Creative Commons Attribution-ShareAlike
Accelerating Program Synthesis in miniKanren duration 4 minutes 57 seconds Accelerating Program Synthesis in miniKanren Accelerating Program Synthesis in miniKanren	Accelerating Program Synthesis in miniKanren Lightning talk by Robert Zinkov, Michael… logic +1 More From Henning Basold 0 likes 55 plays Faculty and Departments Science Language English Creative Commons Attribution-ShareAlike
Relational Synthesis for Pattern Matching duration 4 minutes 20 seconds Relational Synthesis for Pattern Matching Relational Synthesis for Pattern Matching	Relational Synthesis for Pattern Matching Lightning talk by Dmitrii Kosarev and Dmitry… logic +1 More From Henning Basold 0 likes 18 plays Faculty and Departments Science Language English Creative Commons Attribution-ShareAlike
Binding-Time Analysis for miniKanren duration 4 minutes 44 seconds Binding-Time Analysis for miniKanren Binding-Time Analysis for miniKanren	Binding-Time Analysis for miniKanren Lightning talk by Ekaterina Verbitskaia, Irina… logic +1 More From Henning Basold 0 likes 27 plays Faculty and Departments Science Language English Creative Commons Attribution-ShareAlike
Supercompilation Strategies for miniKanren duration 4 minutes 56 seconds Supercompilation Strategies for miniKanren Supercompilation Strategies for miniKanren	Supercompilation Strategies for miniKanren Lightning talk by Maria Kuklina and Ekaterina… logic +1 More From Henning Basold 0 likes 15 plays Faculty and Departments Science Language English Creative Commons Attribution-ShareAlike