Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly

Autor: Andrès, Léo, Marques, Filipe, Carcano, Arthur, Chambart, Pierre, Santos, José Fragoso, Filliâtre, Jean-Christophe

Publikováno v: The Art, Science, and Engineering of Programming, 2025, Vol. 9, Issue 1, Article 3

In this paper, we present the design of Owi, a symbolic interpreter for WebAssembly written in OCaml, and how we used it to create a state-of-the-art tool to find bugs in programs combining C and Rust code. WebAssembly (Wasm) is a binary format for e

Externí odkaz: http://arxiv.org/abs/2412.06391

Non-recurrent Laryngeal Nerve During Intraoperative Neuromonitoring Thyroidectomy: A Case Report and Literature Review

Autor: Davide Inversini MD, Simone Gianazza MD, Matteo Annoni MD, Andrea Leotta MD, Dorotea Confalonieri MD, Enrico Ferri MD, Andrea Palillo MD, Andrea Vigezzi MD, Sabrina Garbarino MD, Giuseppe Ietto MD, Giulio Carcano Prof Dr

Publikováno v: Journal of Investigative Medicine High Impact Case Reports, Vol 12 (2024)

Complete and precise knowledge of the neck anatomy and its eventual anomalies is crucial while performing a safe thyroid and parathyroid surgery. Embryo-genetic malformations of the IV branchial arch can lead to an uncommon anatomical alteration know

Externí odkaz: https://doaj.org/article/7b972310ee804517be1c8eaf786f8fae

Transcriptome- and proteome-wide association studies identify genes associated with renal cell carcinoma

Autor: Purdue, Mark P., Dutta, Diptavo, Machiela, Mitchell J., Gorman, Bryan R., Winter, Timothy, Okuhara, Dayne, Cleland, Sara, Ferreiro-Iglesias, Aida, Scheet, Paul, Liu, Aoxing, Wu, Chao, Antwi, Samuel O., Larkin, James, Zequi, Stênio C., Sun, Maxine, Hikino, Keiko, Hajiran, Ali, Lawson, Keith A., Cárcano, Flavio, Blanchet, Odile, Shuch, Brian, Nepple, Kenneth G., Margue, Gaëlle, Sundi, Debasish, Diver, W. Ryan, Folgueira, Maria A.A.K., van Bokhoven, Adrie, Neffa, Florencia, Brown, Kevin M., Hofmann, Jonathan N., Rhee, Jongeun, Yeager, Meredith, Cole, Nathan R., Hicks, Belynda D., Manning, Michelle R., Hutchinson, Amy A., Rothman, Nathaniel, Huang, Wen-Yi, Linehan, W. Marston, Lori, Adriana, Ferragu, Matthieu, Zidane-Marinnes, Merzouka, Serrano, Sérgio, Magnabosco, Wesley J., BioBank Japan Project Consortium, Vilas, Ana, Decia, Ricardo, Carusso, Florencia, Graham, Laura S., Anderson, Kyra, Bilen, Mehmet A., Arciero, Cletus, Pellegrin, Isabelle, Ricard, Solène, FinnGen, Scelo, Ghislaine, Banks, Rosamonde E., Vasudev, Naveen S., Soomro, Naeem, Stewart, Grant D., Adeyoju, Adebanji, Bromage, Stephen, Hrouda, David, Gibbons, Norma, Patel, Poulam, Sullivan, Mark, Protheroe, Andrew, Nugent, Francesca I., Fournier, Michelle J., Zhang, Xiaoyu, Martin, Lisa J., Komisarenko, Maria, Eisen, Timothy, Cunningham, Sonia A., Connolly, Denise C., Uzzo, Robert G., Zaridze, David, Mukeria, Anush, Holcatova, Ivana, Hornakova, Anna, Foretova, Lenka, Janout, Vladimir, Mates, Dana, Jinga, Viorel, Rascu, Stefan, Mijuskovic, Mirjana, Savic, Slavisa, Milosavljevic, Sasa, Gaborieau, Valérie, Abedi-Ardekani, Behnoush, McKay, James, Johansson, Mattias, Phouthavongsy, Larry, Hayman, Lindsay, Li, Jason, Lungu, Ilinca, Bezerra, Stephania M., de Souza, Aline G., Sares, Claudia T.G., Reis, Rodolfo B., Gallucci, Fabio P., Cordeiro, Mauricio D., Pomerantz, Mark, Lee, Gwo-Shu M., Freedman, Matthew L., Jeong, Anhyo, Greenberg, Samantha E., Sanchez, Alejandro, Thompson, R. Houston, Sharma, Vidit, Thiel, David D., Ball, Colleen T., Abreu, Diego, Lam, Elaine T., Nahas, William C., Master, Viraj A., Patel, Alpa V., Bernhard, Jean-Christophe, Freedman, Neal D., Bigot, Pierre, Reis, Rui M., Colli, Leandro M., Finelli, Antonio, Manley, Brandon J., Terao, Chikashi, Choueiri, Toni K., Carraro, Dirce M., Houlston, Richard, Eckel-Passow, Jeanette E., Abbosh, Philip H., Ganna, Andrea, Brennan, Paul, Gu, Jian, Chanock, Stephen J., Guo, Xinyu, Winter, Timothy D., Jahagirdar, Om, Ha, Eunji, Susztak, Katalin

Publikováno v: In The American Journal of Human Genetics 5 September 2024 111(9):1864-1876

Immune-checkpoint gene expression and BCG response in non-muscle invasive bladder cancer

Autor: Zucca, Luis Eduardo Rosa, Laus, Ana Carolina, Sorroche, Bruna Pereira, Paro, Eduarda, Sussuchi, Luciane, Marques, Rui Ferreira, Teixeira, Gustavo Ramos, Berardinelli, Gustavo Noriz, Arantes, Lidia Maria Rebolho Batista, Reis, Rui Manuel, Cárcano, Flavio Mavignier

Publikováno v: In Translational Oncology August 2024 46

Sul paradigma costituzionalista. Una discussione a partire dal libro Norme, giudici e Stato costituzionale. Frammenti di un modello giuridico

Autor: Annachiara Carcano

Publikováno v: Democrazia e Diritti Sociali, Vol 2023, Iss 2, Pp 105-116 (2023)

The main purpose of the present contribution is to analyse the constitutional paradigm from the book Norme, giudici e Stato costituzionale which, thru the study of the historic evolution of the concepts of Rule of Law and Constitution, outlines the o

Externí odkaz: https://doaj.org/article/9a991cabd9dd40139c2fcfd19f0c4d94