Reviewerly/exHarmony huggingface dataset:
The instance model-view update problem in AADL

The Architecture Analysis and Design Language (AADL) is a rich language for modeling embedded systems through several constructs such as component extension and refinement to promote modularity of component declarations. To ease processing AADL models, OSATE, the reference tool for AADL, defines another model (namely 'instance' model) computed from a base 'declarative' model/s. An instance model is a simple object tree where all information from the declarative model is flattened so that tools can easily use this information to analyze the system. However for modifications, they have to make changes in the complex declarative model since there is no automated backward transformation (de-instantiation) from instance to declarative models. Since the instance model is a 'view' of the declarative model, this is a view-update problem. In this paper, we propose the OSATE Declarative-Instance Mapping Tool (OSATE-DIM), an Eclipse plugin for de-instantiation of AADL models implementing a solution of this view-update problem. We evaluate OSATE-DIM with a benchmark of existing AADL model processing tools and verify the correctness of our de-instantiation transformations.
Data quality and model under-specification issues (keynote)

Nowadays, we are witnessing an increasing demand in both industry and academia for exploiting Deep Learning (DL) to solve complex real-world problems. However, the performance of these high-capacity learners is currently bounded by the quality and volume of their underlying training data. The use of incomplete, erroneous, or inappropriate training data, and the implementation of poor data management practices in a training pipeline often result into unreliable, biased, or under specified models. In this talk, I will report about some recent research works that we have conducted to identify best practices of data management for DL. I will also report about recent techniques and tools that we have developed to help detect the root cause of model under-specification issues early on during a DL training process.
Research to Secure Core Competency System and Feasibility

The purpose of this study is to develop a core competency diagnostic tool. As for the contents of the study, the core competency diagnostic questions were developed and the reliability and validity of the core competency diagnostic questions were analyzed. The research results are as follows. First, 504 diagnostic questions for core competency were produced. Second, university professors and related experts developed 216 preliminary questions out of 504 diagnostic questions. Third, the preliminary questions were revised and supplemented by conducting a facial validity assessment of the preliminary questions for graduates with a doctoral degree in education. Fourth, as a result of analyzing the reliability and validity of the core competency diagnostic tool, it was found that there were no problems with reliability and validity.
A Cultural Education Class Study: Using Animation in Liberal Arts Classes: Focusing on Cultural Awareness Activities

The purpose of this study is to develop an effective cultural education teaching method that uses an animated movie. This study enables learners to build self-awareness through discovering and understanding certain cultural aspects. A pre-test and post-test were conducted to determine the cultural learning achievement of each learner. Post-test results were higher than pre-test results. An open-ended questionnaire was conducted to analyze learners' perceptions toward cultural classes. Results show that learners were satisfied with the cultural awareness class (82.4%), and the top stated reasons for their satisfaction were systematic class procedures, efficient cultural learning, a fun environment, and engaging participation activities. Overall, results show that learners were very satisfied with the use of animation for cultural education (81.4%). The top stated reasons for this result were learning efficiency, interesting approach, covering empathy topics, etc.
Clang __usercall: towards native support for user defined calling conventions

In reverse engineering interfacing with C/C++ functions is of great interest because it provides much more flexibility for product development and security purpose. However, it has been a great challenge when interfacing functions with user defined calling conventions due to the lack of sufficient and user-friendly tooling. In this work, we design and implement Clang __usercall, which aims to provide programmers with an elegant and familiar syntax to specify user defined calling conventions on functions in C/C++ source code. Our key novelties lie in mimicing the most popular syntax and adapting Clang for interfacing purpose. Our preliminary user study shows that our solution outperforms the existing ones in multiple key aspects including user experience and required lines of code. Clang __usercall is already added to the Compiler Explorer website as well.
Unite: an adapter for transforming analysis tools to web services via OSLC

This paper describes Unite, a new tool intended as an adapter for transforming non-interactive command-line analysis tools to OSLC-compliant web services. Unite aims to make such tools easier to adopt and more convenient to use by allowing them to be accessible, both locally and remotely, in a unified way and to be easily integrated into various development environments. Open Services for Lifecycle Collaboration (OSLC) is an open standard for tool integration and was chosen for this task due to its robustness, extensibility, support of data from various domains, and its growing popularity. The work is motivated by allowing existing analysis tools to be more widely used with a strong emphasis on widening their industrial usage. We have implemented Unite and used it with multiple existing static as well as dynamic analysis and verification tools, and then successfully deployed it internationally in the industry to automate verification tasks for development teams in Honeywell. We discuss Honeywell's experience with using Unite and with OSLC in general. Moreover, we also provide the Unite Client (UniC) for Eclipse to allow users to easily run various analysis tools directly from the Eclipse IDE.
An Analysis of Message Strategies of Newspaper Editorials―With a Focus on Newspaper Articles around the Launch of the New Government―

