Results 81 to 90 of about 549,692 (299)
Automated Rule-Checking - a tool for design development [PDF]
, 2016 Although automated rule-checking is often presented in the context of applyingfor licenses and permits, as a way to assess compliance with building codes, its mostimmediate application can be found in earlier stages of the design phase.
Bárbara Rangel +2 more
core
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
Using dynamic binary analysis for tracking pointer data [PDF]
, 2014 The examination and monitoring of binaries during runtime, referred to as dynamic binary analysis, is a widely adopted approach, especially in the field of security and software vulnerabilities.
Computer Science Annual Workshop CSAW’14 +2 more
core
PARP inhibitors induce a senescence phenotype in non‐small cell lung carcinoma cell lines
FEBS Open Bio, EarlyView.Talazoparib is the most potent inducer of senescence among different PARP1 inhibitors in human NSCLC cells. In the absence of PARP, no senescence phenotype was observed, demonstrating that PARP1 is necessary for the induction of senescence by this inhibitor.
Camille Huart +7 more
wiley +1 more source
, 2010 Distributed embedded systems (DESs) are no longer the exception; they are the rule in many application areas such as avionics, the automotive industry, traffic systems, sensor networks, and medical devices.
Meseguer, José, Ölveczky, Peter Csaba
core +2 more sources
Promiscuous stimulation of HSP70 ATPase activity by parasite‐derived J‐domains
FEBS Open Bio, EarlyView.The malaria parasite Plasmodium falciparum exports three highly homologous yet functionally divergent J‐domain proteins into human erythrocytes. Here, we show that J‐domains isolated from all three proteins effectively stimulate the ATPase activity of both endogenous host and exported parasite HSP70 chaperones.
Julian Barth +6 more
wiley +1 more source
Money in Monetary Policy Design under Uncertainty: A Formal Characterization of ECB-Style Cross-Checking [PDF]
The European Central Bank has assigned a special role to money in its two pillar strategy and has received much criticism for this decision. The case against including money in the central bank’s interest rate rule is based on a standard model of the ...
Guenter W. Beck, Volker Wieland
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
Deterministic Non-cooperative P Systems with Strong Context Conditions [PDF]
, 2015 We continue the line of research of deterministic parallel non-cooperative multiset rewriting with control. We here generalize control, i.e., rule applicability context conditions, from promoters and inhibitors checking presence or absence of certain ...
Alhazov, Artiom, Freund, Rudolf
core
Monte Carlo simulation of single spin asymmetries in pion-proton collisions
, 2006 We present Monte Carlo simulations of both the Sivers and the Boer-Mulders effects in the polarized Drell-Yan $\pi^\pm p^\uparrow \to \mu^+ \mu^- X$ process at the center-of-mass energy $\sqrt{s} \sim 14$ GeV reachable at COMPASS with pion beams of ...
A. Efremov +6 more
core +1 more source