Results 41 to 50 of about 220,610 (290)

Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination [PDF]

, 2010
In the context of the Semantic Web, several approaches to the combination of ontologies, given in terms of theories of classical first-order logic and rule bases, have been proposed.
Axel Polleres, Hans Tompits, Jos De Bruijn, Technische Universität Wien, Thomas Eiter   +4 more
core   +2 more sources

Stabilization and the Design of Switching Laws of a Class of Switched Singularly Perturbed Systems via the Composite Control

Mathematics, 2021
This paper proves that the controller design for switched singularly perturbed systems can be synthesized from the controllers of individual slow–fast subsystems. Under the switching rules of individual slow–fast subsystems, switched singularly perturbed
Chun-Tang Chao, Ding-Horng Chen, Juing-Shian Chiou   +2 more
doaj   +1 more source

First Class Call Stacks: Exploring Head Reduction [PDF]

, 2016
Weak-head normalization is inconsistent with functional extensionality in the call-by-name $\lambda$-calculus. We explore this problem from a new angle via the conflict between extensionality and effects.
Ariola, Zena M., Downen, Paul, Johnson-Freyd, Philip   +2 more
core   +2 more sources

Optimizing Allocation to Telehealth and In-Person Prolonged Exposure for Women Veterans with Military Sexual Trauma: A Precision Medicine Approach

Behavioral Sciences
Military sexual trauma-related post-traumatic stress disorder (PTSD) is highly prevalent and costly among women veterans, making the need for effective and accessible treatment of critical importance.
Evangelia Argyriou, Daniel F. Gros, Melba A. Hernandez Tejada, Wendy A. Muzzy, Ron Acierno   +4 more
doaj   +1 more source

Action patterns for the incremental specification of the execution semantics of visual languages [PDF]

, 2007
Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works ...
Bottoni, Paolo, Guerra, Esther, Lara, Juan de   +2 more
core   +2 more sources

Internality of Two-Measure-Based Generalized Gauss Quadrature Rules for Modified Chebyshev Measures II

Mathematics
Gaussian quadrature rules are commonly used to approximate integrals with respect to a non-negative measure dσ^. It is important to be able to estimate the quadrature error in the Gaussian rule used.
Dušan Lj. Djukić, Rada M. Mutavdžić Djukić, Aleksandar V. Pejčev, Lothar Reichel, Miodrag M. Spalević, Stefan M. Spalević   +5 more
doaj   +1 more source

Game-Theoretic Optimal Portfolios for Jump Diffusions

Games, 2019
This paper studies a two-person trading game in continuous time that generalizes Garivaltis (2018) to allow for stock prices that both jump and diffuse.
Alex Garivaltis
doaj   +1 more source

A continuation semantics of interrogatives that accounts for Baker's ambiguity [PDF]

, 2002
Wh-phrases in English can appear both raised and in-situ. However, only in-situ wh-phrases can take semantic scope beyond the immediately enclosing clause.
Shan, Chung-chieh
core   +4 more sources

Non-Traditional Layout Design for Robotic Mobile Fulfillment System with Multiple Workstations

Algorithms, 2021
This paper studies the layout design of a robotic mobile fulfillment system with multiple workstations. This is a parts-to-picker storage system where robots hoist pods and bring them directly to the workstations for stationary pickers to retrieve ...
Xiuqing Yang, Xinglu Liu, Lijuan Feng, Jianquan Zhang, Mingyao Qi   +4 more
doaj   +1 more source

Some Fractional Dynamic Inequalities of Hardy’s Type via Conformable Calculus

Mathematics, 2020
In this article, we prove some new fractional dynamic inequalities on time scales via conformable calculus. By using chain rule and Hölder’s inequality on timescales we establish the main results.
Samir Saker, Mohammed Kenawy, Ghada AlNemer, Mohammed Zakarya   +3 more
doaj   +1 more source