Results 71 to 80 of about 23,557 (297)
Liveness Checking as Safety Checking
, 2002 Temporal logic is widely used for specifying hardware and software systems. Typically two types of properties are distinguished, safety and liveness properties.
Armin Biere +5 more
core +1 more source
Molecular Oncology, EarlyView.Drug resistance limits treatment success in a subset of lung cancers driven by ROS1 gene alterations. Using patient‐derived cells and computer simulations, we studied three key mutations and how they affect five targeted drugs. The mutations reduced drug effectiveness in different ways by altering protein structure and behavior.
Farhan Ul Haq +8 more
wiley +1 more source
Versatile and declarative dynamic programming using pair algebras
, 2005 Steffen P, Giegerich R. Versatile and declarative dynamic programming using pair algebras. BMC Bioinformatics. 2005;6(1): 224.Background: Dynamic programming is a widely used programming technique in bioinformatics. In sharp contrast to the simplicity of
Peter Steffen +5 more
core +1 more source
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
LLM-Generated Invariants for Bounded Model Checking Without Loop Unrolling [PDF]
We investigate a modification of the classical Bounded Model Checking (BMC) procedure that does not handle loops through unrolling but via modifications to the control flow graph (CFG).
Pirzada, Muhammad A. A.; id_orcid +3 more
core +1 more source
FEBS Open Bio, EarlyView.Amino acids sequence of two different proteins with the same sequence (chameleon sequence—black boxes) represent in 3D structure of the proteins different secondary structures: HHHH—helical and BBB—Beta‐structural. The chains folded in water environment adopt different III‐order structures in which the chameleon fragments appear to adopt similar status
Irena Roterman +4 more
wiley +1 more source
Nuclear Physics BThe exact localization result for the expectation value of the 12 BPS circular Wilson loop in N=4 SYM theory is given in the planar limit by the famous Bessel function expression: 〈W〉=2NλI1(λ).
M. Beccaria +2 more
doaj +1 more source
FEBS Open Bio, EarlyView.The MRP4 transporter exports several drugs and signaling molecules. Here, we identified key promoter elements regulating basal MRP4 expression. Using reporter assays, we defined a conserved region with essential Sp1 and contributory Ets sites, which controlled basal MRP4 expression.
Debora Singer +7 more
wiley +1 more source
Efficient loop-check for multimodal KD45n logic
Lietuvos matematikos rinkinys, 2021 We introduce sequent calculus for multi-modal logic KD45n which uses efficient loop-check. Efficiency of the used loop-check is obtained by using marked modal operator squarei which is used as an alternative to sequent with histories ([2,3]).We use inference rules with or branches to make all rules invertible or semi-invertible.
openaire +2 more sources
Clustering Algorithm Reveals Dopamine‐Motor Mismatch in Cognitively Preserved Parkinson's Disease
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective To explore the relationship between dopaminergic denervation and motor impairment in two de novo Parkinson's disease (PD) cohorts. Methods n = 249 PD patients from Parkinson's Progression Markers Initiative (PPMI) and n = 84 from an external clinical cohort.
Rachele Malito +14 more
wiley +1 more source