Results 101 to 110 of about 1,456,568 (303)
Formalization of the Axiom of Choice and its Equivalent Theorems
CoRR, 2019 In this paper, we describe the formalization of the axiom of choice and several of its famous equivalent theorems in Morse-Kelley set theory. These theorems include Tukey's lemma, the Hausdorff maximal principle, the maximal principle, Zermelo's postulate, Zorn's lemma and the well-ordering theorem. We prove the above theorems by the axiom of choice in
Tianyu Sun, Wensheng Yu
openaire +2 more sources
A nationwide student survey on biochemistry learning resources in Italy
FEBS Open Bio, EarlyView.We conducted a survey among Italian university students to investigate their preferred study materials for biochemistry. We then analyzed the collected data to identify these materials. This information may be valuable to the Biochemistry educational community. The graphical abstract was created with Claude (Opus 5.5; Anthropic, 2026).
Anna Marabotti +4 more
wiley +1 more source
The Notion of Equivalence in Translation
Traduction et Langues, 2006 The notion of equivalence is one of the most problematic areas in the theory of translation. Various translation theories proposed by different translation theoreticians discussed, analyzed, evaluated this term from different points of view, and ...
Hafida Belkacemi
doaj
Approximate Equivalence of the Hybrid Automata with Taylor Theory
Journal of Applied Mathematics, 2014 Hybrid automaton is a formal model for precisely describing a hybrid system in which the computational processes interact with the physical ones.
Anping He +3 more
doaj +1 more source
Aging and Cancer, EarlyView.Cancer treatment is associated with measurable acceleration of biological aging across epigenetic, telomere, senescence, and immune biomarkers. However, biomarker validation and interventional strategies remain limited, especially in hematologic malignancies, underscoring the need for standardized multi‐omic aging assessments and adequately powered ...
Moataz Ellithi +3 more
wiley +1 more source
Characterization of Revenue Equivalence [PDF]
The property of an allocation rule to be implementable in dominant strategies by a unique payment scheme is called revenue equivalence. In this paper we give a characterization of revenue equivalence based on a graph theoretic interpretation of the ...
Rudolf Muller +3 more
core +2 more sources
Some binominal size noun constructions in English and French: a contrastive corpus-based perspective
NJES: Nordic Journal of English studies, 2015 This paper compares binominal size noun constructions in English and French from a contrastive perspective based on analysis of parallel and monolingual corpus data.
Lieselotte Brems
doaj +1 more source
Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, FMCAD 2025 [PDF]
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification.
Formal Methods in Computer Aided Design
core +1 more source
Automating Security Analysis: Symbolic Equivalence of Constraint Systems [PDF]
, 2010 We consider security properties of cryptographic protocols, that are either trace properties (such as confidentiality or authenticity) or equivalence properties (such as anonymity or strong secrecy).
Hubert Comon-Lundh +5 more
core +1 more source
Ethical Foreground and Background in Adult Educator Work
New Directions for Adult and Continuing Education, EarlyView.ABSTRACT Adult educators work in a complex ethical environment. The very act of contributing to the learning of another is fraught with moral overtones. In this paper we consider the ethical dimensions of adult educator practice by distinguishing the ethical features of the context or ‘background’ of practice from the ethical capabilities and decision ...
Steven Hodge, Sonal Nakar
wiley +1 more source