標(biāo)題: Titlebook: Smart Education and e-Learning 2021; Vladimir L. Uskov,Robert J. Howlett,Lakhmi C. Jain Conference proceedings 2021 The Editor(s) (if appl [打印本頁] 作者: 爆發(fā) 時(shí)間: 2025-3-21 17:23
書目名稱Smart Education and e-Learning 2021影響因子(影響力)
書目名稱Smart Education and e-Learning 2021影響因子(影響力)學(xué)科排名
書目名稱Smart Education and e-Learning 2021網(wǎng)絡(luò)公開度
書目名稱Smart Education and e-Learning 2021網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Smart Education and e-Learning 2021被引頻次
書目名稱Smart Education and e-Learning 2021被引頻次學(xué)科排名
書目名稱Smart Education and e-Learning 2021年度引用
書目名稱Smart Education and e-Learning 2021年度引用學(xué)科排名
書目名稱Smart Education and e-Learning 2021讀者反饋
書目名稱Smart Education and e-Learning 2021讀者反饋學(xué)科排名
作者: accrete 時(shí)間: 2025-3-22 00:02 作者: 施加 時(shí)間: 2025-3-22 01:44 作者: Costume 時(shí)間: 2025-3-22 05:53 作者: iodides 時(shí)間: 2025-3-22 12:09 作者: Hay-Fever 時(shí)間: 2025-3-22 16:20
Learning Smart Behaviors Through Digital Simulations: Combining Individual-, Firm- and System-Level cess founded on goal-based scenarios. As learners need to execute tasks to fly the plane without any prescription about their behaviors and roles, complexity is appreciated while it emerges at multiple levels—individuals, team, and macro-system. We contribute to the literature on gamification and si作者: 招人嫉妒 時(shí)間: 2025-3-22 20:35
Implementing Virtual Reality in K-12 Classrooms: Lessons Learned from Early Adopters’s eyes and ears are on the student(s) wearing the HMDs. The early adoption of VR sometimes encountered challenges related to technical (e.g., firewalls) or ethical issues (e.g., privacy), but some argued that for innovation to happen, it was necessary to “act first and ask later”.作者: 合乎習(xí)俗 時(shí)間: 2025-3-22 22:52
2190-3018 n on current research projects, best practices, and case studies for faculty, scholars, Ph.D. students, administrators, and practitioners— all those who are interested in smart education and smart e-learning.978-981-16-2836-8978-981-16-2834-4Series ISSN 2190-3018 Series E-ISSN 2190-3026 作者: 掙扎 時(shí)間: 2025-3-23 04:55
both “yes”-instances and “no”-instances of input HCSs will be certified through appropriate Farkas’ variables. However, the increased trustworthiness of the algorithm comes at a cost; the new algorithm is less efficient than its non-certifying counterpart.作者: 誘惑 時(shí)間: 2025-3-23 08:35 作者: bizarre 時(shí)間: 2025-3-23 12:59
Vladimir L. Uskov,Jeffrey P. Bakken,Prasanthi Putta,Deepali Krishnakumar,Keerthi Sree Ganapathiprogramming languages with Call-by-Value and Call-By-Push-Value semantics. The closed-formed bounds are derived as multivariate polynomials over the integers. This now serves as a base for the development of an experimental toolkit for automated memory analysis of functional languages.作者: Mendacious 時(shí)間: 2025-3-23 15:44 作者: gospel 時(shí)間: 2025-3-23 19:56
Karsten Henke,Johannes Nau,Robert Niklas Bock,Heinz-Dietrich Wuttketed clauses. We propose a working algorithm that simultaneously computes these correspondences in a greedy manner. While our algorithm does not necessarily compute the most specific generalization, we conjecture that it allows to compute, in general, a sufficiently good generalization in an acceptab作者: conduct 時(shí)間: 2025-3-23 22:56
Vadim D. Kholoshnia,Elena A. Boldyrevae implemented a proof checker in Imandra, specified its correctness properties and started to verify the checker’s compliance with them. Our ongoing work focuses on completing the formal verification of the checker and further optimising its performance.作者: 真實(shí)的人 時(shí)間: 2025-3-24 03:33 作者: alabaster 時(shí)間: 2025-3-24 08:06
Elena A. Boldyreva,Lubov S. Lisitsyna,Vadim D. Kholoshniaprogramming languages with Call-by-Value and Call-By-Push-Value semantics. The closed-formed bounds are derived as multivariate polynomials over the integers. This now serves as a base for the development of an experimental toolkit for automated memory analysis of functional languages.作者: 彩色 時(shí)間: 2025-3-24 10:48 作者: 半身雕像 時(shí)間: 2025-3-24 15:49
Hengbin Yan,Yinghui Li techniques from the examples instead of being generated independently from the examples. A prototypical implementation shows first that programs are inducible which are not in scope of classical purely analytical techniques and second that the induction times are shorter than in recent generate-and作者: 我們的面粉 時(shí)間: 2025-3-24 20:34
Leonid L. Khoroshko,Maxim A. Vikulin,Alexey L. Khoroshko techniques from the examples instead of being generated independently from the examples. A prototypical implementation shows first that programs are inducible which are not in scope of classical purely analytical techniques and second that the induction times are shorter than in recent generate-and作者: 有毛就脫毛 時(shí)間: 2025-3-25 02:33
Entisar Alhadi Al Ghawail,Sadok Ben Yahia,Joma Rajab Alrzinirmation on the whole program. Importantly, compositional reasoning also gives us a practical solution to handle native code, which may be unavailable or written in a different programming language. Namely, we can model the behavior of a native method by means of test cases and compositional reasonin作者: Chauvinistic 時(shí)間: 2025-3-25 03:40 作者: 移植 時(shí)間: 2025-3-25 08:55
cialization, has the objecting of preserving the so called branching behaviour of the predicate definitions. We have fully automated our method and we have made its experimental evaluation on some examples taken from the literature. The evaluation shows that our method is competitive with respect to作者: expeditious 時(shí)間: 2025-3-25 15:42
Andrea Montefusco,Federica Angeli,Nunzio Casalinoimination, when incorporated into the previous framework for unfold/fold transformation, allows us to represent and reason about a wider class of co-logic programs. We also discuss the difference between negation elimination applied to co-logic programs and the conventional negative unfolding applie作者: Keratin 時(shí)間: 2025-3-25 18:16
Espen Stranger-Johannessen,Siw Olsen Fj?rtoftl effects of factors such as subways, schools, and hospitals on weekdays are quite different from those on weekends, transportation planning and management departments should devise traffic control plans that are based on the spatio-temporal effects of different variables. This study provides approa作者: 我就不公正 時(shí)間: 2025-3-26 00:04
Camelia Chis?li??-Cre?u,Florentin Bota,Andreea-Diana Poption. Many exercises on the relationship between natural language and formal proofs make the book also interestingto a wide range of students of philosophy and linguistics.978-88-470-2360-4978-88-470-2361-1Series ISSN 2038-5714 Series E-ISSN 2532-3318 作者: 消息靈通 時(shí)間: 2025-3-26 00:37 作者: Ceramic 時(shí)間: 2025-3-26 08:21
tion. Many exercises on the relationship between natural language and formal proofs make the book also interestingto a wide range of students of philosophy and linguistics.978-88-470-2360-4978-88-470-2361-1Series ISSN 2038-5714 Series E-ISSN 2532-3318 作者: fibroblast 時(shí)間: 2025-3-26 11:40
978-981-16-2836-8The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Singapor作者: Handedness 時(shí)間: 2025-3-26 15:39
Smart Education and e-Learning 2021978-981-16-2834-4Series ISSN 2190-3018 Series E-ISSN 2190-3026 作者: Constrain 時(shí)間: 2025-3-26 18:17 作者: 自制 時(shí)間: 2025-3-26 21:22
Smart Innovation, Systems and Technologieshttp://image.papertrans.cn/s/image/868727.jpg作者: incisive 時(shí)間: 2025-3-27 04:29 作者: isotope 時(shí)間: 2025-3-27 06:59 作者: 鉗子 時(shí)間: 2025-3-27 10:52 作者: fledged 時(shí)間: 2025-3-27 15:10
Vladimir L. Uskov,Jeffrey P. Bakken,Prasanthi Putta,Deepali Krishnakumar,Keerthi Sree Ganapathitical goal. The machine has a polymorphic and linear type system enhanced with a first-order logical fragment, which encodes both low-level operational semantics of resource manipulations and high-level synthesis of algorithmic complexity..Resource analysis must involve a diversity of static analysi作者: circumvent 時(shí)間: 2025-3-27 18:45
Elena A. Boldyreva,Lubov S. Lisitsynaaranteeing their safety. These safety properties of DNNs can be proven using tools developed by the verification community. However, these tools are themselves prone to implementation bugs and numerical stability problems, which make their reliability questionable. To overcome this, some verifiers p作者: Factorable 時(shí)間: 2025-3-27 22:43
Karsten Henke,Johannes Nau,Robert Niklas Bock,Heinz-Dietrich Wuttkehe domain of logic programming, anti-unification has primarily been investigated for computing msgs of tree-like program structures such as terms, atoms, and goals (the latter typically seen as ordered sequences)..In this work, we study the anti-unification of whole predicate definitions. We provide作者: 煞費(fèi)苦心 時(shí)間: 2025-3-28 03:24 作者: 致詞 時(shí)間: 2025-3-28 06:15 作者: badinage 時(shí)間: 2025-3-28 13:43
Elena A. Boldyreva,Lubov S. Lisitsyna,Vadim D. Kholoshniatical goal. The machine has a polymorphic and linear type system enhanced with a first-order logical fragment, which encodes both low-level operational semantics of resource manipulations and high-level synthesis of algorithmic complexity..Resource analysis must involve a diversity of static analysi作者: 威脅你 時(shí)間: 2025-3-28 15:59 作者: 朦朧 時(shí)間: 2025-3-28 21:08
Hengbin Yan,Yinghui Lir. Classical attempts to construct functional . programs from input/output-examples are ., i.e., a . program belonging to a strongly restricted program class is algorithmically derived from examples. More recent approaches enumerate candidate programs and only . them against the examples until a pro作者: defenses 時(shí)間: 2025-3-29 00:24 作者: enormous 時(shí)間: 2025-3-29 04:23 作者: SEMI 時(shí)間: 2025-3-29 11:00
Yuliana Mercedes De La Cruz-Ramirez,Augusto Felix Olaza-Magui?afication method based on the specialization of constraint logic programs (CLP). First, we reformulate the verification method as a two-phase procedure: (1)?in the first phase a CLP specification of an infinite state system is specialized with respect to?the initial state of the system and the tempor作者: 話 時(shí)間: 2025-3-29 13:52
ple imperative language, called SIMP, extended with a nondeterministic choice operator and we address the problem of checking whether or not a . property?. (that specifies that an . configuration cannot be reached) holds for a SIMP program?.. The operational semantics of the language?SIMP is specifi作者: 試驗(yàn) 時(shí)間: 2025-3-29 16:29
Andrea Montefusco,Federica Angeli,Nunzio Casalinoogic programs, thereby allowing us to reason about infinite sequences of events such as behavior of reactive systems. The main problem with this approach is that only definite co-logic programs are considered, thus representing a rather narrow class of co-logic programs. In this paper we consider ”n作者: Solace 時(shí)間: 2025-3-29 21:26 作者: SEMI 時(shí)間: 2025-3-30 02:36 作者: 悅耳 時(shí)間: 2025-3-30 06:15
Federico Flavianiscience and mathematics, is specifically designed for a first course in mathematical logic.A proof of G?del‘s completeness theorem and its main consequences is given using Robinson‘s completeness theorem and G?del‘s compactness theorem for propositionallogic. The reader will familiarize himself with作者: 座右銘 時(shí)間: 2025-3-30 08:36 作者: CHAR 時(shí)間: 2025-3-30 15:50 作者: 并置 時(shí)間: 2025-3-30 20:16 作者: Ascribe 時(shí)間: 2025-3-30 23:33 作者: 水汽 時(shí)間: 2025-3-31 04:40 作者: 指派 時(shí)間: 2025-3-31 05:01 作者: 征兵 時(shí)間: 2025-3-31 10:11
Experience in Smart e-Learning System Application When Switching to Distance Education to the Fullesce basis? What technologies will implement such transfer? And above all: how to preserve quality of learning under such difficult conditions? In this paper authors tell how they themselves answered these questions, and what solutions were implemented at the Moscow Aviation Institute (National Research University).作者: Obverse 時(shí)間: 2025-3-31 16:37
Digital Divide and Social Media Related to Smart e-Learning in Obstetrics During the Health Emergencf smart e-learning are related to digital divide of access, use and quality of information, as well as with the use of WhatsApp, Facebook and YouTube, findings that mean a contribution to the study of the application of digital smart e-learning tools in contexts of technological inequality and health crisis caused by COVID-19.作者: 內(nèi)部 時(shí)間: 2025-3-31 19:54
2190-3018 ves as a reference for researchers and practitioners in acadThis book contains the contributions presented at the 8th International KES Conference on Smart Education and e-Learning (KES SEEL 2021), which being held as a virtual conference on June 14–16, 2021. It contains high-quality peer-reviewed p
