Results 21 to 30 of about 26,685 (258)

Probabilistic Recursive Functions [PDF]

Transactions of the American Mathematical Society, 1973
The underlying question considered in this paper is whether or not the purposeful introduction of random elements, effectively governed by a probability distribution, into a calculation may lead to constructions of number-theoretic functions that are not available by deterministic means.
openaire   +2 more sources

An application of results by Hardy, Ramanujan and Karamata to Ackermannian functions [PDF]

Discrete Mathematics & Theoretical Computer Science, 2003
The Ackermann function is a fascinating and well studied paradigm for a function which eventually dominates all primitive recursive functions. By a classical result from the theory of recursive functions it is known that the Ackermann function can be
Andreas Weiermann
doaj   +2 more sources

Recursive weights for some Boolean functions

Journal of Mathematical Cryptology, 2012
This paper studies degree 3 Boolean functions in n variables which are rotation symmetric, that is, invariant under any cyclic shift of the indices of the variables.
Brown Alyssa, Cusick Thomas W.
doaj   +1 more source

Verification of Programs with Mutual Recursion in the Pifagor Language

Моделирование и анализ информационных систем, 2018
In the article, we consider verification of programs with mutual recursion in the data driven functional parallel language Pifagor. In this language the program could be represented as a data flow graph, that has no control connections, and has only data
Mariya S. Ushakov, Alexander I. Legalov
doaj   +1 more source

The Polynomial Pivots as Initial Values for a New Root-Finding Iterative Method

Journal of Applied Mathematics, 2015
A new iterative method for polynomial root-finding based on the development of two novel recursive functions is proposed. In addition, the concept of polynomial pivots associated with these functions is introduced.
Mario Lázaro, Pedro Martín, Antonio Agüero, Ignacio Ferrer   +3 more
doaj   +1 more source

Function Analysis of the Euclidean Distance between Probability Distributions

Entropy, 2018
Minimization of the Euclidean distance between output distribution and Dirac delta functions as a performance criterion is known to match the distribution of system output with delta functions.
Namyong Kim
doaj   +1 more source

Vestibular Patient Journey: Insights From Vestibular Disorders Association (VeDA) Registry

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Vestibular symptoms impose a high burden of disability. Understanding real‐world diagnostic and treatment pathways can identify care gaps and guide interventions. We aimed to characterize symptom profiles, diagnostic trends, provider involvement, and treatment patterns in vestibular disorders.
Ali Rafati, Sami I. Nassar, Shaun A. Nguyen, Patricia L. Gerend, Michael C. Schubert, Michael T. Teixido, Frederick A. Godley, Joel A. Goebel, Cynthia A. Ryan, Habib G. Rizk, Amir Kheradmand   +10 more
wiley   +1 more source

On the Recursive Representation of the Permutation Flow and Job Shop Scheduling Problems and Some Extensions

Mathematics
In this paper, we propose a formulation of the permutation flow and job shop scheduling problems using special recursive functions and show its equivalence to the existing classical formulation.
Boris Kupriyanov, Alexander Lazarev, Alexander Roschin, Frank Werner   +3 more
doaj   +1 more source

Trajectories of Physical Function in Canadian Children With Juvenile Idiopathic Arthritis

Arthritis Care &Research, EarlyView.
Objective We describe trajectories of physical function in children newly diagnosed with juvenile idiopathic arthritis (JIA) and identify trajectories with persisting functional impairments and associated baseline characteristics. Methods We included patients enrolled in the Canadian Alliance of Pediatric Rheumatology Investigators (CAPRI) Registry ...
Clare Cunningham, Meghan McPherson, Lillian Lim, Roberta A. Berard, Matthew Berkowitz, Jean‐Philippe Proulx‐Gauthier, Brian M. Feldman, Nicole Johnson, Dax G. Rumsey, Heinrike Schmeling, Lori B. Tucker, Thomas Loughin, Kristin M. Houghton, Jaime Guzman, for the Canadian Alliance of Pediatric Rheumatology Investigators (CAPRI) Registry Investigators, David A. Cabral, Gaëlle Chédeville, Ciarán M. Duffy, Kerstin Gerhold, Jaime Guzman, Linda Hiraki, Adam M. Huber, Heinrike Schmeling, Natalie J. Shiff, Lori B. Tucker, Julie Barsalou, Daniah Basodan, Michelle Batthish, Roberta A. Berard, Nicholas Blanchette, Gilles Boire, Roxana Bolaria, Alessandra Bruns, David A. Cabral, Sarah Campillo, Tania Cellucci, Mercedes Chan, Gaëlle Chédeville, Amieleena Chhabra, Julie Couture, Paul Dancey, Jean‐Jacques De Bruycker, Erkan Demirkaya, Muhammed Dhalla, Ciarán M. Duffy, Talal El Tal, Tommy Gerschman, Jaime Guzman, Liane Heale, Julie Herrington, Kristin M. Houghton, Adan M. Huber, Andrea Human, Nicole Johnson, Roman Jurencak, Bianca Lang, Claire LeBlanc, Lillian Lim, Lily S. H. Lim, Nadia Luca, Jeanine McColl, Tara McGrath, Tamara McMillan, Megan McPherson, Paivi Miettunen, Kimberly Morishita, Honyan Ng, Jonathan Park, Jean‐Philippe Proulx‐Gauthier, Johannes Roth, Evelyn Rozenblyum, Dax G. Rumsey, Heinrike Schmeling, Rosie Scuccimarri, Gordon Soon, Rebeka Stevenson, Elizabeth Stringer, Herman Tam, Lori B. Tucker, Marinka Twilt, Ruud H. J. Verstegen, Karen Watanabe Duffy   +81 more
wiley   +1 more source

Positive Inductive-Recursive Definitions [PDF]

Logical Methods in Computer Science, 2015
A new theory of data types which allows for the definition of types as initial algebras of certain functors Fam(C) -> Fam(C) is presented. This theory, which we call positive inductive-recursive definitions, is a generalisation of Dybjer and Setzer's ...
Neil Ghani, Fredrik Nordvall Forsberg, Lorenzo Malatesta   +2 more
doaj   +1 more source