Zobrazeno 1 - 10
of 192
pro vyhledávání: '"Nivelle, P."'
Autor:
de Nivelle, Hans, Muktubayeva, Dina
Publikováno v:
EPTCS 370, 2022, pp. 66-80
We introduce flat automata for automatic generation of tokenizers. Flat automata are a simple representation of standard finite automata. Using the flat representation, automata can be easily constructed, combined and printed. Due to the use of borde
Externí odkaz:
http://arxiv.org/abs/2209.10313
Publikováno v:
Tracés, Vol 44, Pp 81-108 (2023)
What does war do to journalism and what does journalism do to/with this paroxysmal, multi-dimensional crisis that is war? Two seasoned women reporters share their experience and their analysis of what it means to “cover” a conflict: under what co
Externí odkaz:
https://doaj.org/article/5bc95deaedbf492e9e208e933f7b0eae
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Ratish Raman, Mishal Antony, Renaud Nivelle, Arnaud Lavergne, Jérémie Zappia, Gustavo Guerrero-Limón, Caroline Caetano da Silva, Priyanka Kumari, Jerry Maria Sojan, Christian Degueldre, Mohamed Ali Bahri, Agnes Ostertag, Corinne Collet, Martine Cohen-Solal, Alain Plenevaux, Yves Henrotin, Jörg Renn, Marc Muller
Publikováno v:
Biomolecules, Vol 14, Iss 2, p 139 (2024)
Zebrafish are now widely used to study skeletal development and bone-related diseases. To that end, understanding osteoblast differentiation and function, the expression of essential transcription factors, signaling molecules, and extracellular matri
Externí odkaz:
https://doaj.org/article/78cfff8c73c744fda35fddfabe9b0dbe
Autor:
de Nivelle, Hans
Publikováno v:
Logical Methods in Computer Science, Volume 14, Issue 4 (December 11, 2018) lmcs:3179
In our implementation of geometric resolution, the most costly operation is subsumption testing (or matching): One has to decide for a three-valued, geometric formula, if this formula is false in a given interpretation. The formula contains only atom
Externí odkaz:
http://arxiv.org/abs/1703.02830
Autor:
My Hanh Tran, Thi Van Anh Nguyen, Hoang Giang Do, Trung Kien Kieu, Thi Kim Thanh Nguyen, Hong Diep Le, Gustavo Guerrero-Limon, Laura Massoz, Renaud Nivelle, Jérémie Zappia, Hai The Pham, Lai Thanh Nguyen, Marc Muller
Publikováno v:
PLoS ONE, Vol 18, Iss 11, p e0294048 (2023)
Evaluating the risks and benefits of using traditional medicinal plants is of utmost importance for a huge fraction of the human population, in particular in Northern Vietnam. Zebrafish are increasingly used as a simple vertebrate model for testing t
Externí odkaz:
https://doaj.org/article/62f9094ce1e84ce4ba0051661e7211b9
Autor:
Hans De Nivelle
Publikováno v:
Моделирование и анализ информационных систем, Vol 28, Iss 4, Pp 414-433 (2021)
We present a tableaux procedure that checks logical relations between recursively defined subtypes of recursively defined types and apply this procedure to the problem of resolving ambiguous names in a programming language. This work is part of a pro
Externí odkaz:
https://doaj.org/article/6a284193d5574a92abe031c75585bb6b
Autor:
Nellya Amoussou, Thomas Lecocq, Camille Fourrier, Renaud Nivelle, Clémentine Fleck, Pascal Fontaine, Alain Pasquet, Marielle Thomas
Publikováno v:
Aquaculture Reports, Vol 27, Iss , Pp 101349- (2022)
Polyculture offers an alternative to monoculture in recirculated aquaculture systems (RAS). Nevertheless, RAS polyculture can potentially result in beneficial as well as detrimental consequences. This places a premium on assessing consequences of a p
Externí odkaz:
https://doaj.org/article/28a6c6b7d2624c39ac7965ba914da3e7
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.