scholarly journals The visualization of a graph semantics of imperative languages

Politehnika ◽  
2021 ◽  
Vol 5 (2) ◽  
pp. 7-14
Author(s):  
William Steingartner ◽  
Erik Gajdoš
Keyword(s):  
Programming Languages ◽  
Web Application ◽  
Visual Representation ◽  
Formal Semantics ◽  
Standard Form ◽  
Oriented Graph ◽  
Software Tool ◽  
Software Support ◽  
User Input ◽  
The Individual

This work aims to present the software support for teaching in the field of formal semantics of imperative programming languages. The main part focuses on a software tool that provides a visual representation of the individual steps of the calculation in categorical semantics, which can also be referred to as graph semantics. The use of software tools in teaching to visually represent computational steps considerably facilitates understanding by students and can also serve as a good basis for supporting distance learning. Our program works in the standard form: after reading the correct user input, a visual representation of the meaning of the program is generated in the form of a category of states, which is displayed as an oriented graph. For better extensibility, the program is implemented as a web application.

VeRA: Verifying RBAC and Authorization Constraints Models of Web Applications

2021 ◽  
Vol 31 (05) ◽  
pp. 655-675
Author(s):  
Thanh-Nhan Luong ◽  
Hanh-Phuc Nguyen ◽  
Ninh-Thuan Truong
Keyword(s):  
Access Control ◽  
Programming Languages ◽  
Web Application ◽  
Web Applications ◽  
Implementation Process ◽  
Record Management ◽  
Role Based Access Control ◽  
Security Issue ◽  
Control Policies ◽  
Access Control Policies

The software security issue is being paid great attention from the software development community as security violations have emerged variously. Developers often use access control techniques to restrict some security breaches to software systems’ resources. The addition of authorization constraints to the role-based access control model increases the ability to express access rules in real-world problems. However, the complexity of combining components, libraries and programming languages during the implementation stage of web systems’ access control policies may arise potential flaws that make applications’ access control policies inconsistent with their specifications. In this paper, we introduce an approach to review the implementation of these models in web applications written by Java EE according to the MVC architecture under the support of the Spring Security framework. The approach can help developers in detecting flaws in the assignment implementation process of the models. First, the approach focuses on extracting the information about users and roles from the database of the web application. We then analyze policy configuration files to establish the access analysis tree of the application. Next, algorithms are introduced to validate the correctness of the implemented user-role and role-permission assignments in the application system. Lastly, we developed a tool called VeRA, to automatically support the verification process. The tool is also experimented with a number of access violation scenarios in the medical record management system.

scholarly journals Constructive Action Semantics for Core ML

2004 ◽  
Vol 11 (37) ◽  
Author(s):  
Jørgen Iversen ◽  
Peter D. Mosses
Keyword(s):  
Programming Languages ◽  
Tool Support ◽  
Semantic Description ◽  
Action Semantics ◽  
Language Constructs ◽  
Description Framework ◽  
The Individual ◽  
Language Construct ◽  
Language Description

Usually, the majority of language constructs found in a programming language can also be found in many other languages, because language design is based on reuse. This should be reflected in the way we give semantics to programming languages. It can be achieved by making a language description consist of a collection of modules, each defining a single language construct. The description of a single language construct should be language independent, so that it can be reused in other descriptions without any changes. We call a language description framework ``constructive'' when it supports independent description of individual constructs.<br /> <br />We present a case study in constructive semantic description. The case study is a description of Core ML, consisting of a mapping from it to BAS (Basic Abstract Syntax) and action semantic descriptions of the individual BAS constructs. The latter are written in ASDF (Action Semantics Definition Formalism), a formalism specially designed for writing action semantic descriptions of single language constructs. Tool support is provided by the ASF+SDF Meta-Environment and by the Action Environment, which is a new extension of the ASF+SDF Meta-Environment.

scholarly journals REPRODUCTION OF COMMUNICATIVE AND PRAGMATIC FEATURES OF ENGLISH ADVERTISING DISCOURSE BY MEANS OF THE UKRAINIAN LANG UAGE

