Works matching DE "RECURSION theory"

Results: 795

Rethinking the Cartesian theory of linguistic productivity.

Published in:

Philosophical Psychology, 2009, v. 22, n. 3, p. 251, doi. 10.1080/09515080902957357

By:

Brattico, Pauli;
Liikkanen, Lassi

Publication type:

Article

The coupled Sasa-Satsuma hierarchy: Trigonal curve and finite genus solutions.

Published in:

Analysis & Applications, 2017, v. 15, n. 5, p. 667, doi. 10.1142/S0219530516500214

By:

Zhai, Yunyun;
Geng, Xianguo

Publication type:

Article

Meta-interpretive learning: application to grammatical inference.

Published in:

Machine Learning, 2014, v. 94, n. 1, p. 25, doi. 10.1007/s10994-013-5358-3

By:

Muggleton, Stephen;
Lin, Dianhuan;
Pahlavi, Niels;
Tamaddoni-Nezhad, Alireza

Publication type:

Article

A rational Arnoldi process with applications.

Published in:

Numerical Linear Algebra with Applications, 2016, v. 23, n. 6, p. 1007, doi. 10.1002/nla.2065

By:

Pranić, Miroslav S.;
Reichel, Lothar;
Rodriguez, Giuseppe;
Wang, Zhengsheng;
Yu, Xuebo

Publication type:

Article

Commuting projections on graphs.

Published in:

Numerical Linear Algebra with Applications, 2014, v. 21, n. 3, p. 297, doi. 10.1002/nla.1872

By:

Vassilevski, Panayot S.;
Zikatanov, Ludmil T.

Publication type:

Article

A box-shaped cyclically reduced operator.

Published in:

Numerical Linear Algebra with Applications, 2011, v. 18, n. 4, p. 671, doi. 10.1002/nla.748

By:

Greif, Chen;
Hocking, Robert L.

Publication type:

Article

Challenging Chomskyan Linguistics: The Case of Pirahã.

Published in:

Human Development (0018716X), 2007, v. 50, n. 6, p. 297, doi. 10.1159/000109831

By:

Everett, Daniel L.

Publication type:

Article

Generalization of continued fractions. I.

Published in:

Journal of Mathematical Sciences, 2012, v. 183, n. 1, p. 54, doi. 10.1007/s10958-012-0797-0

By:

Bodnar, D.;
Zators'kyi, R.

Publication type:

Article

Minimum-weight perfect matching for nonintrinsic distances on the line.

Published in:

Journal of Mathematical Sciences, 2012, v. 181, n. 6, p. 782, doi. 10.1007/s10958-012-0714-6

By:

Delon, J.;
Salomon, J.;
Sobolevski, A.

Publication type:

Article

Necessary and sufficient conditions for the existence of symmetry groups for systems of differential-difference equations with partial derivatives.

Published in:

Journal of Mathematical Sciences, 2012, v. 180, n. 6, p. 673, doi. 10.1007/s10958-012-0664-z

By:

Kolesnikova, I.

Publication type:

Article

Sessions of the Seminar "Algebra i Logika".

Published in:: Algebra & Logic, 2024, v. 62, n. 6, p. 548, doi. 10.1007/s10469-024-09764-z
Publication type:: Article

Computable Reducibility of Metrics on the Reals.

Published in:

Algebra & Logic, 2022, v. 61, n. 1, p. 71, doi. 10.1007/s10469-022-09676-w

By:

Kornev, R. A.

Publication type:

Article

The Diversity of Categoricity Without Delay.

Published in:

Algebra & Logic, 2017, v. 56, n. 2, p. 171, doi. 10.1007/s10469-017-9437-6

By:

Kalimullin, I.;
Melnikov, A.;
Ng, K.

Publication type:

Article

A Generic relation on Recursively Enumerable Sets.

Published in:

Algebra & Logic, 2016, v. 55, n. 5, p. 387, doi. 10.1007/s10469-016-9410-9

By:

Rybalov, A.

Publication type:

Article

REDUCED SYSTEM ALGORITHMS FOR MARKOV CHAINS.

Published in:

Management Science, 1988, v. 34, n. 10, p. 1202, doi. 10.1287/mnsc.34.10.1202

By:

Lal, Ram;
Bhat, U. Narayan

Publication type:

Article

DOES ROLLING BACK DECISION TREES REALLY REQUIRE THE INDEPENDENCE AXIOM?

Published in:

Management Science, 1987, v. 33, n. 6, p. 807, doi. 10.1287/mnsc.33.6.807

By:

Hazen, Gordon B.

Publication type:

Article

ROLLING BACK DECISION TREES REQUIRES THE INDEPENDENCE AXIOM!

Published in:

Management Science, 1986, v. 32, n. 3, p. 382, doi. 10.1287/mnsc.32.3.382

By:

LaValle, Irving H.;
Wapman, Kenneth R.

Publication type:

Article

THE DETERMINATION OF PARTIAL MOMENTS.

Published in:

