المؤلفون: Kouya Inada, Ken Miura

المصدر: Japan Architectural Review, Vol 7, Iss 1, Pp n/a-n/a (2024)

مصطلحات موضوعية: depth‐first search, graph theory, public housing, recursive function, reorganization planning, Architecture, NA1-9428, Architectural engineering. Structural engineering of buildings, TH845-895

وصف الملف: electronic resource

Relation: https://doaj.org/toc/2475-8876

URL الوصول: https://doaj.org/article/e3287fb56977434990c8c0691270dac2

المؤلفون: R. Padmanaban, M. Thirumaran, P. Anitha, A. Moshika

المصدر: Journal of King Saud University: Computer and Information Sciences, Vol 34, Iss 2, Pp 457-467 (2022)

مصطلحات موضوعية: RESTful API, Distributed environment, Primitive Recursive Function (PRF), Turing machine, Primitive Recursive Resources (PRR), Application logic, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://www.sciencedirect.com/science/article/pii/S1319157818309157; https://doaj.org/toc/1319-1578

URL الوصول: https://doaj.org/article/8c10d7e32a0c40d0b07d97cea2275733

المؤلفون: Oydin Ahmedova Pulatovna, Ulugbek Mardiyev Rasulovich

المصدر: Texas Journal of Engineering and Technology; Vol. 18 (2023): TJET; 63-70 ; 2770-4491

مصطلحات موضوعية: Miller-Rabin test, prime number, recursive function, deterministic algorithms

وصف الملف: application/pdf

Relation: https://zienjournals.com/index.php/tjet/article/view/3687/3053; https://zienjournals.com/index.php/tjet/article/view/3687

الاتاحة: https://zienjournals.com/index.php/tjet/article/view/3687

المؤلفون: Wei Xiong, Xiangqi Gu, Yaqi Cui

المصدر: Electronics; Volume 12; Issue 11; Pages: 2388

مصطلحات موضوعية: data association, system model, LSTM network, Bayesian recursive function

وصف الملف: application/pdf

Relation: https://dx.doi.org/10.3390/electronics12112388

الاتاحة: https://doi.org/10.3390/electronics12112388

المؤلفون: Julia Mikhailovna Martynyuk, Valentina Sergeevna Vankova, Sofya Valerievna Danilenko, Юлия Михайловна Мартынюк, Валентина Сергеевна Ванькова, Софья Валерьевна Даниленко

المصدر: Chebyshevskii Sbornik; Том 23, № 5 (2022); 258-268 ; Чебышевский сборник; Том 23, № 5 (2022); 258-268 ; 2226-8383 ; 10.22405/2226-8383-2022-23-5

مصطلحات موضوعية: математическая культура, recursive algorithm, recursive function, optimal algorithm, efficiency, information processing, programming, teacher education, computer science teacher training, mathematical culture, рекурсивный алгоритм, рекурсивная функция, оптималь- ный алгоритм, эффективность, обработка информации, программирование, педагогиче- ское образование, подготовка учителя информатики

وصف الملف: application/pdf