2020 ◽  
Vol 11 (87) ◽  
Author(s):  
Svitlana Kolomiets ◽  
◽  
Anastasiia Deineka ◽  
◽  
Keyword(s):  
English Language ◽  
Standard Form ◽  
Global Network ◽  
Special Effects ◽  
Advertising Message ◽  
Verbal Component ◽  
Four Blocks ◽  
The Individual ◽  
Visual Technologies ◽  
Proper Analysis

Modern advertising has a serious impact on society. Today, advertising texts are constantly present in the daily life of society. Based on the individual behavior of the consumer in the global network, appropriate contextual suggestions are formed and the retargeting tool is used - the display of the product viewed by the user or information about the service is repeated many times in order to stimulate its purchase. Despite the development of visual technologies and the ability to model special effects, most of the advertising still has a strong verbal component, through which, in its turn, the main communication strategies of the creator of the advertising text are realized. Means of linguistic imagery, as well as various means of persuasion help to positively influence the consumer. Advertising is not just an announcement, message, acquaintance, reminder, but also a means of attracting attention, creating an image and popularity. The standard form of an advertising message consists of four main blocks: slogan, headline, main advertising text and phrase-echo. But the presence of all four blocks in one advertising message is not required. Often, ad authors can ignore the headline by including all the necessary information that will attract the recipient’s attention in the slogan. This option is becoming quite common, primarily to reduce the length of the advertising message. It was revealed that the implementation of the communicative function in English-language advertising determines the use of multilevel language tools at lexical, grammatical and stylistic levels, and also involves the appeal of the authors of advertising to various paralinguistic means. When translating advertising texts, there are some difficulties, which are that there are several approaches to understanding the translation equivalence, as well as the diversity of stylistic features of such texts. The solution to these problems is achieved by proper analysis of the source text and, as a consequence, the correct use of these approaches. The process of translating advertising texts is very complex and creative, the translator needs not only to take into account all the linguistic and extralinguistic features, but also to identify them harmoniously, motivating and influencing a certain type of audience.

scholarly journals From Text-based Genome, Population Variations, and Transcriptome Datafiles to SQLite Database and Web Application: A Bioinformatical Study on Alfalfa

2021 ◽  
Author(s):  
Shichen Qiao ◽  
Chen Shen
Keyword(s):  
Medicago Sativa ◽  
Programming Languages ◽  
Web Application ◽  
Command Line ◽  
Web Database ◽  
Database Application ◽  
Java Application ◽  
Online Databases ◽  
Sqlite Database

In this study, a web database application with the Flask framework was developed to implement three types of queries and visualize the results over a bioinformatical dataset from Alfalfa (Medicago sativa). A backend SQLite database was constructed from genome FASTA, population variations, transcriptome, and annotation files with extensions ".fasta", ".gff", "vcf", ".annotate", etc. Further, a supplementary command-line-based Java application was also developed for faster access to the database without direct SQL programming. Overall, Python, Java, and HTML were the main programming languages used in this application. Those scripts and the development procedures are valuable for bioinformaticians to build online databases from similar raw datasets of other species.

scholarly journals Evaluation of a Mobile Web Application for Assessment Feedback

2021 ◽  
Author(s):  
Mireilla Bikanga Ada
Keyword(s):  
Web Application ◽  
Individual Student ◽  
Enabling Technology ◽  
Mobile Web ◽  
Group Feedback ◽  
Assessment Feedback ◽  
Sequential Explanatory Mixed Method ◽  
The Individual ◽  
Summative Feedback ◽  
Insight Into

