Results 131 to 140 of about 491,607 (366)
Studia Semiotyczne, 2019 DOI: http://doi.org/10.26333/sts.xxxii2.09 The affirmative answer to the title question is justified in two ways: logical and empirical. (1) The logical justification is due to Gödel’s discovery (1931) that in any axiomatic formalized theory, having ...
Witold Marciszewski
doaj
Federated Learning in Computational Toxicology: An Industrial Perspective on the Effiris Hackathon. [PDF]
Chem Res Toxicol, 2023 Bassani D, Brigo A, Andrews-Morger A.
europepmc +1 more source
A bioinformatics screen identifies TCF19 as an aggressiveness‐sustaining gene in prostate cancer
Molecular Oncology, EarlyView.Gene expression meta‐analysis in multiple prostate cancer patient cohorts identifies Transcription factor 19 (TCF19) as an aggressiveness‐sustaining gene with prognostic potential. TCF19 is a gene repressed by androgen signaling that sustains core cancer‐related processes such as vascular permeability or tumor growth and metastasis.
Amaia Ercilla +15 more
wiley +1 more source
Undecidability of the general problems of completeness, decidability and equivalence for propositional calculi [PDF]
, 1966 A. V. Kuznecov
openalex +1 more source
Agency—the ability to define one’s own goals and make choices to achieve them—is often measured through questions that capture an individual’s direct involvement in decision-making. Yet not participating in decision-making may not always imply a lack of power.
Hillesland, Marya +6 more
openaire +1 more source
On Equivalence and Canonical Forms in the LF Type Theory
, 2000 Decidability of definitional equality and conversion of terms into canonical form play a central role in the meta-theory of a type-theoretic logical framework. Most studies of definitional equality are based on a confluent, strongly-normalizing notion of
Harper, Robert, Pfenning, Frank
core +10 more sources
Molecular Oncology, EarlyView.Using multi‐omic characterization, we aimed to identify key regulators specific to squamous cell lung carcinoma (SqCC). SqCC‐specific differentially expressed genes were integrated with metabolics data. High expression of the creatine transporter SLC6A8, along with elevated creatine levels, appeared to be a distinct metabolic feature of SqCC.
Johan Staaf +10 more
wiley +1 more source
A review of data abstraction. [PDF]
Front Artif Intell, 2023 Cima G, Console M, Lenzerini M, Poggi A.
europepmc +1 more source
Molecular Oncology, EarlyView.Following high dose rate brachytherapy (HDR‐BT) for hepatocellular carcinoma (HCC), patients were classified as responders and nonresponders. Post‐therapy serum induced increased BrdU incorporation and Cyclin E expression of Huh7 and HepG2 cells in nonresponders, but decreased levels in responders.
Lukas Salvermoser +14 more
wiley +1 more source