Results 141 to 150 of about 2,510,456 (307)

Conflict-driven reasoning in unions of theories

, 2019
Many applications of automated reasoning require decision procedures for the satisfiability of a formula in a theory given by the union of a few theories. Reasoning in a union of theories can be approached in more than one way. The equality-sharing method, also known as Nelson-Oppen scheme, combines decision procedures for the component theories ...
openaire   +1 more source

AN ANALYSIS OF SOCIAL CONFLICTS OF HUCKLEBERRY FINN IN MARK TWAIN’S NOVEL “THE ADVENTURE OF HUCKLEBERRY FINN” [PDF]

, 2006
Literature is a mirror of real social life. It reflects the life, feelings, thought, behavior and attitude of human beings. Novel is one of the literary works; by reading a novel we can get many advantages, such as broadening our knowledge, enriching our
IKA YANTI, ERLINA
core  

Linking neurogenesis, oligodendrogenesis, and myelination defects to neurodevelopmental disruption in primary mitochondrial disorders

FEBS Letters, EarlyView.
Mitochondrial remodeling shapes neural and glial lineage progression by matching metabolic supply with demand. Elevated OXPHOS supports differentiation and myelin formation, while myelin compaction lowers mitochondrial dependence, revealing mitochondria as key drivers of developmental energy adaptation.
Sahitya Ranjan Biswas, Porter L. Tomsick, Alicia M. Pickrell, Paul D. Morton   +3 more
wiley   +1 more source

Residual tail twisting in ascidian larvae is stabilized by asymmetric myofibrils that resist bilateral symmetry restoration

FEBS Letters, EarlyView.
Ascidian Ciona larvae initially show strong clockwise tail twisting, which is largely corrected during development. However, a small residual twist remains. This study shows that organized helical myofibrils in tail muscles mechanically stabilize this residual asymmetry, preventing complete restoration of bilateral symmetry and revealing how embryos ...
Yuki S. Kogure, Misaki K. Nishio, Satoru Okuda, Kohji Hotta   +3 more
wiley   +1 more source

De Facto and De Jure Property Rights: Land Settlement and Land Conflict on the Australian, Brazilian and U.S. Frontiers [PDF]

We present a general model of the interaction between settlement and the emergence of de facto property rights on frontiers prior to governments establishing and enforcing de jure property rights. Settlers have an incentive to establish de facto property
Bernardo Mueller, Edwyna Harris, Lee J. Alston   +2 more
core  

Transcriptional network analysis of PTEN‐protein‐deficient prostate tumors reveals robust stromal reprogramming and signs of senescent paracrine communication

Molecular Oncology, EarlyView.
Combining PTEN protein assessment and transcriptomic profiling of prostate tumors, we uncovered a network enriched in senescence and extracellular matrix (ECM) programs associated with PTEN loss and conserved in a mouse model. We show that PTEN‐deficient cells trigger paracrine remodeling of the surrounding stroma and this information could help ...
Ivana Rondon‐Lorefice, Jose I. Lopez, Aitziber Ugalde‐Olano, Maite Zufiaurre, Ianire Astobiza, Natalia Martin‐Martin, Laura Bozal‐Basterra, Saioa Garcia‐Longarte, Amaia Zabala‐Letona, Sofia Rey, Aida Santos‐Martin, Miguel Unda, Ana Loizaga‐Iriarte, Mariona Graupera, Paolo Nuciforo, Arkaitz Carracedo, Isabel Mendizabal   +16 more
wiley   +1 more source

Opposable reasons: solving conflicts of fundamental rights and norms

, 2021
This dissertation argues that the deadlock that constitutional courts find themselves in when justifying decisions on cases that involve conflicting constitutional norms can be best resolved by appealing to a particular type of reasons, namely opposable reasons.
openaire   +1 more source

Potential therapeutic targeting of BKCa channels in glioblastoma treatment

Molecular Oncology, EarlyView.
This review summarizes current insights into the role of BKCa and mitoBKCa channels in glioblastoma biology, their potential classification as oncochannels, and the emerging pharmacological strategies targeting these channels, emphasizing the translational challenges in developing BKCa‐directed therapies for glioblastoma treatment.
Kamila Maliszewska‐Olejniczak, Karolina Pytlak, Sandra Jaworowska, Bogusz Kulawiak, Piotr Bednarczyk   +4 more
wiley   +1 more source

PARP inhibition and pharmacological ascorbate demonstrate synergy in castration‐resistant prostate cancer

Molecular Oncology, EarlyView.
Pharmacologic ascorbate (vitamin C) increases ROS, disrupts cellular metabolism, and induces DNA damage in CRPC cells. These effects sensitize tumors to PARP inhibition, producing synergistic growth suppression with olaparib in vitro and significantly delayed tumor progression in vivo. Pyruvate rescue confirms ROS‐dependent activity.
Nicolas Gordon, Peter T. Gallagher, Orly I. Richter, Neermala Poudel Neupane, Amy C. Mandigo, Jennifer J. McCann, Emanuela Dylgjeri, Irina Vasilevskaya, Christopher McNair, Channing J. Paller, Wm. Kevin Kelly, Karen E. Knudsen, Matthew J. Schiewer, Ayesha A. Shafi   +13 more
wiley   +1 more source

Plecstatin inhibits hepatocellular carcinoma tumorigenesis and invasion through cytolinker plectin

Molecular Oncology, EarlyView.
The ruthenium‐based metallodrug plecstatin exerts its anticancer effect in hepatocellular carcinoma (HCC) primarily through selective targeting of plectin. By disrupting plectin‐mediated cytoskeletal organization, plecstatin inhibits anchorage‐dependent growth, cell polarization, and tumor cell dissemination.
Zuzana Outla, Jan Kosla, Magdalena Prechova, Lukas Frick, Patricia Bortel, Yasmin Borutzki, Andrea Bileck, Christopher Gerner, Samuel M. Meier‐Menches, Selma Osmanagic‐Myers, Martin Gregor   +10 more
wiley   +1 more source