Results 111 to 120 of about 2,959,763 (291)

‘ReLIC: Reduced Logic Inference for Composition’ for Quantifier Elimination‐Based Compositional Reasoning and Verification

open access: yesIET Cyber-Physical Systems
Formally verifying complex model‐based designs has posed a significant challenge for complex systems, primarily due to their sheer scale and the critical nature of safety involved.
Hao Ren, Ratnesh Kumar
doaj   +1 more source

ON THE INITIAL EXTENSIONAL PROPERTIES OF FABRICS

open access: yesSen'i Gakkaishi, 1963
The initial resistance of fabric to extension in warp or weft direction is theoretically studied by applying the same theory of extension used for crimped yarn axis, the form of which has been explained in the previous papers by the authors. Load (P) at extension (Δ/l1) is explained by the following equation.where, P: Load induced by extension (Δ/l1)(Δ/
Kan Shirakashi   +3 more
openaire   +2 more sources

Differential expression of cancer‐related genes supports prediction of poor response to first‐line treatments in T‐ALL pediatric patients with high minimal residual disease

open access: yesMolecular Oncology, EarlyView.
In the present work, we have identified a transcriptional signature based on the differential expression of six genes (BCL2&MAST4, HSH2D&LAT2, METRN&PITPNM2) that would facilitate the early detection of T‐cell acute lymphoblastic leukemia (T‐ALL) patients prone to a poor treatment response and could be implemented at diagnosis, along with other risk ...
Antonio Lahera   +11 more
wiley   +1 more source

Molecular cancer prevention: Intercepting disease

open access: yesMolecular Oncology, EarlyView.
Oncological practice must evolve, from treating established tumours to proactive cancer interception before clinical manifestation. This will require mechanistic insight into tumour initiation, validated biomarkers of early disease development and redesigned clinical trials, enabling cancer interception to become a core pillar of oncology with the ...
Charlotte Grieco   +2 more
wiley   +1 more source

Local Revenue Hills: A General Equilibrium Specification with Evidence from Four U.S. Cities [PDF]

open access: yes
We provide estimates of the impact and long-run elasticities of tax base with respect to tax rates for four large U.S. cities: Houston (property taxation), Minneapolis (property taxation), New York City (property, general sales, and income taxation), and
Andrew Haughwout   +3 more
core  

Metastasis on pause: How dormant tumor cells stay hidden within the tumor microenvironment and evade immune surveillance

open access: yesMolecular Oncology, EarlyView.
Dormant cancer cells can hide in distant organs for years, evading treatment and the immune system. This review highlights how signals from the surrounding tissue and immune environment keep these cells inactive or trigger their reawakening. Understanding these mechanisms may help develop therapies to eliminate or control dormant cells and prevent ...
Kanishka Tiwary   +1 more
wiley   +1 more source

Why foreclosed housing devalues in China? An evaluation based on property-rights risks through hedonic pricing model

open access: yesAin Shams Engineering Journal
The judicial auction is the sole approach to address foreclosed housing in China. Recently, the pervasive devaluation of foreclosed properties in many cities has become an alarming trend, given its potential to trigger a debt crisis in China's housing ...
Xingyu Qian
doaj   +1 more source

Regular distributive efficiency and the distributive liberal social contract. [PDF]

open access: yes
We consider abstract social systems of private property, made of n individuals endowed with non-paternalistic interdependent preferences, who interact through exchanges on competitive markets and Pareto-efficient lumpsum transfers.
Jean Mercier Ythier
core  

Mycobacterial cell division arrest and smooth‐to‐rough envelope transition using CRISPRi‐mediated genetic repression systems

open access: yesFEBS Open Bio, EarlyView.
CRISPRI‐mediated gene silencing and phenotypic exploration in nontuberculous mycobacteria. In this Research Protocol, we describe approaches to control, monitor, and quantitatively assess CRISPRI‐mediated gene silencing in M. smegmatis and M. abscessus model organisms.
Vanessa Point   +7 more
wiley   +1 more source

dUTPase is essential in zebrafish development and possesses several single‐nucleotide variants with pronounced structural and functional consequences

open access: yesFEBS Open Bio, EarlyView.
dUTPases are involved in balancing the appropriate nucleotide pools. We showed that dUTPase is essential for normal development in zebrafish. The different zebrafish genomes contain several single‐nucleotide variations (SNPs) of the dut gene. One of the dUTPase variants displayed drastically lower protein stability and catalytic efficiency as compared ...
Viktória Perey‐Simon   +6 more
wiley   +1 more source

Home - About - Disclaimer - Privacy