Reviewerly/exHarmony huggingface dataset:
Formal Description of Cyber Attacks

With the ever-evolving cyber attacks as well as defense technologies, the attack behaviors are characterized by uncertainty, complexity, and diversity, and the attack operations are becoming large-scale, synergistic, and multilevel. To study any cyber attacks, it is necessary to establish an objective and scientific and descriptive methodology for accurate feature analysis so as to come up with some general laws based on which the overall defense strategies will be put forward. So far, there is not a universal scientific theoretical model for us to depict the cyber attack behaviors, and the existing theoretical models are proposed for specific scenarios or certain attack categories. The scientific description of cyber attack behaviors is the premise and basis for analyzing the theory of cyber attacks and establishing a general theory of cyber defense. This chapter is an overview or an attempted summary of the existing formal description methods of mainstream network attacks and proposes some preliminary suggestions for the formal analysis of cyber attacks against the complicated dynamic heterogeneous redundant (DHR) network environments. The content herein, though not directly applied in the following chapters, is of guiding significance and reference value for the research on the theory of cyber attacks based on vulnerabilities or backdoors, the formulation of cyberspace defense strategies, and the design of cyber attack defense mechanisms.
Formalizing Event-Driven Behavior of Serverless Applications

We present new operational semantics for serverless computing that model the event-driven relationships between serverless functions, as well as their interaction with platforms services such as databases and object stores. These semantics precisely encapsulate how control transfers between functions, both directly and through reads and writes to platform services. We use these semantics to define the notion of the service call graph for serverless applications that captures program flows through functions and services. Finally, we construct service call graphs for twelve serverless JavaScript applications, using a prototype of our call graph construction algorithm, and we evaluate their accuracy.
The Repository of Web Document Summarization using Social Information

Summarization using social information is a task which extracts summary sentences and relevant user posts of a Web document by integrating its relevant social information. Prior studies introduced several strong models for this task; however, there are gaps from papers to the reproduction of such models. This paper leverages the gaps by investigating summarization algorithms to facilitate next studies. The investigation was conducted by implementing traditional and state-of-the-art methods, from unsupervised to supervised learning fashion. We used three datasets in English and Vietnamese to confirm the efficiency of the methods. Experimental results indicate that sophisticated models obtain improvements of ROUGE-scores compared to the basic ones, which do not use social information. However, in some cases, simple methods comparably perform state-of-the-art methods, suggesting that the performance of summarization methods can be still improved.
Implementation of Multi-object Recognition Algorithm Using Enhanced R-CNN

Background/Objectives: Multi-object recognition is emerging as a technology that can be applied to various real worlds such as image security, gesture recognition, robot vision, and human robot interaction, and it is difficult to recognize public objects in a complex background.Methods/Statistical analysis: Most multi-object tracking methods suffer from performance degradation due to the number of objects changing each frame, and this phenomenon is more pronounced in complex backgrounds. Therefore, in this paper, we propose an improved R-CNN-based multi-object recognition method that can detect multiple objects quickly while being robust to geometric distortions, lighting changes, and noise of environmental elements and objects in the image.Findings: Experiments were compared the detection rate and detection rate of the CNN method, R-CNN method and the proposed method.The proposed method takes more time to recognize multiple objects, but the object recognition rate shows a high result.Improvements/Applications: Through the proposed deep learning based multi-object recognition, it can contribute to the research that monitors and tracks several objects at the same time in the surveillance system.
A Method of Conflict Detection for Security Policy Based on B+ Tree

Security policy is widely used in network management systems to ensure network security. It is necessary to detect and resolve conflicts in security policies. This paper analyzes the shortcomings of existing security policy conflict detection methods and proposes a B+ tree-based security policy conflict detection method. First, the security policy is dimensioned to make each attribute corresponds to one dimension. Then, a layer of B+ tree index is constructed at each dimension level. Each rule will be uniquely mapped by multiple layers of nested indexes. This method can greatly improve the efficiency of conflict detection. The experimental results show that the method has very stable performance which can effectively prevent conflicts, the type of policy conflict can be detected quickly and accurately.
PATHWAY CURRICULA INTEGRATION AND DEVELOPMENT � A CASE STUDY OFPARTNERING MARITIME PROGRAMS

