Results 131 to 140 of about 4,463,103 (324)
Formal expansions in stochastic model for wave turbulence 2: method of\n diagram decomposition (complete version) [PDF]
, 2019 Andrey Dymov, Sergei Kuksin
openalex +1 more source
Formal Aspects of ComputingFormal methods encompass a wide choice of techniques and tools for the specification, development, analysis, and verification of software and hardware systems. Formal methods are widely applied in industry, in activities ranging from the elicitation of requirements and the early design phases all the way to the deployment, configuration, and runtime ...
Maurice H. ter Beek +14 more
openaire +2 more sources
FEBS Open Bio, EarlyView.NF90–NF45 functions as a negative regulator of methyltransferase‐like 3/14 (METTL3/14)‐mediated N6‐methyladenosine (m6A) modification on primary microRNAs (pri‐miRNAs). NF90–NF45 binds to anti‐oncogenic pri‐miRNAs and inhibits their m6A modification, thereby suppressing the biogenesis of anti‐oncogenic miRNAs.
Takuma Higuchi +6 more
wiley +1 more source
Research on formal description and verification of automated trust negotiation
Tongxin xuebao, 2011 First,a unified ATN formal framework was presented,into which typical negotiation strategies could be reduced.Second,the formal verification of ATN was defined based on the formal framework.The objectives and procedures of the formal verification of ATN ...
GUAN Shang-yuan 1 +3 more
doaj
A bibliography on formal methods for system specification, design and validation [PDF]
Literature on the specification, design, verification, testing, and evaluation of avionics systems was surveyed, providing 655 citations. Journal papers, conference papers, and technical reports are included.
Furchtgott, D. G. +2 more
core +1 more source
FEBS Open Bio, EarlyView.A tri‐culture of iPSC‐derived neurons, astrocytes, and microglia treated with ferroptosis inducers as an Induced ferroptosis model was characterized by scRNA‐seq, cell survival, and cytokine release assays. This analysis revealed diverse microglial transcriptomic changes, indicating that the system captures key aspects of the complex cellular ...
Hongmei Lisa Li +6 more
wiley +1 more source
Formal specification of a voice communication system used in air traffic control an industrial application of light-weight formal methods using vdm [PDF]
, 1999 Johann Hörl, Bernhard K. Aichernig
openalex +1 more source
Formal Verification Methods for Modeling in Biology [PDF]
, 2023 Gilles Bernot +2 more
openalex +1 more source
Electronic Notes in Theoretical Computer Science, 1999 AbstractTechnology transfer from academic research to industrial practice is hampered by social, political and economic problems more that by technical issues. This paper describes one instance of successful technology transfer based on a special-purpose language and associated translation tool tailored to the customer's needs.
openaire +1 more source
FEBS Open Bio, EarlyView.This review provides an overview of bio‐based polymer sources, their unique functional properties and their environmental impact, and addresses their role as sustainable alternatives. It discusses end‐of‐life options, including composting and anaerobic digestion for renewable energy.
Sabina Kolbl Repinc +8 more
wiley +1 more source