Results 311 to 320 of about 2,060,377 (384)

MolViewSpec: a Mol* extension for describing and sharing molecular visualizations. [PDF]

Nucleic Acids Res
Midlik A, Bittrich S, Fleming JR, Nair S, Velankar S, Burley SK, Young JY, Vallat B, Sehnal D.   +8 more
europepmc   +1 more source

The emergence of human primordial germ cell-like cells in stem cell-derived gastruloids. [PDF]

Sci Adv
Neupane J, Lubatti G, Gross-Thebing T, Ruiz Tejada Segura ML, Butler R, Gross-Thebing S, Dietmann S, Scialdone A, Surani MA.   +8 more
europepmc   +1 more source

Evolution of HD-ZIP transcription factors and their function in cabbage leafy head formation. [PDF]

Front Plant Sci
Zhang J, Chen C, Yang Q, Xu J, Han Z, Ma W, Zhang X, Xu K, Zhao J, Chen X.   +9 more
europepmc   +1 more source

Pharmacy Role In the proMotion of continencE (PRIME): a co-production study to develop a Pharmacy Bladder and Bowel Service

Cotterill N, Uren A, Williams A, Chandler D, McLeod H, Dawson S, Watson M.   +6 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Formal Specification Level: Towards verification-driven design based on natural language processing

Proceeding of the 2012 Forum on Specification and Design Languages, 2012
The steadily increasing complexity of the design of embedded systems led to the development of both an elaborated design flow that includes various abstraction levels and corresponding methods for synthesis and verification. However, until today the initial system specification is provided in natural language which is manually translated into a formal ...
R. Drechsler, Mathias Soeken, R. Wille
semanticscholar   +3 more sources

Formal specification [PDF]

Proceedings of the Conference on The Future of Software Engineering, 2000
Formal specifications have been a focus of software engineering research for many years and have been applied in a wide variety of settings. Their industrial use is still limited but has been steadily growing. After recalling the essence,role, usage, and pitfalls of formal specification, the paper reviews the main specification paradigms to date and ...
openaire   +1 more source

A formalism of the specifications for library development

2013 IEEE International SOC Conference, 2013
In System-on-Chip (SoC) design, more and more pre-defined libraries such as standard cell library are required in order to reduce time-to-market and to ensure the functionality of complex systems. However, an amount of information such as technology parameters is needed to develop libraries. From the perspective of library providers, a crucial issue is
Chae, Jung Kyu, Mougeat, Paul, Francois, Jean-Arnaud, Chotin-Avot, Roselyne, Mehrez, Habib   +4 more
openaire   +3 more sources

KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine

IEEE Computer Security Foundations Symposium, 2018
A developing field of interest for the distributed systems and applied cryptography communities is that of smart contracts: self-executing financial instruments that synchronize their state, often through a blockchain. One such smart contract system that
Everett Hildenbrandt, M. Saxena, Nishant Rodrigues, Xiaoran Zhu, Philip Daian, Dwight Guth, Brandon M. Moore, D. Park, Yi Zhang, Andrei Stefanescu, Grigore Roşu   +10 more
semanticscholar   +1 more source