Results 81 to 90 of about 1,803,900 (290)

Survey of Consensus Protocol’s Formal Verification

Cybersecurity
As blockchain technology is increasingly being applied to various aspects of actual production, higher requirements are being placed on its stability and correctness.
Zelin Feng, Rui Zhang
doaj   +1 more source

Leucine‐rich glioma inactivated 1 (LGI1) is a ganglioside‐binding protein

FEBS Letters, EarlyView.
Neuronal hyperexcitability associated with a decrease/absence of the extracellular protein LGI1 has been suggested to be primarily due to the downregulation of Kv1 channel expression. The molecular mechanisms underlying this decrease have not yet been elucidated.
Kévin Debreux, Christian Lévêque, Fodil Azzaz, Marion Sangiardi, Sarosh R Irani, Michael Seagar, Jacques Fantini, Oussama El Far   +7 more
wiley   +1 more source

Continuous Formal Verification for Aerospace Applications

Aerospace systems have the most stringent requirements when it comes to safety and reliability. The harsh environment combined with the immense costs of designing and manufacturing space applications places huge concern over ensuring that applications ...
McColl, Callum, Tuxworth, Gervase, Hexel, René, de Souza, Paulo, Pereira, Aaron, McColl, Morgan   +5 more
core   +1 more source

Membrane composition and thermodynamic identity as boundaries of life for synthetic cell research

FEBS Letters, EarlyView.
What makes a cell a cell? The boundary of a living cell is not just a wall. Read as a Markov blanket, the membrane separates internal from external states, generating identity and non‐equilibrium order. Can this identity be rebuilt from scratch in a synthetic cell?
Caterina Presutti, Bert Poolman
wiley   +1 more source

Towards Formal Verification of ToolBus Scripts [PDF]

, 2008
ToolBus allows one to connect tools via a software bus. Programming is done using the scripting language Tscript, which is based on the process algebra ACP. Tscript was originally designed to enable formal verification, but this option has so far not been explored in any detail.
Wan J. Fokkink, Paul Klint, Bert Lisser, Yaroslav S. Usenko   +3 more
openaire   +7 more sources

Timing requirement description diagrams for real-time system verification [PDF]

, 2008
TURTLE is a real-time UML profile introduced a few years ago to address the analysis, design and deployment of time-constrained systems. The profile has a formal semantics. Further, it is supported by an open source toolkit: TTool.
Fontan, B, Apvrille, L., Saqui-Sannes, Pierre de, De Saqui-Sannes, P, Apvrille, Ludovic, Fontan, Benjamin   +5 more
core  

IMPDH inhibition enhances cytarabine efficacy in SAMHD1‐expressing leukaemia cells via guanine nucleotide depletion

Molecular Oncology, EarlyView.
Cytarabine is a key therapy for acute myeloid leukaemia (AML), but its efficacy is limited by the dNTPase SAMHD1, which hydrolyses its active metabolite. Screening nucleotide biosynthesis inhibitors revealed that IMPDH inhibitors selectively sensitise SAMHD1‐proficient AML cells to cytarabine.
Miriam Yagüe‐Capilla, Christopher Dirks, Caroline Eiden, Sonja K. Fesenmayer, Femke M. Hormann, Yolande Klootsema, Ingrid Lilienthal, Si Min Zhang, Nikolas Herold, Sean G. Rudd   +9 more
wiley   +1 more source

Formal Verification and Co-Simulation in the Design of a Synchronous Motor Control Algorithm

Energies, 2020
Mechatronic systems are a class of cyber-physical systems, whose increasing complexity makes their validation and verification more and more difficult, while their requirements become more challenging.
Cinzia Bernardeschi, Pierpaolo Dini, Andrea Domenici, Maurizio Palmieri, Sergio Saponara   +4 more
doaj   +1 more source

KDM7A and KDM1A inhibition suppresses tumour promoting pathways in prostate cancer

Molecular Oncology, EarlyView.
Treatment resistance is a major challenge for patients with advanced prostate cancer. This study examined an alternative approach to target the major prostate cancer‐promoting pathway by targeting epigenetic factors, whose levels are higher in tumours.
Jennie N Jeyapalan, Veronika M Metzler, Simone de Brot, Corinne L Woodcock, Anna E Harris, Jennifer Lothion‐Roy, Emeli M Nilsson, Atara Ntekim, Michael S Toss, Jenny L Persson, Francesca Khani, Brian D Robinson, Lorraine J Gudas, Emad Rakha, David M Heery, Catrin S Rutland, Nigel P Mongan   +16 more
wiley   +1 more source

Formal Verification of Manipulation Dialogues

International Joint Conference on Autonomous Agents and Multiagent Systems
We introduce a formal framework for recognizing manipulation in human-agent interactions, where one agent gradually influences another's beliefs. To this end, we extend Quantitative Bipolar Argumentation Frameworks (QBAFs) by incorporating agents' beliefs about arguments, attacks, and supports, forming QBAF with Belief (QBAFB).
Brännström, Andreas, Sakama, Chiaki, Nieves, Juan Carlos   +2 more
openaire   +3 more sources