3,872 results on '"Linard A"'
Search Results
2. Geotechnical Risk Analysis for the Comparison of the Siting Regions for Deep Geological Repositories in Switzerland
- Author
-
Leuthold, Julia, Soll, Annette, Cantieni, Linard, Kirchhofer, Peter, Wriggers, Peter, Series Editor, Eberhard, Peter, Series Editor, Wichtmann, Torsten, editor, Machaček, Jan, editor, and Tafili, Merita, editor
- Published
- 2025
- Full Text
- View/download PDF
3. Robust MITL planning under uncertain navigation times
- Author
-
Linard, Alexis, Gautier, Anna, Duberg, Daniel, and Tumova, Jana
- Subjects
Computer Science - Robotics ,Computer Science - Formal Languages and Automata Theory - Abstract
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 this work, we address the problem of routing in such environments with tasks expressed in Metric Interval Temporal Logic (MITL) - a rich robot task specification language that allows us to capture explicit time requirements. Our objective is to find a strategy that maximizes the temporal robustness of the robot's MITL task. As the first step towards a solution, we define a Mixed-integer linear programming approach to solving the task planning problem over a Varying Weighted Transition System, where navigation durations are deterministic but vary depending on the time of day. Then, we apply this planner to optimize for MITL temporal robustness in Markov Decision Processes, where the navigation durations between physical locations are uncertain, but the time-dependent distribution over possible delays is known. Finally, we develop a receding horizon planner for Markov Decision Processes that preserves guarantees over MITL temporal robustness. We show the scalability of our planning algorithms in simulations of robotic tasks., Comment: ICRA 2024
- Published
- 2024
4. Reductions of discrete Bayesian networks via lumping
- Author
-
Hoessly, Linard
- Subjects
Mathematics - Statistics Theory - Abstract
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 preservation of their factorisation structure. We introduce and define corresponding notions, analyse their properties, and provide examples of highly symmetric special cases, enhancing the understanding of the fundamental properties of such reductions for Bayesian networks. We also discuss the connection between this and reductions of homogeneous and non-homogeneous Markov chains.
- Published
- 2024
5. Asymptotic analysis for stationary distributions of scaled reaction networks
- Author
-
Hoessly, Linard, Wiuf, Carsten, and Xia, Panqiu
- Subjects
Mathematics - Probability ,Mathematics - Dynamical Systems ,Quantitative Biology - Molecular Networks - Abstract
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 degraded fast (and therefore essentially absent in the network), implying some reaction rates are large compared to others. Technically, we assume these reaction rates are scaled by a common parameter $N$ and let $N\to\infty$. The limiting stationary distribution as $N\to\infty$ is compared to the stationary distribution of the reduced reaction network obtained by algebraic elimination of the non-interacting species. In general, the limiting stationary distribution might differ from the stationary distribution of the reduced reaction network. We identify various sufficient conditions for when these two distributions are the same, including when the reaction network is detailed balanced and when the set of non-interacting species consists of intermediate species. In the latter case, the limiting stationary distribution essentially retains the form of the complex balanced distribution. This finding is particularly surprising given that the reduced reaction network might be non-weakly reversible and exhibit unconventional kinetics., Comment: 28 pages
- Published
- 2024
6. Reliability of patient-specific gait profiles with inertial measurement units during the 2-min walk test in incomplete spinal cord injury
- Author
-
Willi, Romina, Werner, Charlotte, Demkó, László, de Bie, Rob, Filli, Linard, Zörner, Björn, Curt, Armin, and Bolliger, Marc
- Published
- 2024
- Full Text
- View/download PDF
7. Caractérisation des systèmes de production à base d'igname dans la commune de Léo (Burkina Faso)
- Author
-
Yabile Florence OUATTARA, Gian Linard NICOLAY, and Roch MONGBO
- Subjects
systèmes de production ,prospérité ,typologie ,stratégie ,Anthropology ,GN1-890 ,Sociology (General) ,HM401-1281 ,Education ,Political science - Abstract
Ce présent article porte sur la typologie structuro-fonctionnelle des systèmes de production à base d’igname. Les données de terrain ont été collectées auprès de trente-huit 38 producteurs d’igname dans la commune de Léo, à l’aide de guide d’entretien. L’analyse des données dévoile trois archétypes par niveaux de prospérité et cinq stratégies agricoles. Des producteurs de niveaux de prospérité différents se rencontrent dans des types fonctionnels identiques. Les ressources mobilisées sont d’origine endogènes et locales ; de sources multiples ou externes. La typologie est corrélée à la capacité de diversification des activités, d’intensification du capital social et de créativité de marge de manœuvre. L’étude se fonde sur les théories de l’action et de la représentation sociale.
- Published
- 2024
- Full Text
- View/download PDF
8. Effect of squeezing on construction and structural safety of the Swiss high-level radioactive waste repository drifts
- Author
-
Alexandros N. Nordas, Matteo Natale, Linard Cantieni, and Georgios Anagnostou
- Subjects
Radioactive waste disposal ,Squeezing ,Opalinus clay ,Anisotropy ,Ground desaturation ,Transient consolidation ,Engineering geology. Rock mechanics. Soil mechanics. Underground construction ,TA703-712 - Abstract
The deep geological repository for radioactive waste in Switzerland will be embedded in an approximately 100 m thick layer of Opalinus Clay. The emplacement drifts for high-level waste (approximately 3.5 m diameter) are planned to be excavated with a shielded tunnel boring machine (TBM) and supported by a segmental lining. At the repository depth of 900 m in the designated siting region Nördlich Lägern, squeezing conditions may be encountered due to the rock strength and the high hydrostatic pressure (90 bar). This paper presents a detailed assessment of the shield jamming and lining overstressing hazards, considering a stiff lining (resistance principle) and a deformable lining (yielding principle), and proposes conceptual design solutions. The assessment is based on three-dimensional transient hydromechanical simulations, which additionally consider the effects of ground anisotropy and the desaturation that may occur under negative pore pressures generated during the drift excavation. By addressing these design issues, the paper takes the opportunity to analyse some more fundamental aspects related to the influences of anisotropy and desaturation on the development of rock convergences and pressures over time, and their markedly different effects on the two lining systems. The results demonstrate that, regardless of these effects, shield jamming can be avoided with a moderate TBM overcut, however overstressing of a stiff lining may be critical depending on whether the ground desaturates. This uncertainty is eliminated using a deformable system with reasonable dimensions of yielding elements, which can also accommodate thermal strains generated due to the high temperature of the disposal canisters.
- Published
- 2024
- Full Text
- View/download PDF
9. Mosquito-borne diseases in urban East African Community region: a scoping review of urban typology research and mosquito genera overlap, 2000-2024
- Author
-
Noel K. Joseph, Eda Mumo, Camille Morlighem, Peter M. Macharia, Robert W. Snow, and Catherine Linard
- Subjects
urbanization ,East Africa ,mosquitoes ,infection rates ,Peri-urban ,entomology ,Arctic medicine. Tropical medicine ,RC955-962 - Abstract
BackgroundGrowing concerns about mosquito-borne diseases (MBDs) in urban settings have prompted renewed urgency for collaborative and active mosquito surveillance programs. This literature review collates entomological data from five East African Community (EAC) countries, studying the definitions of urban settings, co-occurrence of Anopheles, Aedes and Culex mosquito genera and their infection rates to provide a wholistic understanding of MBDs in urban EAC.MethodsA literature search following the PRISMA-ScR guidelines was conducted in EMBASE, MEDLINE, PubMed, Web of Science and Scopus databases to identify entomological studies conducted in urban and peri-urban settings since 2000. Data on urban and peri-urban settings definitions, presence records and infection rates of Aedes, Culex and Anopheles mosquitoes were compiled and presented.ResultsA hundred and five articles were included in the review. Diverse definitions of urban landscapes emerged, emphasizing (i) distinct characteristics for dichotomous delineation from rural settings (e.g., population density) and (ii) urban-peri-urban continuum integrating spatial variations in urban features associated with MBDs (e.g., planned/unplanned neighbourhoods). Mosquito ecology data derived from 88 sites, comprising 45 urban, 25 peri-urban, 14 mixed settings and four slums, reported 91 mosquito species, including 32% Culex, 31% Aedes, and 25% Anopheles genera. Other co-occurring genera, such as Coquillettidia and Mansonia, represented 12% between 2000 and 2024. Intricate co-occurrence patterns among Aedes, Culex and Anopheles genera linked to habitat preference and climatic conditions (temperature and precipitation) were observed. The average infection rates were estimated as 0.8% for yellow fever, 0.9% and 1.1% for urban and peri-urban P. falciparum sporozoites respectfully, 2.7% for Dengue, 5.3% for Chikungunya and 6.02% for flavivirus, indicating co-circulation of arboviruses among mosquito population.ConclusionOur synthesis presents an overview of the complexities of urban MBD research over the past two decades. Integrated assessment of MBDs dynamics in rapidly evolving urban environments is crucial to achieving healthier urban environments in East Africa.Systematic review registrationhttps://osf.io/a6s9j/.
- Published
- 2024
- Full Text
- View/download PDF
10. Complex balanced distributions for chemical reaction networks
- Author
-
Hoessly, Linard, Wiuf, Carsten, and Xia, Panqiu
- Subjects
Mathematics - Probability ,Quantitative Biology - Molecular Networks ,Primary 60J27, 60J28, secondary 92B05, 92E20, 92C42 - Abstract
Reaction networks have become a major modelling framework in the biological sciences from epidemiology and population biology to genetics and cellular biology. In recent years, much progress has been made on stochastic reaction networks (SRNs) that in particular are applicable when copy numbers are low (as in cellular systems) or when noise and drift are ubiquitous (as in population genetic models). Often a main interest is the long term behaviour of a system: does the system settle towards stochastic equilibrium in some sense? In that context, we are concerned with SRNs, modelled as continuous time Markov chains (CTMCs) and their stationary distributions. In particular, we are interested in complex balanced stationary distributions, where the probability flow out of a complex equals the flow into the complex. We characterise the existence and the form of complex balanced distributions of SRNs with arbitrary transition functions through conditions on the cycles of a corresponding reaction graph (a digraph). Furthermore, we give a sufficient condition for the existence of a complex balanced distribution and give precise conditions for when it is also necessary. The sufficient condition is also necessary for mass-action kinetics (and certain generalisations of that) or if the connected components of the digraph are cycles. Moreover, we state a deficiency theorem, a generalisation of the deficiency theorem for stochastic mass-action kinetics to arbitrary stochastic genetics. The theorem gives the co-dimension of the parameter space for which a complex balanced distribution exists., Comment: 30 pages, 2 figures
- Published
- 2023
11. Sound Verification of Security Protocols: From Design to Interoperable Implementations (extended version)
- Author
-
Arquint, Linard, Wolf, Felix A., Lallemand, Joseph, Sasse, Ralf, Sprenger, Christoph, Wiesner, Sven N., Basin, David, and Müller, Peter
- Subjects
Computer Science - Cryptography and Security ,Computer Science - Programming Languages - Abstract
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 model into a set of I/O specifications expressed in separation logic. Each such specification describes a protocol role's intended I/O behavior against which the role's implementation is then verified. Our soundness result guarantees that the verified implementation inherits all security (trace) properties proved for the Tamarin model. Our framework thus enables us to leverage the substantial body of prior verification work in Tamarin to verify new and existing implementations. The possibility to use any separation logic code verifier provides flexibility regarding the target language. To validate our approach and show that it scales to real-world protocols, we verify a substantial part of the official Go implementation of the WireGuard VPN key exchange protocol.
- Published
- 2022
12. A Generic Methodology for the Modular Verification of Security Protocol Implementations (extended version)
- Author
-
Arquint, Linard, Schwerhoff, Malte, Mehta, Vaibhav, and Müller, Peter
- Subjects
Computer Science - Cryptography and Security ,Computer Science - Programming Languages - Abstract
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. Much existing work focuses on the verification of protocol *models*, which is not sufficient to show that their *implementations* are actually secure. Verification techniques for protocol implementations (e.g., via code generation or model extraction) typically impose severe restrictions on the used programming language and code design, which may lead to sub-optimal implementations. In this paper, we present a methodology for the modular verification of strong security properties directly on the level of the protocol implementations. Our methodology leverages state-of-the-art verification logics and tools to support a wide range of implementations and programming languages. We demonstrate its effectiveness by verifying memory safety and security of Go implementations of the Needham-Schroeder-Lowe, Diffie-Hellman key exchange, and WireGuard protocols, including forward secrecy and injective agreement for WireGuard. We also show that our methodology is agnostic to a particular language or program verifier with a prototype implementation for C.
- Published
- 2022
- Full Text
- View/download PDF
13. Surgical site infections after kidney transplantation are independently associated with graft loss
- Author
-
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, and Kuster, Stefan P.
- Published
- 2024
- Full Text
- View/download PDF
14. Computing Phylo-k-mers
- Author
-
Romashchenko, Nikolai, Linard, Benjamin, Pardi, Fabio, and Rivals, Eric
- Subjects
Quantitative Biology - Quantitative Methods - Abstract
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 phylogenetic model of sequence evolution, we can compute a probability score for any given k-mer at any given tree node. The k-mers with sufficiently high probabilities can later be used to perform alignment-free phylogenetic classification of new sequences-a procedure recently proposed for the phylogenetic placement of metabarcoding reads and the detection of novel virus recombinants. While computing phylo-k-mers, we need to consider large numbers of k-mers at each tree node, which warrants the development of efficient enumeration algorithms. We consider a formal definition of the problem of phylo-k-mer computation: How to efficiently find all k-mers whose probability lies above a user-defined threshold for a given tree node? We describe and analyze algorithms for this problem, relying on branch-and-bound and divideand-conquer techniques. We exploit the redundancy of adjacent windows of the alignment and the structure of the probability matrix to save on computation. Besides computational complexity analyses, we provide an empirical evaluation of the relative performance of their implementations on real-world and simulated data. The divide-and-conquer algorithms, which to the best of our knowledge are novel, are found to be clear improvements over the branch-and-bound approach, especially when a large number of phylo-k-mers are found.
- Published
- 2022
15. Robust MITL planning under uncertain navigation times.
- Author
-
Alexis Linard, Anna Gautier, Daniel Duberg, and Jana Tumova
- Published
- 2024
- Full Text
- View/download PDF
16. Resilient and Value Creating Wine Ecosystem: An NFT-Driven Agricultural Digital Twin Case Study with #NFGrapevine
- Author
-
Schweiger, Lukas, Protopapa, Matteo, Barth, Linard, West, Shaun, editor, Meierhofer, Jürg, editor, and Buecheler, Thierry, editor
- Published
- 2024
- Full Text
- View/download PDF
17. An analytical solution for the undrained ground response to tunnelling considering the excavation-induced desaturation
- Author
-
Nordas, Alexandros N., Cantieni, Linard, and Anagnostou, Georgios
- Published
- 2025
- Full Text
- View/download PDF
18. SIMULAÇÃO REALÍSTICA EM DIABETES MELLITUS PARA EDUCAÇÃO PERMANENTE MULTIPROFISSIONAL: AVALIAÇÃO PELO EXAME CLÍNICO OBJETIVO ESTRUTURADO
- Author
-
Araújo, Açucena Leal de, primary, Negreiros, Francisca Diana da Silva, additional, Linard, Lana Lívia Peixoto, additional, Silva, Lucilane Maria Sales da, additional, Costa, Samantha Alves França, additional, Araújo, Samila Torquato, additional, Moreira, Tatiana Rebouças, additional, and Moreira, Thereza Maria Magalhães, additional
- Published
- 2024
- Full Text
- View/download PDF
19. Sonolência excessiva diurna entre estudantes universitários de educação física
- Author
-
Ferreira, Carlos Roberto Teixeira, primary, Ferreira, Ramon Oliveira, additional, Oliveira, Fabiano Santana de, additional, Carvalho, João Carlos Rodrigues, additional, Asbeque, Ana Clara Ferreira, additional, Deus, Maura Bianca Barbary de, additional, Almeida Netto, Rubens Santana de, additional, Linard, Danielle Ferreira do Nascimento, additional, Leitão, Francisco Naildo Cardoso, additional, and Morais, Mauro José de Deus, additional
- Published
- 2024
- Full Text
- View/download PDF
20. PAPEL DAS ESCALAS NA TOMADA DE DECISÃO TERAPÊUTICA AO AVALIAREM A TOXICIDADE À QUIMIOTERAPIA EM LINFOMAS E LEUCEMIAS AGUDAS: UMA REVISÃO DE ESCOPO
- Author
-
CASA Dalva, RFL Morão, PHS Rodrigues, GS Lopes, HG Martins, CFBM Linard, FJM Pinto, RLG Soares, and JVP Oliveira
- Subjects
Diseases of the blood and blood-forming organs ,RC633-647.5 - Abstract
Objetivo: As leucemias e os linfomas não hodgkins juntos ocupam a 4ª posição entre as neoplasias hematológicas. Essas doenças possuem opções de tratamento curativo mesmo em situações adversas, contudo o processo de tomada de decisão é delicado, sendo a utilização dos modelos estatísticos capazes de ajudar na tomada de decisão. Aqui avaliamos quais são as escalas de toxicidade à quimioterapia e seu papel na tomada de decisão para o tratamento de pacientes com linfomas e leucemias agudas. Metodologia: A partir da abordagem do protocolo PRISMA, foi realizado uma revisão de escopo nas plataformas PUBMED, BIREME, COCHRANE e Periódicos da CAPES, utilizando a equação de busca: (“acute leukemia” or “acute leukaemia” or “acute myeloid leukemia” or “acute myeloid leukaemia” or “acute lymphoid leukemia” or “acute lymphoid leukaemia” or lymphoma) and (scale or score or index) and (“decision making” or “decision support techniques” or “clinical decision-making” or “clinical decision” or “decision trees” or “decision support systems, clinical” or “therapeutic decision”) and (chemotherapy or treatment or therapy) and (toxicity or mortality or “tolerability” or “risk-directed therapy” or “risk-directed treatment” or “risk-directed chemotherapy” or “therapy related risk” or “treatment related risk” or “chemotherapy related risk”). Nesta revisão incluíram-se artigos que tivessem discussão focada na análise de modelos estatísticos, para tomada de decisão terapêutica, em relação ao uso de quimioterapia nos pacientes com linfomas ou nas leucemias agudas. Não foi estabelecido corte temporal da publicação ou língua para a inclusão nesta revisão. Resultados: Após excluídas as duplicatas foram encontrados 402 artigos nas plataformas de pesquisa, seguindo o protocolo PRISMA foram selecionados 30 artigos. A partir deles foi observado que não existe uma única escala ideal para avaliação de toxicidade à quimioterapia, mas existem escalas estudadas para alguns grupos específicos que possuem variáveis comuns como as comorbidades, a funcionalidade, a idade, o LDH, a função renal e o estadiamento da doença. Ao analisar as conclusões de cada estudo observou-se que os vários modelos estatísticos analisados têm grande potencial em discriminar principalmente, a população de baixo risco para realização de tratamento com quimioterapia e que o potencial do uso desses modelos, na tomada de decisão, precisa ser mais bem analisado por estudos mais amplos, prospectivos e capazes de validar essas estratégias. Além disso, foi possível perceber que a variável idade, isoladamente, não foi um preditor suficientemente confiável para uma tomada de decisão, em relação ao tratamento. As variáveis comorbidade e funcionalidade foram apontadas como principais indicadores, em relação aos riscos de realização da quimioterapia. Conclusão: Os modelos preditores de toxicidade ao tratamento em pacientes com leucemias agudas e linfomas necessitam de estudos mais robustos e prospectivos que incluam validação desses modelos para sua melhor aplicabilidade.
- Published
- 2024
- Full Text
- View/download PDF
21. PERFIL DAS TRANSFUSÕES REALIZADAS NAS UNIDADES DE CLÍNICA MÉDICA E TERAPIA INTENSIVA DE UM HOSPITAL DO SERTÃO CENTRAL DO CEARÁ
- Author
-
CASA Dalva, RFL Mourão, PHS Rodrigues, GS Lopes, HG Martins, IJM Veloso, TPM Queiroz, CFBM Linard, GAC Dourado, and RB Gadelha
- Subjects
Diseases of the blood and blood-forming organs ,RC633-647.5 - Abstract
Objetivos: A transfusão de hemocomponentes é um procedimento com riscos significativos, motivo pelo qual a Organização Mundial da Saúde incentiva o desenvolvimento de programas para o manejo adequado dos hemocomponentes por meio de estratégias de Patient Blood Management, otimizando o uso destes produtos. Nesse contexto, a agência transfusional do Hospital Regional do Sertão Central (HRSC) coleta informações e gera indicadores para avaliar o nível de adesão ao seu protocolo de segurança. Este estudo teve como objetivo descrever o perfil das transfusões realizadas no HRSC no ano de 2022 no setor de clínica médica e na unidade de terapia intensiva (UTI). Metodologia: Foram coletados dados de transfusões em adultos por meio do registro de indicadores de qualidade da agência transfusional do HRSC e, posteriormente, foi realizada uma análise retrospectiva, descritiva e quantitativa. Resultados: Este estudo analisou 1072 transfusões, sendo que 53,3% ocorreram em homens e 46,7% em mulheres, com média de idade de 42 anos. A UTI solicitou 79,1% das transfusões. As principais causas foram a anemia sintomática e o sangramento. Os concentrados de hemácias (73%) foram os mais solicitados, sendo 49,6% de O+. Em termos de criticidade, 54% dos pedidos eram urgentes. Entre as transfusões avaliadas foram observadas 16 notificações de reações adversas. Conclusões: A análise das transfusões permitiu identificar e descrever as características da condução do processo de transfusões em um hospital de referência terciária de uma cidade do interior do Ceará. O levantamento de dados mostrou que a equipe manteve bons níveis de adesão ao protocolo de indicação transfusional, mas com possível subnotificação de reações transfusionais.
- Published
- 2024
- Full Text
- View/download PDF
22. Patients with Long COVID continue to experience significant symptoms at 12 months and factors associated with improvement: A prospective cohort study in France (PERSICOR)
- Author
-
Dominique Salmon, Dorsaf Slama, Françoise Linard, Nicolas Dumesges, Valérie Le Baut, Florence Hakim, Pauline Oustric, Emilie Seyrat, Patricia Thoreux, and Esaie Marshall
- Subjects
Long COVID ,Post-acute sequelae of SARS-CoV-2 (PACS) ,SARS-CoV-2 ,Antibodies cognitive impairment ,Social consequences ,Follow-up ,Infectious and parasitic diseases ,RC109-216 - Abstract
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. Data on characteristics, symptom course, and remission were collected using a questionnaire and a remission scale. Poisson regression models were used to estimate the prevalence rate ratio (PRR) and 95% confidence intervals (CIs) for factors associated with symptom improvement. Results: Of the 231 participants, 63.2% developed SARS-CoV-2 antibodies before COVID-19 vaccination. At 12 months, only 8.7% (95% CI: 5.4-13.1%) reported complete remission, while 28.6% noted significant improvement. Most symptoms remained prevalent: asthenia (83.1%), neurocognitive/neurological (93.9%), cardiothoracic (77.9%), Musculoskeletal (78.8%). During long COVID, 62.2% stopped working, and only 32.5% resumed full-time professional activities. Presence of SARS-CoV-2 antibodies before vaccination increased the probability of improvement (aPRR: 1.60, P = 0.028), while ageusia at initial long COVID phase decreased the probability (aPRR: 0.38, P = 0.007). Conclusions: Long-COVID symptoms persisted in the majority of participants after 12 months, with significant impacts on daily life and work. SARS-CoV-2 antibodies were associated with better prognosis, while persistent ageusia indicated a lower probability of improvement. These findings highlight the need for ongoing support and care for individuals with long COVID.
- Published
- 2024
- Full Text
- View/download PDF
23. Reliability of patient-specific gait profiles with inertial measurement units during the 2-min walk test in incomplete spinal cord injury
- Author
-
Romina Willi, Charlotte Werner, László Demkó, Rob de Bie, Linard Filli, Björn Zörner, Armin Curt, and Marc Bolliger
- Subjects
Medicine ,Science - Abstract
Abstract Most established clinical walking tests assess specific aspects of movement function (velocity, endurance, etc.) but are generally unable to determine specific biomechanical or neurological deficits that limit an individual’s ability to walk. Recently, inertial measurement units (IMU) have been used to collect objective kinematic data for gait analysis and could be a valuable extension for clinical assessments (e.g., functional walking measures). This study assesses the reliability of an IMU-based overground gait analysis during the 2-min walk test (2mWT) in individuals with spinal cord injury (SCI). Furthermore, the study elaborates on the capability of IMUs to distinguish between different gait characteristics in individuals with SCI. Twenty-six individuals (aged 22–79) with acute or chronic SCI (AIS: C and D) completed the 2mWT with IMUs attached above each ankle on 2 test days, separated by 1 to 7 days. The IMU-based gait analysis showed good to excellent test–retest reliability (ICC: 0.77–0.99) for all gait parameters. Gait profiles remained stable between two measurements. Sensor-based gait profiling was able to reveal patient-specific gait impairments even in individuals with the same walking performance in the 2mWT. IMUs are a valuable add-on to clinical gait assessments and deliver reliable information on detailed gait pathologies in individuals with SCI. Trial registration: NCT04555759.
- Published
- 2024
- Full Text
- View/download PDF
24. Hand It to Me Formally! Data-Driven Control for Human-Robot Handovers With Signal Temporal Logic.
- Author
-
Parag Khanna, Jonathan Fredberg, Mårten Björkman, Christian Smith, and Alexis Linard
- Published
- 2024
- Full Text
- View/download PDF
25. Aspectos históricos e políticos do protagonismo do ICMS na indução dos indicadores municipais da educação cearense
- Author
-
Eloisa Maia Vidal, Anderson Gonçalves Costa, and Ana Gardennya Linard Sirio Oliveira
- Subjects
Estado do Ceará ,Cota-parte do ICMS ,Indicadores educacionais ,Gestão para resultados ,Education (General) ,L7-991 ,Social Sciences - Abstract
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 descritiva e explicativa, examinando o processo de municipalização do Ensino Fundamental e a colaboração entre o governo estadual e os municípios, além de investigar as mudanças no ordenamento jurídico relacionadas à parte discricionária do ICMS, que é atribuída ao poder executivo estadual. Considerando as mudanças nas políticas educacionais nesse estado, as quais passaram a ser acompanhadas por uma gestão voltada para resultados e responsabilização com base em avaliações em larga escala, conclui-se que as mudanças no rateio da cota parte do ICMS se beneficiaram das condições específicas dessa unidade da federação. Destacam-se as características que possibilitam uma forte influência sobre os municípios em razão do poder de barganha estadual.
- Published
- 2024
- Full Text
- View/download PDF
26. Evidence for reticulospinal plasticity underlying motor recovery in Brown-Séquard-plus Syndrome: a case report
- Author
-
Antonia Maria Eilfort, Maria Rasenack, Björn Zörner, Armin Curt, and Linard Filli
- Subjects
Brown-Séquard Syndrome ,spinal cord injury ,reticulospinal tract ,corticospinal tract ,StartReact ,motor recovery ,Neurology. Diseases of the nervous system ,RC346-429 - Abstract
Brown-Séquard Syndrome (BSS) is a rare neurological condition caused by a unilateral spinal cord injury (SCI). Upon initial ipsilesional hemiplegia, patients with BSS typically show substantial functional recovery over time. Preclinical studies on experimental BSS demonstrated that spontaneous neuroplasticity in descending motor systems is a key mechanism promoting functional recovery. The reticulospinal (RS) system is one of the main descending motor systems showing a remarkably high ability for neuroplastic adaptations after incomplete SCI. In humans, little is known about the contribution of RS plasticity to functional restoration after SCI. Here, we investigated RS motor drive to different muscles in a subject with Brown-Séquard-plus Syndrome (BSPS) five months post-injury using the StartReact paradigm. RS drive was compared between ipsi- and contralesional muscles, and associated with measures of functional recovery. Additionally, corticospinal (CS) drive was investigated using transcranial magnetic stimulation (TMS) in a subset of muscles. The biceps brachii showed a substantial enhancement of RS drive on the ipsi- vs. contralesional side, whereas no signs of CS plasticity were found ipsilesionally. This finding implies that motor recovery of ipsilesional elbow flexion is primarily driven by the RS system. Results were inversed for the ipsilesional tibialis anterior, where RS drive was not augmented, but motor-evoked potentials recovered over six months post-injury, suggesting that CS plasticity contributed to improvements in ankle dorsiflexion. Our findings indicate that the role of RS and CS plasticity in motor recovery differs between muscles, with CS plasticity being essential for the restoration of distal extremity motor function, and RS plasticity being important for the functional recovery of proximal flexor muscles after SCI in humans.
- Published
- 2024
- Full Text
- View/download PDF
27. Eosinophilic granulocytes as a potential prognostic marker for cancer progression and therapeutic response in malignant melanoma
- Author
-
Corsin Linard Brand, Robert Emil Hunger, and Seyed Morteza Seyed Jafari
- Subjects
cancer ,eosinophils ,immune checkpoint inhibitors ,immunology ,melanoma ,Neoplasms. Tumors. Oncology. Including cancer and carcinogens ,RC254-282 - Abstract
The importance of eosinophilic granulocytes in cancer has been widely discussed in recent years. The current study reviews the evidence on the role of eosinophilic granulocytes in melanoma as a prognostic marker for cancer progression and the efficacy of treatment with modern immune checkpoint inhibitors. A total of 33 human clinical studies were included in the review, with heterogeneous data due to differences in patients populations, study design and inclusion of small study groups. However, 28 of the 33 studies suggested that eosinophilic granulocytes could be used as a prognostic biomarker for outcome and/or potential response to systemic treatment and/or occurrence of adverse events in melanoma patients. Nevertheless, the exact role of eosinophils remains to be elucidated. Further prospective, larger and better controlled studies are warranted to clarify the significance of eosinophilic granulocytes in patients with melanoma, in more details.
- Published
- 2024
- Full Text
- View/download PDF
28. Pitfalls in Valganciclovir Prophylaxis Dose Adjustment Based on Renal Function in Kidney Transplant Recipients
- Author
-
Nathalie Hammer, Linard Hoessly, Fadi Haidar, Cédric Hirzel, Sophie de Seigneux, Christian van Delden, Bruno Vogt, Daniel Sidler, and Dionysios Neofytos
- Subjects
cytomegalovirus ,valganciclovir ,renal function ,kidney transplantation ,dosing ,Specialties of internal medicine ,RC581-951 - Abstract
Valganciclovir (VGC) is administered as prophylaxis to kidney transplant recipients (KTR) CMV donor (D)+/recipient (R)− and CMV R+ after thymoglobulin-induction (R+/TG). Although VGC dose adjustments based on renal function are recommended, there is paucity of real-life data on VGC dosing and associations with clinical outcomes. This is a retrospective Swiss Transplant Cohort Study-embedded observational study, including all adult D+/R− and R+/TG KTR between 2010 and 2020, who received prophylaxis with VGC. The primary objective was to describe the proportion of inappropriately (under- or over-) dosed VGC week-entries. Secondary objectives included breakthrough clinically significant CMV infection (csCMVi) and potential associations between breakthrough-csCMVi and cytopenias with VGC dosing. Among 178 KTR, 131 (73.6%) patients had ≥2 week-entries for the longitudinal data of interest and were included in the outcome analysis, with 1,032 VGC dose week-entries. Overall, 460/1,032 (44.6%) were appropriately dosed, while 234/1,032 (22.7%) and 338/1,032 (32.8%) were under- and over-dosed, respectively. Nineteen (14.5%) patients had a breakthrough-csCMVi, without any associations identified with VCG dosing (p = 0.44). Unlike other cytopenias, a significant association between VGC overdosing and lymphopenia (OR 5.27, 95% CI 1.71–16.22, p = 0.004) was shown. VGC prophylaxis in KTR is frequently inappropriately dosed, albeit without meaningful clinical associations, neither in terms of efficacy nor safety.
- Published
- 2024
- Full Text
- View/download PDF
29. INOVAÇÕES TECNOLÓGICAS PARA O DIAGNÓSTICO DE HANSENÍASE
- Author
-
Santana, Francisco Wanderson Araújo de, primary, Lima, José Vagner Americo de, additional, Dias, Hellen Caroline Linard, additional, Alencar, Aline Morais Venancio de, additional, and Xavier, João Paulo da Silva, additional
- Published
- 2023
- Full Text
- View/download PDF
30. Fast reactions with non-interacting species in stochastic reaction networks
- Author
-
Hoessly, Linard and Wiuf, Carsten
- Subjects
Mathematics - Probability ,Quantitative Biology - Quantitative Methods ,60J27, 60J28, 92C42, 92B05, 92E20 - Abstract
We consider stochastic reaction networks modeled by continuous-time Markov chains. Such reaction networks often contain many reactions, potentially occurring at different time scales, and have unknown parameters (kinetic rates, total amounts). This makes their analysis complex. We examine stochastic reaction networks with non-interacting species that often appear in examples of interest (e.g. in the two-substrate Michaelis Menten mechanism). Non-interacting species typically appear as intermediate (or transient) chemical complexes that are depleted at a fast rate. We embed the Markov process of the reaction network into a one-parameter family under a two time-scale approach, such that molecules of non-interacting species are degraded fast. We derive simplified reaction networks where the non-interacting species are eliminated and that approximate the scaled Markov process in the limit as the parameter becomes small. Then, we derive sufficient conditions for such reductions based on the reaction network structure for both homogeneous and time-varying stochastic settings, and study examples and properties of the reduction.
- Published
- 2021
- Full Text
- View/download PDF
31. Systemically delivered adipose stromal vascular fraction mitigates radiation-induced gastrointestinal syndrome by immunomodulating the inflammatory response through a CD11b+ cell-dependent mechanism
- Author
-
Lydia Bensemmane, Fabien Milliat, Xavier Treton, and Christine Linard
- Subjects
Stromal vascular fraction ,Intestine ,Irradiation ,Monocyte ,Medicine (General) ,R5-920 ,Biochemistry ,QD415-436 - Abstract
Abstract Background Stromal vascular fraction (SVF) treatment promoted the regeneration of the intestinal epithelium, limiting lethality in a mouse model of radiation-induced gastrointestinal syndrome (GIS). The SVF has a heterogeneous cell composition; the effects between SVF and the host intestinal immunity are still unknown. The specific role of the different cells contained in the SVF needs to be clarified. Monocytes–macrophages have a crucial role in repair and monocyte recruitment and activation are orchestrated by the chemokine receptors CX3CR1 and CCR2. Methods Mice exposed to abdominal radiation (18 Gy) received a single intravenous injection of SVF (2.5 × 106 cells), obtained by enzymatic digestion of inguinal fat tissue, on the day of irradiation. Intestinal immunity and regeneration were evaluated by flow cytometry, RT-PCR and histological analyses. Results Using flow cytometry, we showed that SVF treatment modulated intestinal monocyte differentiation at 7 days post-irradiation by very early increasing the CD11b+Ly6C+CCR2+ population in the intestine ileal mucosa and accelerating the phenotype modification to acquire CX3CR1 in order to finally restore the F4/80+CX3CR1+ macrophage population. In CX3CR1-depleted mice, SVF treatment fails to mature the Ly6C−MCHII+CX3CR1+ population, leading to a macrophage population deficit associated with proinflammatory environment maintenance and defective intestinal repair; this impaired SVF efficiency on survival. Consistent with a CD11b+ being involved in SVF-induced intestinal repair, we showed that SVF-depleted CD11b+ treatment impaired F4/80+CX3CR1+macrophage pool restoration and caused loss of anti-inflammatory properties, abrogating stem cell compartment repair and survival. Conclusions These data showed that SVF treatment mitigates the GIS-involving immunomodulatory effect. Cooperation between the monocyte in SVF and the host monocyte defining the therapeutic properties of the SVF is necessary to guarantee the effective action of the SVF on the GIS.
- Published
- 2023
- Full Text
- View/download PDF
32. Gobra: Modular Specification and Verification of Go Programs (extended version)
- Author
-
Wolf, Felix A., Arquint, Linard, Clochard, Martin, Oortwijn, Wytse, Pereira, João C., and Müller, Peter
- Subjects
Computer Science - Programming Languages - Abstract
Go is an increasingly-popular systems programming language targeting, especially, concurrent and distributed systems. Go differentiates itself from other imperative languages by offering structural subtyping and lightweight concurrency through goroutines with message-passing communication. This combination of features poses interesting challenges for static verification, most prominently the combination of a mutable heap and advanced concurrency primitives. We present Gobra, a modular, deductive program verifier for Go that proves memory safety, crash safety, data-race freedom, and user-provided specifications. Gobra is based on separation logic and supports a large subset of Go. Its implementation translates an annotated Go program into the Viper intermediate verification language and uses an existing SMT-based verification backend to compute and discharge proof obligations.
- Published
- 2021
33. On the sum of chemical reactions
- Author
-
Hoessly, Linard, Wiuf, Carsten, and Xia, Panqiu
- Subjects
Mathematics - Combinatorics ,Mathematics - Dynamical Systems ,Quantitative Biology - Molecular Networks ,Quantitative Biology - Quantitative Methods - Abstract
It is standard in chemistry to represent a sequence of reactions by a single overall reaction, often called a complex reaction in contrast to an elementary reaction. Photosynthesis $6 \text{CO}_2+6 \text{H}_2\text{O} \to \ \text{C}_6\text{H}_{12}\text{O}_6$ $+\ 6 \text{O}_2$ is an example of such complex reaction. We introduce a mathematical operation that corresponds to summing two chemical reactions. Specifically, we define an associative and non-communicative operation on the product space $\mathbb{N}_0^n\times \mathbb{N}_0^n$ (representing the reactant and the product of a chemical reaction, respectively). The operation models the overall effect of two reactions happening in succession, one after the other. We study the algebraic properties of the operation and apply the results to stochastic reaction networks, in particular to reachability of states, and to reduction of reaction networks.
- Published
- 2021
34. Patients with Long COVID continue to experience significant symptoms at 12 months and factors associated with improvement: A prospective cohort study in France (PERSICOR)
- Author
-
Salmon, Dominique, Slama, Dorsaf, Linard, Françoise, Dumesges, Nicolas, Le Baut, Valérie, Hakim, Florence, Oustric, Pauline, Seyrat, Emilie, Thoreux, Patricia, and Marshall, Esaie
- Published
- 2024
- Full Text
- View/download PDF
35. Monitoring and Forecasting COVID-19: Statistical Heuristic Regression, Susceptible-Infected-Removed model and, Spatial Stochastics
- Author
-
de Andres, Pedro L., de Andres-Bragado, Lucia, and Hoessly, Linard D.
- Subjects
Quantitative Biology - Populations and Evolution ,G.3 - Abstract
The COVID-19 pandemic has had worldwide devastating effects on human lives, highlighting the need for tools to predict its development. Dynamics of such public-health threats can often be efficiently analysed through simple models that help to make quantitative timely policy decisions. We benchmark a minimal version of a Susceptible-Infected-Removed model for infectious diseases (SIR) coupled with a simple least-squares Statistical Heuristic Regression (SHR) based on a lognormal distribution. We derived the three free parameters for both models in several cases and tested them against the amount of data needed to bring accuracy in predictions. The SHR model is approximately +/- 2% accurate about 20 days past the second inflexion point in the daily curve of cases, while the SIR model reaches a similar accuracy a fortnight before. All the analyzed cases assert the utility of SHR and SIR approximants as a useful tool to forecast the evolution of the disease. Finally, we have studied simulated stochastic individual-based SIR dynamics, which yields a detailed spatial and temporal view of the disease that cannot be given by SIR or SHR methods., Comment: 33 pages, 14 figures, 3 tables
- Published
- 2021
- Full Text
- View/download PDF
36. Fetal Muse-based therapy prevents lethal radio-induced gastrointestinal syndrome by intestinal regeneration
- Author
-
Honorine Dushime, Stéphanie G. Moreno, Christine Linard, Annie Adrait, Yohann Couté, Juliette Peltzer, Sébastien Messiaen, Claire Torres, Lydia Bensemmane, Daniel Lewandowski, Paul-Henri Romeo, Vanessa Petit, and Nathalie Gault
- Subjects
Muse cells ,Radio-induced gastro-intestinal syndrome ,Stem cell microenvironment ,Regeneration ,Medicine (General) ,R5-920 ,Biochemistry ,QD415-436 - Abstract
Abstract Background Human multilineage-differentiating stress enduring (Muse) cells are nontumorigenic endogenous pluripotent-like stem cells that can be easily obtained from various adult or fetal tissues. Regenerative effects of Muse cells have been shown in some disease models. Muse cells specifically home in damaged tissues where they exert pleiotropic effects. Exposition of the small intestine to high doses of irradiation (IR) delivered after radiotherapy or nuclear accident results in a lethal gastrointestinal syndrome (GIS) characterized by acute loss of intestinal stem cells, impaired epithelial regeneration and subsequent loss of the mucosal barrier resulting in sepsis and death. To date, there is no effective medical treatment for GIS. Here, we investigate whether Muse cells can prevent lethal GIS and study how they act on intestinal stem cell microenvironment to promote intestinal regeneration. Methods Human Muse cells from Wharton’s jelly matrix of umbilical cord (WJ-Muse) were sorted by flow cytometry using the SSEA-3 marker, characterized and compared to bone-marrow derived Muse cells (BM-Muse). Under gas anesthesia, GIS mice were treated or not through an intravenous retro-orbital injection of 50,000 WJ-Muse, freshly isolated or cryopreserved, shortly after an 18 Gy-abdominal IR. No immunosuppressant was delivered to the mice. Mice were euthanized either 24 h post-IR to assess early small intestine tissue response, or 7 days post-IR to assess any regenerative response. Mouse survival, histological stainings, apoptosis and cell proliferation were studied and measurement of cytokines, recruitment of immune cells and barrier functional assay were performed. Results Injection of WJ-Muse shortly after abdominal IR highly improved mouse survival as a result of a rapid regeneration of intestinal epithelium with the rescue of the impaired epithelial barrier. In small intestine of Muse-treated mice, an early enhanced secretion of IL-6 and MCP-1 cytokines was observed associated with (1) recruitment of monocytes/M2-like macrophages and (2) proliferation of Paneth cells through activation of the IL-6/Stat3 pathway. Conclusion Our findings indicate that a single injection of a small quantity of WJ-Muse may be a new and easy therapeutic strategy for treating lethal GIS.
- Published
- 2023
- Full Text
- View/download PDF
37. Frequency and impact on renal transplant outcomes of urinary tract infections due to extended-spectrum beta-lactamase-producing Escherichia coli and Klebsiella species
- Author
-
Jakob E. Brune, Michael Dickenmann, Daniel Sidler, Laura N. Walti, Déla Golshayan, Oriol Manuel, Fadi Haidar, Dionysios Neofytos, Aurelia Schnyder, Katia Boggian, Thomas F. Mueller, Thomas Schachtner, Nina Khanna, Stefan Schaub, Caroline Wehmeier, the Swiss Transplant Cohort Study, Patrizia Amico, John-David Aubert, Adrian Bachofner, Vanessa Banz, Sonja Beckmann, Guido Beldi, Christoph Berger, Ekaterine Berishvili, Annalisa Berzigotti, Pierre-Yves Bochud, Sanda Branca, Heiner Bucher, Anne Cairoli, Emmanuelle Catana, Yves Chalandon, Sabina De Geest, Sophie De Seigneux, Joëlle Lynn Dreifuss, Michel Duchosal, Thomas Fehr, Sylvie Ferrari-Lacraz, Jaromil Frossard, Christian Garzoni, Nicolas Goossens, Jörg Halter, Dominik Heim, Christoph Hess, Sven Hillinger, Hans Hirsch, Patricia Hirt, Linard Hoessly, Günther Hofbauer, Uyen Huynh-Do, Franz Immer, Michael Koller, Andreas Kremer, Christian Kuhn, Bettina Laesser, Frédéric Lamoth, Roger Lehmann, Alexander Leichtle, Hans-Peter Marti, Michele Martinelli, Valérie McLin, Katell Mellac, Aurélia Merçay, Karin Mettler, Nicolas Müller, Ulrike Müller-Arndt, Beat Müllhaupt, Mirjam Nägeli, Graziano Oldani, Manuel Pascual, Jakob Passweg, Rosemarie Pazeller, Klara Posfay-Barbe, David Reineke, Juliane Rick, Anne Rosselet, Simona Rossi, Rössler, Silvia Rothlin, Frank Ruschitzka, Alexandra Scherrer, Dominik Schneidawind, Macé Schuurmans, Simon Schwab, Thierry Sengstag, Federico Simonetta, Jürg Steiger, Guido Stirniman, Ueli Stürzinger, Christian Van Delden, Jean-Pierre Venetz, Jean Villard, Julien Vionnet, Madeleine Wick, Markus Wilhlem, and Patrick Yerly
- Subjects
kidney transplantation ,urinary tract infection ,Enterobacterales ,E. coli ,Klebsiella ,ESBL − extended-spectrum beta-lactamase ,Medicine (General) ,R5-920 - Abstract
BackgroundEnterobacterales are often responsible for urinary tract infection (UTI) in kidney transplant recipients. Among these, Escherichia coli or Klebsiella species producing extended-spectrum beta-lactamase (ESBL) are emerging. However, there are only scarce data on frequency and impact of ESBL-UTI on transplant outcomes.MethodsWe investigated frequency and impact of first-year UTI events with ESBL Escherichia coli and/or Klebsiella species in a prospective multicenter cohort consisting of 1,482 kidney transplants performed between 2012 and 2017, focusing only on 389 kidney transplants having at least one UTI with Escherichia coli and/or Klebsiella species. The cohort had a median follow-up of four years.ResultsIn total, 139/825 (17%) first-year UTI events in 69/389 (18%) transplant recipients were caused by ESBL-producing strains. Both UTI phenotypes and proportion among all UTI events over time were not different compared with UTI caused by non-ESBL-producing strains. However, hospitalizations in UTI with ESBL-producing strains were more often observed (39% versus 26%, p = 0.04). Transplant recipients with first-year UTI events with an ESBL-producing strain had more frequently recurrent UTI (33% versus 18%, p = 0.02) but there was no significant difference in one-year kidney function as well as longer-term graft and patient survival between patients with and without ESBL-UTI.ConclusionFirst-year UTI events with ESBL-producing Escherichia coli and/or Klebsiella species are associated with a higher need for hospitalization but do neither impact allograft function nor allograft and patient survival.
- Published
- 2024
- Full Text
- View/download PDF
38. Unsupervised Behaviour Analysis and Magnification (uBAM) using Deep Learning
- Author
-
Brattoli, Biagio, Buechler, Uta, Dorkenwald, Michael, Reiser, Philipp, Filli, Linard, Helmchen, Fritjof, Wahl, Anna-Sophia, and Ommer, Bjoern
- Subjects
Computer Science - Computer Vision and Pattern Recognition ,Computer Science - Artificial Intelligence ,Computer Science - Machine Learning - Abstract
Motor behaviour analysis is essential to biomedical research and clinical diagnostics as it provides a non-invasive strategy for identifying motor impairment and its change caused by interventions. State-of-the-art instrumented movement analysis is time- and cost-intensive, since it requires placing physical or virtual markers. Besides the effort required for marking keypoints or annotations necessary for training or finetuning a detector, users need to know the interesting behaviour beforehand to provide meaningful keypoints. We introduce unsupervised behaviour analysis and magnification (uBAM), an automatic deep learning algorithm for analysing behaviour by discovering and magnifying deviations. A central aspect is unsupervised learning of posture and behaviour representations to enable an objective comparison of movement. Besides discovering and quantifying deviations in behaviour, we also propose a generative model for visually magnifying subtle behaviour differences directly in a video without requiring a detour via keypoints or annotations. Essential for this magnification of deviations even across different individuals is a disentangling of appearance and behaviour. Evaluations on rodents and human patients with neurological diseases demonstrate the wide applicability of our approach. Moreover, combining optogenetic stimulation with our unsupervised behaviour analysis shows its suitability as a non-invasive diagnostic tool correlating function to brain plasticity., Comment: Published in Nature Machine Intelligence (2021), https://rdcu.be/ch6pL
- Published
- 2020
39. An algebraic approach to product-form stationary distributions for some reaction networks
- Author
-
Pascual-Escudero, Beatriz and Hoessly, Linard
- Subjects
Mathematics - Probability ,Mathematics - Algebraic Geometry ,Quantitative Biology - Molecular Networks ,Quantitative Biology - Quantitative Methods ,12D10, 14P10, 60J28, 60K35, 80A30, 82C20, 92C42, 92B05, 92E20 - Abstract
Exact results for product-form stationary distributions of Markov chains are of interest in different fields. In stochastic reaction networks (CRNs), stationary distributions are mostly known in special cases where they are of product-form. However, there is no full characterization of the classes of networks whose stationary distributions have product-form. We develop an algebraic approach to product-form stationary distributions in the framework of CRNs. Under certain hypotheses on linearity and decomposition of the state space for conservative ergodic CRNs, this gives sufficient and necessary algebraic conditions for product-form stationary distributions. Correspondingly we obtain a semialgebraic subset of the parameter space that captures rates where, under the corresponding hypotheses, CRNs have product-form. We employ the developed theory to CRNs and some models of statistical mechanics, besides sketching the pertinence in other models from applied probability., Comment: Accepted for publication in SIAM Journal on Applied Dynamical Systems
- Published
- 2020
40. Wave-packet scattering at a normal-superconductor interface in two-dimensional materials: a generalized theoretical approach
- Author
-
Linard, F. J. A., Moura, V. N., Covaci, L., Milošević, M. V., and Chaves, A.
- Subjects
Condensed Matter - Mesoscale and Nanoscale Physics - Abstract
A wave-packet time evolution method, based on the split-operator technique, is developed to investigate the scattering of quasi-particles at a normal-superconductor interface of arbitrary profile and shape. As a practical application, we consider a system where low energy electrons can be described as Dirac particles, which is the case for most two-dimensional materials, such as graphene and transition metal dichalcogenides. However the method is easily adapted for other cases such as electrons in few layer black phosphorus, or any Schr\"odinger quasi-particles within the effective mass approximation in semiconductors. We employ the method to revisit Andreev reflection in graphene, where specular and retro reflection cases are observed for electrons scattered by a step-like superconducting region. The effect of opening a zero-gap channel across the superconducting region on the electron and hole scattering is also addressed, as an example of the versatility of the technique proposed here.
- Published
- 2020
41. Systemically delivered adipose stromal vascular fraction mitigates radiation-induced gastrointestinal syndrome by immunomodulating the inflammatory response through a CD11b+ cell-dependent mechanism
- Author
-
Bensemmane, Lydia, Milliat, Fabien, Treton, Xavier, and Linard, Christine
- Published
- 2023
- Full Text
- View/download PDF
42. Fetal Muse-based therapy prevents lethal radio-induced gastrointestinal syndrome by intestinal regeneration
- Author
-
Dushime, Honorine, Moreno, Stéphanie G., Linard, Christine, Adrait, Annie, Couté, Yohann, Peltzer, Juliette, Messiaen, Sébastien, Torres, Claire, Bensemmane, Lydia, Lewandowski, Daniel, Romeo, Paul-Henri, Petit, Vanessa, and Gault, Nathalie
- Published
- 2023
- Full Text
- View/download PDF
43. HSV-1 cellular model reveals links between aggresome formation and early step of Alzheimer’s disease
- Author
-
Albaret, Marie Alexandra, Textoris, Julien, Dalzon, Bastien, Lambert, Jérémy, Linard, Morgane, Helmer, Catherine, Hacot, Sabine, Ghayad, Sandra E., Ferréol, Martial, Mertani, Hichem C., and Diaz, Jean-Jacques
- Published
- 2023
- Full Text
- View/download PDF
44. Influence of design implant and apical depth in post-extraction sockets: an in vitro simulated study
- Author
-
Cavalcante, Marcelo Sales, Ferraro-Bezerra, Marcelo, de Barros Silva, Paulo Goberlanio, Andrade, Gabriel Silva, Alencar, Phillipe Nogueira Barbosa, da Silva Ferreira Filho, Josfran, Maia, Lucas Alexandre, da Silva, Raul Anderson Domingues Alves, Moreira, Danna Mota, and Avelar, Rafael Linard
- Published
- 2023
- Full Text
- View/download PDF
45. Injectable long acting antiretroviral for HIV treatment and prevention: perspectives of potential users
- Author
-
Slama, Laurence, Porcher, Raphael, Linard, Françoise, Chakvetadze, Catherine, Cros, Agnès, Carillon, Séverine, Gallardo, Lucille, Viard, Jean-Paul, and Molina, Jean-Michel
- Published
- 2023
- Full Text
- View/download PDF
46. Automated Difficulty Assessment Model for Platformer Games: A Comprehensive Approach.
- Author
-
Yannick Francillette, Hugo Tremblay, Bruno Bouchard 0001, Simon Lescieux, Mathis Rozon, and Jules Linard
- Published
- 2023
- Full Text
- View/download PDF
47. Real-Time RRT* with Signal Temporal Logic Preferences.
- Author
-
Alexis Linard, Ilaria Torre 0002, Ermanno Bartoli, Alex Sleat, Iolanda Leite, and Jana Tumova
- Published
- 2023
- Full Text
- View/download PDF
48. Sound Verification of Security Protocols: From Design to Interoperable Implementations.
- Author
-
Linard Arquint, Felix A. Wolf, Joseph Lallemand, Ralf Sasse, Christoph Sprenger 0001, Sven N. Wiesner, David A. Basin, and Peter Müller 0001
- Published
- 2023
- Full Text
- View/download PDF
49. A Generic Methodology for the Modular Verification of Security Protocol Implementations.
- Author
-
Linard Arquint, Malte Schwerhoff, Vaibhav Mehta, and Peter Müller 0001
- Published
- 2023
- Full Text
- View/download PDF
50. Could Infectious Agents Play a Role in the Onset of Age-related Macular Degeneration? A Scoping Review
- Author
-
Larsen, Petra P., Dinet, Virginie, Delcourt, Cécile, Helmer, Catherine, and Linard, Morgane
- Published
- 2024
- Full Text
- View/download PDF
Catalog
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.