ABSTRACT International trade in the U.S. has continued to grow and the maritime supply chains play a pivotal role to facilitate the U.S. global trade. A constant source of skilled maritime workforce is critical to keep U.S. maritime industries competitive. An educational system which establishes a clear pathway which aligns the instructional tools and academic programs of education institutions with economic development policies and labor needs are crucial for maritime sectors to compete against other industries to attract talent from the next generations of workers. This paper presents a conceptual framework for a pathway-based curricula development. The framework was implemented in a pilot curricula development as a case study of 4-year university and 2-year community college partners both of which offer maritime educations. The case study implemented the framework to guide the efforts to create a comprehensive curriculum encompassing a Maritime Administration (MARAD) curriculum at Pasadena College. This curriculum in turn would enable students to pursue advancing their education through the pathway, that is, to the bachelor degree level or beyond. This framework contributes to the education strategy field with a strategic tool for logistics educators to assess, review, and develop curricula with supporting courses and learning materials. Keywords Maritime, curricula, pathway, logistics, strategic
Quasi due secoli di fidanzamento

This essay aims to periodize the French translations of I Promessi sposi, from the successful version by Rey-Dussueil in 1828 to the Gallimard pocket edition in 1995, hoping to draw a first map for further researches, which should include different aspects of the subject on which we could only touch lightly: relationships between editors, translators and readers, strategies to promote translations through illustrations, transition from translations to abridged versions, critical reception, translation analysis, with a special attention to the interpretative potential of the source text and its preservation.
Measuring Inconsistency Through Subformula Forgetting

In this paper, we introduce a new approach for defining inconsistency measures. The key idea consists in forgetting subformula occurrences in order to restore consistency. Thus, our approach can be seen as a generalization of the approach based on forgetting only propositional variables. We here introduce rationality postulates of inconsistency measuring that take into account in a syntactic way the internal structure of the formulas. We also describe different inconsistency measures that are based on forgetting subformula occurrences.
Development of Newmedia for Efectivity Instructional Communication

Biological abstract concept often becomes obstacles for students in understanding the material so that the mastery of learning material is not completed. One way to present whether the information is difficult or not, such as the internal organ of the body, is to make it into student worksheet with a marker that is combined with Augmented Reality technology, which helps students in understanding the internal organ of human body. The method of this research is using The ADDIE model has been used as a research methodology. In this model, there are five main phases of analysis (A), design (D), development (D), implementation (I) and evaluation (E). The trial in this study is using emulator, mobile device, and questionnaire. The subjects of this research are high school students of class XI. This development research results showed the student worksheet-based mobile application using Augmented Reality technology can increase student interest in studying biological materials at the high school level.
Game Edukasi Belajar Operasi Bilangan untuk Anak Berkebutuhan Khusus (ABK) Tunarungu Kelas 6 Sekolah Luar Biasa SLB-BC Mitra Amanda Boyolali

Deaf children are children who have below average intelligence, in addition they have retardation in adjusting to the surrounding environment. Lack of children with hearing loss special needs in understanding academic material, especially mathematics in arithmetic, so it needs effort that can be done. This study aims to design and build educational games that can improve numeracy skills for Children with Special Needs (ABK) for grade 6 Deaf in special schools SLB-BC Mitra Amanda Boyolai. In this study the problem to be discussed is how to design and build educational game applications that can improve numeracy skills in children with special needs of hearing impaired. In designing this educational game using the Game Development Life Cycle (GDLC) method. Testing this game uses the black box method and a questionnaire in which all scenarios tested get valid results. Then the test questionnaire was distributed to 5 teachers and 25 students of Mitra Amanda SLB. Based on the results of the questionnaire that was done, it was obtained an average percentage of 89.2% agreeing that the educational game learns number operations Helps in the learning process.
Automatic multimodal detection of team cohesion in meetings

