Results 71 to 80 of about 4,888,581 (309)
Strategic judgment proofing [PDF]
The RAND Journal of Economics, 2008 A liquidity‐constrained entrepreneur raises capital to finance a business activity that may harm bystanders. The entrepreneur raises senior (secured) debt to shield assets from the tort victims in bankruptcy. For a fixed level of borrowing, senior debt creates better incentives for precaution taking than either junior debt or outside equity.
Che, Yeon-Koo, Spier, Kathryn E.
openaire +7 more sources
Liquid biopsy epigenetics: establishing a molecular profile based on cell‐free DNA
Molecular Oncology, EarlyView.Cell‐free DNA (cfDNA) fragments in plasma from cancer patients carry epigenetic signatures reflecting their cells of origin. These epigenetic features include DNA methylation, nucleosome modifications, and variations in fragmentation. This review describes the biological properties of each feature and explores optimal strategies for harnessing cfDNA ...
Christoffer Trier Maansson +2 more
wiley +1 more source
Integrating a Global Induction Mechanism into a Sequent Calculus
, 2017 Most interesting proofs in mathematics contain an inductive argument which requires an extension of the LK-calculus to formalize. The most commonly used calculi for induction contain a separate rule or axiom which reduces the valid proof theoretic ...
C Dunchev +19 more
core +1 more source
Parameterized Proof Complexity [PDF]
computational complexity, 2007 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Dantchev, S., Martin, B., Szeider, S.
openaire +2 more sources
Intein‐based modular chimeric antigen receptor platform for specific CD19/CD20 co‐targeting
Molecular Oncology, EarlyView.CARtein is a modular CAR platform that uses split inteins to splice antigen‐recognition modules onto a universal signaling backbone, enabling precise, scarless assembly without re‐engineering signaling domains. Deployed here against CD19 and CD20 in B‐cell malignancies, the design supports flexible multi‐antigen targeting to boost T‐cell activation and
Pablo Gonzalez‐Garcia +9 more
wiley +1 more source
A Coding Theoretic Study on MLL proof nets
, 2010 Coding theory is very useful for real world applications. A notable example is digital television. Basically, coding theory is to study a way of detecting and/or correcting data that may be true or false. Moreover coding theory is an area of mathematics,
Girard +4 more
core +1 more source
Molecular Oncology, EarlyView.Combining PTEN protein assessment and transcriptomic profiling of prostate tumors, we uncovered a network enriched in senescence and extracellular matrix (ECM) programs associated with PTEN loss and conserved in a mouse model. We show that PTEN‐deficient cells trigger paracrine remodeling of the surrounding stroma and this information could help ...
Ivana Rondon‐Lorefice +16 more
wiley +1 more source
DIGITAL TECHNOLOGIES AND ENVIRONMENTAL CRIMES
Revista Eletrônica de Direito Processual, 2019 This paper deals with drones as evidence, according to the Spanish law, and the procedure for valuating the proof.
Lorenzo Mateo Bujosa Vadell
doaj +1 more source
Proof in Mathematics Education, 1980-2020: An Overview
Journal of Educational Research in Mathematics, 2020 This paper looks at the evolution of ideas on the role of proof in mathematics education from 1980 to 2020, examining in particular the contributions of both theoretical and empirical research to the teaching of mathematical proof.
Gila Hanna, Christine Knipping
doaj +1 more source
The Review of Symbolic Logic, 2020 AbstractThis paper puts forward a new account of rigorous mathematical proof and its epistemology. One novel feature is a focus on how the skill of reading and writing valid proofs is learnt, as a way of understanding what validity itself amounts to. The account is used to address two current questions in the literature: that of how mathematicians are ...
openaire +4 more sources