-
1Academic Journal
المؤلفون: Baldan, Paolo, Ranzato, Francesco, Zhang, Linpeng
المساهمون: Paolo Baldan and Francesco Ranzato and Linpeng Zhang
مصطلحات موضوعية: Computability Theory, Recursive Function, Rice’s Theorem, Kleene’s Second Recursion Theorem, Program Analysis, Affine Program Invariants
وصف الملف: application/pdf
Relation: Is Part Of LIPIcs, Volume 198, 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2021.117
-
2Academic Journal
المؤلفون: TERWIJN, SEBASTIAAN A.
المصدر: The Journal of Symbolic Logic, 2018 Dec 01. 83(4), 1683-1690.
URL الوصول: https://www.jstor.org/stable/26600397
-
3
المؤلفون: Šimunović, Nikola
المساهمون: Klaričić Bakula, Milica, Perić, Jurica, Marić, Stipe
مصطلحات موضوعية: Turing machine, Enumeration Theorem, index set, Parameter Theorem, Gödel numbering, computable function, Recursion Theorem, computable enumerable index
وصف الملف: application/pdf
-
4
المؤلفون: Yuxi Fu, Qizhe Yang
المصدر: Theoretical Computer Science. 897:49-63
مصطلحات موضوعية: Branching (linguistics), Discrete mathematics, Nondeterministic algorithm, General Computer Science, Computation, Structure (category theory), Kleene's recursion theorem, Finite state, Computer Science::Formal Languages and Automata Theory, Theoretical Computer Science, Mathematics
-
5
المؤلفون: Tim A. C. Willemse, Maurice Laveaux
المصدر: ICE
مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Recursion, Logic, Computer science, Physics::Instrumentation and Detectors, Process calculus, Process (computing), Kleene's recursion theorem, Context (language use), Theoretical Computer Science, Logic in Computer Science (cs.LO), Computational Theory and Mathematics, Decomposition (computer science), State space, State (computer science), Algorithm, Software
-
6
المؤلفون: Antonio F. Galvao, Luciano I. de Castro
المصدر: Economic Theory. 73:747-779
مصطلحات موضوعية: Statistics::Theory, Economics and Econometrics, Kleene's recursion theorem, Context (language use), Function (mathematics), Quantile function, Statistics::Computation, Separable space, Econometrics, Statistics::Methodology, Preference (economics), Expected utility hypothesis, Quantile, Mathematics
-
7
المصدر: Journal of Engineering Mathematics. 123:149-163
مصطلحات موضوعية: General Mathematics, General Engineering, Kleene's recursion theorem, 01 natural sciences, 010305 fluids & plasmas, 010101 applied mathematics, Spherical geometry, 0103 physical sciences, Radiative transfer, Decomposition method (constraint satisfaction), 0101 mathematics, Arithmetic, Transfer equation, Condition number, Electrical conductor, Mathematics
-
8
المؤلفون: Zhong-kai Feng, Hui Qin, Zhiqiang Jiang, Zhen-guo Song, Wen-jing Niu
المصدر: Water Resources Management. 34:2029-2041
مصطلحات موضوعية: Mathematical optimization, State variable, 010504 meteorology & atmospheric sciences, business.industry, Computer science, Dimensionality reduction, 0208 environmental biotechnology, Kleene's recursion theorem, 02 engineering and technology, 01 natural sciences, 020801 environmental engineering, Dynamic programming, Latin hypercube sampling, Trajectory, business, Hydropower, 0105 earth and related environmental sciences, Water Science and Technology, Civil and Structural Engineering, Curse of dimensionality
-
9
المؤلفون: Solte, Dirk
المصدر: Distinctio : Journal of Intersubjective Studies
Volume 1
Issue 2مصطلحات موضوعية: ixpunkttheorem, Rekursionssatz, Entscheidbare Struktur, diagonal lemma, recursion theorem, decidable structure
وصف الملف: application/pdf
-
10Academic Journal
المؤلفون: Cantini, Andrea
المصدر: Studia Logica: An International Journal for Symbolic Logic, 2003 Aug 01. 74(3), 345-368.
URL الوصول: https://www.jstor.org/stable/20016530
-
11
المؤلفون: Alexander V. Kolnogorov
المصدر: 2021 XVII International Symposium "Problems of Redundancy in Information and Control Systems" (REDUNDANCY).
مصطلحات موضوعية: symbols.namesake, Mathematical optimization, Partial differential equation, Gaussian, Prior probability, Bayesian probability, symbols, Batch processing, Probability distribution, Kleene's recursion theorem, Minimax, Mathematics
-
12
المؤلفون: Manuel Ferreira, José Filipe
المصدر: Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAPمصطلحات موضوعية: 0209 industrial biotechnology, Ornstein-Uhlenbeck diffusion process, Process (engineering), Management scheme, Applied Mathematics, Depreciation, 020208 electrical & electronic engineering, Kleene's recursion theorem, Ornstein–Uhlenbeck process, Context (language use), 02 engineering and technology, 020901 industrial engineering & automation, Discrete time and continuous time, Ciências Naturais::Matemáticas [Domínio/Área Científica], Order (exchange), 0202 electrical engineering, electronic engineering, information engineering, Assessing resources dynamics, Economic system, Productivity, Mathematics - Probability, Mathematics
وصف الملف: application/pdf
-
13
المؤلفون: Oktay Duman, Özkan Öcalan
المساهمون: TOBB ETU, Faculty of Science and Literature, Department of Mathematics, TOBB ETÜ, Fen Edebiyat Fakültesi, Matematik Bölümü
المصدر: Czechoslovak Mathematical Journal. 70:867-880
مصطلحات موضوعية: Period Two Solutions, Equilibrium point, recursive equation, Differential equation, Rational Difference Equatio, 39A10, 39A21, nonlinear difference equation, 010102 general mathematics, 11B39, Kleene's recursion theorem, stability, equilibrium point, 01 natural sciences, Prime (order theory), Combinatorics, Nonlinear system, Stability theory, Beta (velocity), Recursive Sequence, 0101 mathematics, Mathematics
-
14
المؤلفون: M. B. Almatrafi, Marwa M. Alzubaidi
المصدر: Arab Journal of Basic and Applied Sciences, Vol 27, Iss 1, Pp 114-120 (2020)
مصطلحات موضوعية: recursive equation, Rational difference equation, General Mathematics, attractivity, Kleene's recursion theorem, General Chemistry, boundedness, stability, equilibrium, Stability (probability), General Biochemistry, Genetics and Molecular Biology, General Energy, Applied mathematics, lcsh:Q, General Materials Science, lcsh:Science, General Agricultural and Biological Sciences, Construct (philosophy), General Environmental Science, Mathematics
-
15
المؤلفون: Jeferson Vieira Flores, Rafael S. Castro, Aurelio T. Salton
المصدر: IEEE Transactions on Control Systems Technology. 27:2696-2702
مصطلحات موضوعية: 0209 industrial biotechnology, Computer science, 020208 electrical & electronic engineering, Internal model, Kleene's recursion theorem, 02 engineering and technology, Transfer function, DC motor, 020901 industrial engineering & automation, Discrete time and continuous time, Exponential stability, Control and Systems Engineering, Control theory, Robustness (computer science), Convex optimization, 0202 electrical engineering, electronic engineering, information engineering, Electrical and Electronic Engineering
-
16
المؤلفون: James W. Kolari, Ali Anari
المصدر: Journal of Empirical Finance. 52:128-148
مصطلحات موضوعية: 040101 forestry, Inflation, Economics and Econometrics, 050208 finance, Ex-ante, Series (mathematics), Anomaly (natural sciences), media_common.quotation_subject, 05 social sciences, Fisher equation, Kleene's recursion theorem, 04 agricultural and veterinary sciences, 0502 economics and business, Econometrics, Economics, 0401 agriculture, forestry, and fisheries, Real interest rate, Finance, Wicksell effect, media_common
-
17
المؤلفون: Jiří Adámek, Stefan Milius
المصدر: Theoretical Computer Science. 763:66-87
مصطلحات موضوعية: Pure mathematics, Functor, General Computer Science, Coalgebra, Coproduct, Kleene's recursion theorem, 0102 computer and information sciences, 02 engineering and technology, Base (topology), 01 natural sciences, Theoretical Computer Science, Morphism, Mathematics::K-Theory and Homology, 010201 computation theory & mathematics, Mathematics::Quantum Algebra, Mathematics::Category Theory, 0202 electrical engineering, electronic engineering, information engineering, Countable set, Finitary, 020201 artificial intelligence & image processing, Mathematics
-
18
المؤلفون: László Martinek, N. Miklós Arató
المصدر: Insurance: Mathematics and Economics. 85:205-217
مصطلحات موضوعية: Statistics and Probability, Scheme (programming language), Economics and Econometrics, 050208 finance, Computer science, 05 social sciences, Kleene's recursion theorem, Context (language use), Random walk, 01 natural sciences, Measure (mathematics), 010104 statistics & probability, Autoregressive model, 0502 economics and business, Econometrics, A priori and a posteriori, Relevance (information retrieval), 0101 mathematics, Statistics, Probability and Uncertainty, computer, computer.programming_language
-
19Conference
المؤلفون: Bonfante, Guillaume, Kaczmarek, Matthieu, Marion, Jean-Yves
المساهمون: Theoretical adverse computations, and safety (CARTE), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), S. Barry Cooper and Benedikt Löwe and Andrea Sorbi
المصدر: Computability in Europe ; https://inria.hal.science/inria-00175301 ; Computability in Europe, Jun 2007, Sienna, Italy. pp.73-82, ⟨10.1007/978-3-540-73001-9_8⟩
مصطلحات موضوعية: Computer viruses, polymorphism, propagation, recursion theorem, iteration theorem, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Relation: inria-00175301; https://inria.hal.science/inria-00175301; https://inria.hal.science/inria-00175301/document; https://inria.hal.science/inria-00175301/file/bonfante.a_classification_of_computer_viruses_through_recursion_theorems.pdf
-
20Conference
المؤلفون: Bonfante, Guillaume, Kaczmarek, Matthieu, Marion, Jean-Yves
المساهمون: Linear logic, proof networks and categorial grammars (CALLIGRAMME), INRIA Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS), Dang Van Hung and Martin Wirsing
المصدر: Second International Colloquium on Theoretical Aspects of Computing - ICTAC 2005 ; https://inria.hal.science/inria-00115208 ; Second International Colloquium on Theoretical Aspects of Computing - ICTAC 2005, Oct 2005, Hanoï/Vietnam, pp.579-593, ⟨10.1007/11560647_38⟩
مصطلحات موضوعية: Computability, Computer virology, recursion theorem, iteration theorem, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]
Relation: inria-00115208; https://inria.hal.science/inria-00115208; https://inria.hal.science/inria-00115208/document; https://inria.hal.science/inria-00115208/file/ictac05.pdf