Results 61 to 70 of about 590 (188)
Models of arithmetic and rich theories
, 2009 In the present thesis we study the domain of Peano products (in a given model of the Presburger arithmetic (Pr)) as a potentially possible base for a construction of models of the Peano arithmetic (PA).
Glivický, Petr
core
Fuzzy interval net present value [PDF]
In this paper we conjugate the operative usability of the net present value with the capability of the fuzzy and the interval approaches to manage uncertainty. Our fuzzy interval net present value can be interpreted, besides the usual present value of an
Silvio Giove, Marco Corazza
core
Hyperdefinable groups and modularity [PDF]
, 2011 In this thesis is presented a study of groups of the form G/G^{00}, where G is a 1-dimensional, definably compact, definably connected, definable group in a saturated real closed field M, with respect to a notion called 1-basedness. In particular G will
Penazzi, Davide
core
Non-monotonic spatial reasoning with answer set programming modulo theories
, 2017 The systematic modelling of dynamic spatial systems is a key requirement in a wide range of application areas such as commonsense cognitive robotics, computer-aided architecture design, and dynamic geographic information systems.
Bhatt, Mehul, +2 more
core +1 more source
Asia-Pacific Journal of Chemical Engineering, EarlyView.ABSTRACT This study presents the design and construction of an experimental system for evaluating the thermal performance of heat pipes, using sintered‐wick heat pipes charged with CuO nanofluids. The device used in this study is a sintered‐wick heat pipe, in which the liquid return is driven by capillary forces within the porous wick structure.
Dawei Yan +7 more
wiley +1 more source
An investigation into neural arithmetic logic modules
, 2023 The human ability to learn and reuse skills in a systematic manner is critical to our daily routines. For example, having the skills for executing the basic arithmetic operations (+,−,×,÷) allows a person to perform a variety of tasks including budgeting
Mistry, Bhumika
core
Advanced Physics Research, EarlyView.This comprehensive density functional theory analysis investigates the structural, electronic, optical, mechanical, and thermoelectric properties of FeSi, c‐RhSi, and o‐RhSi. Results reveal distinct electronic and optical contrasts among the materials.
Md Farhan Hassan +4 more
wiley +1 more source
Quantitative assessment of masticatory muscles based on skull muscle attachment areas in Carnivora
The Anatomical Record, EarlyView.Abstract Masticatory muscles are composed of the temporalis, masseter, and pterygoid muscles in mammals. Each muscle has a different origin on the skull and insertion on the mandible; thus, all masticatory muscles contract in different directions. Collecting in vivo data and directly measuring the masticatory muscles anatomically in various Carnivora ...
Kai Ito +4 more
wiley +1 more source
GRW as an ontology of dispositions [PDF]
, 2009 The paper argues that the formulation of quantum mechanics proposed by Ghirardi, Rimini and Weber (GRW) is a serious candidate for being a fundamental physical theory and explores its ontological commitments from this perspective.
Mauro Dorato +4 more
core +1 more source
The Anatomical Record, EarlyView.Abstract Dental microwear texture analysis (DMTA) has emerged as a valuable method for investigating the feeding ecology of vertebrates. Over the past decade, three‐dimensional topographic data from microscopic regions of tooth surfaces have been collected, and surface texture parameters have been published for both extant and fossil species.
Mugino O. Kubo +4 more
wiley +1 more source