Results 1 to 10 of about 307 (62)
A Type System Describing Unboundedness [PDF]
Discrete Mathematics & Theoretical Computer Science, 2020 We consider nondeterministic higher-order recursion schemes as recognizers of languages of finite words or finite trees. We propose a type system that allows to solve the simultaneous-unboundedness problem (SUP) for schemes, which asks, given a set of ...
Paweł Parys
doaj +1 more source
The First-Order Theory of Ordering Constraints over Feature Trees [PDF]
Discrete Mathematics & Theoretical Computer Science, 2001 The system FT< of ordering constraints over feature trees has been introduced as an extension of the system FT of equality constraints over feature trees.
Martin Müller +2 more
doaj +1 more source
Some of the next articles are maybe not open access.
American Cancer Society Guideline for the Early Detection of Cervical Neoplasia and Cancer
Ca-A Cancer Journal for Clinicians, 2002Carolyn D Runowicz, Robert A Smith
exaly
American Cancer Society Guidelines for Breast Cancer Screening: Update 2003
Ca-A Cancer Journal for Clinicians, 2003Robert A Smith
exaly
Poly(ADP-Ribose) polymerase (PARP) inhibitors: Exploiting a synthetic lethal strategy in the clinic
Ca-A Cancer Journal for Clinicians, 2011Timothy A Yap, Johann Sebastian de Bono
exaly
Computational predictions of energy materials using density functional theory
Nature Reviews Materials, 2016Anubhav Jain +2 more
exaly
Theory-guided design of catalytic materials using scaling relationships and reactivity descriptors
Nature Reviews Materials, 2019Zhi-Jian Zhao, Sihang Liu, Shenjun Zha
exaly
Phosphorene: from theory to applications
Nature Reviews Materials, 2016Alexandra Carvalho, Ziao Wang, Xi Zhu
exaly