Results 21 to 30 of about 249,549 (273)

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

Ordinals and recursively defined functions on the reals

, 2023
We determine sufficient conditions under which certain recursively defined functions are well defined for all real inputs. Given a function $f:\mathbb R\to\mathbb R$, call a decreasing sequence $x_1>x_2>x_3>\cdots$ "$f$-bad" if $f(x_1)>f(x_2)>f(x_3)>\cdots$, and call the function $f$ "ordinal decreasing" if there exist no infinite $f$-
Nivasch, Gabriel, Shiboli, Lior
openaire   +2 more sources

Dynamic generalised additive models (DGAMs) for forecasting discrete ecological time series

Methods in Ecology and Evolution, 2023
Generalised additive models (GAMs) are increasingly popular tools for estimating smooth nonlinear relationships between predictors and response variables.
Nicholas J. Clark, Konstans Wells
doaj   +1 more source

Cyclic transfers in school timetabling [PDF]

, 2009
In this paper we propose a neighbourhood structure based\ud on sequential/cyclic moves and a Cyclic Transfer algorithm for the high school timetabling problem.
Ahmadi, Samad, Geertsema, Frederik, Post, Gerhard   +2 more
core   +5 more sources

Improved Epstein–Glaser renormalization in x-space versus differential renormalization

Nuclear Physics B, 2014
Renormalization of massless Feynman amplitudes in x-space is reexamined here, using almost exclusively real-variable methods. We compute a wealth of concrete examples by means of recursive extension of distributions.
José M. Gracia-Bondía, Heidy Gutiérrez, Joseph C. Várilly   +2 more
doaj   +1 more source

A Novel Neural Network with the Ability to Express the Extreme Points Distribution Features of Higher Derivatives of Physical Processes

Applied Sciences, 2023
Higher derivatives are important to interpret the physical process. However, higher derivatives calculated from measured data often deviate from the real ones because of measurement errors.
Xibo Wang, Feiyan Ma, Yanfei Gao, Jinfeng Liang, Changfeng Zhou   +4 more
doaj   +1 more source

A Survey on Continuous Time Computations [PDF]

, 2007
We provide an overview of theories of continuous time computation. These theories allow us to understand both the hardness of questions related to continuous time dynamical systems and the computational power of continuous time analog models.
A Ben-Hur, A Ben-Hur, A Ben-Hur, A Ben-Hur, A Kempe, A Rabinovich, A Turing, A Vergis, A. Church, APL Francisco, Asarin, B Trakhtenbrot, BJ Copeland, C Moore, C Moore, C Moore, C Moore, CE Shannon, CS Calude, D Dee, D Deutsch, D Graça, D Woods, DS Graça, DS Graça, E Asarin, E Asarin, E Asarin, E Post, EB Davies, G Etesi, G Lafferriere, G P ăun, H Abdi, HM Stoll, HT Siegelmann, HT Siegelmann, HT Siegelmann, I Artobolevskii, I Németi, J Earman, J Foy, J Mycka, J Mycka, J Mycka, J Mycka, J Šíma, J Šíma, JF Costa, JJ Hopfield, JJ Hopfield, JV Tucker, K Ruohonen, K Ruohonen, K Ruohonen, K Ruohonen, K Ruohonen, K Ruohonen, K Weihrauch, K-I Ko, K-I Ko, L Blum, L Faybusovich, L Faybusovich, L Lipshitz, LA Rubel, LA Rubel, LM Adleman, M Campagnolo, M Campagnolo, M Casey, M Casey, M Davis, M Gori, M Hogarth, M Hogarth, M Hoyrup, M Pour-El, MB Pour-El, MB Pour-El, MB Pour-El, MD Bowles, ML Campagnolo, ML Campagnolo, ML Hogarth, MO Rabin, MS Branicky, MS Branicky, N Müller, O Bournez, O Bournez, O Bournez, O Bournez, O Bournez, O. Finkel, P Bouyer, P Clote, P Collins, P Koiran, P Koiran, P Koiran, P Orponen, P Orponen, PW Shor, R Alur, R Alur, R Legenstein, RJ Lipton, RW Brockett, RW Brockett, S Aaronson, S Grigorieff, S Omohundro, S. C. Kleene, T Brihaye, T Brihaye, T Head, T Natschläger, TA Henzinger, TD Kieu, U Helmke, V Bush, VD Blondel, VD Blondel, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, WD Smith, Šíma   +138 more
core   +5 more sources

Stateful InREC: Stateful In-Network Real Number Computation With Recursive Functions

IEEE Transactions on Network and Service Management, 2023
Current generation of Reconfigurable Match-Action Tables switches are highly programmable, able to support stateful operations and pipeline specifications using languages like P4. Nevertheless, these switches do not offer primitives to support real-valued operations on the data plane, thus requiring support from external servers or middle boxes to ...
Jose, Matthews, Lazri, Kahina, François, Jérôme, Festor, Olivier   +3 more
openaire   +2 more sources

Some Competition Programming Problems as the Beginning of Artificial Intelligence

Informatics in Education, 2007
We consider in this paper some programming competition problems (which are near to some problems of ACM competitions) of the following subjects: we can make their solution using both Prolog and a classical procedure-oriented language.
Boris MELNIKOV, Elena MELNIKOVA
doaj   +1 more source

“dynmix”: An R package for the estimation of dynamic finite mixtures

SoftwareX, 2023
“dynmix” is an R package allowing to estimate dynamic mixture models with state-space components and with normal regression components. Additionally it implements clustering with normal mixture.
Krzysztof Drachal
doaj   +1 more source