Results 131 to 140 of about 4,235,689 (341)

Formal methods in transformational derivation of programs [PDF]

, 1990
Uday S. Reddy
openalex   +1 more source

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., Meyer, J. F., Movaghar, A.   +2 more
core   +1 more source

Establishment and optimization of the two‐step induction system for generating primordial germ cell‐like cells from chicken embryonic stem cells

FEBS Open Bio, EarlyView.
This study optimizes a two‐step induction system to generate PGCLCs from chicken ESCs. The induced cells express germline markers and migrate to gonads in ovo, offering a novel approach for avian genetic resource conservation. Primordial germ cells (PGCs) are the progenitor cells of sperm and eggs.
Zeyu Li, XianShuai Xu, GuangZheng Liu, XiaoQian Lv, JiuZhou Song, HongYan Sun, YingJie Niu, QiSheng Zuo, Wei Han, BiChun Li, Kai Jin   +10 more
wiley   +1 more source

1991 International Workshop on Formal Methods in VLSI Design [PDF]

, 1991
Richard J. Boulton
openalex   +1 more source

A general model for analysis of linear and hyperbolic enzyme inhibition mechanisms

FEBS Open Bio, EarlyView.
We developed a general enzyme kinetic model that integrates these six basic inhibition mechanism onto a single one. From this model, we deduced a general enzyme kinetic equation that through modulation of simple parameters, γ (the relative inhibitor affinity for two binding sites) and β (the reactivity of the enzyme–substrate–inhibitor complex), is ...
Rafael S. Chagas, Sandro R. Marana
wiley   +1 more source

Formal methods [PDF]

, 1994
F. J. van der Linden
openalex   +1 more source

Used Formal Methods

, 2015
{"references": ["Peter B. Andrews. An introduction to mathematical logic and type theory: to truth through proof. Academic Press Professional, Inc., San Diego, CA, USA, 1986.", "Peter B. Andrews. Introduction to Mathematical Logic and Type Theory: To Truth through Proof. Kluwer Academic Publishers, Dordrecht, 2002.", "Clemens Ballarin.
Werner Stephan, Yakoub Nemouchi, Bruno Langenstein, Oto Havle, Burkhart Wolff, Abderrahmane Feliachi, Cyril Proch, Freek Verbeek, Holger Blasum, Sergey Tverdyshev, Julien Schmaltz   +10 more
openaire   +2 more sources

HSP70 governs permeability and mechanotransduction in primary human endothelial cells

FEBS Open Bio, EarlyView.
HSP70 chemical inhibition reduces endothelial cell proliferation and increases permeability, the latter supported by normal interendothelial junctional protein distribution. HSP70 also plays a role in shear stress response, a hemodynamic force naturally present in blood vessels and correlated with vessel protection.
Andrea Pinto‐Martinez, Everton G. Melo, Isadora C. B. Pavan, Percíllia V. S. Oliveira, Luiza B. C. T. Coimbra, Thaís L. S. Araujo   +5 more
wiley   +1 more source

Deep Learning-Enhanced Sampling-Based Path Planning for LTL Mission Specifications

Sensors
The presented paper introduces a novel path planning algorithm designed for generating low-cost trajectories that fulfill mission requirements expressed in Linear Temporal Logic (LTL).
Changmin Baek, Kyunghoon Cho
doaj   +1 more source

A formal method for analyzing and integrating the rule-sets of multiple experts [PDF]

, 1992
Ojelanki Ngwenyama, Noel Bryson
openalex   +1 more source