In this thesis the automatic multimodal detection of social and task cohesion in meetings is studied. The presence of social and task cohesion has positive benefits on employee well-being, creativity and productiveness, and can therefore be used to assess meeting quality. Conversational partners imitate each other's body language and speech characteristics to have smoother interactions, to increase liking, and it can cause a coordination of expectations. We hypothesize that social and task cohesion are therefore positively related to the imitation of both body language and speech characteristics. As the group-level alignment of non-verbal speech behaviour has been previously linked to social and task cohesion in meetings, this thesis investigates the relationship between cohesion in meetings and both motion and posture mimicry from accelerometer and video data. Motion mimicry is described using accelerometer features previously used for the detection of friendly and romantic attraction in pairs. We propose a method to convert these features to group-level descriptors of mimicry. The same quantifications of mimicry are also applied to video-based motion quantifiers that have been previously used to detect team cohesion. Appearance is described using HOG descriptors from densely-sampled feature points that are tracked over time. To our knowledge this is the first-time appearance similarity is used to estimate cohesion. We also test if a multimodal mimicry model performs better than a unimodal mimicry model to investigate if the different forms of mimicry contain complementary information. Our group-level movement mimicry features detect social cohesion with average an area under the ROC-curve of 0.64 for social cohesion, and the accelerometer-based movement mimicry features specifically detect task cohesion with an average AUC of 0.63. The multimodal combination of the different features does improve over the unimodal models with an area under the ROC-curve of 0.68 for social cohesion and 0.65 for task cohesion. This shows both that movement mimicry is an indicator of verbal expressions of cohesion, and that measuring mimicry in different modalities can better model cohesion than a unimodal model. Further experiments are recommended for general appearance feature mimicry, specifically in the method used to measure mimicry, to confirm or deny if these are related to cohesion.
Pistol Identification System Based on Breech Face Digital Images Analysis

This study is an innovative research. The objectives of the research were i) to design and develop the Pistol Identification System for digital image analysis of the tool marks on the breech-face of cartridge cases and ii) to store, manage and match the tested digital image files to the digital image files using the database management technology. The samples used in this study were composed of 300 shelled gun cases used with .38 pistols. Other equipment used were included mobile phone, computer, Matlab language program, PHP language program, and Microsoft Access software. The digital images of the tool marks were analyzed and compared using a newly developed algorithm. Subsequently, the data were stored, managed and matched using the database management technology. The tested digital image files were compared to the digital image files in the database. The accuracy of the matching results was more than 80%.
EFEK MEDIASI PARALEL DISIPLIN BELAJAR DAN MOTIVASI BELAJAR SISWA PADA PENGARUH PERHATIAN ORANG TUA TERHADAP HASIL BELAJAR SISWA PADA MATA PELAJARAN EKONOMI : Survey Pada Siswa Kelas XI IPS SMA Negeri Kota Bandung Wilayah A

