Results 131 to 140 of about 49,891 (172)

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

Integr Comp Biol
Padilla DK, Grünbaum D.
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

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

Designing executable abstractions [PDF]

, 1998
Gerard J. Holzmann
openalex   +1 more source

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

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

Executable Tile Specifications for Process Calculi [PDF]

, 1999
Roberto Bruni, José Meseguer, Ugo Montanari   +2 more
openalex   +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

EBTM: An Enumeration-Based Thresholding Method for Degraded Circular Dot Segmentation. [PDF]

Sensors (Basel)
Shi B, He Q, Chen X, Zhang W, Yang L.
europepmc   +1 more source