Zobrazeno 1 - 10
of 2 873
pro vyhledávání: '"Linard, A."'
In environments like offices, the duration of a robot's navigation between two locations may vary over time. For instance, reaching a kitchen may take more time during lunchtime since the corridors are crowded with people heading the same way. In thi
Externí odkaz:
http://arxiv.org/abs/2403.03727
Autor:
Hoessly, Linard
Bayesian networks are widely utilised in various fields, offering elegant representations of factorisations and causal relationships. We use surjective functions to reduce the dimensionality of the Bayesian networks by combining states and study the
Externí odkaz:
http://arxiv.org/abs/2402.05513
We study stationary distributions in the context of stochastic reaction networks. In particular, we are interested in complex balanced reaction networks and reduction of such networks by assuming a set of species (called non-interacting species) are
Externí odkaz:
http://arxiv.org/abs/2402.02276
Stationary distributions of continuous time Markov chains (CTMCs) are often a main interest, but hard to find. We consider CTMCs modelling reaction networks, and characterise complex balanced distributions (provided they exist) of reaction networks w
Externí odkaz:
http://arxiv.org/abs/2301.04091
Autor:
Arquint, Linard, Wolf, Felix A., Lallemand, Joseph, Sasse, Ralf, Sprenger, Christoph, Wiesner, Sven N., Basin, David, Müller, Peter
We provide a framework consisting of tools and metatheorems for the end-to-end verification of security protocols, which bridges the gap between automated protocol verification and code-level proofs. We automatically translate a Tamarin protocol mode
Externí odkaz:
http://arxiv.org/abs/2212.04171
Security protocols are essential building blocks of modern IT systems. Subtle flaws in their design or implementation may compromise the security of entire systems. It is, thus, important to prove the absence of such flaws through formal verification
Externí odkaz:
http://arxiv.org/abs/2212.02626
Publikováno v:
Fineduca, Vol 14 (2024)
Este artigo analisa os fatores políticos e históricos que levaram ao aumento da importância do rateio da cota parte municipal do ICMS vinculado a indicadores educacionais no estado do Ceará. Caracteriza-se como um estudo qualitativo, de natureza
Externí odkaz:
https://doaj.org/article/53676bff58e34985bbee6dff3eab1693
Autor:
Amico, Patrizia, Aubert, John-David, Banz, Vanessa, Beckmann, Sonja, Beldi, Guido, Berger, Christoph, Berishvili, Ekaterine, Berzigotti, Annalisa, Binet, Isabelle, Bochud, Pierre-Yves, Branca, Sanda, Bucher, Heiner, Catana, Emmanuelle, Cairoli, Anne, Chalandon, Yves, De Geest, Sabina, De Rougemont, Olivier, De Seigneux, Sophie, Dickenmann, Michael, Dreifuss, Joëlle Lynn, Duchosal, Michel, Fehr, Thomas, Ferrari-Lacraz, Sylvie, Garzoni, Christian, Golshayan, Déla, Goossens, Nicolas, Haidar, Fadi, Halter, Jörg, Heim, Dominik, Hess, Christoph, Hillinger, Sven, Hirsch, Hans H., Hirt, Patricia, Hoessly, Linard, Hofbauer, Günther, Huynh-Do, Uyen, Immer, Franz, Koller, Michael, Laesser, Bettina, Lamoth, Frédéric, Lehmann, Roger, Leichtle, Alexander, Manuel, Oriol, Marti, Hans-Peter, Martinelli, Michele, McLin, Valérie, Mellac, Katell, Merçay, Aurélia, Mettler, Karin, Mueller, Nicolas J., Müller-Arndt, Ulrike, Müllhaupt, Beat, Nägeli, Mirjam, Oldani, Graziano, Pascual, Manuel, Passweg, Jakob, Pazeller, Rosemarie, Posfay-Barbe, Klara, Rick, Juliane, Rosselet, Anne, Rossi, Simona, Rothlin, Silvia, Ruschitzka, Frank, Schachtner, Thomas, Schaub, Stefan, Scherrer, Alexandra, Schnyder, Aurelia, Schuurmans, Macé, Schwab, Simon, Sengstag, Thierry, Simonetta, Federico, Stampf, Susanne, Steiger, Jürg, Stirnimann, Guido, Stürzinger, Ueli, Van Delden, Christian, Venetz, Jean-Pierre, Villard, Jean, Vionnet, Julien, Wick, Madeleine, Wilhelm, Markus, Yerly, Patrick, Schreiber, Peter W., Hoessly, Linard D., Boggian, Katia, Neofytos, Dionysios, van Delden, Christian, Egli, Adrian, Hirzel, Cédric, Schmied, Bruno, Guerke, Lorenz, Matter, Maurice, de Rougemont, Olivier, Bonani, Marco, Sidler, Daniel, Kuster, Stefan P.
Publikováno v:
In American Journal of Transplantation May 2024 24(5):795-802
Phylogenetically informed k-mers, or phylo-k-mers for short, are k-mers that are predicted to appear within a given genomic region at predefined locations of a fixed phylogeny. Given a reference alignment for this genomic region and assuming a phylog
Externí odkaz:
http://arxiv.org/abs/2209.09242
Autor:
Dominique Salmon, Dorsaf Slama, Françoise Linard, Nicolas Dumesges, Valérie Le Baut, Florence Hakim, Pauline Oustric, Emilie Seyrat, Patricia Thoreux, Esaie Marshall
Publikováno v:
International Journal of Infectious Diseases, Vol 140, Iss , Pp 9-16 (2024)
Objectives: This study examines long COVID symptoms course over 12 months, their impact on daily life, and associated factors for symptom relief. Methods: A prospective cohort study included 231 participants with long COVID at 12-month follow-up. Dat
Externí odkaz:
https://doaj.org/article/eae1eb8677b64abc8404f4b2ee78a633