Results 121 to 130 of about 1,057,123 (303)

Advancing system-level verification using UVM in SystemC

, 2022
Session 1, 18 S.This paper introduces the Universal Verification Methodology (UVM) using SystemC and C++ (UVM-SystemC), to advance system-level verification practices.
Pêcheux, François, Barnasconi, Martin, Vörtler, Thilo   +2 more
core  

The microbiome in human skin aging

FEBS Letters, EarlyView.
Age‐related skin changes encompass the well‐known visible phenotypic alterations, together with microbiome dysbiosis and a series of molecular aging hallmarks. These hallmarks characterize not only a fully stablished aged phenotype but also the skin aging process itself.
Manuel Huerta Arana, Cornelia Wiegand, Omid Omrani, Mario Fabri   +3 more
wiley   +1 more source

Contracting with Risk Aversion and Subjective Beliefs Under Costly State Verification [PDF]

We study the loan contracing problem of Gale and Hellwig (1985) under general assumptions of risk aversion and possibly diverse subjective beliefs of the borrower and lender about the income of the investment.
Mordecai Kurz, Carsten Krabbe Nielsen
core  

Exploiting Synchrony and Symmetry in Relational Verification

, 2018
Relational safety specifications describe multiple runs of the same program or relate the behaviors of multiple programs. Approaches to automatic relational verification often compose the programs and analyze the result for safety, but a naively composed
Grigory Fedyukovich, Aarti Gupta, Fedyukovich, Grigory, Pick, Lauren, Gupta, Aarti, Lauren Pick   +5 more
core   +1 more source

Autophagy and mitophagy in pancreatic β‐cell homeostasis and their involvement in diabetes pathophysiology

FEBS Letters, EarlyView.
This review focuses on the role of autophagy and mitophagy in maintaining pancreatic β‐cell function and homeostasis. We discuss how genetic defects affecting these pathways contribute to the development of type 1, type 2, monogenic, and gestational diabetes. We further explore their potential as therapeutic targets. Created in BioRender.
Yunkyeong Lee, Mingming Tong, Anna L. Gloyn   +2 more
wiley   +1 more source

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

Application and evaluation of case-based multimodal imaging in the ocular fundus disease teaching of postgraduate students

BMC Medical Education
Objective Ocular fundus disease is one of the most complex areas of ophthalmology and a difficulty in ophthalmic education and training. Fundus imaging is an essential tool and reliable method for teaching fundus diseases.
Shi Xuehui, Wang Haiyan, Yang Fan, Zhou Jinqiong, Wei Wenbin   +4 more
doaj   +1 more source

Ligand‐dependent transcriptional heterogeneity in cell cycle gene expression delays G1/S entry

FEBS Letters, EarlyView.
EGF and HRG induce distinct G1/S progression programs in ErbB2‐amplified BT474 breast cancer cells. Despite activating the potent ErbB2–ErbB3 heterodimer, HRG does not accelerate cell‐cycle entry. Instead, EGF promotes earlier restriction‐point passage via ERK–FOS signaling, whereas HRG activates the AKT–MYC axis, driving transcriptional heterogeneity ...
Ririn Rahmala Febri, Ayaka Nagasato‐Ichikawa, Keita Iida, Shuhei Kimura, Akira Imamoto, Mariko Okada   +5 more
wiley   +1 more source

Practical Verification of Infinite Structures in agda2hs

, 2022
Agda allows for writing code that can be mathematically proven and verified to be correct, this type of languages is generally known as a proof assistant.
Schrijver, Remco (author)
core  

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