scholarly journals An Open edX Extension for Parallel Programming Assignments with Automatic Configurable Grading

2021 ◽  
Vol 11 (4) ◽  
pp. 7
Author(s):  
Luis Germán García ◽  
Emanuel Montoya ◽  
Sebastian Isaza ◽  
Ricardo A. Velasquez
Keyword(s):  
User Interface ◽  
Parallel Programming ◽  
Online Courses ◽  
Parallel Programs ◽  
Central Processing ◽  
Wide Range ◽  
Definition Of ◽  
Multiple Processing ◽  
The Web ◽  
Efficient Software

Computing devices of all types have almost converged to using central processing units featuring multiple processing cores. In order to develop efficient software for such devices, programmers need to learn how to write parallel programs. We present an infrastructure to support parallel programming assignments for online courses. We developed an extension to the Open edX platform with a backend that handles the execution of student codes on a cluster lab. The web user interface offers instructors a wide range of configuration options for the programming assignments as well as a flexible definition of criteria for automatic grading. We have successfully integrated the software with Open edX and tested it with a real parallel programming cluster lab.

Web and Education as Disruptors of Traditional Education and Development of Future Students and Workers

2020 ◽  
pp. 170-192
Author(s):  
Marie-Line Germain
Keyword(s):  
Online Education ◽  
Online Courses ◽  
Traditional Education ◽  
Educational Institutions ◽  
Digital Platforms ◽  
Disruptive Technologies ◽  
Wide Range ◽  
Education And Development ◽  
The Web

Over the past 30 years, the internet has evolved from being the web of content to being the web of thoughts and the web of things in business, communication, entertainment, and education. To stay competitive, higher education institutions have had to train students on the wide range of skills and experiences and to move to digital platforms to better meet the needs of students, employees, and organizations. This chapter provides an overview of the development of online education, the 1.0 to 5.0 phases of web development, and how the field of education has adapted to these phases. Particular emphasis is placed on the use of mobile learning such as MOOCs, course collaboration software, and how smartphones can be used in courses to interact with peers and faculty. This chapter then presents a case study illustrating how online courses can successfully integrate Web 4.0 and 5.0 technology. It concludes by discussing the benefits and challenges of adopting some disruptive technologies and on how educational institutions can meet the needs of the next generation of students.

Typologization of security regulation

2020 ◽  
pp. 20-27
Author(s):  
Denis Tikhomirov
Keyword(s):  
Social Relations ◽  
Scientific Literature ◽  
Legal Regulation ◽  
Procedural Understanding ◽  
Limited Ability ◽  
Methodological Basis ◽  
Wide Range ◽  
The Subject ◽  
Definition Of ◽  
Legal Understanding

The purpose of the article is to typologize terminological definitions of security, to find out the general, to identify the originality of their interpretations depending on the subject of legal regulation. The methodological basis of the study is the methods that made it possible to obtain valid conclusions, in particular, the method of comparison, through which it became possible to correlate different interpretations of the term "security"; method of hermeneutics, which allowed to elaborate texts of normative legal acts of Ukraine, method of typologization, which made it possible to create typologization groups of variants of understanding of the term "security". Scientific novelty. The article analyzes the understanding of the term "security" in various regulatory acts in force in Ukraine. Typological groups were understood to understand the term "security". Conclusions. The analysis of the legal material makes it possible to confirm that the issues of security are within the scope of both legislative regulation and various specialized by-laws. However, today there is no single conception on how to interpret security terminology. This is due both to the wide range of social relations that are the subject of legal regulation and to the relativity of the notion of security itself and the lack of coherence of views on its definition in legal acts and in the scientific literature. The multiplicity of definitions is explained by combinations of material and procedural understanding, static - dynamic, and conditioned by the peculiarities of a particular branch of legal regulation, limited ability to use methods of one or another branch, the inter-branch nature of some variations of security, etc. Separation, common and different in the definition of "security" can be used to further standardize, in fact, the regulatory legal understanding of security to more effectively implement the legal regulation of the security direction.

Music after the Fall

2017 ◽  
Author(s):  
Tim Rutherford-Johnson
Keyword(s):  
New Media ◽  
Contemporary Music ◽  
The United States ◽  
Art Music ◽  
Sound Art ◽  
Musical Composition ◽  
Western Art ◽  
Wide Range ◽  
Definition Of ◽  
The Cold War

