Search:

Found 995 videos

Le Ubuntu Podcast - Hors Série  - Interview Scarlett Gately Clark by Les Interviews
03:38

Le Ubuntu Podcast - Hors Série - Interview Scarlett Gately Clark

Les Interviews   |   4 views   |   2019-06-03

Voir l'article lié : http://leubuntupodcast.org/hors-serie/hors-serie-le-interview-scarlett-clark/ Rencontre avec Scarlett Gately Clark à la #Ubucon de Pasadena pendant le #Scale14X 2016 Pour suivre Scarlett Clark c'est : http://scarlettgately...

French police dismiss a kidnapping and ransom case by Lionel Aubert
08:42

French police dismiss a kidnapping and ransom case

Lionel Aubert   |   3 views   |   2020-02-24

I, Lionel Aubert, was victim in a 2008 kidnapping and ransom payment case. Since 2012 prosecutor and police try to dismiss the case, using illegal means. Last action : in april 2014 my lock door was broken with policemen in front of my house. My c...

Bitcoin Unlimited Vs BSVers [Compressor Retake] by Main cryptoshoppe channel
04:37

Bitcoin Unlimited Vs BSVers [Compressor Retake]

Main cryptoshoppe channel   |   1 views   |   2019-09-20

Covers why Norway should have been removed on first BUIP. Retaliatory BUIPs and drama. Retaken version with compressor and new microphone.

Fight for Bitcoin Cash (BCH) Because it's Ours [Compressor Audio] by Main cryptoshoppe channel
06:28

Fight for Bitcoin Cash (BCH) Because it's Ours [Compressor Audio]

Main cryptoshoppe channel   |   1 views   |   2019-09-20

Why we must stand and fight for Bitcoin Cash (BCH). Bitcoin was always Libre Software Licensed under the MIT License. No one is taking it away from us, we will stand and fight for what we believe in. https://bitcoincashers.org/

ontodot  usage by cnngimenez_sw
65:11:35

ontodot usage

cnngimenez_sw   |   2 views   |   2020-03-22

ontodot is a SWI Prolog library. It creates a dot formatted graph from a Turtle (or RDF) file. This video shows how to load and use it to create the dot and a PNG file from a simple .ttl file. Repositories: - Bitbucket: https://bitbucket.o...

ontodot-el by cnngimenez_sw
62:32:30

ontodot-el

cnngimenez_sw   |   1 views   |   2020-03-22

ontodot-el usage example for Emacs. Repositories: - Bitbucket : https://bitbucket.org/cnngimenez/ontodot-el/ - Gitlab: https://gitlab.com/cnngimenez/ontodot-el ---- Listening at that moment: Law' - Terre de coluleurs (Lic. CC-By-SA) [...

So? Scientific or not? by La Philo en petits morceaux
04:14

So? Scientific or not?

La Philo en petits morceaux   |   1 views   |   2020-04-24

-> [Version française](https://videos.ahp-numerique.fr/videos/watch/85491958-378e-4f7e-a8b8-bcb63d4f6b34) La Philo en petits morceaux est une série de films d’animation sur des questions de philosophie des sciences à destination d'un public trè...

Dag Prawitz, Is there a general concept of proof? by Colloques et journées d'études
01:25:23

Dag Prawitz, Is there a general concept of proof?

Colloques et journées d'études   |   1 views   |   2020-04-22

Conférence plénière du 26 juillet - CLMPS 2011 / Plenary lecture, Tue. 26 July - CLMPS 2011 *Dag Prawitz, Stockholm University (Sweden)* Notions of formal proofs are usually proposed as attempts to capture truth or provability within a cert...

Huw Price, Retrocausality—what would it take? by Colloques et journées d'études
01:25:10

Huw Price, Retrocausality—what would it take?

Colloques et journées d'études   |   0 views   |   2020-04-22

Conférence plénière du 21 juillet - CLMPS 2011 / Plenary lecture, Thu. 21 July - CLMPS 2011 *Huw Price, Centre for Time, University of Sydney (Australia)* Some writers argue that retrocausality offers an attractive loophole in Bell’s Theorem...

Wilfrid Hodges, Tarski's vision and ours by Colloques et journées d'études
53:53

Wilfrid Hodges, Tarski's vision and ours

Colloques et journées d'études   |   0 views   |   2020-04-22

Conférence plénière du 19 juillet - CLMPS 2011 / Plenary lecture, Tue. 19 July - CLMPS 2011 *Wilfrid Hodges, Okehampton (UK)* The first International Congress of Logic, Methodology and Philosophy of Science took place in 1960. So this prese...

Jeremy Gray,  "The soul of the fact": Poincaré and proof by Colloques et journées d'études
01:27:13

Jeremy Gray, "The soul of the fact": Poincaré and proof

Colloques et journées d'études   |   2 views   |   2020-04-22

Conférence plénière du 25 juillet - CLMPS 2011 / Plenary lecture, Mon. 25 July - CLMPS 2011 *Jeremy Gray, The Open University (UK)* I argue that for Poincaré the uninteresting part of proof is rigour, and that the interesting part is the ro...

 Marco de Baar, Engineering technical artefacts and scientific instruments by Colloques et journées d'études
01:34:19

Marco de Baar, Engineering technical artefacts and scientific instruments

Colloques et journées d'études   |   1 views   |   2020-04-22

Conférence plénière du 23 juillet - CLMPS 2011 / Plenary lecture, Sat.. 23 July - CLMPS 2011 *Marco de Baar, FOM-Institute for Plasma Physics Rijnhuizen, Nieuwegein (The Netherlands).* In this paper a comparison is made between engineering a...