Results 41 to 50 of about 736,363 (296)
Model Checking Resiliency and Sustainability of In-Vehicle Network for Real-Time Authenticity
Applied Sciences, 2021 The Controller Area Network (CAN) is the most common network system in automotive systems. However, the standardized design of a CAN protocol does not consider security issues, so it is vulnerable to various security attacks from internal and external ...
Jin Hyun Kim, Hyo Jin Jo, Insup Lee
doaj +1 more source
FEBS Open Bio, EarlyView.dUTPases are involved in balancing the appropriate nucleotide pools. We showed that dUTPase is essential for normal development in zebrafish. The different zebrafish genomes contain several single‐nucleotide variations (SNPs) of the dut gene. One of the dUTPase variants displayed drastically lower protein stability and catalytic efficiency as compared ...
Viktória Perey‐Simon +6 more
wiley +1 more source
Maderas: Ciencia y Tecnología, 2007 Se estudian las grietas internas dentro de los anillos de madera inicial durante el secado industrial del pino radiata. Se determina el porcentaje de las grietas internas y se analizan algunos factores condicionantes de las grietas internas durante el ...
José VERA SEPULVEDA +2 more
doaj
Ex Ante Audit Sebagai Upaya Pencegahan Fraud
Akrual: Jurnal Akuntansi, 2017 This study aims to find out how the efforts of PTKIN X in an effort to overcome fraud (fraud). Researchers conduct research with a qualitative approach to the subject of research Internal Supervisory Unit (SPI) as an institution that has authority in ...
Helti Nur Aisyiah, Fahri Ali Ahzar
doaj +1 more source
, 2006 Lossy channel systems (LCSs) are systems of finite state automata that communicate via unreliable unbounded fifo channels. In order to circumvent the undecidability of model checking for nondeterministic LCSs, probabilistic models have been introduced,
Baier, Christel +2 more
core +5 more sources
HIV‐1 establishes immediate latency in T cells expressing the viral Nef protein
FEBS Open Bio, EarlyView.Nef is a viral protein often omitted from HIV‐1 reporter viruses. Consequently, its role in viral latency is unclear. We developed three novel dual reporter HIV‐1 derivatives that express Nef and allow for detection of latent and productive infection. Using these reporters, we show that Nef does not affect the establishment of immediate viral latency ...
Cindy Lam, Ivan Sadowski
wiley +1 more source
Condicionantes de las grietas internas dentro de los anillos durante el secado de Pino Radiata
Maderas: Ciencia y Tecnología, 2014 Se estudian las grietas internas dentro de los anillos de madera inicial durante el secado industrial del pino radiata. Se determina el porcentaje de las grietas internas y se analizan algunos factores condicionantes de las grietas internas durante el ...
José Vera Sepúlveda +2 more
doaj
Integrated comparative validation tests as an aid for building simulation tool users and developers [PDF]
, 2006 Published validation tests developed within major research projects have been an invaluable aid to program developers to check on their programs. This paper sets out how selected ASHRAE Standard 140-2004 and European CEN standards validation tests have ...
Beausoleil-Morrison, I. +3 more
core
Single‐molecule DNA flow‐stretch assays for high‐throughput DNA–protein interaction studies
FEBS Open Bio, EarlyView.We describe an optimised single‐molecule DNA flow‐stretch assay that visualises DNA–protein interactions in real time. Linear DNA fragments are tethered to a surface and stretched by buffer flow for fluorescence imaging. Using λ and φX174 DNA, this protocol enhances reproducibility and accessibility, providing a versatile approach for studying diverse ...
Ayush Kumar Ganguli +8 more
wiley +1 more source
Jixie chuandong, 2006 A mathematic model for generative interference checking during internal gear shaving is developed based on space meshing theory,and the relationship between the generative interference and the tooth number difference of internal gear and that of the gear
吴能章
doaj