By the start of the 21st century many of the foundations of postwar culture had disappeared: Europe had been rebuilt and, as the EU, had become one of the world’s largest economies; the United States’ claim to global dominance was threatened; and the postwar social democratic consensus was being replaced by market-led neoliberalism. Most importantly of all, the Cold War was over, and the World Wide Web had been born. Music After The Fall considers contemporary musical composition against this changed backdrop, placing it in the context of globalization, digitization, and new media. Drawing on theories from the other arts, in particular art and architecture, it expands the definition of Western art music to include forms of composition, experimental music, sound art, and crossover work from across the spectrum, inside and beyond the concert hall. Each chapter considers a wide range of composers, performers, works, and institutions are considered critically to build up a broad and rich picture of the new music ecosystem, from North American string quartets to Lebanese improvisers, from South American electroacoustic studios to pianos in the Australian outback. A new approach to the study of contemporary music is developed that relies less on taxonomies of style and technique, and more on the comparison of different responses to common themes, among them permission, fluidity, excess, and loss.

A Study for VM Placement Schemes in Cloud

2017 ◽  
Vol 7 (8) ◽  
pp. 208
Author(s):  
Ramandeep Kaur ◽  
Navpreet Kaur
Keyword(s):  
Cloud Computing ◽  
Reaction Time ◽  
Task Scheduling ◽  
Specific Time ◽  
Due Date ◽  
Vm Placement ◽  
Time Task ◽  
Wide Range ◽  
The Web

The cloud computing can be essentially expressed as aconveyance of computing condition where distinctive assets are conveyed as a support of the client or different occupants over the web. The task scheduling basically concentrates on improving the productive use of assets and henceforth decrease in task fruition time. Task scheduling is utilized to allot certain tasks to specific assets at a specific time occurrence. A wide range of systems has been exhibited to take care of the issues of scheduling of various tasks. Task scheduling enhances the productive use of asset and yields less reaction time with the goal that the execution of submitted tasks happens inside a conceivable least time. This paper talks about the investigation of need, length and due date based task scheduling calculations utilized as a part of cloud computing.

cMOOCs and Global Learning: An Authentic Alternative

2013 ◽  
Vol 17 (2) ◽  
Author(s):  
Carol Yeager ◽  
Betty Hurley-Dasgupta ◽  
Catherine A. Bliss
Keyword(s):  
Online Courses ◽  
Lessons Learned ◽  
Massive Open Online Courses ◽  
Research Review ◽  
Press Coverage ◽  
Open Educational Resource ◽  
Educational Resource ◽  
Global Learning ◽  
Massive Open Online ◽  
Definition Of

Massive Open Online Courses (MOOCs) continue to attract press coverage as they change almost daily in their format, number of registrations and potential for credentialing. An enticing aspect of the MOOC is its global reach. In this paper, we will focus on a type of MOOC called a cMOOC, because it is based on the theory of connectivism and fits the definition of an Open Educational Resource (OER) identified for this special edition of JALN. We begin with a definition of the cMOOC and a discussion of the connectivism on which it is based. Definitions and a research review are followed with a description of two MOOCs offered by two of the authors. Research on one of these MOOCs completed by a third author is presented as well. Student comments that demonstrate the intercultural connections are shared. We end with reflections, lessons learned and recommendations.

scholarly journals Size-adjusted aortic valve area: refining the definition of severe aortic stenosis

2020 ◽  
Author(s):  
Branka Vulesevic ◽  
Naozumi Kubota ◽  
Ian G Burwash ◽  
Claire Cimadevilla ◽  
Sarah Tubiana ◽  
...  
Keyword(s):  
Aortic Valve ◽  
Predictive Accuracy ◽  
Severe Aortic Stenosis ◽  
Aortic Valve Area ◽  
Obese Patients ◽  
Derivation Cohort ◽  
Wide Range ◽  
Definition Of ◽  
Diagnostic And Prognostic Value ◽  
Valve Area

