標(biāo)題: Titlebook: Smart Education and e-Learning 2018; Vladimir L. Uskov,Robert J. Howlett,Ljubo Vlacic Conference proceedings 2019 Springer International P [打印本頁(yè)] 作者: DUBIT 時(shí)間: 2025-3-21 19:02
書目名稱Smart Education and e-Learning 2018影響因子(影響力)
書目名稱Smart Education and e-Learning 2018影響因子(影響力)學(xué)科排名
書目名稱Smart Education and e-Learning 2018網(wǎng)絡(luò)公開度
書目名稱Smart Education and e-Learning 2018網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Smart Education and e-Learning 2018被引頻次
書目名稱Smart Education and e-Learning 2018被引頻次學(xué)科排名
書目名稱Smart Education and e-Learning 2018年度引用
書目名稱Smart Education and e-Learning 2018年度引用學(xué)科排名
書目名稱Smart Education and e-Learning 2018讀者反饋
書目名稱Smart Education and e-Learning 2018讀者反饋學(xué)科排名
作者: Aesthete 時(shí)間: 2025-3-21 20:53 作者: famine 時(shí)間: 2025-3-22 04:25
Automation System of Intellectual Activity on Creating Programs in the Language of Logical Programmiheir grouping depending on the parameters of objects of the domain is developed, the essence of which is to identify an invariant set of descriptors suitable for representing different subject areas, which allows the generation of rules. The technique for generating domain representation rules based作者: 同義聯(lián)想法 時(shí)間: 2025-3-22 06:41
Smart Interactive System for Learning of Tax Planning results. The studying efficiency indicator increased even up to 100% (in some groups). This experience represents first attempt of implementation of e-learning technologies for the teaching economic subject - taxation. Creation of an educational game on the basis of “Smart Presentation” now is unde作者: avenge 時(shí)間: 2025-3-22 09:31
Smart Education Analytics: Quality Control of System Linkstem on the links of finite levels are defined. The classification of the system’s links based on the number of synergetic effects of the group of the system’s links of a finite level is constructed. There are several practice applications of this method in the paper. Thus, the justification of Grano作者: 毀壞 時(shí)間: 2025-3-22 13:12 作者: 沐浴 時(shí)間: 2025-3-22 17:52
Learning English Grammar in the Smart Learning Environmenting of acquired knowledge by post-test2. Results proved that the process of learning conducted in the smart learning environment brought some improvements, however, students had problems in application of advanced grammar phenomena in the active way.作者: 努力趕上 時(shí)間: 2025-3-22 23:49
In Re Launching a New Vision in Education and e-Learning: Fostering a Culture of Academic Integrity e were differences between the two studies when the questions focused on the student’s individual use or all students’ use, of social media to cheat. In the first, students admitted to having used one or more social media to cheat “a few times” (3.85%–6.15%). In the second, more students said that o作者: 推延 時(shí)間: 2025-3-23 03:36
Social Map Tool: Analysis of the Social Interactions of Elderly People in a Virtual Learning Environv@EAD”; (3) Construction of Pedagogical Strategies for the social interactions of the elderly in Distance Learning; (4) Disclosure of results. Thirty elderly people participated in the research and at the blended course, over the 60 years. The results obtained showed a greater interaction when the e作者: 追蹤 時(shí)間: 2025-3-23 07:59
Conference proceedings 2019aximize their success and select the best options for their education, locationand learning style, as well as the mode of content delivery. This book serves as a useful source of research data and valuable information on current research projects, best practices and case studies for faculty, scholar作者: 令人發(fā)膩 時(shí)間: 2025-3-23 10:55 作者: insecticide 時(shí)間: 2025-3-23 16:44
cted during the verification of the optimality property of the program. We describe a proof-of-concept implementation of our approach for auto-tuning programs written in OpenCL – the standard for programming modern multi-core CPU (Central Processing Units) and many-core GPU (Graphics Processing Unit作者: hypertension 時(shí)間: 2025-3-23 18:36
Vladimir L. Uskov,Jeffrey P. Bakken,Ashok Shah,Timothy Krock,Alexander Uskov,Jitendra Syamala,Rama Rcted during the verification of the optimality property of the program. We describe a proof-of-concept implementation of our approach for auto-tuning programs written in OpenCL – the standard for programming modern multi-core CPU (Central Processing Units) and many-core GPU (Graphics Processing Unit作者: GROUP 時(shí)間: 2025-3-24 00:43
Karsten Henke,Heinz-Dietrich Wuttke,René Hutschenreuter,Aleander Kistources (as if they were a single source) must be feasible. We present a detailed description of a code expansion-based framework that proposes novel solutions for these problems. We argue that the approach, while implemented for Ciao, can be adapted for other Prolog-based systems and languages.作者: airborne 時(shí)間: 2025-3-24 03:34
Aneesha Bakharia,Marco Lindleyources (as if they were a single source) must be feasible. We present a detailed description of a code expansion-based framework that proposes novel solutions for these problems. We argue that the approach, while implemented for Ciao, can be adapted for other Prolog-based systems and languages.作者: NAG 時(shí)間: 2025-3-24 06:41 作者: 哎呦 時(shí)間: 2025-3-24 13:47
Jeffrey P. Bakken,Vladimir L. Uskov,Narmada Rayala,Jitendra Syamala,Ashok Shah,Lavanya Aluri,Karnika also facilitates the combination with static analysis. The generation process is based on running standard predicates under non-standard (random) search rules. Generation can be fully automatic but can also be guided or defined specifically by the user. We propose methods for supporting (C)LP-speci作者: notice 時(shí)間: 2025-3-24 17:37
Marina V. Lapenok,Olga M. Patrusheva,Galina V. Pokhodzey,Anastasiya I. Suetina,Anna M. Lozinskaya,Ir wide range of resources, platforms, and execution models. The analysis estimates both lower and upper bounds on the resource usage of a parallel program (without executing it) as functions on input data sizes. In addition, it also infers other meaningful information to better exploit and assess the作者: Project 時(shí)間: 2025-3-24 19:41 作者: Scintillations 時(shí)間: 2025-3-25 00:31 作者: 轉(zhuǎn)折點(diǎn) 時(shí)間: 2025-3-25 05:48
Natalya V. Serdyukova,Kirill Potapov wide range of resources, platforms, and execution models. The analysis estimates both lower and upper bounds on the resource usage of a parallel program (without executing it) as functions on input data sizes. In addition, it also infers other meaningful information to better exploit and assess the作者: 注射器 時(shí)間: 2025-3-25 08:27
Natalia A. Serdyukova,Vladimir I. Serdyukov,Vladimir A. Slepovet Programming (ASP) and the well-founded semantics (WFS). In particular, we give new iterated fixpoint characterizations of answer sets as well as the WFS via dual programs. We also discuss some applications of non-stratified co-LPs to program transformation such as partial deduction, and a proof p作者: 翻動(dòng) 時(shí)間: 2025-3-25 13:04 作者: 馬籠頭 時(shí)間: 2025-3-25 17:50 作者: 大猩猩 時(shí)間: 2025-3-25 21:16 作者: conspicuous 時(shí)間: 2025-3-26 01:58 作者: 生氣的邊緣 時(shí)間: 2025-3-26 04:31
Michele T. Cole,Daniel J. Shelley,Louis B. Swartzet Programming (ASP) and the well-founded semantics (WFS). In particular, we give new iterated fixpoint characterizations of answer sets as well as the WFS via dual programs. We also discuss some applications of non-stratified co-LPs to program transformation such as partial deduction, and a proof p作者: 詞匯表 時(shí)間: 2025-3-26 09:04
Leticia Rocha Machado,Jozelina Mendes,Tássia Priscila Grande,Larissa Justin,Patricia Beharet Programming (ASP) and the well-founded semantics (WFS). In particular, we give new iterated fixpoint characterizations of answer sets as well as the WFS via dual programs. We also discuss some applications of non-stratified co-LPs to program transformation such as partial deduction, and a proof p作者: 溫順 時(shí)間: 2025-3-26 14:15
Winson C. C. Lee,Gursel Aliciet Programming (ASP) and the well-founded semantics (WFS). In particular, we give new iterated fixpoint characterizations of answer sets as well as the WFS via dual programs. We also discuss some applications of non-stratified co-LPs to program transformation such as partial deduction, and a proof p作者: 凝乳 時(shí)間: 2025-3-26 18:59 作者: 名義上 時(shí)間: 2025-3-26 21:45
978-3-030-06417-4Springer International Publishing AG, part of Springer Nature 2019作者: 夸張 時(shí)間: 2025-3-27 01:14
Smart Education and e-Learning 2018978-3-319-92363-5Series ISSN 2190-3018 Series E-ISSN 2190-3026 作者: flammable 時(shí)間: 2025-3-27 05:19
GOLDi-Lab as a Service – Next Step of EvolutionThe GOLDi-Lab is a cloud-based grid of online labs for teaching design and verification of digital control systems in hardware and software. The paper presents a concept of enhancing this lab with IoT- features to make it more flexible and to prepare learners for the Internet of Things (IoT).作者: cathartic 時(shí)間: 2025-3-27 12:06
Vladimir L. Uskov,Robert J. Howlett,Ljubo VlacicPresents recent research on smart education and e-learning.Gathers the proceedings of the 5th International KES Conference on Smart Education and Smart e-Learning (KES-SEEL-18), held in Gold Coast, Au作者: 補(bǔ)充 時(shí)間: 2025-3-27 17:13
Smart Innovation, Systems and Technologieshttp://image.papertrans.cn/s/image/868724.jpg作者: Palliation 時(shí)間: 2025-3-27 20:52 作者: 搜尋 時(shí)間: 2025-3-27 23:14
ning as used in high-performance computing. Our auto-tuning is an important use case of the general concept of automated algorithm configuration and parameter tuning: we optimize parallel programs by finding the optimal values of the performance-critical program parameters for a particular high-perf作者: Abutment 時(shí)間: 2025-3-28 05:32 作者: 斥責(zé) 時(shí)間: 2025-3-28 08:42
Vladimir L. Uskov,Jeffrey P. Bakken,Ashok Shah,Timothy Krock,Alexander Uskov,Jitendra Syamala,Rama Rning as used in high-performance computing. Our auto-tuning is an important use case of the general concept of automated algorithm configuration and parameter tuning: we optimize parallel programs by finding the optimal values of the performance-critical program parameters for a particular high-perf作者: 津貼 時(shí)間: 2025-3-28 12:01
Karsten Henke,Heinz-Dietrich Wuttke,René Hutschenreuter,Aleander Kistefer to different groups of syntactic definitions and translation rules that extend a language. Our use of the concept of modularity in this context is twofold. We would like these extensions to be modular, in the sense above, i.e., we should be able to develop different extensions mostly separately作者: Munificent 時(shí)間: 2025-3-28 15:47 作者: Affection 時(shí)間: 2025-3-28 20:43
Christian Rogers,Corinne Renguette,Shannon Cooper,Scott Renshaw,Mary Theresa Seig,Jerry Schnepptitude of different fairness and reliability properties, e.g., to ensure that each voter’s ballot accounts for the same proportion of the elected alternatives, or that a voter cannot change the election outcome in her favor by insincerely filling out her ballot. However, no voting rule is fair in al作者: CIS 時(shí)間: 2025-3-28 23:35
Jeffrey P. Bakken,Vladimir L. Uskov,Narmada Rayala,Jitendra Syamala,Ashok Shah,Lavanya Aluri,Karnikalopment scheme. Our starting point is the . model, a framework that unifies unit testing and run-time verification, as well as static verification and static debugging, using a common assertion language. Properties which cannot be verified statically are checked dynamically. In this context, the ide作者: 合并 時(shí)間: 2025-3-29 04:09 作者: CLEAR 時(shí)間: 2025-3-29 10:06 作者: 蟄伏 時(shí)間: 2025-3-29 14:32
Tamara Shikhnabieva,Alexey Brezhnev,Marida Saidakhmedova,Aleksandra Brezhneva,Seda Khachaturovaenergy arise in a wide variety of applications such as internet of things, cloud computing, health, transportation, and robots. At the same time, parallel computing, with (heterogeneous) multi-core platforms in particular, has become the dominant paradigm in computer architecture. Predicting resourc作者: humectant 時(shí)間: 2025-3-29 18:19 作者: Interim 時(shí)間: 2025-3-29 23:31
Natalia A. Serdyukova,Vladimir I. Serdyukov,Vladimir A. Slepov coinductive. To define its procedural semantics as well as an alternating fixpoint semantics, the ., a condition on predicate dependency in programs, has been imposed on co-logic programs (co-LPs). In this paper, we first consider . programs in co-logic programming: Given a program ., its dual prog作者: obscurity 時(shí)間: 2025-3-30 02:28
coinductive. To define its procedural semantics as well as an alternating fixpoint semantics, the ., a condition on predicate dependency in programs, has been imposed on co-logic programs (co-LPs). In this paper, we first consider . programs in co-logic programming: Given a program ., its dual prog作者: 表示向下 時(shí)間: 2025-3-30 04:41
Vladimir L. Uskov,Jeffrey P. Bakken,Lavanya Aluri,Narmada Rayala,Maria Uskova,Karnika Sharma,Rama Ra coinductive. To define its procedural semantics as well as an alternating fixpoint semantics, the ., a condition on predicate dependency in programs, has been imposed on co-logic programs (co-LPs). In this paper, we first consider . programs in co-logic programming: Given a program ., its dual prog作者: VICT 時(shí)間: 2025-3-30 08:23
H?vard Snarby,Tarald G?sbakk,Ekaterina Prasolova-F?rland,Aslak Steinsbekk,Frank Lindseth coinductive. To define its procedural semantics as well as an alternating fixpoint semantics, the ., a condition on predicate dependency in programs, has been imposed on co-logic programs (co-LPs). In this paper, we first consider . programs in co-logic programming: Given a program ., its dual prog作者: 涂掉 時(shí)間: 2025-3-30 14:43
Ivana Simonova coinductive. To define its procedural semantics as well as an alternating fixpoint semantics, the ., a condition on predicate dependency in programs, has been imposed on co-logic programs (co-LPs). In this paper, we first consider . programs in co-logic programming: Given a program ., its dual prog作者: BUST 時(shí)間: 2025-3-30 18:01
Michele T. Cole,Daniel J. Shelley,Louis B. Swartz coinductive. To define its procedural semantics as well as an alternating fixpoint semantics, the ., a condition on predicate dependency in programs, has been imposed on co-logic programs (co-LPs). In this paper, we first consider . programs in co-logic programming: Given a program ., its dual prog作者: 失望昨天 時(shí)間: 2025-3-30 21:01 作者: Soliloquy 時(shí)間: 2025-3-31 01:25
Winson C. C. Lee,Gursel Alici coinductive. To define its procedural semantics as well as an alternating fixpoint semantics, the ., a condition on predicate dependency in programs, has been imposed on co-logic programs (co-LPs). In this paper, we first consider . programs in co-logic programming: Given a program ., its dual prog作者: 含鐵 時(shí)間: 2025-3-31 08:37
Procedural Medical Training in VR in a Smart Virtual University HospitalThe procedural training has been enhanced with real world medical data (MRI and ultrasound). The feedbacks from the tests have been generally positive, both in terms of general user experience and expected learning outcomes. The paper presents the implementation procedure, evaluation results and outlines the directions for future work.
