Results 51 to 60 of about 1,992,550 (266)
Uniform Definability in Propositional Dependence Logic
Both propositional dependence logic and inquisitive logic are expressively complete. As a consequence, every formula with intuitionistic disjunction or intuitionistic implication can be translated equivalently into a formula in the language of ...
Yang, Fan
core +1 more source
On Implicative and Positive Implicative GE Algebras
GE algebras (generalized exchange algebras), transitive GE algebras (tGE algebras, for short) and aGE algebras (that is, GE algebrasverifying the antisymmetry) are a generalization of Hilbert algebras. Here some properties and characterizations of these algebras are investigated.
openaire +3 more sources
ABSTRACT We sought to identify potential early risk biomarkers for lung disease in children post‐allogeneic HCT. Patients with pulmonary function tests 3 months post‐transplant and plasma samples between days 7 and 14 post‐HCT were included. Six of 27 subjects enrolled had reduced forced expiratory volume 1 (FEV1) z scores.
Isabella S. Small +3 more
wiley +1 more source
Kajian ini memiliki titik fokus untuk mengetahui pemikiran Christian Snouck Hurgronje dan implikasinya pada umat Islam. Metode penelitian yang digunakan adalah lybary research dengan menggunakan pendekatan tafsir Al-Qur’an dan Historis. Sumber data yang
Mustaqimah Mustaqimah
doaj +1 more source
Clinical Implication of Targeting of Cancer Stem Cells [PDF]
The existence of cancer stem cells (CSCs) is receiving increasing interest particularly due to its potential ability to enter clinical routine. Rapid advances in the CSC field have provided evidence for the development of more reliable anticancer ...
Al-Hajj M +82 more
core +1 more source
Fil:Solari, H.G. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.
Mindlin, G.B. +3 more
openaire +4 more sources
ABSTRACT The pediatric hematology‐oncology fellowship training curriculum has not substantially changed since its inception. The first year of training is clinically focused, and the second and third years are devoted to scholarship. However, this current structure leaves many fellows less competitive in the current job market, resulting in ...
Scott C. Borinstein +3 more
wiley +1 more source
Attention et implication dans les représentations littéraires du monde agricole
Par l’étude comparée de la trilogie Dans leur travail de John Berger et de la Trilogie des rives d’Emmanuelle Pagano, cet article entreprend de penser la relation entre « attention » et « implication », dans une écriture attachée aux représentations du
Nina Ferrer-Gleize
doaj +3 more sources
Two for the Price of One: Lifting Separation Logic Assertions [PDF]
Recently, data abstraction has been studied in the context of separation logic, with noticeable practical successes: the developed logics have enabled clean proofs of tricky challenging programs, such as subject-observer patterns, and they have become ...
Hongseok Yang +3 more
core +2 more sources
IMPLICATION, OVER IMPLICATION AND PROFESSIONAL IMPLICATION
This article debates one of the basic concepts of Institutional Analysis: implication. For that purpose, brings two other concepts that stem from it: over implication and professional implication. Both rather important for the implications analyses process.
openaire +3 more sources

