Results 201 to 210 of about 598,738 (293)

An executable formal semantics for UML-RT

Journal of Software and Systems Modeling, 2016
Ernesto Posse, J. Dingel
semanticscholar   +1 more source

Computation of Protein-Ligand Binding Free Energies with a Quantum Mechanics-Based Mining Minima Algorithm. [PDF]

J Chem Theory Comput
Schlinsog M, Sattasathuchana T, Xu P, Guidez EB, Gilson MK, Potter MJ, Gordon MS, Webb SP.   +7 more
europepmc   +1 more source

An executable specification, analyzer and verifier for RMO (relaxed memory order) [PDF]

, 1995
Seungjoon Park, David L. Dill
openalex   +1 more source

Preparing the Next Generation of Integrative Organismal Biologists. [PDF]

Integr Comp Biol
Padilla DK, Grünbaum D.
europepmc   +1 more source

Designing executable abstractions [PDF]

, 1998
Gerard J. Holzmann
openalex   +1 more source

Effect of extended parallel process model training on enhancing physical activity of overweight pregnant women: A randomized controlled trial. [PDF]

J Educ Health Promot
Hakimzadeh A, Hajian S, Afrakhteh M, Rafiei F.   +3 more
europepmc   +1 more source

A Result of Executing of High Rise Hotel in the Cold District, Tomamu, used SEC Method of Hotel Alfa Tomamu, The Tower

, 1988
I. Okada, T. Yoshida, Nobuo Yamaguchi, N. Kawagishi   +3 more
openalex   +2 more sources

Repository of MRI-derived models of the breast with single and multiple benign and malignant tumors for microwave imaging research. [PDF]

PLoS One
Pelicano AC, Gonçalves MCT, Castela T, Orvalho ML, Araújo NAM, Porter E, Conceição RC, Godinho DM.   +7 more
europepmc   +1 more source

Development of a Novel Automated Workflow in Fiji ImageJ for Batch Analysis of Confocal Imaging Data to Quantify Protein Colocalization Using Manders Coefficient. [PDF]

Bio Protoc
Aditya V, Tambe V, Yue W.
europepmc   +1 more source

Provide proactive reproducible analysis transparency with every publication. [PDF]

R Soc Open Sci
Meijer P, Howard N, Liang J, Kelsey A, Subramanian S, Johnson E, Mariz P, Harvey J, Ambrose M, Tereshchenko V, Beaubien A, Inala N, Aggoune Y, Pister S, Vetto A, Kinsey M, Bumol T, Goldrath A, Li X, Torgerson T, Skene P, Okada L, La France C, Thomson Z, Graybuck L.   +24 more
europepmc   +1 more source