Ratih Sri Astuti (1500466). “Efek Mediasi Paralel Disiplin Belajar dan Motivasi Belajar Siswa pada Pengaruh Perhatian Orang Tua terhadap Hasil Belajar Siswa pada Mata Pelajaran Ekonomi (Survey pada Siswa Kelas XI IPS SMA Negeri Kota Bandung Wilayah A).” Pembimbing I: Prof. Dr. H. Disman, MS. Pembimbing II: Drs. Ani Pinayani, MM.ABSTRAKTujuan penelitian ini adalah untuk mengetahui pengaruh perhatian orang tua terhadap hasil belajar siswa, disiplin belajar memediasi pengaruh perhatian orang tua terhadap hasil belajar siswa, motivasi belajar memediasi pengaruh perhatian orang tua terhadap hasil belajar siswa pada mata pelajaran ekonomi. Metode yang digunakan dalam penelitian ini adalah survey eksplanatori dengan menggunakan kuisoiner sebagai alat pengumpulan data. Populasi adalah seluruh siswa kelas XI IPS SMA Negeri Kota Bandung Wilayah A yaitu sebanyak 341 siswa dengan menggunakan teknik sampel random sampling, diperoleh sampel sebanyak 184 siswa. Teknik analisis data yang digunakan yaitu regresi linear berganda dengan variabel mediasi. Hasil penelitian menunjukkan bahwa: (1) perhatian orang tua berpengaruh positif terhadap hasil belajar siswa, (2) disiplin belajar memediasi pengaruh perhatian orang tua terhadap hasil belajar siswa, (3) motivasi belajar memediasi pengaruh perhatian orang tua terhadap hasil belajar siswa.Kata Kunci: Perhatian Orang Tua, Disiplin Belajar, Motivasi Belajar, Hasil Belajar.Ratih Sri Astuti (1500466). Mediation Effects of Parallel learning Disciplines and student learning Motivation on the Effect Parental Attention of the Student Learning Outcomes on Economic Subjects (The Survey of Class XI IPS Students in Bandung City Senior High School Region A). Advisor I: Prof. Dr. H. Disman, MS. Advisor II: Drs. Ani Pinayani, MM.ABSTRACTThe purpose of this study is to determine the effect of parental attention on student learning outcomes, learning discipline mediates the effect of parental attention to student learning outcomes, learning motivation mediates the effect of parental attention to student learning outcomes on economic subjects. The method used in this study is an explanatory survey using quizoiner as a data collection tool. The population is all students of class XI IPS SMA Negeri Kota Bandung region A, which is 341 students using sampling random sampling technique, obtained a sample of 184 students. The data analysis technique used is multiple linear regression with mediating variables. The results showed that: (1) parental attention had a positive effect on student learning outcomes, (2) learning discipline mediated the effect of parental attention on student learning outcomes, (3) learning motivation mediated the effect of parental attention on student learning outcomes.Keywords: Parental Attention, Learning Discipline, Learning Motivation, Learning Outcomes.
ECLAT based market basket analysis for electronic showroom

Market basket analysis is a data mining technique to discover associations between datasets. Association rule mining identifies a relationship between a large set of data items. When a large quantity of data is constantly obtained and stored in databases, several industries are becoming concerned with mining association rules from their databases. Market basket analysis examines customer buying patterns by identifying associations among various items that customers place in their shopping baskets. It is helpful to examine customer purchasing behavior and assists in increasing sales. So, this system is intended to develop a system for market basket analysis on Electronic showroom which will generate association rules among itemsets with the use of ECLAT (Equivalence Class Transformation) algorithm. This system supports the decision-making process for a market expert.
Web Presence of Selected Iconic Public Libraries’ of India: A Webometric Analysis

The present study examines the websites of Selected Iconic Public Libraries’ in India. There are 11 Iconic public libraries in India, out of which 9 libraries are having their websites. The study analyses the total number of webpages, domain authority, equity-links, internal, external links and web impact factor and to rank it. The study explored that the National Library of India tops with highest Page Authority (21%) , Total Linking Root domains (68%), highest External Equity- Passing Links (97%), Total Equity- Passing Links (88%), Total External Links (97%), Total Links (87%), Followed Linking Root Domains (68%) and with highest Linking C Blocks ( 68%). Thus, it can be interpreted that the overall WIF of National Library of India is at top most position with 92.90 SWIF & EWIF , on the other hand, Nehru Memorial Museum and Library stands at second place with with 15.82 SWIF and 15.35 IWIF among 9 selected Iconic Public libraries’ of India.
Finding Thoreau: The Meaning of Nature in the Making of an Environmental Icon