Abstract Aims Severe aortic valve stenosis (AS) is defined by an aortic valve area (AVA) <1 cm2 or an AVA indexed to body surface area (BSA) <0.6 cm/m2, despite little evidence supporting the latter approach and important intrinsic limitations of BSA indexation. We hypothesized that AVA indexed to height (H) might be more applicable to a wide range of populations and body morphologies and might provide a better predictive accuracy. Methods and results In 1298 patients with degenerative AS and preserved ejection fraction from three different countries and continents (derivation cohort), we aimed to establish an AVA/H threshold that would be equivalent to 1.0 cm2 for defining severe AS. In a distinct prospective validation cohort of 395 patients, we compared the predictive accuracy of AVA/BSA and AVA/H. Correlations between AVA and AVA/BSA or AVA/H were excellent (all R2 > 0.79) but greater with AVA/H. Regressions lines were markedly different in obese and non-obese patients with AVA/BSA (P < 0.0001) but almost identical with AVA/H (P = 0.16). AVA/BSA values that corresponded to an AVA of 1.0 cm2 were markedly different in obese and non-obese patients (0.48 and 0.59 cm2/m2) but not with AVA/H (0.61 cm2/m for both). Agreement for the diagnosis of severe AS (AVA < 1 cm2) was significantly higher with AVA/H than with AVA/BSA (P < 0.05). Similar results were observed across the three countries. An AVA/H cut-off value of 0.6 cm2/m [HR = 8.2(5.6–12.1)] provided the best predictive value for the occurrence of AS-related events [absolute AVA of 1 cm2: HR = 7.3(5.0–10.7); AVA/BSA of 0.6 cm2/m2 HR = 6.7(4.4–10.0)]. Conclusion In a large multinational/multiracial cohort, AVA/H was better correlated with AVA than AVA/BSA and a cut-off value of 0.6 cm2/m provided a better diagnostic and prognostic value than 0.6 cm2/m2. Our results suggest that severe AS should be defined as an AVA < 1 cm2 or an AVA/H < 0.6 cm2/m rather than a BSA-indexed value of 0.6 cm2/m2.

Cubical Agda: A dependently typed programming language with univalence and higher inductive types

2021 ◽  
Vol 31 ◽  
Author(s):  
ANDREA VEZZOSI ◽  
ANDERS MÖRTBERG ◽  
ANDREAS ABEL
Keyword(s):  
Programming Language ◽  
Type Theory ◽  
Type Checking ◽  
Dependent Type Theory ◽  
Wide Range ◽  
General Schema ◽  
Direct Definition ◽  
Inductive Types ◽  
Definition Of ◽  
Cubical Type Theory

Abstract Proof assistants based on dependent type theory provide expressive languages for both programming and proving within the same system. However, all of the major implementations lack powerful extensionality principles for reasoning about equality, such as function and propositional extensionality. These principles are typically added axiomatically which disrupts the constructive properties of these systems. Cubical type theory provides a solution by giving computational meaning to Homotopy Type Theory and Univalent Foundations, in particular to the univalence axiom and higher inductive types (HITs). This paper describes an extension of the dependently typed functional programming language Agda with cubical primitives, making it into a full-blown proof assistant with native support for univalence and a general schema of HITs. These new primitives allow the direct definition of function and propositional extensionality as well as quotient types, all with computational content. Additionally, thanks also to copatterns, bisimilarity is equivalent to equality for coinductive types. The adoption of cubical type theory extends Agda with support for a wide range of extensionality principles, without sacrificing type checking and constructivity.

scholarly journals Early Dropout Prediction in MOOCs through Supervised Learning and Hyperparameter Optimization

Electronics ◽  
2021 ◽  
Vol 10 (14) ◽  
pp. 1701
Author(s):  
Theodor Panagiotakopoulos ◽  
Sotiris Kotsiantis ◽  
Georgios Kostopoulos ◽  
Omiros Iatrellis ◽  
Achilles Kameas
Keyword(s):  
Online Education ◽  
Online Courses ◽  
Early Stage ◽  
Activity Patterns ◽  
Daily Basis ◽  
Machine Learning Algorithms ◽  
Supervised Machine Learning ◽  
Educational Institutions ◽  
Student Dropout ◽  
Wide Range

