Results 141 to 150 of about 4,197,782 (360)
Verification of logic programs
The Journal of Logic Programming, 1999 Summary: We present a proof method in the style of Hoare's logic, aimed at providing a unifying framework for the verification of total correctness of logic and Prolog programs. The method, which relies on purely declarative reasoning, has been designed as a trade-off between expressiveness and ease of use.
PEDRESCHI, DINO, RUGGIERI, SALVATORE
openaire +1 more source
Development of visible light‐sensitive human neuropsin (OPN5) via single amino acid substitution
FEBS Letters, EarlyView.The present study determines a key amino acid residue, Lys91, for defining UV sensitivity of human OPN5. Heterologous action spectroscopy of the wild type and K91 mutants of OPN5 in HEK293T cells reveals that substitution of Lys91 with neutral (alanine) or acidic amino acids (glutamic or aspartic acids) causes substantial shifts in spectral sensitivity
Yusuke Sakai +2 more
wiley +1 more source
Laparotomy, Verifying the Diagnosis of Pelvic Cellulitis [PDF]
, 1891 CHARLES P. STRONG
openalex +1 more source
Exploring lipid diversity and minimalism to define membrane requirements for synthetic cells
FEBS Letters, EarlyView.Designing the lipid membrane of synthetic cells is a complex task, in which its various roles (among them solute transport, membrane protein support, and self‐replication) should all be integrated. In this review, we report the latest top‐down and bottom‐up advances and discuss compatibility and complexity issues of current engineering approaches ...
Sergiy Gan +2 more
wiley +1 more source
Experimental proof of Ohm's law; preceded by a short account of the discovery and subsequent verification of the law [PDF]
, 1890 Alfred M. Mayer
openalex +1 more source
FEBS Letters, EarlyView.C‐mannosylation is a unique form of protein glycosylation. In this study, we demonstrated that ADAMTS1 is C‐mannosylated at Trp562 and Trp565 in human testicular germ cell tumor NEC8 cells. We found that C‐mannosylation of ADAMTS1 is essential for its secretion, processing, enzymatic activity, and ability to promote vasculogenic mimicry. These findings
Takato Kobayashi +5 more
wiley +1 more source
A dynamical theory of the simultaneous reflexion by two lattice planes. III. Experimental verification [PDF]
, 1954 K. Kambe
openalex +1 more source
FEBS Letters, EarlyView.The Arabidopsis mutants hls1 hlh1 and amp1 lamp1 exhibit pleiotropic developmental phenotypes. Although the functions of the causative genes remain unclear, they act in the same genetic pathway and are thought to generate non‐cell‐autonomous signals.
Takashi Nobusawa, Makoto Kusaba
wiley +1 more source
System Verification through Program Verification
, 2011 We present an automatable approach to verify that a system satisfies its requirements by verification of the program that controls the system. The approach can be applied if the interaction of the program with the system hardware can be faithfully described by a table relating domain phenomena and program variables.
Dietsch, Daniel +2 more
openaire +3 more sources