Relation: https://www.chebsbornik.ru/jour/article/view/1422/1041; Кнут Д. Э. Искусство программирования / Пер с англ.; под общ. ред. Ю. В. Козаченко.; М.: Вильямс, 2007. 712 с.; Есаян А. Р. Обучение алгоритмизации на основе рекурсии: учеб. пособие для студентов; пед. вузов. Тула: Изд-во ТГПУ им. Л. Н. Толстого, 2001. 215 с.; Есаян А. Р. Теория и методика обучения алгоритмизации на основе рекурсии в курсе; информатики педагогического вуза: дис. . д-ра пед. наук : 13.00.02 – теория и методика; обучения и воспитания (по областям и уровням образования) Тула, 2001. 363 c.; Есаян А. Р. Знания, умения и навыки, связанные с рекурсией. // Педагогика как наука и; как учебный предмет: тез. докладов меж-дунар. научн.-практ. конф. – Тула: изд-во ТГПУ; им. Л. Н. Толстого, 2000. - С.100-104.; Есаян А. Р. Рекурсия как общеобразовательная ценность // Образование как ценность; сб. науч. тр. аспирантов и докторантов. Тула: изд-во ТГПУ им. Л.Н.Толстого, 1998. С.; 35.; Есаян А. Р. Решение задач с помощью рекурсии // Современные проблемы математики; механики, информатики: тезисы докладов Всероссийской научной конференции. – Тула; изд-во ТулГУ, 2000. C. 140-141; Добровольская Н. Ю., Гумеров А. Э. Изучение рекурсивных алгоритмов с применением; метода исследований // Задачи в обучении математике, физике и информатике: теория; опыт, инновации: материалы II Международной научно-практической конференции, по-; священной 125-летию П. А. Ларичева. – Вологда: изд-во: ИП Киселев А. В., 2017. С.317-319; Мачкова Н. В. Развивающее обучение и рекурсия // II Международная научно-; исследовательская конференция по информатике и информационным и коммуникацион-; ным технологиям “INFO-эксперт”-2016: сборник научно-исследовательских работ. – Елец; Фонд содействия развитию интернет-медиа, ИТ-образования, человеческого потенциала; “Лига интернет-медиа”, 2016. – С. 83-87.; Мирзоев М. С. Межпредметные связи математических дисциплин с информатикой как; основа формирования математической культуры будущего учителя информатики // Пре-; подаватель XXI век. 2008. № 3. С.7-15.; Мирзоев М. С. Рекурсивный метод как основа формирования и развития математической; культуры будущих учителей информатики // Наука и школа. 2007. № 1. С.33-35.; Мадудин В. Н., Морозова Е. В., Сафронова И. В. Особенности содержания математи-; ческих дисциплин при подготовке бакалавров прикладной информатики // Бакалавриат; прикладной информатики: практика реализации основной образовательной программы:монография. – Челябинск: Уральский государственный университет физической культу-; ры, 2020. С.109-115.; Сергеев Р. С. Рекурсия как феномен моделирования объектов и явлений реального мира; // Инженерная мысль: сборник докладов V Городской научно-практической конференции; посвященной году науки и технологий. – Казань: Казанский государственный технический; университет им. А.Н. Туполева, 2021. С. 83-85.; Жуков А. О. Прогнозирование распространения COVID-19 на основе рекурсивных мо-; делей // European Scientific Conference: сборник статей XX Международной научно-; практической конференции. – Пенза: Наука и Просвещение, 2020. С.45-48.; пед. Вузов. – Тула: Изд-во ТГПУ им. Л. Н. Толстого, 2001. 216 с.; Есаян А. Р. Рекурсия в информатике: Учебное пособие для студентов педагогических; вузов: В 4 частях Тула: изд-во ТГПУ им. Л. Н. Толстого, 2000.; https://www.chebsbornik.ru/jour/article/view/1422

الاتاحة: https://www.chebsbornik.ru/jour/article/view/1422
https://doi.org/10.22405/2226-8383-2022-23-5-258-268

المؤلفون: Ken MIURA, Kouya INADA, 三浦 研, 稲田 浩也

المصدر: 日本建築学会計画系論文集 / Journal of Architecture and Planning (Transactions of AIJ). 2023, 88(805):813

المؤلفون: 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

الاتاحة: https://doi.org/10.4230/LIPIcs.ICALP.2021.117
https://nbn-resolving.org/urn:nbn:de:0030-drops-141860
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2021.117

المؤلفون: Nikolay, Bazhenov, Keng Meng Ng, Luca San Mauro, Sorbi, Andrea

المصدر: Computability. 11:187-221

مصطلحات موضوعية: Primitive recursive function, primitive recursive equivalence relation, lattice, Computational Theory and Mathematics, Artificial Intelligence, primitive recursive equivalence relation, Primitive recursive function, lattice, Computer Science Applications, Theoretical Computer Science

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::89f454b1e7c9382852bd6e4af3316f8d
https://doi.org/10.3233/com-210375

المؤلفون: Matos A. B., Paolini L., Roversi L.

المساهمون: Ivan Lanese, Mariusz Rawski, Matos A.B., Paolini L., Roversi L.

