Zobrazeno 1 - 10
of 931
pro vyhledávání: '"E, Moritz"'
Autor:
Nicoletti, Stefano M., Hahn, E. Moritz, Fumagalli, Mattia, Guizzardi, Giancarlo, Stoelinga, Mariëlle
When considering risky events or actions, we must not downplay the role of involved objects: a charged battery in our phone averts the risk of being stranded in the desert after a flat tyre, and a functional firewall mitigates the risk of a hacker in
Externí odkaz:
http://arxiv.org/abs/2412.13964
We provide an overview of three different query languages whose objective is to specify properties on the highly popular formalisms of fault trees (FTs) and attack trees (ATs). These are BFL, a Boolean Logic for FTs, PFL, a probabilistic extension of
Externí odkaz:
http://arxiv.org/abs/2401.16015
Critical infrastructure systems - for which high reliability and availability are paramount - must operate securely. Attack trees (ATs) are hierarchical diagrams that offer a flexible modelling language used to assess how systems can be attacked. ATs
Externí odkaz:
http://arxiv.org/abs/2309.09231
Publikováno v:
In: Chechik, M., Katoen, JP., Leucker, M. (eds) Formal Methods. FM 2023. Lecture Notes in Computer Science, vol 14000. Springer, Cham
Safety-critical infrastructures must operate in a safe and reliable way. Fault tree analysis is a widespread method used for risk assessment of these systems: fault trees (FTs) are required by, e.g., the Federal Aviation Administration and the Nuclea
Externí odkaz:
http://arxiv.org/abs/2303.17314
Publikováno v:
Hematology, Transfusion and Cell Therapy, Vol 46, Iss , Pp S863- (2024)
Introdução: O Antígeno Neutrofílico Humano-2 (HNA-2, CD177) é uma glicoproteína presente na membrana de uma subpopulação de neutrófilos, com uma porcentagem variável de neutrófilos positivos. A superexpressão do HNA-2 está relacionada a
Externí odkaz:
https://doaj.org/article/c73ce6ccb90c4f1ea3c031988baa386c
Safety-critical infrastructures must operate safely and reliably. Fault tree analysis is a widespread method used to assess risks in these systems: fault trees (FTs) are required - among others - by the Federal Aviation Authority, the Nuclear Regulat
Externí odkaz:
http://arxiv.org/abs/2208.13424
Autor:
JO Martins, HTS Junior, E Moritz, AJ Salum, R Marco, RF Machado, HMS Proença, MG Lima, JOM Pestana, JO Bordin
Publikováno v:
Hematology, Transfusion and Cell Therapy, Vol 45, Iss , Pp S630-S631 (2023)
Introdução: O sistema de Antígenos de Neutrófilos Humanos-3 (HNA-3) está localizado na proteína Transportadora de Colinta-2 (CTL2), e é codificado pelo gene SLC44A2 e possui duas variantes: HNA-3a (SLC44A2*01) e HNA-3b (SLC44A2*02). Os antíge
Externí odkaz:
https://doaj.org/article/374ed2d6bd534258b9eb6e85af1acbaf
Autor:
JO Martins, HTS Junior, E Moritz, AJ Salum, R Marco, RF Machado, HMS Proença, MG Lima, JOM Pestana, JO Bordin
Publikováno v:
Hematology, Transfusion and Cell Therapy, Vol 45, Iss , Pp S630- (2023)
Introdução: O sistema de antígenos de Neutrófilos Humanos-3 (HNA-3) é codificado pelo gene SLC44A2 e possui duas variantes: HNA-3a e HNA-3b. São expressos em neutrófilos, células endoteliais microvasculares dos pulmões, células tubulares re
Externí odkaz:
https://doaj.org/article/baa2a02134c54a9faab444e768dcde01
Autor:
AN Menezes, R Cerqueira, RL Neves, JAP Braga, E Moritz, JM Franco, JFS Franco, JO Bordin, JB Pesquero
Publikováno v:
Hematology, Transfusion and Cell Therapy, Vol 45, Iss , Pp S844- (2023)
Aims: To evaluate the expression of neutrophilic cathelicidin pro-LL-37 (hCAP18) and the expression of CAMP gene in patients with chronic primary neutropenia (CPN), and its correlation with the etiology of the disease. Methods: Prospective study, car
Externí odkaz:
https://doaj.org/article/f57442b3e9f14221a7018ef92462de05
Autor:
Marta Sánchez-Soto, Noelia M. Boldizsar, Kayla A. Schardien, Nora S. Madaras, Blair K. A. Willette, Laura R. Inbody, Christopher Dasaro, Amy E. Moritz, Julia Drube, Raphael S. Haider, R. Benjamin Free, Carsten Hoffman, David R. Sibley
Publikováno v:
Biomolecules, Vol 13, Iss 10, p 1552 (2023)
The D2 dopamine receptor (D2R) signals through both G proteins and β-arrestins to regulate important physiological processes, such as movement, reward circuitry, emotion, and cognition. β-arrestins are believed to interact with G protein-coupled re
Externí odkaz:
https://doaj.org/article/a4efa938f10740ff9782ac55fdd0a957