Results 31 to 40 of about 45,874 (260)
On Some Applied First-Order Theories which Can Be Represented by Definitions [PDF]
, 2015 In the paper we formulate a sufficient criterion in order for the first order theory with finite set of axioms to be represented by definitions in predicate calculus. We prove the corresponding theorem.
Shalack, Vladimir
core
The relation of semiadjacency of $\cap$-semigroups of transformations
, 2012 We consider two relations on a $\cap$-semigroup of partial functions of a given set: the inclusion of domains and the semiadjacencity (i.e., the inclusion of the image of the first function into the domain of the second), which characterized with an ...
A.H. Clifford +12 more
core +1 more source
Definability theorem for the intuitionistic predicate logic with equality [PDF]
Nagoya Mathematical Journal, 1982 Svenonius’ definability theorem and its generalizations to the infinitary logic Lω1ω or to a second order logic with countable conjunctions and disjunctions have been studied by Kochen [1], Motohashi [2], [3] or Harnik and Makkai [4], independently.
openaire +2 more sources
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective To investigate the value of constructing models based on habitat radiomics and pathomics for predicting the risk of progression in high‐grade gliomas. Methods This study conducted a retrospective analysis of preoperative magnetic resonance (MR) images and pathological sections from 72 patients diagnosed with high‐grade gliomas (52 ...
Yuchen Zhu +14 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.Cermets (60 vol.% AISI 316L stainless steel, 40 vol.% recycled MgO), intended for use in aluminum electrolysis, were pre‐oxidized in three furnaces with different heating technologies and subjected to a cryolite corrosion test. The different atmospheres influenced the formation of oxide layers, which in turn affected corrosion resistance and ...
Patricia Kaiser +4 more
wiley +1 more source
Lattice of $E$-closed Classes of Multifunctions of Rank 2
Известия Иркутского государственного университета: Серия "Математика"Multifunctions are discrete functions defined on a finite set and returning as their values all subsets of the considered set. The paper considers the classification of multifunctions defined on a two-element set with respect to the E-closure operator ...
B. P. Ilyin, V.I. Panteleev
doaj +1 more source
Advanced Functional Materials, EarlyView.From a database of 170 pentagonal 2D materials, 4 candidates exhibiting altermagnetic ordering are screened. Furthermore, the spin‐splitting and unconventional boundary states in the pentagonal 2D altermagnetic monolayer MnS2 are investigated. A MnS2‐based altermagnetic tunneling junction is designed and, through ab initio quantum transport simulations,
Jianhua Wang +8 more
wiley +1 more source
Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification [PDF]
, 2020 We present an inductive inference system for proving validity of formulas in the initial algebra \(T_{\mathcal {E}}\) of an order-sorted equational theory \(\mathcal {E}\) with 17 inference rules, where only 6 of them require user interaction, while the remaining 11 can be automated as simplification rules and can be combined together as a limited, yet
José Meseguer, Stephen Skeirik
openaire +1 more source
Novel Functional Materials via 3D Printing by Vat Photopolymerization
Advanced Functional Materials, EarlyView.This Perspective systematically analyzes strategies for incorporating functionalities into 3D‐printed materials via Vat Photopolymerization (VP). It explores the spectrum of achievable functionalities in recently reported novel materials—such as conductive, energy‐storing, biodegradable, stimuli‐responsive, self‐healing, shape‐memory, biomaterials, and
Sergey S. Nechausov +3 more
wiley +1 more source
, 2015 Motivated by the problem of simultaneously preserving confidentiality and usability of data outsourced to third-party clouds, we present two different database encryption schemes that largely hide data but reveal enough information to support a wide ...
Basin D. +8 more
core +1 more source