Results 71 to 80 of about 2,298,074 (328)

Making proofs without Modus Ponens: An introduction to the combinatorics and complexity of cut elimination [PDF]

, 1996
This paper is intended to provide an introduction to cut elimination which is accessible to a broad mathematical audience. Gentzen's cut elimination theorem is not as well known as it deserves to be, and it is tied to a lot of interesting mathematical ...
Carbone, Alessandra, Semmes, S.
core   +1 more source

Modeling hepatic fibrosis in TP53 knockout iPSC‐derived human liver organoids

Molecular Oncology, EarlyView.
This study developed iPSC‐derived human liver organoids with TP53 gene knockout to model human liver fibrosis. These organoids showed elevated myofibroblast activation, early disease markers, and advanced fibrotic hallmarks. The use of profibrotic differentiation medium further amplified the fibrotic signature seen in the organoids.
Mustafa Karabicici, Soheil Akbari, Ceyda Caliskan, Canan Celiker, Ozden Oz, Leman Binokay, Gökhan Karakulah, Serif Senturk, Esra Erdal   +8 more
wiley   +1 more source

Insecticide-treated nets mass distribution campaign: benefits and lessons in Zambia

Malaria Journal, 2018
Background Zambia was an early adopter of insecticide-treated nets strategy in 2001, and policy for mass distribution with long-lasting insecticidal nets (LLINs) in 2005. Since then, the country has implemented mass distribution supplemented with routine
Freddie Masaninga, Nawa Mukumbuta, Ketty Ndhlovu, Busiku Hamainza, Pauline Wamulume, Emmanuel Chanda, John Banda, Mercy Mwanza-Ingwe, John M. Miller, Birkinesh Ameneshewa, Abraham Mnzava, Elizabeth Kawesha-Chizema   +11 more
doaj   +1 more source

The use of spatial and genetic tools to assess Plasmodium falciparum transmission in Lusaka, Zambia between 2011 and 2015

Malaria Journal, 2020
Background Zambia has set itself the ambitious target of eliminating malaria by 2021. To continue tracking transmission to zero, new interventions, tools and approaches are required.
Daniel J. Bridges, Sandra Chishimba, Mulenga Mwenda, Anna M. Winters, Erik Slawsky, Brenda Mambwe, Conceptor Mulube, Kelly M. Searle, Aves Hakalima, Roy Mwenechanya, David A. Larsen   +10 more
doaj   +1 more source

Edge Elimination in TSP Instances

, 2014
The Traveling Salesman Problem is one of the best studied NP-hard problems in combinatorial optimization. Powerful methods have been developed over the last 60 years to find optimum solutions to large TSP instances.
DL Applegate, G Dantzig, K Helsgaun, M Held, MR Garey, R Jonker   +5 more
core   +1 more source

A synthetic benzoxazine dimer derivative targets c‐Myc to inhibit colorectal cancer progression

Molecular Oncology, EarlyView.
Benzoxazine dimer derivatives bind to the bHLH‐LZ region of c‐Myc, disrupting c‐Myc/MAX complexes, which are evaluated from SAR analysis. This increases ubiquitination and reduces cellular c‐Myc. Impairing DNA repair mechanisms is shown through proteomic analysis.
Nicharat Sriratanasak, Bodee Nutho, Worawat Wattanathana, Narumon Phaonakrop, Bunnatut Panasawatwong, Katharina Erlenbach‐Wuensch, Sittiruk Roytrakul, Regine Schneider‐Stock, Pithi Chanvorachote   +8 more
wiley   +1 more source

Understanding Long COVID Among Young People in Victoria, Australia: Prevalence, Impact, and Associated Factors

Public Health Challenges
Introduction Long COVID is a significant public health concern. This study aimed to identify the prevalence, impact, and factors associated with long COVID among young people in Victoria, Australia.
Robin Engelberts, Caitlin H. Douglass, Ana Orozco, Sarah Eddy, Anna Lee Wilkinson, Aimée Altermatt, Suzanne van denToren, Megan S. C. Lim   +7 more
doaj   +1 more source

Patient‐specific pharmacogenomics demonstrates xCT as predictive therapeutic target in colon cancer with possible implications in tumor connectivity

Molecular Oncology, EarlyView.
This study integrates transcriptomic profiling of matched tumor and healthy tissues from 32 colorectal cancer patients with functional validation in patient‐derived organoids, revealing dysregulated metabolic programs driven by overexpressed xCT (SLC7A11) and SLC3A2, identifying an oncogenic cystine/glutamate transporter signature linked to ...
Marco Strecker, Keren Zohar, Martin Böttcher, Thomas Wartmann, Henry Freudenstein, Maximilian Doelling, Mihailo Andric, Wenjie Shi, Or Kakhlon, Katrin Hippe, Beatrix Jahnke, Dimitrios Mougiakakos, Franziska Baenke, Daniel Stange, Roland S. Croner, Michal Linial, Ulf D. Kahlert   +16 more
wiley   +1 more source

Supporting GENP with Random Multipliers [PDF]

, 2013
We prove that standard Gaussian random multipliers are expected to stabilize numerically both Gaussian elimination with no pivoting and block Gaussian elimination.
Pan, Victor Y., Qian, Guoliang, Yan, Xiaodong   +2 more
core   +1 more source

Cut-elimination and Redundancy-elimination by Resolution

Journal of Symbolic Computation, 2000
The authors propose a new cut-elimination procedure for classical predicate calculus LK. The basic formulation treats a particular case: \[ \text{if }A,\Gamma\vdash\Delta\text{ is derivable and }A\text{ is valid, then }\Gamma\vdash\Delta\text{ is derivable}.\tag{\(*\)} \] In general a cut like \(\Gamma\vdash B\); \(B,\Gamma\vdash\Delta/\Gamma \vdash ...
Baaz, Matthias, Leitsch, Alexander
openaire   +1 more source