Zobrazeno 1 - 10
of 1 577
pro vyhledávání: '"A. Bily"'
Refinement transforms an abstract system model into a concrete, executable program, such that properties established for the abstract model carry over to the concrete implementation. Refinement has been used successfully in the development of substan
Externí odkaz:
http://arxiv.org/abs/2311.14452
Autor:
Bily Nebié, Constantin M. Dabiré, Remy K. Bationo, Dieudonné D. Soma, Moussa Namountougou, Siaka Sosso, Roger C. H. Nebié, Roch K. Dabiré, Eloi Palé, Pierre Duez
Publikováno v:
Malaria Journal, Vol 23, Iss 1, Pp 1-11 (2024)
Abstract Background Essential oils of Cymbopogon citratus and Hyptis suaveolens are known for their insecticidal properties, but remain ineffective against mosquitoes resistant to synthetic insecticides. In order to improve insecticidal properties of
Externí odkaz:
https://doaj.org/article/0edff522317f429daf24e5283da27200
Autor:
Kostal, Michal, Losa1, Evzen, Schulc, Martin, Simon, Jan, Bily, Tomas, Rypar, Vojtech, Mareček, Martin, Uhlíř, Jan, Czakoj, Tomáš, Capote, Roberto, Trkov, Andrej, Simakov, Stanislav
Cross section data are fundamental quantities which affect the accuracy of all calculations in nuclear applications. A new dosimetry library IRDFF-II that contains cross section evaluations with full uncertainty quantification was developed by the In
Externí odkaz:
http://arxiv.org/abs/2306.09921
Autor:
Nebié, Bily1 (AUTHOR) bilynebie@yahoo.fr, Dabiré, Constantin M.1,2 (AUTHOR), Bationo, Remy K.2,3 (AUTHOR), Soma, Dieudonné D.4 (AUTHOR), Namountougou, Moussa4 (AUTHOR), Sosso, Siaka1 (AUTHOR), Nebié, Roger C. H.3 (AUTHOR), Dabiré, Roch K.4 (AUTHOR), Palé, Eloi2 (AUTHOR), Duez, Pierre5 (AUTHOR)
Publikováno v:
Malaria Journal. 11/11/2024, Vol. 23 Issue 1, p1-11. 11p.
Iteration is a programming operation that traditionally refers to visiting the elements of a data structure in sequence. However, modern programming systems such as Rust, Java, and C# generalise iteration far beyond the traditional use case. They all
Externí odkaz:
http://arxiv.org/abs/2210.09857
Autor:
Tichý, Miloš, Huml, Ondřej, Bílý, Tomáš, Losa, Evžen, Novák, Evžen, Jánský, Bohumil, Rejchrt, Jiří
Publikováno v:
In Applied Radiation and Isotopes December 2024 214
Autor:
Pranclova, Veronika, Nedvedova, Lenka, Kotounova, Eliska, Hönig, Vaclav, Dvorakova, Marketa, Davidkova, Marika, Bily, Tomas, Vancova, Marie, Ruzek, Daniel, Palus, Martin
Publikováno v:
In Microbes and Infection November-December 2024 26(8)
Publikováno v:
In Fusion Engineering and Design November 2024 208
Variants in IGLL1 cause a broad phenotype from agammaglobulinemia to transient hypogammaglobulinemia
Autor:
Soomann, Maarja, Bily, Viktor, Elgizouli, Magdeldin, Kraemer, Dennis, Akgül, Gülfirde, von Bernuth, Horst, Bloomfield, Markéta, Brodszki, Nicholas, Candotti, Fabio, Förster-Waldl, Elisabeth, Freiberger, Tomas, Giżewska, Maria, Klocperk, Adam, Kölsch, Uwe, Nichols, Kim E., Krüger, Renate, Oak, Ninad, Pac, Małgorzata, Prader, Seraina, Schmiegelow, Kjeld, Šedivá, Anna, Sogkas, Georgios, Stittrich, Anna, Stoltze, Ulrik Kristoffer, Theodoropoulou, Katerina, Wadt, Karin, Wong, Melanie, Zeyda, Maximillian, Pachlopnik Schmid, Jana, Trück, Johannes
Publikováno v:
In The Journal of Allergy and Clinical Immunology November 2024 154(5):1313-1324
Refinement transforms an abstract system model into a concrete, executable program, such that properties established for the abstract model carry over to the concrete implementation. Refinement has been used successfully in the development of substan
Externí odkaz:
http://arxiv.org/abs/2110.13559