AbstractThis paper reports an evaluation of a mobile web application, “MyFeedBack”, that can deliver both feedback and marks on assignments to students from their lecturer. It enables them to use any device anywhere, any time to check on, and receive their feedback. It keeps the feedback private to the individual student. It enables and successfully fosters dialogue about the feedback between the students and the educator. Feedback and marks were already being delivered using the institution’s learning environment/management system “Moodle”. The study used a sequential explanatory mixed-method approach. Two hundred thirty-nine (239) participants were reported on their experiences of receiving feedback and divided among several groups: (a) feedback delivered in “Moodle”, (b) formative feedback in “MyFeedBack”, and (c) summative feedback in “MyFeedBack”. Overall, results showed a statistically significant more positive attitude towards “MyFeedBack” than “Moodle”, with the summative assessment subgroup being more positive than the formative subgroup. There was an unprecedented increase in communication and feedback dialogue between the lecturer and the students. Qualitative results enriched and complemented the findings. The paper provides guidelines for an enabling technology for assessment feedback. These offer insight into the extent to which any of the new apps and functionalities that have become available since this study might likely be favourably viewed by learners and help achieve the desired pedagogical outcomes. These include: (1) accessible using any device, making feedback accessible anywhere, anytime; (2) display feedback first (before the grade/mark); (3) enable personalisation of group feedback by the teacher; (4) provide privacy for each student; (5) facilitate dialogue and communication about the feedback; and (6) include a monitoring feature. Three goals already put forward in the literature—(1) making the feedback feel more personal, (2) getting a quicker turnround by making it easier for the teachers to achieve this, and (3) prompting more dialogue between the educators and students—are advanced by this study which shows how they can be supported by software, and that when they are achieved then users strongly approve them.

scholarly journals Web Application for Emotion-based Music Player

2021 ◽  
Vol 9 (12) ◽  
pp. 11-14
Author(s):  
Kamal Naina Soni
Keyword(s):  
Computer Vision ◽  
Human Brain ◽  
Facial Expressions ◽  
Web Application ◽  
Emotional State ◽  
Current State ◽  
The Face ◽  
Current Mood ◽  
The Individual ◽  
Music Player

Abstract: Human expressions play an important role in the extraction of an individual's emotional state. It helps in determining the current state and mood of an individual, extracting and understanding the emotion that an individual has based on various features of the face such as eyes, cheeks, forehead, or even through the curve of the smile. A survey confirmed that people use Music as a form of expression. They often relate to a particular piece of music according to their emotions. Considering these aspects of how music impacts a part of the human brain and body, our project will deal with extracting the user’s facial expressions and features to determine the current mood of the user. Once the emotion is detected, a playlist of songs suitable to the mood of the user will be presented to the user. This can be a big help to alleviate the mood or simply calm the individual and can also get quicker song according to the mood, saving time from looking up different songs and parallel developing a software that can be used anywhere with the help of providing the functionality of playing music according to the emotion detected. Keywords: Music, Emotion recognition, Categorization, Recommendations, Computer vision, Camera

Digital Bookstore

2021 ◽  
Vol 9 (VII) ◽  
pp. 1326-1337
Author(s):  
Amey Thakur
Keyword(s):  
Programming Languages ◽  
Web Application ◽  
Credit Card ◽  
Sql Server ◽  
Data Sets ◽  
Frequent User ◽  
Web Browser ◽  
Book Store ◽  
Different Types ◽  
Online Book

The project's main goal is to build an online book store where users can search for and buy books based on title, author, and subject. The chosen books are shown in a tabular style and the customer may buy them online using a credit card. Using this Website, the user may buy a book online rather than going to a bookshop and spending time. Many online bookstores, such as Powell's and Amazon, were created using HTML. We suggest creating a comparable website with .NET and SQL Server. An online book store is a web application that allows customers to purchase ebooks. Through a web browser the customers can search for a book by its title or author, later can add it to the shopping cart and finally purchase using a credit card transaction. The client may sign in using his login credentials, or new clients can simply open an account. Customers must submit their full name, contact details, and shipping address. The user may also provide a review of a book by rating it on a scale of one to five. The books are classified into different types depending on their subject matter, such as software, databases, English, and architecture. Customers can shop online at the Online Book Store Website using a web browser. A client may create an account, sign in, add things to his shopping basket, and buy the product using his credit card information. As opposed to a frequent user, the Administrator has more abilities. He has the ability to add, delete, and edit book details, book categories, and member information, as well as confirm a placed order. This application was created with PHP and web programming languages. The Online Book Store is built using the Master page, data sets, data grids, and user controls.

