Results 31 to 40 of about 100,229 (307)

Unpacking the logic of mathematical statements [PDF]

Educational Studies in Mathematics, 1995
This study focuses on undergraduate students' ability to unpack informally written mathematical statements into the language of predicate calculus. Data were collected between 1989 and 1993 from 61 students in six small sections of a “bridge” course designed to introduce proofs and mathematical reasoning.
Selden, John, Selden, Annie
openaire   +2 more sources

Co-constructive Logics for Proofs and Refutations

Studia Humana, 2015
This paper considers logics which are formally dual to intuitionistic logic in order to investigate a co-constructive logic for proofs and refutations. This is philosophically motivated by a set of problems regarding the nature of constructive truth, and
Trafford James
doaj   +1 more source

Fuzzy Logic: vulnerability of women who have sex with women to sexually transmitted infections [PDF]

Revista Brasileira de Enfermagem
Objective: To describe the possibility of applying Fuzzy Logic in analyzing the vulnerability of Women Who Have Sex with Women to Sexually Transmitted Infections/HIV/AIDS. Methods: We developed a Fuzzy Logic system with 17 input variables and one output
Juliane Andrade, Kendra Yanne da Silva Santos, Ana Paula Freneda de Freitas, Mariana Alice Oliveira Ignácio, Emmanuel Zullo Godinho, Marli Teresinha Cassamassimo Duarte   +5 more
doaj   +1 more source

Circuitree: A Datalog Reasoner in Zero-Knowledge

IEEE Access, 2022
Driven by the increased consciousness in data ownership and privacy, zero-knowledge proofs (ZKPs) have become a popular tool to convince a third party of the truthfulness of a statement without disclosing any further information.
Tom Godden, Ruben De Smet, Christophe Debruyne, Thibaut Vandervelden, Kris Steenhaut, An Braeken   +5 more
doaj   +1 more source

Interplay between circadian and other transcription factors—Implications for cycling transcriptome reprogramming

FEBS Letters, EarlyView.
This perspective highlights emerging insights into how the circadian transcription factor CLOCK:BMAL1 regulates chromatin architecture, cooperates with other transcription factors, and coordinates enhancer dynamics. We propose an updated framework for how circadian transcription factors operate within dynamic and multifactorial chromatin landscapes ...
Xinyu Y. Nie, Jerome S. Menet
wiley   +1 more source

The Rights Statement Selection Tool

Journal of Copyright in Education and Librarianship, 2020
Through the standardized rights statements it provides, RightsStatements.org allows institutions to clearly communicate the copyright status of digitized cultural heritage works, promoting their reuse.
Gabriel Galson, Brandy Karl
doaj   +1 more source

Integration of circadian and hypoxia signaling via non‐canonical heterodimerization

FEBS Letters, EarlyView.
CLOCK, BMAL1, and HIFs are basic helix‐loop‐helix and Per‐Arnt‐Sim domain (bHLH‐PAS) proteins, which function as transcription factors. bHLH‐PAS proteins are designated in two classes. Many class I proteins are regulated by environmental signals via their PAS domains, but such signals have not been identified for all.
Sicong Wang, Katja A. Lamia
wiley   +1 more source

An upstream open reading frame regulates expression of the mitochondrial protein Slm35 and mitophagy flux

FEBS Letters, EarlyView.
This study reveals how the mitochondrial protein Slm35 is regulated in Saccharomyces cerevisiae. The authors identify stress‐responsive DNA elements and two upstream open reading frames (uORFs) in the 5′ untranslated region of SLM35. One uORF restricts translation, and its mutation increases Slm35 protein levels and mitophagy.
Hernán Romo‐Casanueva, Ariann E. Mendoza‐Martínez, P. Abril Medina‐Flores, Carlos Campero‐Basaldua, Alexander DeLuna, Soledad Funes   +5 more
wiley   +1 more source

Patient‐specific pharmacogenomics demonstrates xCT as predictive therapeutic target in colon cancer with possible implications in tumor connectivity

Molecular Oncology, EarlyView.
This study integrates transcriptomic profiling of matched tumor and healthy tissues from 32 colorectal cancer patients with functional validation in patient‐derived organoids, revealing dysregulated metabolic programs driven by overexpressed xCT (SLC7A11) and SLC3A2, identifying an oncogenic cystine/glutamate transporter signature linked to ...
Marco Strecker, Keren Zohar, Martin Böttcher, Thomas Wartmann, Henry Freudenstein, Maximilian Doelling, Mihailo Andric, Wenjie Shi, Or Kakhlon, Katrin Hippe, Beatrix Jahnke, Dimitrios Mougiakakos, Franziska Baenke, Daniel Stange, Roland S. Croner, Michal Linial, Ulf D. Kahlert   +16 more
wiley   +1 more source

Quantifiers, Disjunction, and Truth-Values with Two Numbers

Praxis Filosófica
Context: Cognitive studies seem to show that two kinds of tasks are controversial. Both have a quantified premise, a quantified conclusion, and a disjunction in the premise.
Miguel López-Astorga
doaj   +1 more source