Search results for " functions"

Functional inequalities for generalized inverse trigonometric and hyperbolic functions

2014

Various miscellaneous functional inequalities are deduced for the so-called generalized inverse trigonometric and hyperbolic functions. For instance, functional inequalities for sums, difference and quotient of generalized inverse trigonometric and hyperbolic functions are given, as well as some Gr\"unbaum inequalities with the aid of the classical Bernoulli inequality. Moreover, by means of certain already derived bounds, bilateral bounding inequalities are obtained for the generalized hypergeometric ${}_3F_2$ Clausen function.

A Completeness Proof for a Regular Predicate Logic with Undefined Truth Value

2023

We provide a sound and complete proof system for an extension of Kleene's ternary logic to predicates. The concept of theory is extended with, for each function symbol, a formula that specifies when the function is defined. The notion of "is defined" is extended to terms and formulas via a straightforward recursive algorithm. The "is defined" formulas are constructed so that they themselves are always defined. The completeness proof relies on the Henkin construction. For each formula, precisely one of the formula, its negation, and the negation of its "is defined" formula is true on the constructed model. Many other ternary logics in the literature can be reduced to ours. Partial functions …

The Role of Textured Material in Supporting Perceptual-Motor Functions

2013

Simple deformation of the skin surface with textured materials can improve human perceptual-motor performance. The implications of these findings are inexpensive, adaptable and easily integrated clothing, equipment and tools for improving perceptual-motor functionality. However, some clarification is needed because mixed results have been reported in the literature, highlighting positive, absent and/or negative effects of added texture on measures of perceptual-motor performance. Therefore the aim of this study was to evaluate the efficacy of textured materials for enhancing perceptual-motor functionality. The systematic review uncovered two variables suitable for sub-group analysis within …

Zaskarżenie przed sędzią - komisarzem czynności prawnych upadłego dokonanych z pokrzywdzeniem wierzycieli masy upadłości - charakter prawny ochrony -…

2017

A Time-Non-Homogeneous Double-Ended Queue with Failures and Repairs and Its Continuous Approximation

2018

We consider a time-non-homogeneous double-ended queue subject to catastrophes and repairs. The catastrophes occur according to a non-homogeneous Poisson process and lead the system into a state of failure. Instantaneously, the system is put under repair, such that repair time is governed by a time-varying intensity function. We analyze the transient and the asymptotic behavior of the queueing system. Moreover, we derive a heavy-traffic approximation that allows approximating the state of the systems by a time-non-homogeneous Wiener process subject to jumps to a spurious state (due to catastrophes) and random returns to the zero state (due to repairs). Special attention is devoted to the cas…

Self-regulatory efficacy and sources of efficacy in elementary school pupils: Self-regulatory experiences in a population sample and pupils with atte…

2019

In this study, we examined self-regulatory efficacy and sources of self-efficacy (mastery experiences, vicarious experiences, social persuasion and physiological/emotional states) and the relationships between self-efficacy and its sources among elementary school pupils. Two groups were compared: a population sample (PS, N = 1284) and pupils with difficulties in attention and executive functions (AED, N = 61). Data gathered from self-report questionnaires indicated that pupils in the PS group had more positive efficacy beliefs and mastery experiences and fewer negative physiological/emotional states than the AED group. Analyses showed strong connections between sources and self-regulatory e…

Tractional Motion Machines extend GPAC-generable functions

2012

In late 17th century there appeared the Tractional Motion instruments, mechanical devices which plot the curves solving differential equations by the management of the tangent. In early 20th century Vannevar Bush’s Differential Analyzer got the same aim: in this paper we’ll compare the Differential Analyzer mathematical model (the Shannon’s General Purpose Analog Computer, or GPAC) with the Tractional Motion Machine potentials. Even if we will not arrive in defining the class of the functions generated by Tractional Motion Machines, we’ll see how this class will strictly extend the GPAC-generable functions.

Mejorando la comprensión lectora: Desde la intervención metacognitiva en estrategias a la intervención en los procesos ejecutivos de la memoria opera…

2013

Many students may read fluently but have difficulties constructing meaning from texts. Difficulties with reading comprehension have many implications at school. In particular, problems understanding texts interfere with studying and learning from text. Reading comprehension has improved in the last 30 years focusing on intervention programs that work with strategies in which metacog-nition plays a crucial role. However, recent years have seen relevant advances in the study of the relationship between working memory (WM), particularly executive processes, and reading comprehension. In this paper, we present how the last 20 years of our research has evolved regarding metacognitive interventio…

La preservación del favor filii en supuestos de ruptura de la convivencia de los acogedores, tutores o guardadores del menor

2021

Cuando la guarda del menor por parte de los progenitores no es posible y esta es atribuida de forma conjunta a dos personas convivientes que posteriormente cesan dicha convivencia, resulta necesario determinar cuál de ellas va a ejercer a partir de ese momento las funciones inherentes a dicha guarda. Las posibles soluciones dependerán de si se trata de un supuesto de acogimiento, de tutela o de siempre guarda. When care of the child by the parents is not possible and is attributed jointly to two people living together who subsequently stop living together, it is necessary to determine which of them will exercise the functions inherent to the care from that moment on. The possible solutions …

Structure and dynamics in liquid bismuth and Bin clusters: A density functional study

2014

Density functional/molecular dynamics simulations with more than 500 atoms have been performed on liquid bismuth at 573, 773, 923, and 1023 K and on neutral Bi clusters with up to 14 atoms. There are similar structural patterns (coordination numbers, bond angles, and ring patterns) in the liquid and the clusters, with significant differences from the rhombohedral crystalline form. We study the details of the structure (structure factor, pair, and cavity distribution functions) and dynamical properties (vibration frequencies, diffusion constants, power spectra), and compare with experimental results where available. While the three short covalent bonds typical to pnictogens are characteristi…