مصطلحات موضوعية: Decidability, Imperative programming language, Primitive recursive function, Reversible programming languages

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-030-52481-4; info:eu-repo/semantics/altIdentifier/isbn/978-3-030-52482-1; ispartofbook:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 12th International Conference on Reversible Computation,RC 2020; volume:12227; firstpage:128; lastpage:143; numberofpages:16; serie:LECTURE NOTES IN ARTIFICIAL INTELLIGENCE; alleditors:Ivan Lanese, Mariusz Rawski; http://hdl.handle.net/2318/1747639; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85088600282; https://link.springer.com/chapter/10.1007/978-3-030-52482-1_7

الاتاحة: http://hdl.handle.net/2318/1747639
https://doi.org/10.1007/978-3-030-52482-1_7
https://link.springer.com/chapter/10.1007/978-3-030-52482-1_7

المؤلفون: Cristian Calude, Gheorghe Păun

المصدر: Axioms; Volume 10; Issue 2; Pages: 54

مصطلحات موضوعية: automata theory, formal language theory, bio-informatics, recursive function theory

وصف الملف: application/pdf

Relation: https://dx.doi.org/10.3390/axioms10020054

الاتاحة: https://doi.org/10.3390/axioms10020054

المؤلفون: Radikovská, Eliška

المساهمون: Švejdar, Vítězslav, Hykšová, Magdalena

مصطلحات موضوعية: primitive recursion|productive and creative sets|recursively enumerable set|recursive function, primitivní rekurze|produktivní a kreativní množiny|rekurzivně spočetná množina|rekurzivní funkce

وصف الملف: application/pdf

Relation: http://hdl.handle.net/20.500.11956/194506; 254460

الاتاحة: https://hdl.handle.net/20.500.11956/194506

المؤلفون: Mariya S. Ushakov, Alexander I. Legalov

المصدر: Моделирование и анализ информационных систем, Vol 25, Iss 4, Pp 358-381 (2018)

مصطلحات موضوعية: data driven functional parallel programming, pifagor programming language, correctness of recursions, elimination of mutual recursion, universal recursive function, Information technology, T58.5-58.64

وصف الملف: electronic resource

Relation: https://www.mais-journal.ru/jour/article/view/729; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417

URL الوصول: https://doaj.org/article/9a9effe4500e4de3a2d6461f0c623422

المؤلفون: Valery Anatolyevich Sokolov

المصدر: Моделирование и анализ информационных систем, Vol 27, Iss 4, Pp 510-511 (2020)

مصطلحات موضوعية: algebra, recursive function, identity, basis, superposition, iteration, function inversion, Information technology, T58.5-58.64

وصف الملف: electronic resource

Relation: https://www.mais-journal.ru/jour/article/view/1439; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417

URL الوصول: https://doaj.org/article/8c45780e46994872b1818385ccd36cfc

المؤلفون: Gorbachyova, Irina Aleksandrovna, Grigoryan, Mikhail Valerievich

المصدر: Современные исследования социальных проблем; Том 12, № 4 (2020): Языкознание; 58-65 ; Modern Studies of Social Issues; Том 12, № 4 (2020): Языкознание; 58-65 ; 2218-7405 ; 2077-1770

مصطلحات موضوعية: cognitive disturbances, graphon, aphasia, stuttering, phonetic form, reduplication, emphatic function, pathological speech, recursive function, author’s techniques, когнитивные нарушения, графон, афазия, заикание, репрезентация речевых патологий, фонетическое оформление, редупликация, эмфатическая функция, рекуррентная функция, авторские приёмы

وصف الملف: application/pdf

Relation: http://journal-s.org/index.php/mrsp/article/view/12769/pdf; http://journal-s.org/index.php/mrsp/article/view/12769

الاتاحة: http://journal-s.org/index.php/mrsp/article/view/12769
https://doi.org/10.12731/2077-1770-2020-4-58-65

المؤلفون: Kholiq, Hibban, Romdhini, Mamika Ujianita, Susanto, Marliadi

المصدر: EIGEN MATHEMATICS JOURNAL; VOL. 3 NO. 2 DESEMBER 2020; 125-133 ; 2615-3270 ; 2615-3599 ; 10.29303/emj.v3i2

