Results 1 to 10 of about 54,626 (205)
Improving the closing sequences of interaction between human and robot through conversation analysis [PDF]
Scientific ReportsThis study employs Conversation Analysis to create a recursive model that improves the quality of human-robot interaction. Our research goal is to create a dialogue robot that offers pleasant experiences for users, so they are willing to engage in ...
Takahisa Uchida +2 more
doaj +2 more sources
Differential equations in constructive analysis and in the recursive realizability topos
Journal of Pure and Applied Algebra, 1984 This paper is concerned with the constructive theory of differential equations, as cast in the following three settings: (1) as provable in Heyting's arithmetic \(+\) ''Every f:\(N\to N\) is recursive''; (2) as true in the recursive realizability topos [\textit{J. M. E. Hyland}, The L. E. J. Brouwer Centen. Symp., Proc.
Andre Scedrov
exaly +2 more sources
autoRPA: A web server for constructing cancer staging models by recursive partitioning analysis
Computational and Structural Biotechnology Journal, 2020 Cancer staging provides a common language that is used to describe the severity of an individual's cancer, which plays a critical role in optimizing cancer treatment. Recursive partitioning analysis (RPA) is the most widely accepted method for cancer staging.
Yubin Xie +7 more
openaire +3 more sources
PLoS ONE, 2020 OBJECTIVE:Stepped and collaborative care with outpatient psychotherapy as one treatment step is guideline-recommended for mental health care. To date, the experiences and evaluation of psychotherapists regarding collaboration and stepped care have been ...
Kerstin Maehder +5 more
doaj +1 more source
On Renormalization Group Flows and Polymer Algebras [PDF]
, 1994 In this talk methods for a rigorous control of the renormalization group (RG) flow of field theories are discussed. The RG equations involve the flow of an infinite number of local partition functions.
A. Pordt +25 more
core +3 more sources
Information models of tactical and operational planning levels in energy construction [PDF]
E3S Web of ConferencesThe strategic, tactical and operational levels of energy construction planning are considered. The purpose of the article is to present information models for solving multi-criteria tasks of forming schedules of various types.
Mavzovin Vladimir +6 more
doaj +1 more source
Affine functions and series with co-inductive real numbers [PDF]
, 2006 We extend the work of A. Ciaffaglione and P. Di Gianantonio on mechanical verification of algorithms for exact computation on real numbers, using infinite streams of digits implemented as co-inductive types.
Bertot, Yves
core +5 more sources
Specifics of Project Management on Industrial Innovation
Proceedings of the International Conference on Applied Innovations in IT, 2018 The paper offers a scientific and methodological approach to assessing the efficiency of innovative projects which develops and supplements the theoretical bases of innovative projects analysis through the accounting of recursive dependence of ...
Stepan Mezhov, Leonid Mylnikov
doaj +1 more source
A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice [PDF]
, 2021 We present a Kleene realizability semantics for the intensional level of the Minimalist Foundation, for short mtt, extended with inductively generated formal topologies, Church's thesis and axiom of choice.
Maietti, Maria Emilia +2 more
core +3 more sources
Variations on the Theme of Conning in Mathematical Economics [PDF]
, 2007 The mathematization of economics is almost exclusively in terms of the mathematics of real analysis which, in turn, is founded on set theory (and the axiom of choice) and orthodox mathematical logic.
Velupillai, Kumaraswamy
core +1 more source