Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Solène Mirliaz"'
Publikováno v:
Frontiers in Psychology, Vol 12 (2021)
How do people learn to talk about the causal and temporal relations between events, and the motivation behind why people do what they do? The narrative practice hypothesis of Hutto and Gallagher holds that children are exposed to narratives that prov
Externí odkaz:
https://doaj.org/article/55914067fba7423f8aada50fdfed7b2a
Autor:
Anne-Laure Mealier, Gregoire Pointeau, Solène Mirliaz, Kenji Ogawa, Mark Finlayson, Peter F. Dominey
Publikováno v:
Frontiers in Psychology, Vol 8 (2017)
It has been proposed that starting from meaning that the child derives directly from shared experience with others, adult narrative enriches this meaning and its structure, providing causal links between unseen intentional states and actions. This wo
Externí odkaz:
https://doaj.org/article/c9595d31d4e94f5085e4d408215cd376
Publikováno v:
Lecture Notes in Computer Science
SAS 2022-29th International Symposium on Static Analysis
SAS 2022-29th International Symposium on Static Analysis, Dec 2022, Auckland, New Zealand. ⟨10.1007/978-3-031-22308-2_17⟩
Static Analysis ISBN: 9783031223075
SAS 2022-29th International Symposium on Static Analysis
SAS 2022-29th International Symposium on Static Analysis, Dec 2022, Auckland, New Zealand. ⟨10.1007/978-3-031-22308-2_17⟩
Static Analysis ISBN: 9783031223075
International audience; In this paper, we develop semantic foundations for precise cost analyses of programs running on architectures with multi-scalar pipelines and in-order execution with branch prediction. This model is then used to prove the corr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c4995c008f1a2f4a660bcbd67f336914
https://inria.hal.science/hal-03779257/document
https://inria.hal.science/hal-03779257/document
Autor:
Solène Mirliaz, David Pichardie
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030945824
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::86c8843dee602cfd40984ebbe309d6f5
https://doi.org/10.1007/978-3-030-94583-1_10
https://doi.org/10.1007/978-3-030-94583-1_10
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030034269
ISoLA (4)
ISoLA (4)
Simplicity is a Turing-incomplete typed combinator language for smart contracts with a formal semantics. The design of Simplicity makes it possible to statically estimate the resources (e.g., memory) required to execute contracts. Such a feature is h
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8e4aeb2cc7401755c8ee5faf50747af5
https://doi.org/10.1007/978-3-030-03427-6_31
https://doi.org/10.1007/978-3-030-03427-6_31
Autor:
Anne-Laure, Mealier, Gregoire, Pointeau, Solène, Mirliaz, Kenji, Ogawa, Mark, Finlayson, Peter F, Dominey
Publikováno v:
Frontiers in Psychology
It has been proposed that starting from meaning that the child derives directly from shared experience with others, adult narrative enriches this meaning and its structure, providing causal links between unseen intentional states and actions. This wo