Results 51 to 60 of about 514,952 (262)

Race analysis for systemc using model checking [PDF]

ACM Transactions on Design Automation of Electronic Systems, 2008
SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems at different levels of abstraction. The SystemC standard permits simulators to implement a deterministic scheduling policy, which often hides concurrency-related design flaws.
Nicolas Blanc, Daniel Kroening
openaire   +2 more sources

Adaptive strategies in Kelly’s horse races model

Journal of Statistical Mechanics: Theory and Experiment, 2022
Abstract We formulate an adaptive version of Kelly’s horse model in which the gambler learns from past race results using Bayesian inference. We characterize the cost of this gambling strategy and we analyze the asymptotic scaling of the difference between the growth rate of the gambler and the optimal growth rate, known as the ...
Despons, Armand, Peliti, Luca, Lacoste, David   +2 more
openaire   +4 more sources

Partial depletion of plasminogen activator inhibitor‐1 decreases subcutaneous fat cell hypertrophy and liver cholesterol in high‐fat‐fed female mice

FEBS Letters, EarlyView.
Obesity raises blood levels of PAI‐1, a protein linked to metabolic dysfunction‐associated steatotic liver disease in people with obesity. In female mice fed a high‐fat diet, partially lowering PAI‐1 led to smaller subcutaneous fat cells and lower liver cholesterol, without changing body weight or insulin sensitivity.
Claudia E. Ramirez Bustamante, Robert Sharp, Pradip K. Saha, Elizabeth S. Anaya, Elizabeth L. Lieu, Evelyn L. de Groot, Pooja Patel, Mi Jeong Heo, Aaron R. Cox, Kang Ho Kim, Sean M. Hartig   +10 more
wiley   +1 more source

Synergistic perspectives—How single‐molecule biophysics complement biochemical understanding

FEBS Letters, EarlyView.
In this review, we discuss how ensemble biochemistry and single‐molecule approaches are complementary, outline commonly used single‐molecule techniques, and illustrate their relevance through two representative case studies: chromatin organization by SMC complexes and pathway choice during DNA double‐strand break repair.
Sara De Bragança, Eline L. Jansen, Jorine M. Eeftens   +2 more
wiley   +1 more source

IMPDH inhibition enhances cytarabine efficacy in SAMHD1‐expressing leukaemia cells via guanine nucleotide depletion

Molecular Oncology, EarlyView.
Cytarabine is a key therapy for acute myeloid leukaemia (AML), but its efficacy is limited by the dNTPase SAMHD1, which hydrolyses its active metabolite. Screening nucleotide biosynthesis inhibitors revealed that IMPDH inhibitors selectively sensitise SAMHD1‐proficient AML cells to cytarabine.
Miriam Yagüe‐Capilla, Christopher Dirks, Caroline Eiden, Sonja K. Fesenmayer, Femke M. Hormann, Yolande Klootsema, Ingrid Lilienthal, Si Min Zhang, Nikolas Herold, Sean G. Rudd   +9 more
wiley   +1 more source

Analysis of the 50-mile ultramarathon distance using a predictive XGBoost model

Scientific Reports
Although the 50-mile ultramarathon is one of the most common race distances, it has received little scientific attention. The objective of this study was to assess how an athlete’s age group, sex, nationality, and the race location, affect race speed ...
Jonas Turnwald, David Valero, Pedro Forte, Katja Weiss, Elias Villiger, Mabliny Thuany, Volker Scheer, Matthias Wilhelm, Marilia Andrade, Ivan Cuk, Pantelis T. Nikolaidis, Beat Knechtle   +11 more
doaj   +1 more source

Caucasian Infants’ Attentional Orienting to Own- and Other-Race Faces

Brain Sciences, 2020
Infants show preferential attention toward faces and detect faces embedded within complex naturalistic scenes. Newborn infants are insensitive to race, but rapidly develop differential processing of own- and other-race faces.
Jonathan E. Prunty, Kelsey C. Jackson, Jolie. R. Keemink, David J. Kelly   +3 more
doaj   +1 more source

Risk and uncertainty in the patent race: a probabilistic model [PDF]

IMA Journal of Management Mathematics, 2013
This article develops a novel probabilistic approach to evaluate, through an approximation, a patent-protected R&D project at a fixed date under very general conditions. In a real options framework, we introduce spatial mixed Poisson processes to describe the dynamics of the project value. In such a fashion, the model is able to account for competition
Cerqueti, Roy, Ventura, Marco
openaire   +3 more sources

Establishment of a humanized patient‐derived xenograft mouse model of high‐grade serous ovarian cancer for preclinical evaluation of combination immunotherapy

Molecular Oncology, EarlyView.
We have established a humanized orthotopic patient‐derived xenograft (Hu‐oPDX) mouse model of high‐grade serous ovarian cancer (HGSOC) that recapitulates human tumor–immune interactions. Using combined anti‐PD‐L1/anti‐CD73 immunotherapy, we demonstrate the model's improved biological relevance and enhanced translational value for preclinical ...
Luka Tandaric, Line Bjørge, Martine Rott Lode, Cecilie Fredvik Torkildsen, Pia Aehnlich, Rammah Elnour, Daniela Elena Costea, Lars Andreas Akslen, Liv Cecilie Vestrheim Thomsen, Emmet McCormack, Katrin Kleinmanns   +10 more
wiley   +1 more source

KDM7A and KDM1A inhibition suppresses tumour promoting pathways in prostate cancer

Molecular Oncology, EarlyView.
Treatment resistance is a major challenge for patients with advanced prostate cancer. This study examined an alternative approach to target the major prostate cancer‐promoting pathway by targeting epigenetic factors, whose levels are higher in tumours.
Jennie N Jeyapalan, Veronika M Metzler, Simone de Brot, Corinne L Woodcock, Anna E Harris, Jennifer Lothion‐Roy, Emeli M Nilsson, Atara Ntekim, Michael S Toss, Jenny L Persson, Francesca Khani, Brian D Robinson, Lorraine J Gudas, Emad Rakha, David M Heery, Catrin S Rutland, Nigel P Mongan   +16 more
wiley   +1 more source