Management Science, 1972, v. 19, n. 3, p. 290, doi. 10.1287/mnsc.19.3.290

By:

Winkler, Robert L.;
Roodman, Gary M.;
Britney, Robert R.

Publication type:

Article

Off-diagonal Matrix Elements and Sum Rules involving Coulomb and Oscillator Functions.

Published in:

Turkish Journal of Physics, 2002, v. 26, n. 4, p. 247

By:

Mavromatis, Harry A.

Publication type:

Article

Euler-Seidel matrices over 픽<sub>p</sub>.

Published in:

Turkish Journal of Mathematics, 2014, v. 38, n. 1, p. 16, doi. 10.3906/mat-1209-36

By:

TUTAŞ, Nesrin

Publication type:

Article

The Principle of Recursive Genome Function.

Published in:

Cerebellum, 2008, v. 7, n. 3, p. 348, doi. 10.1007/s12311-008-0035-y

By:

Pellionisz, Andras J.

Publication type:

Article

A combinatorial approach for constructing non-monotonic solutions to the generalized Golomb recursion.

Published in:

Journal of Difference Equations & Applications, 2019, v. 25, n. 4, p. 481, doi. 10.1080/10236198.2019.1582648

By:

Sunohara, M.;
Tanny, S.;
Verberne, Y.

Publication type:

Article

On the solution space of the Golomb recursion.

Published in:

Journal of Difference Equations & Applications, 2018, v. 24, n. 8, p. 1273, doi. 10.1080/10236198.2018.1471471

By:

Sunohara, Matthew;
Tanny, Stephen

Publication type:

Article

A combinatorial approach for solving certain nested recursions with non-slow solutions.

Published in:

Journal of Difference Equations & Applications, 2013, v. 19, n. 4, p. 605, doi. 10.1080/10236198.2012.662967

By:

Isgur, Abraham;
Kuznetsov, Vitaly;
Tanny, Stephen M.

Publication type:

Article

‘Golomb-like’ nested recursions with Beatty function solutions.

Published in:

Journal of Difference Equations & Applications, 2013, v. 19, n. 3, p. 372, doi. 10.1080/10236198.2011.644927

By:

Isgur, Abraham;
Kim, Michael Jong;
Milcak, Juraj;
Tanny, Stephen

Publication type:

Article

Sums of ceiling functions solve nested recursions.

Published in:

Journal of Difference Equations & Applications, 2012, v. 18, n. 12, p. 1967, doi. 10.1080/10236198.2011.605358

By:

Drabek, Rafal;
Isgur, Abraham;
Kuznetsov, Vitaly;
Tanny, Stephen M.

Publication type:

Article

Nested recursions with ceiling function solutions.

Published in:

Journal of Difference Equations & Applications, 2012, v. 18, n. 6, p. 1015, doi. 10.1080/10236198.2010.540573

By:

Isgur, Abraham;
Kuznetsov, Vitaly;
Tanny, Stephen M.

Publication type:

Article

A simple approach to Jacobi polynomials.

Published in:

Integral Transforms & Special Functions, 2007, v. 18, n. 3, p. 217, doi. 10.1080/10652460701208569

By:

Weber, H. J.

Publication type:

Article

RECURSION RELATION OF HYPERELLIPTIC PSI-FUNCTIONS OF GENUS TWO.

Published in:

Integral Transforms & Special Functions, 2003, v. 14, n. 6, p. 517, doi. 10.1080/10652460310001600609

By:

Matsutani, Shigeki

Publication type:

Article

Optimizing the Matrix Multiplication Using Strassen and Winograd Algorithms with Limited Recursions on Many-Core.

Published in:

International Journal of Parallel Programming, 2016, v. 44, n. 4, p. 801, doi. 10.1007/s10766-015-0378-1

By:

Khan, Ayaz;
Al-Mouhamed, Mayez;
Fatayer, Allam;
Mohammad, Nazeeruddin

Publication type:

Article

Erratum to: Optimizing the Matrix Multiplication Using Strassen and Winograd Algorithms with Limited Recursions on Many-Core.

Published in:

2016

By:

Khan, Ayaz;
Al-Mouhamed, Mayez;
Fatayer, Allam;
Mohammad, Nazeeruddin

Publication type:

Erratum

Horizontal and vertical log-concavity.

Published in:

Research in Number Theory, 2021, v. 7, n. 1, p. 1, doi. 10.1007/s40993-021-00245-1

By:

Heim, Bernhard;
Neuhauser, Markus

Publication type:

Article

Divergent Perpetuities Modulated by Regime Switches.

Published in:

Stochastic Models, 2013, v. 29, n. 2, p. 129, doi. 10.1080/15326349.2013.783282

By:

Basu, Ranojoy;
Roitershtein, Alexander

Publication type:

Article

Recursions for the MMPP Score Vector and Observed Information Matrix.

Published in:

Stochastic Models, 2010, v. 26, n. 4, p. 649, doi. 10.1080/15326349.2010.519673

By:

