Results 51 to 60 of about 3,261,962 (390)
mAbs, 2023 Prolactin (PRL) has recently been demonstrated to elicit female-selective nociceptor sensitization and increase pain-like behaviors in female animals.
Stephanie Maciuba +13 more
doaj +1 more source
arXiv, 2023 A logic family is a bunch of logics that belong together in some way. First-order logic is one of the examples. Logics organized into a structure occurs in abstract model theory, institution theory and in algebraic logic. Logic families play a role in adopting methods for investigating sentential logics to first-order like logics. We thoroughly discuss
arxiv
Wittgenstein's Programme of a New Logic [PDF]
, 2007 The young Wittgenstein called his conception of logic “New Logic” and opposed it to the “Old Logic”, i.e. Frege’s and Russell’s systems of logic. In this paper the basic objects of Wittgenstein’s conception of a New Logic are outlined
Lampert, Timm
core
Advanced Engineering Materials, EarlyView.A methodology for establishing an ontology‐augmented structural digital twin for fiber‐reinforced polymer structures dedicated to individual lifetime prediction, in this case, a wind turbine rotor blade, is introduced. The methodology resembles the manufacturing as well as the operation of the structure.
Marc Luger +6 more
wiley +1 more source
Material Modeling in Semiconductor Process Applications
Journal of Microelectronic Manufacturing, 2020 During the past decade, significant progress has been achieved in the application of material modeling to aid technology development in semiconductor manufacturing companies such as Intel.
Boris A. Voinov +4 more
doaj +1 more source
Sensors, 2021 This paper presents a computational method based on non-classical logic dedicated to routing management and information stream control in communication networks. Paraconsistent logic (PL) was used to create an algorithmic structure whose main property is
João Inácio Da Silva Filho +10 more
doaj +1 more source
Boolean Dependence Logic and Partially-Ordered Connectives [PDF]
, 2014 We introduce a new variant of dependence logic called Boolean dependence logic. In Boolean dependence logic dependence atoms are of the type =(x_1,...,x_n,\alpha), where \alpha is a Boolean variable.
Ebbing, Johannes +3 more
core
Local logics, non-monotonicity and defeasible argumentation [PDF]
, 2004 In this paper we present an embedding of abstract argumentation systems into the framework of Barwise and Seligman’s logic of information flow.We show that, taking P.M.
Bodanza, Gustavo Adrian +1 more
core +1 more source
Advanced Engineering Materials, EarlyView.In pursuit of modern data management techniques, this study presents an in‐lab pipeline combining electronic laboratory notebooks (eLabFTW) and Python scripts for creating semantically enriched, interoperable, machine‐actionable data. Automating data mapping enhances usability, collaboration, and unified knowledge representation.
Markus Schilling +7 more
wiley +1 more source