Zobrazeno 1 - 10
of 12
pro vyhledávání: '"Jean-Vincent Loddo"'
Autor:
Jean-Vincent Loddo, Rushed Kanawati
Publikováno v:
2022 20th International Conference on Information Technology Based Higher Education and Training (ITHET).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::50c2b7687e8bf6e3af24355a7f3b1da7
https://doi.org/10.1109/ithet56107.2022.10031755
https://doi.org/10.1109/ithet56107.2022.10031755
Autor:
Jean-Vincent Loddo, Rushed Kanawati
Publikováno v:
Online-Labs in Education ISBN: 9783957104106
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a2a34474e7d3f76ea6c85aeb0b9da033
https://doi.org/10.5771/9783957104106-491
https://doi.org/10.5771/9783957104106-491
Autor:
Sylvie Alayrangues, Emmanuel Beffara, Sébastien Daniel, Christophe Declercq, Anne Héam, Jean-Vincent Loddo, Philippe Marquet, Jean-Christophe Masseron, Antoine Meyer, Malika More, Florence Nény, Vincent Pantaloni, Gaëtan Perrin, Cécile Prouteau, Georges Saliba, Sylviane Schwer, Fabien Tarissan, Chloé Ubera, Jean-Marc Vincent, Emmanuel Volte
Publikováno v:
Repères IREM
Repères IREM, IREM, 2019, 116, pp.47-81
Repères IREM, 2019, 116, pp.47-81
HAL
Repères IREM, IREM, 2019, 116, pp.47-81
Repères IREM, 2019, 116, pp.47-81
HAL
National audience; Nous proposons une analyse critique de l’ensemble des exercices de l’épreuve de mathématiques 2017 du brevet ayant trait au thème « Algorithmique et programmation » du programme de cycle 4. Certains de ces exercices ne met
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::440cf4a5e522564bc435e13be644b0ba
https://hal.archives-ouvertes.fr/hal-02077738v2/file/2019-06-13-c3i-brevet.pdf
https://hal.archives-ouvertes.fr/hal-02077738v2/file/2019-06-13-c3i-brevet.pdf
Publikováno v:
ITHET
In this paper, we present Marionnet, a virtual network laboratory, and how it can be used in distance education (MOOC, SPOC and eLearning classes) to implement practical activities in network classes that should normally require students to have acce
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7d74e36aea7b04b2ab7cb475e149076e
https://doi.org/10.1109/ithet.2015.7218043
https://doi.org/10.1109/ithet.2015.7218043
Autor:
Jean-Vincent Loddo, Luca Saiu
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642141270
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c49a99ceeae47e09af6de08f565bb163
https://doi.org/10.1007/978-3-642-14128-7_10
https://doi.org/10.1007/978-3-642-14128-7_10
Publikováno v:
Proceedings of the First International ICST Conference on Simulation Tools and Techniques for Communications Networks and Systems.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4aee16bd7920d553aabb61b12a19fb22
https://doi.org/10.4108/icst.simutools2008.3102
https://doi.org/10.4108/icst.simutools2008.3102
Autor:
Roberto Di Cosmo, Jean-Vincent Loddo
Publikováno v:
Logic for Programming and Automated Reasoning ISBN: 9783540412854
LPAR
LPAR
Alpha-Beta is a well known optimized algorithm used to compute the values of classical combinatorial games, like chess and checkers. The known proofs of correctness of Alpha-Beta do rely on very specific properties of the values used in the classical
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ef71ca4be849db2071b043d5ee7a00a3
https://doi.org/10.1007/3-540-44404-1_14
https://doi.org/10.1007/3-540-44404-1_14
Autor:
Luca Saiu, Jean-Vincent Loddo
Publikováno v:
ML
A virtual network laboratory -allowing to emulate a physical network of computers and network devices such as switches or routers in software- represents a valuable tool for students, and may also be useful to researchers and system administrators. A
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::908879e1b2e831811b1b145c6430cf3c
https://doi.org/10.1145/1292535.1292545
https://doi.org/10.1145/1292535.1292545
Publikováno v:
Theoretical Aspects of Computing – ICTAC 2007 ISBN: 9783540752905
ICTAC
ICTAC
We present a new programming approach based on a contextual component specification. The language we propose integrates XML and functional aspects in a coherent and homogeneous framework. This enables us to fully have static typing and to specify for
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2180e5598980d78bcc3a92523da20812
https://doi.org/10.1007/978-3-540-75292-9_10
https://doi.org/10.1007/978-3-540-75292-9_10
Publikováno v:
Principles of Declarative Programming ISBN: 9783540650126
PLILP/ALP
PLILP/ALP
We introduce a semantics of Logic Programming based on an classical Game Theory, which is proven to be sound and complete w.r.t. the traditional operational semantics and Negation as Failure. This game semantics is based on an abstract reformulation
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::095f0a833925bc5e5a03be377803d040
https://doi.org/10.1007/bfb0056626
https://doi.org/10.1007/bfb0056626