이 연구는 새 정부가 출범할 때 쓴 사설 두 편을 대상으로 논리 구조와 메시지 전략을 분석한 논문이다. 이 연구에서 사설을 분석한 결과는 다음과 같다. 첫째, 새 정부 출범에 쓴 두 사설의 논리 구조는 신문사가 정부에 우호적이거나 배타적이어도 큰 차이가 없는 것으로 나타났다. 둘째, 사설의 메시지 전략은 우호적 정부와 배타적 정부에서 차이가 있었다. 우호적 정부에는 사설의 주장이 긍정적이든 부정적이든 관계없이 그것을 뒷받침하는 논거를 선택적으로 제시한다. 하지만 배타적 정부에는 주장에 불리한 논거를 선택적으로 제시하는 메시지 전략을 사용하고 있다. 셋째, 우호적 정부에게 불리한 정책이나 공약은 드러내지 않으려 하고 유리한 정책 분야는 부각시킨다. 반면에 배타적 정부에는 불리한 정책 분야의 메시지를 확대하여 제시하고, 유리한 분야는 축소하여 제시한다. 이러한 메시지 전략은 신문사의 의도를 드러내지 않으면서 중립적인 지지 표현 사용 방법과 중립적인 반대 표현 방법으로 볼 수 있다.This paper analyzes logical structures and message strategies of two editorials written around the inauguration of the new government. The findings are as follows. First, logical structures of the two editorials show no significant differences between newspapers regardless of their friendly or unfriendly attitude towards the government. Second, message strategies of the editorials reveal some differences between friendly and unfriendly newspapers. The government friendly newspaper selectively presents supporting grounds for the editorial argument either it is positive or negative. The unfriendly newspaper, however, demonstrates unfavorable reasons for the argument. Third, the friendly newspaper tries not to uncover disadvantageous policy messages but stresses advantageous policies. On the other hand, the unfriendly newspaper exaggerates disadvantageous policy messages but underestimates advantageous ones. These message strategies do not reveal given newspapers’ intent but are considered using neutral supporting or opposing expressions.
Design and Research of Foreign Language Teaching by Information Platform Evaluation based on Intelligent Data Mining

This paper analyzes the current situation of informatization construction in colleges and universities and the principles and applications of common data mining models, and focuses on the data mining of smart campus students' comprehensive evaluation system based on FP-growth algorithm, K-means clustering, true entropy, classification and regression models. , combined with the practice of smarter teaching, put forward the data model and system architecture of smarter classroom, expounded the educational big data research methodology of "four modeling and three analysis", and constructed the "overall chessboard" and 13 specific research questions for data mining and analysis of smarter classroom , which aims to provide solutions for the deep integration of data mining technology and smart campuses.
Robot Path Planning Based on Improved Harris Hawk Optimization Algorithm

In order to obtain better solutions, a global robot path planning method based on the Harris hawk optimization algorithm (HHO) is presented. This method contains two steps, named coarse-grained and fine-grained planning. We construct the environment model based on the MAKLINK graph at first, and then obtain the paths of coarse-grained planning by Dijkstra algorithm. Then two criteria, i.e. path length and smoothness, are considered to evaluate a path, and the mathematical optimization model is established. The HHO algorithm is utilized to solve this mathematic model and complete the final paths of fine-grained planning based on above coarse-grained path planning. Because original HHO algorithm is easy to be stuck into local optima and lacks of balance in exploration and exploitation, the improved Harris hawk optimization algorithm (IHHO) is proposed. In proposed algorithm, a Rank based dynamic update strategy is introduced to update stagnant agents and worse agents, which can ensure the quality and diversity of the population, as well as enhance exploration performance of the algorithm and its ability to jump out of local optima. The proposed algorithm also introduces a nonlinear disturbance control factor into the transition stage of original algorithm, which can effectively balance the exploration and exploitation performances. The presented method is adopted to solve the path planning problem of two robots under two maps with irregular convex obstacles and regular concave obstacles respectively. The simulation results show that obtained paths by IHHO with shorter length and better smoothness, are more superior to those by original HHO. It also verified that presented method is feasible and effective to solve robot path planning problems.
I Just Can’t Believe These are not Fictitious: Vivifying design examples through narratives populated by existing artefacts

