首页 > 最新文献

Balt. J. Mod. Comput.最新文献

英文 中文
Comparative Analysis of Biochemical Network Reconstructions 生物化学网络重构的比较分析
Pub Date : 2016-12-19 DOI: 10.22364/BJMC.2016.4.4.27
M. Mednis
Reconstruction of genome-scale metabolic network is a result of assembling various information sources about all biochemical reactions expected in the metabolic network of interest. Despite the efforts of leading bio-models databases to make comparison of biochemical networks by elements names obsolete, interest from researchers in using string similarity metrics in comparison of metabolites names has been growing. Multiple challenges in comparison of reconstructions are discussed in this article and an insight into current approach of metabolic model comparison has been given. The discussion of challenges and attempts to solve them are followed by the author’s proposed algorithm for models comparison that can be particularly useful in case of reconstructions. Special attention is given to the use of metabolites names and chemical formulas. The author’s proposed algorithm has been implemented in a software tool ModeRator. The article is concluded with use cases of the comparison algorithm and the software tool.
基因组尺度代谢网络的重建是收集有关代谢网络中所有生化反应的各种信息源的结果。尽管领先的生物模型数据库努力使通过元素名称比较生化网络过时,但研究人员对使用字符串相似性度量来比较代谢物名称的兴趣一直在增长。本文讨论了重建比较中的多重挑战,并对目前代谢模型比较的方法进行了深入的探讨。在讨论挑战和尝试解决这些问题之后,作者提出了模型比较算法,该算法在重建的情况下特别有用。特别注意代谢物名称和化学式的使用。作者提出的算法已在一个软件工具ModeRator中实现。文章最后给出了比较算法和软件工具的用例。
{"title":"Comparative Analysis of Biochemical Network Reconstructions","authors":"M. Mednis","doi":"10.22364/BJMC.2016.4.4.27","DOIUrl":"https://doi.org/10.22364/BJMC.2016.4.4.27","url":null,"abstract":"Reconstruction of genome-scale metabolic network is a result of assembling various information sources about all biochemical reactions expected in the metabolic network of interest. Despite the efforts of leading bio-models databases to make comparison of biochemical networks by elements names obsolete, interest from researchers in using string similarity metrics in comparison of metabolites names has been growing. Multiple challenges in comparison of reconstructions are discussed in this article and an insight into current approach of metabolic model comparison has been given. The discussion of challenges and attempts to solve them are followed by the author’s proposed algorithm for models comparison that can be particularly useful in case of reconstructions. Special attention is given to the use of metabolites names and chemical formulas. The author’s proposed algorithm has been implemented in a software tool ModeRator. The article is concluded with use cases of the comparison algorithm and the software tool.","PeriodicalId":431209,"journal":{"name":"Balt. J. Mod. Comput.","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128971113","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The Effect of Lego Mindstrom Eve 3 Based Design Activities on Students' Attitudes towards Learning Computer Programming, Self-efficacy Beliefs and Levels of Academic Achievement 基于Lego Mindstrom Eve 3的设计活动对学生计算机编程学习态度、自我效能感信念和学业成就水平的影响
Pub Date : 2016-12-19 DOI: 10.22364/BJMC.2016.4.4.24
Özgen Korkmaz
The aim of the study was to present the effect of Lego Mindstorms Ev3 based design activities on students’ attitudes towards learning computer programming, self-efficacy beliefs and levels of academic achievement. The research is a pretest-posttest with control group semiexperimental study. The study group of the research consisted of 53 students attending the faculty of engineering. The experimental group was administered a teaching method with Lego Mindstorms Ev3 based design activities. On the other hand, in the control group C++ topics were directly taught via editor. Research data were collected via the implementing academic achievement test (Kr-20= 0.71), attitude towards learning programming scale (Cronbach’s Alpha =0.84) and computer programming self-efficacy scale (Cronbach’s Alpha= 0.966). Obtained findings were: The education using Lego Mindstorms Ev3 design activities contributed more meaningfully to the academic success of the students in terms of C++ programming language compared to the traditional method.
本研究旨在探讨乐高头脑风暴Ev3设计活动对学生计算机编程学习态度、自我效能感信念和学业成就水平的影响。本研究为前测后测与对照组半实验研究。该研究的研究小组由53名就读于工程学院的学生组成。实验组采用基于Lego Mindstorms Ev3设计活动的教学方法。另一方面,在对照组中,通过编辑器直接教授c++主题。研究数据通过实施学业成就测试(k -20= 0.71)、编程学习态度量表(Cronbach 's Alpha= 0.84)和计算机编程自我效能量表(Cronbach 's Alpha= 0.966)收集。研究发现:与传统方法相比,采用乐高Mindstorms Ev3设计活动的教育对学生在c++编程语言方面的学业成功有更有意义的贡献。
{"title":"The Effect of Lego Mindstrom Eve 3 Based Design Activities on Students' Attitudes towards Learning Computer Programming, Self-efficacy Beliefs and Levels of Academic Achievement","authors":"Özgen Korkmaz","doi":"10.22364/BJMC.2016.4.4.24","DOIUrl":"https://doi.org/10.22364/BJMC.2016.4.4.24","url":null,"abstract":"The aim of the study was to present the effect of Lego Mindstorms Ev3 based design activities on students’ attitudes towards learning computer programming, self-efficacy beliefs and levels of academic achievement. The research is a pretest-posttest with control group semiexperimental study. The study group of the research consisted of 53 students attending the faculty of engineering. The experimental group was administered a teaching method with Lego Mindstorms Ev3 based design activities. On the other hand, in the control group C++ topics were directly taught via editor. Research data were collected via the implementing academic achievement test (Kr-20= 0.71), attitude towards learning programming scale (Cronbach’s Alpha =0.84) and computer programming self-efficacy scale (Cronbach’s Alpha= 0.966). Obtained findings were: The education using Lego Mindstorms Ev3 design activities contributed more meaningfully to the academic success of the students in terms of C++ programming language compared to the traditional method.","PeriodicalId":431209,"journal":{"name":"Balt. J. Mod. Comput.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128702815","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 21
Gene Duplication Models and Reconstruction of Gene Regulatory Network Evolution from Network Structure 基因复制模型与从网络结构看基因调控网络进化的重构
Pub Date : 2016-12-19 DOI: 10.22364/BJMC.2016.4.4.18
Juris Viksna, David Gilbert
The work was supported by Latvian Council of Science grant 258/2012 and Latvian State Research programme project NexIT (2014-2017).
这项工作得到了拉脱维亚科学委员会258/2012基金和拉脱维亚国家研究计划项目NexIT(2014-2017)的支持。
{"title":"Gene Duplication Models and Reconstruction of Gene Regulatory Network Evolution from Network Structure","authors":"Juris Viksna, David Gilbert","doi":"10.22364/BJMC.2016.4.4.18","DOIUrl":"https://doi.org/10.22364/BJMC.2016.4.4.18","url":null,"abstract":"The work was supported by Latvian Council of Science grant 258/2012 and Latvian State \u0000Research programme project NexIT (2014-2017).","PeriodicalId":431209,"journal":{"name":"Balt. J. Mod. Comput.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121319999","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
To the Memory of R. Freivalds 纪念r·弗雷沃兹
Pub Date : 2016-12-19 DOI: 10.22364/bjmc.2016.4.4.05
E. Kinber
The paper contains author’s memories of his mentor and teacher R. M. Freivalds. I met Rūsiņš Freivalds for the first time in September of 1970, and this meeting defined my life in many different ways. At that time I was a fifth year student in the mathematics division of the University of Latvia and was looking for a topic and an advisor for my diploma thesis. My original idea was to write a thesis in the field of Lie Algebras, where I had been doing some research under the guidance of one of the faculty. However, algebraists, led by an outstanding mathematician B. I. Plotkin, were gradually forced out of the University, after one of the star students in his group, I. Rips, attempted a public self-immolation, protesting Soviet invasion to Czechoslovakia in 1968, and, thus, I had to change direction, and did not know what I would do. However, in the first days of September, I was summoned to a meeting by the Dean of the Faculty of Physics and Mathematics A. Liepa. This meeting decided my fate. Prof. Liepa told me that Jānis Bārzdiņš, his former classmate, returned from Moscow (where he was working on his doctoral dissertation under the guidance of A. N. Kolmogorov) and would be forming a new division in the University Computing Center. Prof. Liepa suggested that he could recommend me to J. Bārzdiņš to join his group. Frankly, I was scared – I knew nothing about computer science at the time, except for having taken a couple of courses in programming. But Prof. Liepa told me: “Trust me: computer science is the future, and J. Bārzdiņš is one of not so many people in this whole country (he meant the Soviet Union) who can guide you into this new exciting field”, and that was it. He arranged my meeting with J. Bārzdiņš, but there was another man present at the meeting, Rūsiņš Freivalds. J. Bārzdiņš told me that he himself was too busy at the moment to guide my diploma thesis, and suggested working with Rūsiņš, who just returned from Novosibirsk, where he was completing his Candidate of Science dissertation (Ph.D.) under the guidance of B. A. Trakhtenbrot. Then J. Bārzdiņš left, and we started our very first long conversation with Rūsiņš. In about three hours, he taught me the basics of Turing machines, computability, Church-Turing thesis, introduced me to the concept of so-called (m,n)-computation, and explained to me the results recently
这篇论文包含了作者对他的导师和老师R. M. Freivalds的回忆。1970年9月,我第一次见到Rūsiņš Freivalds,这次会面从许多不同的方面定义了我的人生。当时我是拉脱维亚大学数学系的五年级学生,正在为我的毕业论文寻找题目和指导老师。我最初的想法是写一篇关于李代数领域的论文,在一位老师的指导下,我一直在这个领域做一些研究。然而,1968年,在杰出数学家b·I·普洛特金(B. I. Plotkin)的带领下,在他的小组中的一名明星学生I·里普斯(I. Rips)试图以公开自焚的方式抗议苏联入侵捷克斯洛伐克之后,代数学者们逐渐被赶出了大学,因此,我不得不改变方向,不知道该怎么办。然而,在九月的头几天,我被物理和数学学院院长a. Liepa召集去开会。这次会面决定了我的命运。利帕教授告诉我,他以前的同学Jānis Bārzdiņš从莫斯科回来了(他在那里在a . N. Kolmogorov的指导下写博士论文),将在大学计算中心成立一个新的部门。Liepa教授建议他可以把我推荐给J. Bārzdiņš加入他的小组。坦率地说,我很害怕——当时我对计算机科学一无所知,除了上过几门编程课程。但利帕教授告诉我:“相信我:计算机科学是未来,J. Bārzdiņš是整个国家(他指的是苏联)为数不多的能引导你进入这个令人兴奋的新领域的人之一”,就是这样。他安排了我和J. Bārzdiņš的会面,但是还有另外一个人,Rūsiņš Freivalds出席了会议。J. Bārzdiņš告诉我,他自己现在太忙了,无法指导我的毕业论文,并建议与Rūsiņš合作,他刚刚从新西伯利亚回来,在b.a. Trakhtenbrot的指导下完成了他的科学博士学位论文。然后J. Bārzdiņš离开了,我们开始了和Rūsiņš的第一次长谈。在大约三个小时的时间里,他教了我图灵机的基础知识,可计算性,丘奇-图灵论文,向我介绍了所谓的(m,n)-计算的概念,并向我解释了最近的结果
{"title":"To the Memory of R. Freivalds","authors":"E. Kinber","doi":"10.22364/bjmc.2016.4.4.05","DOIUrl":"https://doi.org/10.22364/bjmc.2016.4.4.05","url":null,"abstract":"The paper contains author’s memories of his mentor and teacher R. M. Freivalds. I met Rūsiņš Freivalds for the first time in September of 1970, and this meeting defined my life in many different ways. At that time I was a fifth year student in the mathematics division of the University of Latvia and was looking for a topic and an advisor for my diploma thesis. My original idea was to write a thesis in the field of Lie Algebras, where I had been doing some research under the guidance of one of the faculty. However, algebraists, led by an outstanding mathematician B. I. Plotkin, were gradually forced out of the University, after one of the star students in his group, I. Rips, attempted a public self-immolation, protesting Soviet invasion to Czechoslovakia in 1968, and, thus, I had to change direction, and did not know what I would do. However, in the first days of September, I was summoned to a meeting by the Dean of the Faculty of Physics and Mathematics A. Liepa. This meeting decided my fate. Prof. Liepa told me that Jānis Bārzdiņš, his former classmate, returned from Moscow (where he was working on his doctoral dissertation under the guidance of A. N. Kolmogorov) and would be forming a new division in the University Computing Center. Prof. Liepa suggested that he could recommend me to J. Bārzdiņš to join his group. Frankly, I was scared – I knew nothing about computer science at the time, except for having taken a couple of courses in programming. But Prof. Liepa told me: “Trust me: computer science is the future, and J. Bārzdiņš is one of not so many people in this whole country (he meant the Soviet Union) who can guide you into this new exciting field”, and that was it. He arranged my meeting with J. Bārzdiņš, but there was another man present at the meeting, Rūsiņš Freivalds. J. Bārzdiņš told me that he himself was too busy at the moment to guide my diploma thesis, and suggested working with Rūsiņš, who just returned from Novosibirsk, where he was completing his Candidate of Science dissertation (Ph.D.) under the guidance of B. A. Trakhtenbrot. Then J. Bārzdiņš left, and we started our very first long conversation with Rūsiņš. In about three hours, he taught me the basics of Turing machines, computability, Church-Turing thesis, introduced me to the concept of so-called (m,n)-computation, and explained to me the results recently","PeriodicalId":431209,"journal":{"name":"Balt. J. Mod. Comput.","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121656345","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Rūsiņš Mārtiņš Freivalds: Academic Genealogy and Selected Publications Rūsiņš Mārtiņš Freivalds:学术家谱和精选出版物
Pub Date : 2016-12-19 DOI: 10.22364/BJMC.2016.4.4.02
Rusins Freivalds, Solvita Zarina
{"title":"Rūsiņš Mārtiņš Freivalds: Academic Genealogy and Selected Publications","authors":"Rusins Freivalds, Solvita Zarina","doi":"10.22364/BJMC.2016.4.4.02","DOIUrl":"https://doi.org/10.22364/BJMC.2016.4.4.02","url":null,"abstract":"","PeriodicalId":431209,"journal":{"name":"Balt. J. Mod. Comput.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124381908","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
His Second Student 他的第二个学生
Pub Date : 2016-12-19 DOI: 10.22364/BJMC.2016.4.4.07
Juris Borzovs
The author claims to be the second graduate student of Rūsiņš Mārtiņš Freivalds. He shares some memories of that time and presents some results in reducibility theory that were not published in peer-reviewed journals before.
作者自称是Rūsiņš Mārtiņš Freivalds的第二名研究生。他分享了当时的一些记忆,并提出了一些以前没有发表在同行评议期刊上的还原性理论的结果。
{"title":"His Second Student","authors":"Juris Borzovs","doi":"10.22364/BJMC.2016.4.4.07","DOIUrl":"https://doi.org/10.22364/BJMC.2016.4.4.07","url":null,"abstract":"The author claims to be the second graduate student of Rūsiņš Mārtiņš Freivalds. He shares some memories of that time and presents some results in reducibility theory that were not published in peer-reviewed journals before.","PeriodicalId":431209,"journal":{"name":"Balt. J. Mod. Comput.","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133121016","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Almost 40 Years Knowing Prof. Rūsiņš Freivalds 近40年认识Rūsiņš Freivalds教授
Pub Date : 2016-12-19 DOI: 10.22364/bjmc.2016.4.4.06
Daina Taimina
{"title":"Almost 40 Years Knowing Prof. Rūsiņš Freivalds","authors":"Daina Taimina","doi":"10.22364/bjmc.2016.4.4.06","DOIUrl":"https://doi.org/10.22364/bjmc.2016.4.4.06","url":null,"abstract":"","PeriodicalId":431209,"journal":{"name":"Balt. J. Mod. Comput.","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130734733","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The Kahr-Moore-Wang Class Contains Untestable Properties Kahr-Moore-Wang类包含不可测试的属性
Pub Date : 2016-12-19 DOI: 10.22364/BJMC.2016.4.4.11
Charles Jordan, T. Zeugmann
. Property testing is a kind of randomized approximation in which one takes a small, random sample of a structure and wishes to determine whether the structure satisfies some property or is far from satisfying the property. We focus on the testability of classes of first-order expressible properties, and in particular, on the clas-sification of prefix-vocabulary classes for testability. The main result is the untestability of [ ∀∃∀ , (0 , 1)] = . We also show that this class remains untestable without equality in at least one model of testing. These classes are well-known and (at least one is) minimal for untestability. We discuss what is currently known about the classification for testability and briefly compare it to other classifications.
。性能测试是一种随机逼近,即取一个小的、随机的结构样本,希望确定该结构是否满足某些特性或远不满足该特性。我们主要研究一阶可表达性质类的可测试性,特别是前缀词汇类的可测试性分类。主要结果是[∀∃,(0,1)]=的不可测性。我们还表明,如果在至少一个测试模型中没有相等,这个类仍然是不可测试的。这些类是众所周知的,并且(至少有一个是)不可测试性最小。我们讨论了目前已知的可测试性分类,并简要地将其与其他分类进行比较。
{"title":"The Kahr-Moore-Wang Class Contains Untestable Properties","authors":"Charles Jordan, T. Zeugmann","doi":"10.22364/BJMC.2016.4.4.11","DOIUrl":"https://doi.org/10.22364/BJMC.2016.4.4.11","url":null,"abstract":". Property testing is a kind of randomized approximation in which one takes a small, random sample of a structure and wishes to determine whether the structure satisfies some property or is far from satisfying the property. We focus on the testability of classes of first-order expressible properties, and in particular, on the clas-sification of prefix-vocabulary classes for testability. The main result is the untestability of [ ∀∃∀ , (0 , 1)] = . We also show that this class remains untestable without equality in at least one model of testing. These classes are well-known and (at least one is) minimal for untestability. We discuss what is currently known about the classification for testability and briefly compare it to other classifications.","PeriodicalId":431209,"journal":{"name":"Balt. J. Mod. Comput.","volume":"138 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122456422","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
An Algebraic Approach to Functional-Dependency Semantics for First-Order Languages 一阶语言函数依赖语义的代数方法
Pub Date : 2016-12-19 DOI: 10.22364/BJMC.2016.4.4.13
J. Cı̄rulis
Motivated by applications to relational databases, N. Alechina proposed in 2000 a many-sorted first-order logic with specialized models (called fd-models), where an ordinary firstorder structure was equipped with a system of functions realizing functional dependences between variables (interpreted as attributes). Due to these constraints, only a restricted set of assignments is available in such a model. This factor may rouse some undesirable effects when formulas of the language are evaluated. We develop for the relevant first-order languages another, assignment-free algebraic semantics based on improved fd-models.
受关系数据库应用程序的启发,N. Alechina在2000年提出了一种具有专门模型(称为fd模型)的多排序一阶逻辑,其中普通的一级结构配备了实现变量之间功能依赖的函数系统(解释为属性)。由于这些约束,在这样的模型中只有一组有限的分配是可用的。在计算该语言的公式时,这个因素可能会引起一些不良影响。我们为相关的一阶语言开发了另一种基于改进fd模型的无赋值代数语义。
{"title":"An Algebraic Approach to Functional-Dependency Semantics for First-Order Languages","authors":"J. Cı̄rulis","doi":"10.22364/BJMC.2016.4.4.13","DOIUrl":"https://doi.org/10.22364/BJMC.2016.4.4.13","url":null,"abstract":"Motivated by applications to relational databases, N. Alechina proposed in 2000 a many-sorted first-order logic with specialized models (called fd-models), where an ordinary firstorder structure was equipped with a system of functions realizing functional dependences between variables (interpreted as attributes). Due to these constraints, only a restricted set of assignments is available in such a model. This factor may rouse some undesirable effects when formulas of the language are evaluated. We develop for the relevant first-order languages another, assignment-free algebraic semantics based on improved fd-models.","PeriodicalId":431209,"journal":{"name":"Balt. J. Mod. Comput.","volume":"79 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117242852","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Technological Aspects of the Gamification Model for e-Learning Participant's Engagement 电子学习参与者参与的游戏化模型的技术方面
Pub Date : 2016-12-19 DOI: 10.22364/BJMC.2016.4.4.25
D. Gudoniene, Reda Bartkute, D. Rutkauskiene, T. Blažauskas
Gamification has been a popular object of researches in various fields. Many researches were made on various aspects of gamification and just very few were oriented to the influence of technological aspects for e-learning participant’s engagement. The challenge for our designed model was to find out the new effective ways for the engagement of the students. This paper analysis the prevailing technological aspects and technologies used in e-learning process as well as implementation of various technological solutions in learning platforms. Also, this paper presents a new model of technological aspects of gamification, which was implemented at the Faculty of Informatics to engage students to get better results in learning programming.
游戏化已经成为各个领域的热门研究对象。关于游戏化的各个方面进行了许多研究,但很少有研究面向技术方面对电子学习参与者参与的影响。我们设计的模型面临的挑战是找到新的有效的方法来吸引学生。本文分析了电子学习过程中使用的主要技术方面和技术,以及各种技术解决方案在学习平台中的实现。此外,本文还介绍了游戏化技术方面的新模型,该模型已在信息学学院实施,以吸引学生在学习编程方面取得更好的结果。
{"title":"Technological Aspects of the Gamification Model for e-Learning Participant's Engagement","authors":"D. Gudoniene, Reda Bartkute, D. Rutkauskiene, T. Blažauskas","doi":"10.22364/BJMC.2016.4.4.25","DOIUrl":"https://doi.org/10.22364/BJMC.2016.4.4.25","url":null,"abstract":"Gamification has been a popular object of researches in various fields. Many researches were made on various aspects of gamification and just very few were oriented to the influence of technological aspects for e-learning participant’s engagement. The challenge for our designed model was to find out the new effective ways for the engagement of the students. This paper analysis the prevailing technological aspects and technologies used in e-learning process as well as implementation of various technological solutions in learning platforms. Also, this paper presents a new model of technological aspects of gamification, which was implemented at the Faculty of Informatics to engage students to get better results in learning programming.","PeriodicalId":431209,"journal":{"name":"Balt. J. Mod. Comput.","volume":"PAMI-7 4","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114129913","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
期刊
Balt. J. Mod. Comput.
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1