Henry David Thoreau has been read in many ways over the years. In this helpful new study, Richard W. Judd aims to explain “the dynamics of Thoreau's reputation” in American history (p. 2). He suggests that Thoreau's “epigrammatic” writing style has allowed readers to discover “an inexhaustible supply of pithy quotes useful for virtually any occasion” (p. 13). The only way to understand the “essential Thoreau,” he suggests, is to probe “the context of the time in which he is read” (p. 24). Thoreau was only a modestly successful writer during his lifetime. Not until the end of the nineteenth century, when some Americans began to experience ambivalence about the machine age, did Walden (1854) begin to be widely read (Judd reports that six American editions of Walden were printed between 1889 and 1902). In the early twentieth century, Thoreau rode a “cult of nature” fad and fully entered the American literary canon (p. 56). In the interwar and postwar periods he was read by literary critics for his stylistic genius, by social critics for his critique of inequality and materialism, and by others still as a prophet of nature. (During this period Thoreau was many things to many people, and Judd's analysis of these developments is more diffuse than when he focuses his attention on other periods.) In the 1960s Thoreau became a cultural icon, no longer confined to the attention of scholars and intellectuals; indeed, he was made into a figure for the time—a hippie and a political activist. His most recent incarnation is as a founder of modern environmentalism. In all these periods, Judd suggests, Thoreau is disciplined by his readers to meet their needs. He succeeds in helping us understand the demands placed upon Thoreau and how his “malleability” as a writer allowed him to provide guidance and comfort to the range of needs evolving from his time to our own (p. 107).
IoT Based Smart Waste Management System For Smart City

Segregation of Metallic and Non-metallic waste are done.Continuous Monitoring of Dustbin includes Level Detection,Gas Detection,Moisture Detection.Automatic Opening and closing of the Dustbin.The values get updated with the help of the IoT.
LibGuides: Faculty Services and Resources: Library Website Overview

Recently started at Oxford? Use this guide to learn about key library services and services.
Providing Sense of Embodiment with Mobile Virtual Reality Devices: A Case Study using the "Lamp-Head's Laboratory" Animation

The Sense of Embodiment (SoE) is the sense that emerges when a person begins to process the properties of an artificial body as if they were the properties of its own biological body. This sense has been tested and studied through the use of VR applications, and these researches are helping us to understand our brain's representations of our bodies. At the same time, following the SoE is assisting the developers to make more immersive and striking VR experiences. At this publication's date, one of the cheapest ways to engage in VR experiences is through a smartphone, but although its technology is rapidly evolving, smartphones can only provide a fraction of the SoE experience, since they lack sensors capable of tracking more than merely the position and rotation of a user's head. This work presents an approach to provide a SoE experience in virtual reality for mobile devices through the union of the technologies Google VR and Leap Motion controller. Our work was guided by the concepts of sense of embodiment, sense of selflocation, sense of body ownership and sense of agency and by the requirements for embodiment experiments. We also describe a pilot study carried out with the VR animation "O laboratório do Cabeça-de-lâmpada", in which our approach was implemented and evaluated with nine volunteers. This pilot study showed encouraging evidence for the solution's ability to arouse the SoE, but was inconclusive due to severe technical failures in the application.
ISSUES PREVENTING ENGLISH TEACHERS IN SAUDI ARABIA FROM USING SOCIAL MEDIA TO SUPPORT ENGLISH TEACHING

ISSUES PREVENTING ENGLISH TEACHERS IN SAUDI ARABIA FROM USING SOCIAL MEDIA TO SUPPORT ENGLISH TEACHING
ABOUT SERENDIPITY INSIDE PROJECTS OR IMPROVE WHAT IS UNPREDICTABLE

Appears in: ICERI2019 Proceedings Publication year: 2019Pages: 1198-1203ISBN: 978-84-09-14755-7ISSN: 2340-1095doi: 10.21125/iceri.2019.0367Conference name: 12th annual International Conference of Education, Research and InnovationDates: 11-13 November, 2019Location: Seville, Spain