Willy, ChristopherJ.;
Roberts, WilliamJ. J.;
Mazzuchi, ThomasA.;
Sarkani, Shahram

Publication type:

Article

The move-to-partner rule for self-organizing task allocation on a linear array.

Published in:

Stochastic Models, 2002, v. 18, n. 1, p. 109, doi. 10.1081/STM-120002777

By:

Gutjahr, Walter J.

Publication type:

Article

The severity of ruin in a discrete semi-markov risk model.

Published in:

Stochastic Models, 2002, v. 18, n. 1, p. 85, doi. 10.1081/STM-120002776

By:

Reinhard, J.M.;
Snoussi, M.

Publication type:

Article

Z -Transform and preconditioning techniques for option pricing.

Published in:

Quantitative Finance, 2012, v. 12, n. 9, p. 1381, doi. 10.1080/14697688.2010.538074

By:

Fusai, Gianluca;
Marazzina, Daniele;
Marena, Marina;
Ng, Michael

Publication type:

Article

Countability constraints in order-theoretic approaches to computability.

Published in:: Mathematical Structures in Computer Science, 2024, v. 34, n. 6, p. 1, doi. 10.1017/S0960129524000173
Publication type:: Article

Denotational semantics for guarded dependent type theory.

Published in:

Mathematical Structures in Computer Science, 2020, v. 30, n. 4, p. 342, doi. 10.1017/S0960129520000080

By:

Bizjak, Aleš;
Møgelberg, Rasmus Ejlers

Publication type:

Article

Computable elements and functions in effectively enumerable topological spaces.

Published in:

Mathematical Structures in Computer Science, 2017, v. 27, n. 8, p. 1466, doi. 10.1017/S0960129516000141

By:

KOROVINA, MARGARITA;
KUDINOV, OLEG

Publication type:

Article

Containers, monads and induction recursion.

Published in:

Mathematical Structures in Computer Science, 2016, v. 26, n. 1, p. 89, doi. 10.1017/S0960129514000127

By:

GHANI, NEIL;
HANCOCK, PETER

Publication type:

Article

Model checking usage policies.

Published in:

Mathematical Structures in Computer Science, 2015, v. 25, n. 3, p. 710, doi. 10.1017/S096012951200093X

By:

BARTOLETTI, MASSIMO;
DEGANO, PIERPAOLO;
FERRARI, GIAN LUIGI;
ZUNINO, ROBERTO

Publication type:

Article

On the expressive power of recursion, replication and iteration in process calculi.

Published in:

Mathematical Structures in Computer Science, 2009, v. 19, n. 6, p. 1191, doi. 10.1017/S096012950999017X

By:

Busi, Nadia;
Gabbrielli, Maurizio;
Avattaro, Gianluigi Z.

Publication type:

Article

Cupping ?20enumeration degrees to 0e??

Published in:

Mathematical Structures in Computer Science, 2009, v. 19, n. 1, p. 169, doi. 10.1017/S0960129508007378

By:

MARIYA IVANOVA SOSKOVA;
GUOHUA WU

Publication type:

Article

Preface to Special Issue devoted to the memory of Sauro Tulipani.

Published in:

Mathematical Structures in Computer Science, 2008, v. 18, n. 1, p. 1, doi. 10.1017/S0960129507006512

By:

FLAVIO CORRADINI;
CARLO TOFFALORI

Publication type:

Article

A rewriting calculus for cyclic higher-order term graphs.

Published in:

Mathematical Structures in Computer Science, 2007, v. 17, n. 3, p. 363, doi. 10.1017/S0960129507006093

By:

PAOLO BALDAN;
CLARA BERTOLISSI;
HORATIU CIRSTEA;
CLAUDE KIRCHNER

Publication type:

Article

Minimalism and bilingualism: How and why bilingualism could benefit children with SLI.

Published in:

Bilingualism: Language & Cognition, 2012, v. 15, n. 1, p. 88, doi. 10.1017/S1366728911000605

By:

ROEPER, THOMAS

Publication type:

Article

Application of Time Recursive Processing for the Development of a Time/Phase Shifter.

Published in:

Engineering, Technology & Applied Science Research, 2017, v. 7, n. 3, p. 1582, doi. 10.48084/etasr.1179

By:

Perisic, Djurdje M.;
Bojovic, Miroslav

Publication type:

Article

State evolution for general approximate message passing algorithms, with applications to spatial coupling.

Published in:

Information & Inference: A Journal of the IMA, 2013, v. 2, n. 2, p. 115, doi. 10.1093/imaiai/iat004

By:

Javanmard, Adel;
Montanari, Andrea

Publication type:

Article

Methods for assessing movement path recursion with application to African buffalo in South Africa.

Published in:

Ecology, 2009, v. 90, n. 9, p. 2467, doi. 10.1890/08-1532.1

By:

Bar-David, Shirli;
Bar-David, Israel;
Cross, Paul C.;
Ryan, Sadie J.;
Knechtel, Christiane U.;
Getz, Wayne M.

Publication type:

Article