نتایج جستجو برای: None

تعداد نتایج: 227925  

1997
Nachum Dershowitz,

It is important for programs to have modular correctness properties. We look at non-deterministic programs expressed as termrewriting systems (which compute normal forms of input terms) and consider the case where individual systems share constructors, but not de ned symbols. We present some old and new su cient conditions under which termination (existence of normal forms, regardless of comput...

2012
Gholamreza Roshandel, Shahryar Semnani, Reza Malekzadeh,

Esophageal cancer (EC) is the eighth most common cancer and sixth most frequent cause of cancer mortality worldwide. Esophageal squamous cell carcinoma (ESCC) is the most common type of EC. ESCC develops by progression from premalignant lesions, which are called esophageal squamous dysplasia (ESD). Prevention is the most effective strategy for controlling this disease. Generally, two methods ma...

2011
Fabiana Lucà, Mark La Meir, Carmelo Massimiliano Rao, Orlando Parise, Ludovico Vasquez, Rocco Carella, Roberto Lorusso, Benedetto Daniela, Jos Maessen, Gian Franco Gensini, Sandro Gelsomino,

atrial fibrillation (AF) is associated with a significant burden of morbidity and increased risk of mortality. Antiarrhythmic drug therapy remains a cornerstone to restore and maintain sinus rhythm for patients with paroxysmal and persistent AF based on current guidelines. However, conventional drugs have limited efficacy, present problematic risks of proarrhythmia and cause significant noncard...

2013
Talis Bachmann,

What are the true functional underpinnings of perception, emotion, consciousness, and subconscious processes remains an unsolved question (Alivisatos et al., 2012). For example, it seems somewhat mysterious how one and the same structure of neural circuits—the human brain—sometimes allows conscious experience and sometimes does not allow it. We even do not know whether this owes to the alternat...

2014
Alex Silk,

is paper develops an interpretation of Nietzsche’s ethics and metaethics that reconciles his apparent antirealismwith his engagement in normative discourse. Interpreting Nietzsche as ametaethical constructivist— as holding, to a rst approximation, that evaluative facts are grounded purely in facts about the evaluative attitudes of the creatures to whom they apply— reconciles his vehement decla...

Journal: :Journal of experimental psychology. General 2010
Serge V Onyper, Yaofei X Zhang, Marc W Howard,

Dual-process theory hypothesizes that recognition memory depends on 2 distinguishable memory signals. Recollection reflects conscious recovery of detailed information about the learning episode. Familiarity reflects a memory signal that is not accompanied by a vivid conscious experience but nonetheless enables participants to distinguish recently experienced probe items from novel ones. This du...

2017
Min Pi, Satoru Kenneth Nishimoto, L. Darryl Quarles,

BACKGROUND GPRC6A, a widely expressed G-protein coupled receptor, is proposed to be a master regulator of complex endocrine networks and metabolic processes. GPRC6A is activated by multiple ligands, including osteocalcin (Ocn), testosterone (T), basic amino acids, and various cations. SCOPE OF REVIEW We review the controversy surrounding GPRC6A functions. In mice, GPRC6A is proposed to integr...

Journal: :Bulletin of the Royal College of Psychiatrists 1986
PeterWells,

Journal: :Frontiers in Physiology 2014
AngelaRisso, AnnaritaCiana, CesareAchilli, GuglielmoAntonutto, GiampaoloMinetti,

Journal: :Blood 2017
CamilaMasias, SumithiraVasu, Spero R.Cataland,

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید