Formal methods and testing an outcome of the FORTEST network : revised selected papers /

Autor Hierons, Robert M., Bowen, J. P., Harman, Mark.
Vydáno c2008

Modeling and specification of distributed timed systems

Autor James J. Ortiz
Vydáno v Ingeniería y Competitividad (2013)

Nucleon–nucleon resonances at intermediate energies using a complex energy formalism

Autor G. Papadimitriou, J.P. Vary
Vydáno 2015-06-01

Modeling Ultrafast Electron Dynamics in Strong Magnetic Fields Using Real-Time Time-Dependent Electronic Structure Methods

Autor Wibowo, Meilani, Irons, Tom J. P., Teale, Andrew M.
Vydáno v J Chem Theory Comput (2021)

Real time curriculum map for internal medicine residency

Autor Wong, Roger Y, Roberts, J Mark
Vydáno 2007

Cost-Effectiveness of Dabigatran Compared to Vitamin-K Antagonists for the Treatment of Deep Venous Thrombosis in the Netherlands Using Real-World Data

Autor van Leent, Merlijn W. J., Stevanović, Jelena, Jansman, Frank G., Beinema, Maarten J., Brouwers, Jacobus R. B. J., Postma, Maarten J.
Vydáno v PLoS One (2015)

Local-Field Corrections as a Regularization Method for the Spin-Boson Model

Autor Crosse, J. A.
Vydáno v Sci Rep (2019)

CRYPTOGRAPHIC PROTOCOLS SPECIFICATION AND VERIFICATION TOOLS - A SURVEY

Autor Amol H Shinde, A J Umbarkar, N R Pillai
Vydáno 2017-06-01

Interactive knowledge discovery and data mining on genomic expression data with numeric formal concept analysis

Autor González-Calabozo, Jose M, Valverde-Albacete, Francisco J, Peláez-Moreno, Carmen
Vydáno v BMC Bioinformatics (2016)

GRPY: An Accurate Bead Method for Calculation of Hydrodynamic Properties of Rigid Biomacromolecules

Autor Zuk, Pawel J., Cichocki, Bogdan, Szymczak, Piotr
Vydáno v Biophys J (2018)

Multipolar Ewald Methods, 1: Theory, Accuracy, and Performance

Autor Giese, Timothy J., Panteva, Maria T., Chen, Haoyuan, York, Darrin M.
Vydáno v J Chem Theory Comput (2014)

Nivolumab in pre-treated malignant pleural mesothelioma: real-world data from the Dutch expanded access program

Autor Cantini, Luca, Belderbos, Robert A., Gooijer, Cornedine J., Dumoulin, Daphne W., Cornelissen, Robin, Baart, Sara, Burgers, Jacobus A., Baas, Paul, Aerts, Joachim G. J. V.
Vydáno v Transl Lung Cancer Res (2020)

“…Not Having the Real Support That We Need”: Patients’ Experiences With Ambiguity of Systemic Lupus Erythematosus and Erosion of Social Support

Autor Leung, Jerik, Ra, Jennifer, Baker, Elizabeth A., Kim, Alfred H. J.
Vydáno v ACR Open Rheumatol (2019)

Advanced methods, techniques, and applications in modeling and simulation Asia Simulation Conference 2011, Seoul, Korea, november 2011, proceedings /

Autor Asia Simulation Conference 2011, Kim, J. H.
Vydáno 2012.

Real‐time simulator for designing electron dual scattering foil systems

Autor Carver, Robert L., Hogstrom, Kenneth R., Price, Michael J., LeBlanc, Justin D., Pitcher, Garret M.
Vydáno v J Appl Clin Med Phys (2014)

A Fully Integrated Real-Time Detection, Diagnosis, and Control of Community Diarrheal Disease...

Autor McIntyre, Kirsty Marie, Bolton, Frederick J, Christley, Rob M, Cleary, Paul, Deja, Elizabeth, Durie, Ann E, Diggle, Peter J, Hughes, Dyfrig A, de Lusignan, Simon, Orton, Lois, Radford, Alan D, Elliot, Alex J, Smith, Gillian E, Snape, Darlene A, Stanistreet, Debbi, Vivancos, Roberto, Winstanley, Craig, O’Brien, Sarah J
Vydáno v JMIR Res Protoc (2019)

Position-dependent effects of locked nucleic acid (LNA) on DNA sequencing and PCR primers

Autor Levin, Joshua D., Fiala, Dean, Samala, Meinrado F., Kahn, Jason D., Peterson, Raymond J.
Vydáno 2006

The nature of multiple boron-nitrogen bonds studied using electron localization function (ELF), electron density (AIM), and natural bond orbital (NBO) methods

Autor Mierzwa, Grzegorz, Gordon, Agnieszka J., Berski, Slawomir
Vydáno v J Mol Model (2020)

Discrete and continuum models of COVID-19 virus, formal solutions, stability and comparison with real data

Autor Abdel-Gawad, Hamdy I., Abdel-Gawad, Ahmed H.
Vydáno v Math Comput Simul (2021)

Correct hardware design and verification methods 13th IFIP WG 10.5 advanced research working...

Autor CHARME 2005, Borrione, Dominique., Paul, Wolfgang J.
Vydáno 2005.