Results 81 to 90 of about 1,814,894 (278)
Extraction and evaluation of transportation network grammars for efficient planning applications
Grammars, with their generic approach and broad application potential in many planning fields, are accepted as adaptable and efficient tools for design and planning applications, bridging design rules and technical planning requirements.
B. J. Vitins, K. W. Axhausen
doaj +1 more source
Peroxidasin enables melanoma immune escape by inhibiting natural killer cell cytotoxicity
Peroxidasin (PXDN) is secreted by melanoma cells and binds the NK cell receptor NKG2D, thereby suppressing NK cell activation and cytotoxicity. PXDN depletion restores NKG2D signaling and enables effective NK cell–mediated melanoma killing. These findings identify PXDN as a previously unrecognized immune evasion factor and a potential target to improve
Hsu‐Min Sung +17 more
wiley +1 more source
Guidelines for the development of concrete performance-based specifications in Brazil
Guidelines to develop performance specifications of concrete, including suggestions for performance requirements, are presented. This paper proposes changes to the Brazilian specifications and standards in order to follow the international trend and to ...
J. Tanesi, M. G. da Silva, V. Gomes
doaj +1 more source
Accession: Specification [PDF]
Specification is one form of accession of movables. Specification exists when a person by his work and another's material creates a new thing, provided there is no contractual relationship between the person doing the work and the owner of the material ...
Tešanović Jelena
doaj
Atomic Action Refinement in Model Based Testing [PDF]
In model based testing (MBT) test cases are derived from a specification of the system that we want to test. In general the specification is more abstract than the implementation.
Bijl, Machiel van der +2 more
core +1 more source
Verified Correctness and Security of mbedTLS HMAC-DRBG
We have formalized the functional specification of HMAC-DRBG (NIST 800-90A), and we have proved its cryptographic security--that its output is pseudorandom--using a hybrid game-based proof.
Almeida José Bacelar +8 more
core +1 more source
Etoposide induces DNA damage, activating p53‐dependent apoptosis via caspase‐3/7, which cleaves PARP1. Dammarenediol II enhances this apoptotic pathway by suppressing O‐GlcNAc transferase activity, further decreasing O‐GlcNAcylation. The reduction in O‐GlcNAc levels boosts p53‐driven apoptosis and influences the Akt/GSK3β/mTOR signaling pathway ...
Jaehoon Lee +8 more
wiley +1 more source
Correlation of the differential expression of PIK3R1 and its spliced variant, p55α, in pan‐cancer
PIK3R1 undergoes alternative splicing to generate the isoforms, p85α and p55α. By combining large patient datasets with laboratory experiments, we show that PIK3R1 spliced variants shape cancer behavior. While tumors lose the protective p85α isoform, p55α is overexpressed, changes linked to poorer survival and more pronounced in African American ...
Ishita Gupta +10 more
wiley +1 more source
Phobos: A front-end approach to extensible compilers (long version) [PDF]
This paper describes a practical approach for implementing certain types of domain-specific languages with extensible compilers. Given a compiler with one or more front-end languages, we introduce the idea of a "generic" front-end that allows the ...
Granicz, Adam, Hickey, Jason
core +2 more sources
Meta‐transcriptome analysis identified FGF19 as a peptide enteroendocrine hormone associated with colorectal cancer prognosis. In vivo xenograft models showed release of FGF19 into the blood at levels that correlated with tumor volumes. Tumoral‐FGF19 altered murine liver metabolism through FGFR4, thereby reducing bile acid synthesis and increasing ...
Jordan M. Beardsley +5 more
wiley +1 more source