Problems of distance education in the context of philosophy of personal education

2021 ◽  
pp. 7-10
Author(s):  
I.E. Ditkovskaya ◽  
Keyword(s):  
Distance Education ◽  
Programming Languages ◽  
Rapid Development ◽  
Independent Learning ◽  
Self Development ◽  
Definition Of ◽  
The Individual ◽  
Independent Work ◽  
Personal Education

Analyzed is experience of distance education in the context of the coronavirus pandemic. In the context of education quality problems, attention is drawn to the inability of most students to organize their independent work and low motivation for independent mastering of the specialty. Meanwhile, under conditions of rapid development of technologies, rapidly changing economic conditions, flexible and timely planning in the context of overcoming the production crisis, specialists, who possess modern technologies in a narrow field, programming languages and the skills of working on specific equipment, are required. But, at the same time, employers are interested in well-educated and big-minded professionals, for example, crisis managers. Graduates should have broad knowledge that allows them to quickly adapt to new requirements, independently choose and master new professions in the future, receiving necessary education, navigate growing flows of information, strive for self-education and self-development, which should be based on the motivation of independent learning. The article focuses on the role of humanitarian knowledge, mastery of which is the basis for self-education and self-development. The definition of the concept of “philosophy of personal education” as a system of thinking in which the principles of philosophy of education are projected onto a personal assessment of one’s own physical, intellectual, spiritual, moral and ethical potential as a foundation for self-education and self-development is given. On the basis of philosophy of personal education, abilities, intellectual and creative potential of the individual are realized and a clear motivation for the need to master a particular specialty and self-improvement in this area is determined.

Using Recommendation Systems to Adapt Gameplay

2011 ◽  
pp. 64-77 ◽  
Author(s):  
Ben Medler
Keyword(s):  
Web Application ◽  
Web Applications ◽  
Recommendation Systems ◽  
User Preferences ◽  
The Other ◽  
User Input ◽  
Data Intensive ◽  
Other Hand ◽  
Research Communities ◽  
Game Developers

Recommendation systems are key components in many Web applications (Amazon, Netflix, eHarmony). Each system gathers user input, such as the products they buy, and searches for patterns in order to determine user preferences and tastes. These preferences are then used to recommend other content that a user may enjoy. Games on the other hand are often designed with a one-size-fits-all approach not taking player preferences into account. However there is a growing interest in both the games industry and game research communities to begin incorporating systems that can adapt, or alter how the game functions, to specific players. This paper examines how Web application recommendation systems compare to current games that adapt their gameplay to specific players. The comparison shows that current games do not use recommendation methods that are data intensive or collaborative when adapting to players. Design suggestions are offered within this manuscript for how game developers can benefit from incorporating the lesser used recommendation methods.

The development of concepts through thousands of years

2019 ◽  
pp. 105-112
Author(s):  
Katalin Fried
Keyword(s):  
Mathematics Education ◽  
Prime Number ◽  
Cognitive Processes ◽  
Visual Representation ◽  
Concept Development ◽  
Scientific Content ◽  
Number Concept ◽  
The Everyday ◽  
Development Goals ◽  
The Individual

There are several difficulties when teaching concepts; we have to consider its content, its abstract meaning, its visual representation, verbal and nonverbal aspects of it, etc. Also, the individual content of a concept changes with the knowledge of someone. However, the content of the concepts through the ages vary but education does not necessarily follow the changes. Not talking of the everyday meaning of a concept, this can get stuck at a certain level, while the scientific content changes. The concepts we teach in schools are not necessarily the actual ones. Thus, it is necessary to revise how we teach some of the concepts. One of the most important concepts of this kind is the prime number. Classification: D30, D39, C30, C39. Keywords: Prime number, concept development, goals of mathematics education, cognitive processes.

Sign in / Sign up

Export Citation Format

Share Document