Results 31 to 40 of about 139,845,986 (286)

Type Theory with Opposite Types: A Paraconsistent Type Theory

Logic Journal of the IGPL, 2021
Abstract A version of intuitionistic type theory is extended with opposite types, allowing a different formalization of negation and obtaining a paraconsistent type theory ($\textsf{PTT} $). The rules for opposite types in $\textsf{PTT} $ are based on the rules of the so-called constructible falsity.
Juan Carlos Agudelo Agudelo, Andrés Sicard-Ramírez   +1 more
openaire   +2 more sources

Fas/Apo1 mutations and autoimmune lymphoproliferative syndrome in a patient with type 2 autoimmune hepatitis.

, 1997
Inherited mutations of the Fas/Apo1/CD95 gene, a cell-surface receptor involved in cell death signaling and in the control of self-reactivity, characterize the recently identified autoimmune lymphoproliferative syndromes. A patient with type 2 autoimmune
NISINI R, VAJRO P, ALMERIGHI C, IANNI A, COSTANZO A, NATOLI G, IORIO, RAFFAELE, LEVRERO M. FASAPO MUTATIONS AND AUTOIMMUNE LYMPHOPROLIFERATIVE SYNDROME IN A. PATIENT WITH TYPE AUTOIMMUNE H.E.P.A.T.I.T.I.S. GASTROENTEROLOGY, VEGNENTE A, BALSANO C, ACCAPEZZATO D, PENSATI L   +11 more
core   +2 more sources

"DARI-ANASTASIA-OLGA-THE RESURRECTED": THE IMAGE OF "IVAN SHMELEV'S GIRL" [PDF]

Проблемы исторической поэтики, 2013
The attempts to build the typology of Shmelev's female images have been repeatedly made by researchers. However, we think that the author in his works and correspondence, relying on classic literature and questioning it at the same time, shapes his own ...
Evgeniya Alexandrovna Korshunova
doaj   +1 more source

A Reasonably Exceptional Type Theory [PDF]

, 2019
International audienceTraditional approaches to compensate for the lack of exceptions in type theories for proof assistants have severe drawbacks from both a programming and a reasoning perspective.Pédrot and Tabareau recently extended the Calculus of ...
Pédrot, Pierre-Marie, Tanter, Éric, Tabareau, Nicolas, Fehrmann, Hans, Jacob   +3 more
core   +1 more source

Psychological type profile of a church : a case study [PDF]

, 2013
This study responds to the challenge offered by Meunier (2012) to explore how psychological type theory and measurement may assist churches in the search for an appropriate leader (rector) by taking into account the psychological type characteristics of ...
Francis, Leslie J.
core   +1 more source

Central Nervous System Tumors Among Infants in Canada: A Report From CYP‐C

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Central nervous system (CNS) tumors in infants are rare, pose unique clinical challenges, and lack large‐scale evidence‐based data to guide management. This study seeks to describe CNS tumors in Canadian infants and to compare their outcomes with those of older children.
Samuel Sassine, Hallie Coltin, Sylvia Cheng, Lucie Lafay‐Cousin, Vanan Issai Magimairajan, Craig Erker, Stéphanie Vairy, Lynette Bowes, Adam Fleming, Donna Johnston, Sarah McKillop, Roona Sinha, Julie Bennett, Christina Coleman, Laura Wheaton, Shayna Zelcer, Samuele Renzi, Thai Hoa Tran   +17 more
wiley   +1 more source

The influence of training status, age, and muscle fiber type on cycling efficiency and endurance performance. [PDF]

, 2013
The purpose of this study was to assess the influence of age, training status, and muscle fiber-type distribution on cycling efficiency. Forty men were recruited into one of four groups: young and old trained cyclists, and young and old untrained ...
Wiles, J., Hopker, J., Coleman, Damian A, Jobson, Simon A., Gregson, Hannah C, Wiles, Jonathan, Coleman, D., Gregson, H., Coleman, Damian A., Hopker, James G., Passfield, L., von der Haar, Tobias, Passfield, Louis, Von der Haar, T., Jobson, S., Gregson, Hannah C.   +15 more
core   +1 more source

A case of thymoma with type A and micronodular thymoma with lymphoid stroma elements

Human Pathology: Case Reports, 2021
Here we present a case of a 75-year-old man with an incidentally discovered anterior mediastinal mass, which on resection showed histologic features of both type A and micronodular thymoma with lymphoid stroma (MNT). MNT is a rare variant of thymoma with
Clayton E. Kibler, Matthew J. Cecchini, Marie-Christine Aubry, Said F. Yassin, Julie K. Harrington   +4 more
doaj   +1 more source

Comparative Drug Response Profiling in Neuroblastoma Cell Lines and Patient‐Derived Tumor Organoids

Pediatric Blood &Cancer, EarlyView.
ABSTRACT High‐risk neuroblastoma remains a leading cause of pediatric cancer mortality, and improved preclinical models are needed to guide therapeutic developments. We screened seven high‐risk neuroblastoma cell lines and three patient‐derived tumor organoids with 528 compounds alongside bone marrow controls, and compared them with external datasets ...
Krzysztof Wierbiłowicz, Se Whee Sammy Park, Aironas Los, Ernest Liu, Nona Struyf, Tom Erkers, Sören Lehmann, Jan J. Molenaar, Jakob Stenman, Olli Kallioniemi, Päivi Östling, Brinton Seashore‐Ludlow, Kasper Karlsson   +12 more
wiley   +1 more source

Social Functioning Within the First Years After Pediatric Brain Tumor Diagnosis and the Relationship With Family Psychosocial Risk

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Survivors of pediatric brain tumors (PBTs) can experience long‐term social difficulties, impacting quality of life. Beyond medical and environmental factors, family psychosocial risk may play a role in social outcomes by shaping the caregiving environment and may provide intervention options.
Renske H. Houben, Marisa H. Huisman, Martha A. Grootenhuis, Femke K. Aarsen, Marita Partanen   +4 more
wiley   +1 more source