Results 51 to 60 of about 4,235,689 (341)

Declarative Specification [PDF]

, 1996
Deriving formal specifications from informal requirements is extremely difficult since one has to overcome the conceptual gap between an application domain and the domain of formal specification methods.
David Robertson, Fuchs, Fuchs, Kowalski, Kramer, Luqi, Norbert E. Fuchs, Robertson, Robertson, Robertson, Schwitter, Sterling   +11 more
core   +1 more source

4‐nitrobenzoate inhibits 4‐hydroxybenzoate polyprenyltransferase in malaria parasites and enhances atovaquone efficacy

FEBS Letters, EarlyView.
Atovaquone is an antimalarial requiring potentiation for sufficient efficacy. We pursued strategies to enhance its activity, showing that 4‐nitrobenzoate inhibits 4‐hydroxybenzoate polyprenyltransferase, decreasing ubiquinone biosynthesis. Since atovaquone competes with ubiquinol in mitochondria, 4‐nitrobenzoate facilitates its action, potentiating ...
Ignasi Bofill Verdaguer, Matheus Felipe Santos, Maurício Mazzine Filho, Gabriela Oliveira Castro, Agustín Hernández, Manoel Aparecido Peres, Alejandro Miguel Katzin, Marcell Crispim   +7 more
wiley   +1 more source

The Age-of-Information Distribution in Slotted ALOHA

IEEE Access
Age-of-Information (AoI) is a new performance metric for critical networked cyber-physical systems (CPS), where performance depends on how quickly fresh data is received in update packets.
Dieter Fiems, Alexey Vinel
doaj   +1 more source

Is Formal Verification of seL4 Adequate to Address the Key Security Challenges of Kernel Design?

IEEE Access, 2023
Formal method tools are used in the initial stages of the software development cycle and have advanced to deal with the design difficulties related to ensuring strong cybersecurity and reliability in high-assurance systems.
Mina Soltani Siapoush, Jim Alves-Foss
doaj   +1 more source

Formal methods for future interoperability [PDF]

ACM SIGCSE Bulletin, 2009
Interoperability is a key challenge in software engineering, whether expressed in terms of the compatibility of different systems and protocols, in terms of compliance to industry standards, or--increasingly--in terms of the ability to share and re-use data gathered in different contexts.
Davies, J, Gibbons, J
openaire   +4 more sources

Linked dimers of the AAA+ ATPase Msp1 reveal energetic demands and mechanistic plasticity for substrate extraction from lipid bilayers

FEBS Letters, EarlyView.
Cells must clear mislocalized or faulty proteins from membranes to survive. The AAA+ ATPase Msp1 performs this task, but dissecting how its six subunits work together is challenging. We engineered linked dimers with varied numbers of functional subunits to reveal how Msp1 subunits cooperate and use energy to extract proteins from the lipid bilayer ...
Deepika Gaur, Brian Acquaviva, Baylee A. Smith, Nathan Walker, Isabella Walter, Matthew L. Wohlever   +5 more
wiley   +1 more source

The Comparison of Tree-Sibling Time Consistent Phylogenetic Networks Is Graph Isomorphism-Complete

The Scientific World Journal, 2014
Several polynomial time computable metrics on the class of semibinary tree-sibling time consistent phylogenetic networks are available in the literature; in particular, the problem of deciding if two networks of this kind are isomorphic is in P.
Gabriel Cardona, Mercè Llabrés, Francesc Rosselló, Gabriel Valiente   +3 more
doaj   +1 more source

Comparing self‐reported race and genetic ancestry for identifying potential differentially methylated sites in endometrial cancer: insights from African ancestry proportions using machine learning models

Molecular Oncology, EarlyView.
Integrating ancestry, differential methylation analysis, and machine learning, we identified robust epigenetic signature genes (ESGs) and Core‐ESGs in Black and White women with endometrial cancer. Core‐ESGs (namely APOBEC1 and PLEKHG5) methylation levels were significantly associated with survival, with tumors from high African ancestry (THA) showing ...
Huma Asif, J. Julie Kim
wiley   +1 more source

FORMAL METHODS OF EXPERT ESTIMATIONS

Статистика и экономика, 2016
This article series discusses formal methods of expert assessments. Usingthe Delphi method helps to formalize theprocedures for the collection, compilationand analysis of the views of specialists inorder to convert them into a form most convenient for ...
Tea Ya. Danelyan
doaj   +1 more source

Learning-Based Path Planning Under Co-Safe Temporal Logic Specifications

IEEE Access, 2023
This paper presents a path planning algorithm for efficiently generating low-cost trajectories that meet mission requirements specified in Linear Time Logic (LTL), where cost functions are defined throughout the configuration space.
Kyunghoon Cho
doaj   +1 more source