You are reading an abstract. We carefully designed it to summarise the content, to tempt you to read further. This is a part of the narrative of all papers, which tell stories about research. Telling stories and tales purposefully, via tools like design fiction, has become a valuable way to explore and understand complex ideas. It situates work in human experiences and contexts and avoid the “trap of objectivity”. If you read on, you will discover an example of how narratives deploying existing designs can be used for synthesising and reviewing literature and exploring design spaces, using 28 designs around interpersonal interaction as a case study. This exploration demonstrates how readers can navigate a large body of related work, understand tensions between its elements, and recognise the interpretative and situational aspects of such a review. Or you can skip straight to the conclusions, where this story might end with a cliffhanger.
Cloud Center Intelligent Terminal Design for the Integration of Industry and Education in Local Higher Vocational Colleges under the Background of "Internet +" Transformation and Development

The new model of business exchanges has broken the balance between the traditional financial model and the emerging financial model. At the beginning, due to the downward rigidity of the value system, commercial banks adhered to the rules and lacked the initiative of transformation. Through the practice of teaching activities such as double teacher training, three-dimensional textbook development and "cloud appointment + two-step" teaching method reform, this paper deeply explores the practical significance of the "three education" reform in the talent training of the integration of industry and education, in order to provide reference for the reform of talent training mode in higher vocational colleges. But at the same time, the platform also exposed some problems in the inspection process, such as unreasonable live broadcast content arrangement, difficult virtual enterprise operation, imperfect grouping function, etc., which need to be further improved in the future.
Gaussian stochastic pooling method for image classification tasks

To solve the problems of missing information and masking features in traditional pooling methods, a new Gaussian stochastic pooling (GS-pooling) method is proposed in this paper. The elements in the pooling domain are assigned corresponding weight values, and then the multinomial distribution sampling is sampled according to the weight values. Finally, the pooling result is obtained according to the corresponding Gaussian kernel. We conduct comparative experiments on the MNIST, CIFAR-10, and Market-1501 datasets. The results demonstrate that our pooling method achieves the best performance.
Multi-modal feature selection with anchor graph for Alzheimer's disease

In Alzheimer's disease, the researchers found that if the patients were treated at the early stage of the disease, it could effectively delay the development of the disease. At present, multi-modal feature selection is widely used in the early diagnosis of Alzheimer's disease. However, existing multi-modal feature selection algorithms focus on learning the internal information of multiple modalities. They ignore the relationship between modalities, the importance of each modality and the local structure in the multi-modal data. In this paper, we propose a multi-modal feature selection algorithm with anchor graph for Alzheimer's disease. Specifically, we first use the least square loss and l2,1-norm to obtain the weight of the feature under each modality. Then we embed a modal weight factor into the objective function to obtain the importance of each modality. Finally, we use anchor graph to quickly learn the local structure information in multi-modal data. In addition, we also verify the validity of the proposed algorithm on the published ADNI dataset.
Long-Distance System Construction of Multicultural Music Guidance Training based on Priori Distributed Signal Classification Algorithm

This paper proposes a distributed power allocation algorithm based on signal game. Considering that the secondary users with the competitive relationship can realize the signal coherent synthesis without using the control channel, so as to improve the detection performance of the spatial attention area. Therefore, obtaining high-precision CPs estimation is the premise of DCAR to realize coherent synthesis. Explore the problems existing in teaching methods, education system, integration of local music culture and teachers' cultural literacy, and propose targeted solutions, and strive to promote the development of regional multicultural music education from multiple perspectives. It must rely on society, family cooperation to achieve maximum results.
Challenges for code generated OCL execution

While OCL is primarily a specification language supporting the elaboration of often-graphical metamodels with textual constraints, it is also executable enabling the constraints to be used to validate models. The superficial textual similarity of OCL and Java has tempted some authors to attempt a textual transliteration to facilitate a faster Java execution. Unfortunately there are many aspects of OCL semantics that deviate from Java and so transliteration is close to impossible. We identify the semantic differences so that new transliteration attempts can review the almost inevitable limitations of an OCL-like transliteration when choosing to implement a Java-Friendly OCL rather than a full OCL code generator.
Comparison of Semantic Similarity Models on Constrained Scenarios

Abstract The technological world has grown by incorporating billions of small sensing devices, collecting and sharing large amounts of diversified data over the new generation of wireless and mobile networks. We can use semantic similarity models to help organize and optimize these devices. Even so, many of the proposed semantic similarity models do not consider the constrained and dynamic environments where these devices are present (IoT, edge computing, 5g, and next-generation networks). In this paper, we review the commonly used models, discuss the limitations of our previous model, and explore latent space methods (through matrix factorization) to reduce noise and correct the model profiles with no additional data. The new proposal is evaluated with corpus-based state-of-the-art approaches achieving competitive results while having four times faster training time than the next fastest model and occupying 36 times less disk space than the next smallest model.
LEGO Foundation commits $25 million for crisis‐impacted young education programming