مصطلحات موضوعية: DNA, Sequence Alignment, Needleman-Wunsch Algorithm, Dynamic Programming, Recursive Function, Similarities

وصف الملف: application/pdf

Relation: http://eigen.unram.ac.id/index.php/eigen/article/view/65/74; http://eigen.unram.ac.id/index.php/eigen/article/view/65

الاتاحة: http://eigen.unram.ac.id/index.php/eigen/article/view/65
https://doi.org/10.29303/emj.v3i2.65

المؤلفون: Batzoglou, Serafim

المساهمون: Seer, Inc

المصدر: https://hal.archives-ouvertes.fr/hal-03471372 ; 2021.

مصطلحات موضوعية: Recursive Function, Church-Turing thesis, Godel's theorems, Peano arithmetic, Axiomatic system, Godel's Incompleteness theorem, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]

Relation: hal-03471372; https://hal.archives-ouvertes.fr/hal-03471372; https://hal.archives-ouvertes.fr/hal-03471372/document; https://hal.archives-ouvertes.fr/hal-03471372/file/Batzoglou_Incompleteness%20.pdf

الاتاحة: https://hal.archives-ouvertes.fr/hal-03471372
https://hal.archives-ouvertes.fr/hal-03471372/document
https://hal.archives-ouvertes.fr/hal-03471372/file/Batzoglou_Incompleteness%20.pdf

المؤلفون: Pace P. Nielsen

المصدر: Computability. 11:1-8

مصطلحات موضوعية: Algebra, Computable function, Computational Theory and Mathematics, Artificial Intelligence, Primitive recursive function, Computer Science Applications, Theoretical Computer Science, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::32291866f989f26be144c1e9729c7a3f
https://doi.org/10.3233/com-210312

المصدر: 近畿大学九州短期大学研究紀要 = RESEARCH BULLETIN OF Kindai University Kyushu Junior College. 51:1-6

مصطلحات موضوعية: Algorithm, Computer Programming, POJ, Recursive function, Python

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=jairo_______::d0b7d9d957963e62ea55ad0e13972385
http://id.nii.ac.jp/1391/00022581/

المؤلفون: Zheng-Yun Zhuang, Chang-Ching Lin, Chih-Yung Chen, Chia-Rong Su

المصدر: Applied Sciences; Volume 8; Issue 10; Pages: 1974

مصطلحات موضوعية: comparative research flow for MADM, ordinal rank based, multi-measure, graph theory and matrix approach (GTMA), TOPSIS, recursive function, paper shredder selection

جغرافية الموضوع: agris

وصف الملف: application/pdf

Relation: https://dx.doi.org/10.3390/app8101974

الاتاحة: https://doi.org/10.3390/app8101974

المؤلفون: Reynolds, Andrew, Blanchette, Jasmin Christian, Cruanes, Simon, Tinelli, Cesare

المساهمون: University of Iowa Iowa City, Modeling and Verification of Distributed Algorithms and Systems (VERIDIS), Max-Planck-Institut für Informatik (MPII), Max-Planck-Gesellschaft-Max-Planck-Gesellschaft-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), Proof-oriented development of computer-based systems (MOSEL), Department of Formal Methods (LORIA - FM), 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), Cruanes is supported by the Inria technological development action “Contre-exemples utilisables par Isabelle et Coq” (CUIC).

المصدر: IJCAR 2016 - 8th International Joint Conference on Automated Reasoning ; https://inria.hal.science/hal-01336082 ; IJCAR 2016 - 8th International Joint Conference on Automated Reasoning, Jun 2016, Coimbra, Portugal. ⟨10.1007/978-3-319-40229-1_10⟩

مصطلحات موضوعية: Recursive Function, Finite Model Finding, Uninterpreted Type, IsaPlanner, Quantifier Instantiation, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

جغرافية الموضوع: Coimbra, Portugal

الاتاحة: https://inria.hal.science/hal-01336082
https://inria.hal.science/hal-01336082v1/document
https://inria.hal.science/hal-01336082v1/file/conf.pdf
https://doi.org/10.1007/978-3-319-40229-1_10