Over recent years, massive open online courses (MOOCs) have gained increasing popularity in the field of online education. Students with different needs and learning specificities are able to attend a wide range of specialized online courses offered by universities and educational institutions. As a result, large amounts of data regarding students’ demographic characteristics, activity patterns, and learning performances are generated and stored in institutional repositories on a daily basis. Unfortunately, a key issue in MOOCs is low completion rates, which directly affect student success. Therefore, it is of utmost importance for educational institutions and faculty members to find more effective practices and reduce non-completer ratios. In this context, the main purpose of the present study is to employ a plethora of state-of-the-art supervised machine learning algorithms for predicting student dropout in a MOOC for smart city professionals at an early stage. The experimental results show that accuracy exceeds 96% based on data collected during the first week of the course, thus enabling effective intervention strategies and support actions.

scholarly journals Definitions and Prevalence of Multimorbidity in Large Database Studies: A Scoping Review

2021 ◽  
Vol 18 (4) ◽  
pp. 1673
Author(s):  
Ying Pin Chua ◽  
Ying Xie ◽  
Poay Sian Sabrina Lee ◽  
Eng Sing Lee
Keyword(s):  
Scoping Review ◽  
Chronic Conditions ◽  
Meta Analysis ◽  
Epidemiological Studies ◽  
Cross Sectional ◽  
Coding Systems ◽  
Wide Range ◽  
Scoping Reviews ◽  
Retrospective Cohort Studies ◽  
Definition Of

Background: Multimorbidity presents a key challenge to healthcare systems globally. However, heterogeneity in the definition of multimorbidity and design of epidemiological studies results in difficulty in comparing multimorbidity studies. This scoping review aimed to describe multimorbidity prevalence in studies using large datasets and report the differences in multimorbidity definition and study design. Methods: We conducted a systematic search of MEDLINE, EMBASE, and CINAHL databases to identify large epidemiological studies on multimorbidity. We used the Preferred Reporting Items for Systematic Reviews and Meta-analysis Extension for Scoping Reviews (PRISMA-ScR) protocol for reporting the results. Results: Twenty articles were identified. We found two key definitions of multimorbidity: at least two (MM2+) or at least three (MM3+) chronic conditions. The prevalence of multimorbidity MM2+ ranged from 15.3% to 93.1%, and 11.8% to 89.7% in MM3+. The number of chronic conditions used by the articles ranged from 15 to 147, which were organized into 21 body system categories. There were seventeen cross-sectional studies and three retrospective cohort studies, and four diagnosis coding systems were used. Conclusions: We found a wide range in reported prevalence, definition, and conduct of multimorbidity studies. Obtaining consensus in these areas will facilitate better understanding of the magnitude and epidemiology of multimorbidity.

Interaction, engagement, and perceived interactivity in single-handed interaction

2016 ◽  
Vol 26 (5) ◽  
pp. 1134-1157 ◽  
Author(s):  
Donghee Shin ◽  
Myunggoon Choi ◽  
Jang Hyun Kim ◽  
Jae-gil Lee
Keyword(s):  
Behavioral Intention ◽  
Interaction Techniques ◽  
Content Type ◽  
Thumb Movement ◽  
Wide Range ◽  
Mobile Industry ◽  
Perceived Interactivity ◽  
The Subject ◽  
Definition Of ◽  
Practical Implications

Purpose The purpose of this paper is to examine the effects of interaction techniques (e.g. swiping and tapping) and the range of thumb movement on interactivity, engagement, attitude, and behavioral intention in single-handed interaction with smartphones. Design/methodology/approach A 2×2 between-participant experiment (technological features: swiping and tapping×range of thumb movement: wide and narrow) was conducted to study the effects of interaction techniques and thumb movement ranges. Findings The results showed that the range of thumb movement had significant effects on perceived interactivity, engagement, attitude, and behavioral intention, whereas no effects were observed for interaction techniques. A narrow range of thumb movement had more influence on the interactivity outcomes in comparison to a wide range of thumb movement. Practical implications While the subject of actual and perceived interactivity has been discussed, the issue has not been applied to smartphone. Based on the research results, the mobile industry may come up with a design strategy that balances feature- and perception-based interactivity. Originality/value This study adopted the perspective of the hybrid definition of interactivity, which includes both actual and perceived interactivity. Interactivity effect outcomes mediated by perceived interactivity.

Sign in / Sign up

Export Citation Format

Share Document