Corporate Philanthropy ReportVolume 37, Issue 12 p. 2-2 News Briefs LEGO Foundation commits $25 million for crisis-impacted young education programming First published: 09 November 2022 https://doi.org/10.1002/cprt.31440Read the full textAboutPDF ToolsRequest permissionExport citationAdd to favoritesTrack citation ShareShare Give accessShare full text accessShare full-text accessPlease review our Terms and Conditions of Use and check box below to share full-text version of article.I have read and accept the Wiley Online Library Terms and Conditions of UseShareable LinkUse the link below to share a full-text version of this article with your friends and colleagues. Learn more.Copy URL Share a linkShare onFacebookTwitterLinkedInRedditWechat No abstract is available for this article. Volume37, Issue12December 2022Pages 2-2 RelatedInformation
Shaping the Fake News Discourse

This chapter argues that truth is emerging as a public interest in the legal discourses of Southeast Asian countries. Though criminal and media laws have long addressed the dissemination of falsehoods, recent moves to ban fake news accelerated the process dramatically. The professed purpose of the new legislation is to protect specific interests such as national security or public order. However, it is argued that the intensive focus on the problem of online falsehoods is making truth a public interest in its own right, gradually disconnected from explicitly enumerated purposes. Drawing on communication and discourse theories, the chapter traces this process and describes how public interests are created and shaped. Statutes and case law, official statements and media reporting are used to map the development. The dominant discourse is expected to result in new legal categories paired with enhanced governmental powers to restrict free speech.
Design of Dual-core Collaborative Computing Gateway for Geological Hazards

The previous gateway for monitoring geological hazards often focuses on receiving and transmitting data, which means sending the data stream from sensor terminals to the cloud server as much as possible. However, with the increase in the types and number of sensor terminals in geological hazard monitoring sites, such a massive data transmission mode cannot meet the needs of monitoring geological hazards. Therefore, a dual-core collaborative computing gateway for geological hazards is developed. Based on the previous network topology of monitoring geological hazards, a collaborative computing method of MCU and 4G Cat1 communication module is designed to transmit the real-time data stream received by MCU to the 4G Cat1 module, realizing complex calculations, such as mathematical model implementation and data early warning. In addition, this method can reduce the data traffic from the device to the cloud server and relieve the pressure on the server's data processing. The experimental results show that compared with the previous geological hazards monitoring gateway, the data transmission volume is reduced by about 81%, and the power consumption of the gateway using Raspberry Pi 3B is reduced by about 30.6%.
MP Grids

MP Grids allow you to create dynamic paths on the fly that will find a path between two points, avoiding instances along the way.
Metaphoric Perceptions of Adults on Digital Concepts in Education

In this study, it is aimed to determine how teachers and teacher candidates perceive the concepts related to technology, which have been used frequently in recent years. In this context, metaphorical perceptions of technology, metaverse, virtual reality, augmented reality, hybrid education and distance education were investigated. The sample of the study, which was prepared in accordance with the qualitative research design, consists of teachers working in the central district and districts of Denizli and teacher candidates studying at a public university. The sample of the study consists of 86 adults. 22 of the participants are teachers, 64 of whom are prospective teachers, 72 of whom are females and 14 are males. The data of the research were collected via the form prepared by the researcher. The questions in the form are framed as “metaverse for me….. because….". In addition, explanations consisting of short sentences about the concepts were also requested from the participants. Research data were analyzed with inductive content analysis. According to the results of the research, it is seen that when adults present metaphors about concepts, they especially refer to their functions. Besides, when the views and metaphors are examined, it could be stated that there are problems regarding the distinction of metaverse, virtual reality and augmented reality phenomena. In general, it can be said that adults' perceptions of technology, metaverse, virtual and augmented reality, distance education and hybrid education are positive. According to the research, especially, the perceptions that socialization problems could be seen in metaverse and virtual / augmented reality applications are remarkable.
The Method of Probabilistic Nodes Combination in Biomechanics

Proposed method, called Probabilistic Nodes Combination (PNC), is the method of 2D curve modeling and handwriting identification by using the set of key points. Nodes are treated as characteristic points of signature or handwriting for modeling and writer recognition. Identification of handwritten letters or symbols need modeling and the model of each individual symbol or character is built by a choice of probability distribution function and nodes combination. PNC modeling via nodes combination and parameter γ as probability distribution function enables curve parameterization and interpolation for each specific letter or symbol. Two-dimensional curve is modeled and interpolated via nodes combination and different functions as continuous probability distribution functions: polynomial, sine, cosine, tangent, cotangent, logarithm, exponent, arc sin, arc cos, arc tan, arc cot or power function.