Results 291 to 300 of about 228,440 (334)

Formalization Integrated Development Environments

ACM SIGSOFT Software Engineering Notes, 2018
Development Environments (F-IDEs) for specification and programming languages. Specifically we summarize the toolchains for some well-known languages in this category, and conclude with a summary of RESOLVESTUDIO, an F-IDE for the RESOLVE language.
openaire   +1 more source

An overview of real‐world data sources for oncology and considerations for research

Ca-A Cancer Journal for Clinicians, 2022
Lynne Penberthy, Donna R Rivera, Jennifer L Lund, Msph   +2 more
exaly  

The mechanisms of integral membrane protein biogenesis

Nature Reviews Molecular Cell Biology, 2021
Ramanujan Shankar Hegde, Robert J Keenan
exaly  

Planning for tomorrow: global cancer incidence and the role of prevention 2020–2070

Nature Reviews Clinical Oncology, 2021
Isabelle Soerjomataram, Frank Bray
exaly  

Antibiofilm activity of host defence peptides: complexity provides opportunities

Nature Reviews Microbiology, 2021
, Morgan A Alford, Evan F Haney
exaly  

Cu(I)-Catalyzed Click Chemistry in Glycoscience and Their Diverse Applications

Chemical Reviews, 2021
Anand K Agrahari, Sanchayita Rajkhowa, Srinivas Hotha   +2 more
exaly  

Integrated Formal Methods

2020
openaire   +1 more source

An update on larynx cancer

Ca-A Cancer Journal for Clinicians, 2017
Kristin A Higgins, Nabil F Saba
exaly  

Integration: Formalism

2008
openaire   +1 more source

The management of cancer pain

Ca-A Cancer Journal for Clinicians, 2011
Judith A Paice, Betty R Ferrell
exaly