Results 81 to 90 of about 198,004 (302)
TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis
, 2012 This paper describes the design and implementation of a system, called TSL (for "Transformer Specification Language"), that provides a systematic solution to the problem of creating retargetable tools for analyzing machine code.
Lim, Junghee, Reps, Thomas
core
A Unified Theory of Code Connected Contracts
, 2021 Smart contracts and their promise of automatic performance capture legal and entrepreneurial imaginations. But the excitement around the technology led to some confusing legal responses.
Reyes, Carla L.
core
Matlab Code for the Discrete Hankel Transform
Journal of Open Research Software, 2017 Previous definitions of a Discrete Hankel Transform (DHT) have focused on methods to approximate the continuous Hankel integral transform without regard for the properties of the DHT itself.
Natalie Baddour, Ugo Chouinard
doaj +1 more source
Molecular Oncology, EarlyView.Beyond its role in immune evasion, this study identified that CD47 drives tumor‐intrinsic signaling in non‐small cell lung cancer (NSCLC). Transcriptomic profiling and functional studies revealed that CD47 regulates cell adhesion, migration, and metastasis through an ERK–EMT signaling axis.
Asa P.Y. Lau +8 more
wiley +1 more source
Molecular Oncology, EarlyView.EXOSC10, an essential nuclear RNA exosome‐associated 3′‐5′ exoribonuclease, is inhibited by the anticancer drug 5‐fluorouracil (5‐FU), and EXOSC10 depletion increases 5‐FU sensitivity. The colon‐cancer variant EXOSC10S402T, located in a proteolysis motif, is stable and nuclear but nonfunctional in vivo.
Radhika Sain +10 more
wiley +1 more source
A new approximate Eastin-Knill theorem
npj Quantum InformationTransversal encoded gatesets are highly desirable for fault tolerant quantum computing. However, a quantum error correcting code which exactly corrects for local erasure noise and supports a universal set of transversal gates is ruled out by the Eastin ...
Rhea Alexander
doaj +1 more source
Molecular Oncology, EarlyView.RNA profiling of circulating extracellular vesicles (EVs) from blood samples of men undergoing prostate biopsy identifies transcripts associated with clinically significant prostate cancer. Integrative analysis with public tumor datasets links EV‐derived gene signatures to tumor stage and progression‐free survival, highlighting CASP3, XRCC2, and RIT1 ...
Stefan Werner +14 more
wiley +1 more source
From Formal Methods to Executable Code [PDF]
, 2012 Note: the cover page of this report shows an incorrect title. The title given on the first page of the document itself is correct.The objective of this work is the derivation of software that is verifiably correct.
Musial, Peter M.
core
Edge-based metric resolvability of anti-depression molecular structures and its application
Results in ChemistryChemical graph theory represents an interdisciplinary field at the intersection of chemistry and mathematics, focusing on the analysis of various chemical structures through graph-theoretical frameworks.
Rab Nawaz +2 more
doaj +1 more source
Molecular Oncology, EarlyView.Intratumour heterogeneity complicates precision management of advanced endometrial cancer. Circulating tumor DNA (ctDNA) offers a minimally invasive strategy to capture tumor evolution and therapeutic resistance. Here, we compare tumor‐agnostic NGS with tumor‐informed ddPCR, outlining their relative sensitivity, concordance, and clinical implications ...
Carlos Casas‐Arozamena +15 more
wiley +1 more source