Reviewerly/exHarmony huggingface dataset:
Proposing an Institutional Framework to Increase the Effectiveness of Government and Public’s role in enhancing Technological Capacity of Internal Productions: A Case Study of the Maximal use of internal capabilities law

Global experience has shown that policymakers in both developing and developed countries have always used the leverage of the domestic market to enhance their country's technological capability as an important and effective policy instrument. In Iran, the most important policy in this area is the law of “maximal use of internal capabilities”, which despite the modification of the initial version in 2012, seems to have failed to have effectiveness for the economy of the country. In this study, by reviewing the history of the implementation of this law, related laws and regulations, and initial interview with experts, six main institutional categories were identified. Using the method of focus group and analyzing the content of the discussions and interviews conducted in six sessions, the institutional framework for increasing effectiveness of this kind of laws was proposed. According to the analysis, the most important institutional deficiencies in reducing the effectiveness of the law, were some issues like: the importance of a full project to Iranian companies and forcing them to improve its technological capability, the lack of a system of financing, the lack of sectoral innovation policy and regulation and lack of aggregation of public demand for increasing bargaining power.
Towards a quantum network within deployed telecommunications fibre-optic infrastructure

Quantum networks have begun to connect many users together with Quantum Key Distribution links. We present a scalable, full mesh, polarisation entanglement-based quantum network without trusted nodes. We discuss our progress towards building a dynamic quantum network with more users, long distance (≈50 km) links and improved polarisation stability in the optical fibres. Lastly, minimising the resource overhead and optimising the network control based on end-user requirements are important features we are incorporating into our network.
ICTs and their impact on academic results: an analysis based on the TPACK model.

The integration of ICTs in the educational field has become an innovative tech nique for improving teaching-learning processes. This study aims to analyze the incidence of ICTs in the results of the Saber 11 tests applied in 2016, in Cun dinamarca and Bogota. Since integrating ICTs in the classroom should not be analyzed in isolation, the TPACK model will be taken as a frame of reference for this study. This model encompasses the two main components of education (pe dagogy and content) and technology. A questionnaire was designed and applied to collect information on teachers’ competencies about the TPACK model. Li kewise, a quantitative analysis (linear regression and ANOVA) was proposed, taking the students’ average results, grouped by the institution, as an indepen dent variable. This allowed observing the variations of their behavior in contrast to the different independent variables. The relevance obtained by the students’ socio-economic family status (Sig. = 0,000) to explain the behavior of the inde pendent variable is highlighted, as well as the negative relationship between the technological infrastructure and the results obtained in the standardized tests of the government schools. In conclusion, the study corroborates previous research, stating that high socio-economic status institutions obtain better results than those of low status. However, the current integration of technology, pedagogy, and content is not relevant when explaining the Saber 11 test results.
The many flavours of STEAM education for an inclusive environment

&amp;lt;p&amp;gt;STEAM is often seen as the integration of an art form into the teaching of sciences. Although that is not necessarily wrong, it is a very limited view of the powerful tool that STEAM learning can be. Just like a pizza, STEAM education can have &amp;amp;#8220;many flavours&amp;amp;#8221; and each of these &amp;amp;#8220;flavours&amp;amp;#8221; can be focused on with different intensities.&amp;lt;/p&amp;gt; &amp;lt;p&amp;gt;POLAR STAR is an Erasmus project that focuses on innovative educational methods. One of its pillars is an innovative STEAM methodology that focuses on delivering an engaging education for a diverse classroom. To make the methodology more understandable, the team has come up with an amusing exercise called &amp;amp;#8220;the pizza challenge&amp;amp;#8221;. It invites teachers to create a pizza. The aim is to reflect on the fact that even for a specific diet (for e.g., vegan), different people with choose different ingredients and flavours according to their likes and dislikes. Similarly, in a classroom, each student will have their likes and dislikes, their interests, their way of thinking and of working, turning them into unique &amp;amp;#8220;consumers&amp;amp;#8221;. With this parallel, teachers realize that it is important to offer different &amp;amp;#8220;flavours&amp;amp;#8221; to different students in a classroom.&amp;lt;/p&amp;gt; &amp;lt;p&amp;gt;The POLAR STAR methodology offers teachers a variety of lesson planners, focusing on the different flavours of STEAM. It guides teachers into reflecting on their students and choosing one or more activity templates for a given lesson. These templates can focus on &amp;lt;strong&amp;gt;S&amp;lt;/strong&amp;gt;TEAM (with special emphasis on a science-based activity), on ST&amp;lt;strong&amp;gt;E&amp;lt;/strong&amp;gt;AM (with special emphasis on an engineering-based activity) and on STE&amp;lt;strong&amp;gt;A&amp;lt;/strong&amp;gt;M (with special emphasis on an arts-based activity). By diversifying the way they deliver their lessons teachers will be reaching a wider diversity of students and providing them with more engaging, motivational and interactive activities.&amp;lt;/p&amp;gt; &amp;lt;p&amp;gt;POLAR STAR integrates these methodologies in a diverse kit of activities provided for teachers and students, following the different activity templates, in the fields of Astronomy and Polar Science, as well as holistic interdisciplinary learning approach, based on the Big Ideas of Science.&amp;lt;/p&amp;gt; &amp;lt;p&amp;gt;All teachers are welcome in the project and can find more information on the projects&amp;amp;#8217; website: http://polar-star.ea.gr/. During this talk the STEAM methodology to deliver Astronomy and Polar Science interactive lessons will be presented.&amp;lt;/p&amp;gt;
Nuclear Magnetic Resonance

Nuclear magnetic resonance (NMR) uses a large ensemble of molecules in a test tube (a liquid). The spin states of nuclei within the atoms of the molecules act as the qubits. Each molecule is a quantum computer.
Classifying Dyads for Militarized Conflict Analysis

Understanding the origins of militarized conflict is a complex, yet important undertaking. Existing research seeks to build this understanding by considering bi-lateral relationships between entity pairs (dyadic causes) and multi-lateral relationships among multiple entities (systemic causes). The aim of this work is to compare these two causes in terms of how they correlate with conflict between two entities. We do this by devising a set of textual and graph-based features which represent each of the causes. The features are extracted from Wikipedia and modeled as a large graph. Nodes in this graph represent entities connected by labeled edges representing ally or enemy-relationships. This allows casting the problem as an edge classification task, which we term dyad classification. We propose and evaluate classifiers to determine if a particular pair of entities are allies or enemies. Our results suggest that our systemic features might be slightly better correlates of conflict. Further, we find that Wikipedia articles of allies are semantically more similar than enemies.
Beyond accessibility

The ethics and responsibilities of technology companies are under increased scrutiny over the power to design the User Experiences (UXs) embedded in their products. Researchers advocating a Rawlsian “just and fair” design process have suggested a “veil of ignorance” thought experiment in which designers adopt the standpoint of unspecified hypothetical users to ensure designers are not biasing their own perspectives at the expense of others. This article examines including and excluding such standpoints through the lens of edge users—a term based on extreme “edge cases” in which systems are more likely to break down. Edge users are particularly marginalized and subject to a spiral of exclusion when interacting via Internet and Web resources whose design disregards them because their ability to research and voice their experiences is further limited. Active proxies, those already helping or standing in for marginalized users, can be enlisted as design allies to develop a deeper understanding of such edge groups and contexts. Design ethics, in short, needs to move beyond making technologies accessible to all people, to making all types of people accessible to designers.
Weakly Supervised Relative Spatial Reasoning for Visual Question Answering

Vision-and-language (V\&L) reasoning necessitates perception of visual concepts such as objects and actions, understanding semantics and language grounding, and reasoning about the interplay between the two modalities. One crucial aspect of visual reasoning is spatial understanding, which involves understanding relative locations of objects, i.e. implicitly learning the geometry of the scene. In this work, we evaluate the faithfulness of V\&L models to such geometric understanding, by formulating the prediction of pair-wise relative locations of objects as a classification as well as a regression task. Our findings suggest that state-of-the-art transformer-based V\&L models lack sufficient abilities to excel at this task. Motivated by this, we design two objectives as proxies for 3D spatial reasoning (SR) -- object centroid estimation, and relative position estimation, and train V\&L with weak supervision from off-the-shelf depth estimators. This leads to considerable improvements in accuracy for the GQA visual question answering challenge (in fully supervised, few-shot, and O.O.D settings) as well as improvements in relative spatial reasoning. Code and data will be released \href{this https URL}{here}.
DJANGO AS SECURE WEB-FRAMEWORK IN PRACTICE

. Today information security has become one of the most important parts of our social media life. Social and media resources are based on web-services in the cloud. It means security of web-services is the equality of people’s social, media, data and information security. In this paper the most important focus was on special secure techniques and tools inside the most popular web-framework on Python programming language - Django. Django has several really strong design patterns and techniques with special tools to store and send user’s data in very secure methods. Developer can easily install in Django-application some new extra instruments, tools and special libraries to make web-application more securable. Django has such extremely useful instruments like Django-ORM, CSRF-tokens, XSS-protection and so many else. For example, Django-ORM (Object-Relational Mapping) is a really powerful instrument to be used for protection of such attacks like SQL-injections. One more instance, CSRF-token (Cross-site request forgery - token) is really amazing internal Django's tool against cross-site request forgery attacks that Django uses in html-templates. The best practice and good examples of these tools are shown inside this paper. Moreover, in the paper were demonstrated comparison of different attack cases and their deep analysis with protection methods from these attacks by Django's tools and techniques. One more thing, we also briefly reviewed other types of vulnerabilities and methods of protection against them and hope this article has given an understanding of the Django security techniques. Finally, Django could become more securable after each next version.
Education of Engineers’ Ethics by The Japan Society of Mechanical Engineers

The Japan Society of Mechanical Engineers enacted the Code of Ethics in 1999 and established the Engineering Ethics Committee in 2000. This committee has been working to enlightment of the ethics for students, teachers, engineers and researchers. This committee published a report on ethics education for departments of mechenical engineering at universities and colleges. This committee has held forums and workshops on engineering ethics every year, and published columns on its journals.
What Kids Are Reading 2019 – The Big Launch!

Now in its eleventh year, our annual What Kids Are Reading report is worth making a big deal out of!
HIGH-TECH MODEL OF ALBAZINSKY FORT

The methodology of using computer technologies for scientific and metric modeling of lost wooden structures dating back to medieval period in Russian history is reviewed. The most accurate recon-struction of the Albazinsky Fort exterior as of 1685, implemented within the framework of ontological coordination of initial data maximum sampling, is presented.
Model checking of smart contracts using logic programs

The popularity of blockchain platforms has drastically increased in the past years. It seems that this trend will continue with the emergence of smart contract technologies. Smart contracts are programs stored inside the blockchain. Blockchain platforms offer means for the secure execution of procedures. These procedures cannot be modified or manipulated after being uploaded to the blockchain. Like every program they are susceptible to present bugs. Avoiding bugs in these programs is of great importance for two main reasons. First, they constantly perform money transfers so a faulty implementation can cause money losses. Second, once a contract is uploaded to the chain it cannot be modified or changed in any way. Therefor their implementation must be heavily checked before they are uploaded to the blockchain. In this master’s thesis we present a new approach of model checking of smart contracts using logic programming. To achieve this we use the theoretical framework of transition systems and Linear Temporal Logic (LTL). We use transition systems to formally define the behaviour of the smart contracts and LTL to describe properties and invariants that must be preserved during the execution of the models. From each transition system we write a Prolog program that implements its behaviour. Finally we check that the properties defined in LTL hold by asking queries to the Prolog engine.
Dynamic Relation Repairing for Knowledge Enhancement

As the prosperity of unstructured data in networks, knowledge extraction tools have been designed for new knowledges from unstructured data streams. The generated RDF streams by knowledge extraction are always containing much errorous tuples causing inconsistency to knowledge graph engine.To enable the completeness of information from unstructured streams, dynamically repairing the violated RDF tuples is the best way to process. Observed this, we propose dynamic relation repair process to find and eliminate violations in errorous RDF stream. RDF data, arranged as graphs, leads to computation hardness when trying to find constraints and repairing metrics. In this paper, we consider graph repairing process with implicit graph constraints enabling RDF candidates validation and repairing through subgraph matching with the sample of localized subgraphs from graph engine with the same relation labels. We also propose approximated graph matching process through dynamic graph embedding for time efficiency. Cold start problem is also well analyzed to avoid inefficient repairing. Experimental results on real datasets demonstrate that our work can capture and repair violation in RDF streams dynamically and effectively.
A New Conjecture About Identity of Proofs

A central problem in proof-theory is that of finding criteria for identity of proofs, that is, for when two distinct formal derivations can be taken as denoting the same logical argument. In the literature one finds criteria which are either based on proof normalization (two derivations denote the same proofs when they have the same normal form) or on the association of formal derivations with graph-theoretic structures (two derivations denote they same proof when they are associated with the same graph). In this paper we argue for a new criterion for identity of proofs which arises from the interpretation of formal rules and derivations as natural transformations of a suitable kind. We show that the naturality conditions arising from this interpretation capture in a uniform and elegant ways several forms of "rule-permutations" which are found in proof-systems for propositional, first- and second-order logic.
The Effect of Jigsaw on Students Ability in Writing a Descriptive Text at SMA Negeri 1 Silangkitang

This study aims to determine ability in writing of students at SMA NEGERI 1 SILANGKITANG. Data collection technique used this research is direct observation and test. In this study population is entire amount 157 students in two class. This research use a instrument to collecting the data is a testin multiple choice, the result pre-test in experiment class 66.62, and at control class is 74.67. Hypothesis testing can get tcount>ttable is 4,29>2,04 at significant level =0,05 it show that H0 is rejected and Ha is accepted. This is show that “There is a significant realitionship between The Effect of Jigsaw on Students Ability in Wtriting Descriptive Text At SMA NEGERI 1 SILANGKITANG On Academic Year 2019/2020 is accepted and the result is show the highest score.
LibGuides: Lynda Hutto- SLIS 752- Copeland-Spring 2021: Assessment Resources

This guide will assist general education teachers with teaching students who speak English as a second language. This guide provides resources and rationale for the use of these resources to better assist students who speak English as a second language. These resources will assist teachers in creating and / or modifying assessments for English Language Learners.
Fuzzy Multi-Criteria Decision Making To Classify Land Capability And Suitability

The land capability and suitability classification is a difficult thing to do. The problem formulated in this study is how to use fuzzy multi-criteria decision making to determine the classification of land suitability and suitability. In fuzzy logic shows the extent to which the value is true and the extent to which the value is false. Multi-Criteria Decision Making is a method of decision making to determine the best alternative based on certain criteria. The purpose of this study is to create a system that can facilitate the classification of land suitability and suitability by using fuzzy multi-criteria decision making. This research was conducted with three stages,namely: 1. The problem representation stage (including determining decision objectives, identifying alternatives, identifying criteria, and establishing a decision hierarchy structure), 2. Evaluating the fuzzy set of alternative decisions (including establishing linguistic variables) and membership functions, determine branches for each criterion, and calculate the fuzzy suitability index for each alternative), 3. Defuzzy stage to find an optimal alternative value. The expected output or outcome at the end of this research is the creation of a system of land capability and suitability classification using fuzzy multi-criteria decision making
Image defogging method for road traffic in haze days

Haze weather conditions, reduced visibility and poor line of sight will seriously affect driving safety. In the case of haze weather, the weather obscures the field of vision, the quality of collected images is significantly reduced, and the working efficiency of intelligent transportation system is low, based on the a priori defogging algorithm of dark channel, this paper explores the image restoration method combined with image region segmentation, and optimizes it from the perspective of traffic application, so as to obtain better processing effect. The research shows that this method makes the image details more prominent after defogging, has better visual effect and time performance, and is conducive to target detection in haze weather.
Educating Librarians and Information Professionals at the University of San Carlos

This paper shows the history and development of the LIS program of the University of San Carlos (USC). Started as a Library Science subject in the 1950’s, the academic department is now a section in the Computer and Information Sciences. The LIS Section teaches future librarians and information professionals, monitors the licensure examinees, and continues to do outreach activities.
Chemically Active Elements Trace Hydrocarbon Migration with a Perspective of Fluid-Rock Interaction

Summary The comprehensive petrologic and geochemical analysis on the reservoirs of Baikouquan Formation of Triassic in the slope of Mahu Sag, Junggar Basin revealed a good insights of inorganic geochemistry indicators to trace the migration of hydrocarbon-bearing fluids by using the elemental changes. Results of the analysis on the distribution of in-situ elements and slice elements of quartz overgrowth show that the content of chemically active elements such as Mn, Fe, Al, Sr and W is higher at rims than that in the cores, impying a large number of elements in hydrocarbon-bearing hydrothermal fluids may respond to fluid migration and enter the quartz overgrowth through fluidrock interaction. Effective element indicators such as MnO, Mn/Zr, and Y/Ho are constructed to indicate the migration and accumulation paths. It is considered that the direction in which the content of chemically active elements decreases can indicate the potential direction of hydrocarbon fluid migration.
Transformasi Layanan Perpustakaan Di Masa Pandemic Covid 19

Libraries as one of the public information services must also implement health protocols during the Covid-19 pandemic. Libraries limit their services by various rules. Based on a circular letter, the Minister of Education and Culture of the Republic of Indonesia has issued a circular regarding Online Learning and Working from Home in the Context of Preventing the Spread of Corona Virus Disease (COVID-19), and strengthened by a Circular Letter from the Governor of Lampung regarding the Implementation of Controlling the Impact of Corona Virus Disease 2019 ( COVID-19) In Religious, Economic, and Cultural Activities in Lampung Province, the Indonesian Technocrat University Library (UTI) in Bandar Lampung implemented several service policies during the Covid-19 pandemic, including restrictions on direct face-to-face services by only opening online services. , always apply the 3M (Washing hands, Wearing masks and Maintaining Distance) and free online libraries. The study used a literature study type of research method. The approach used in this study is a qualitative-inductive approach, where this approach uses a qualitative method that focuses on literature review. Of the 3 variables, 21 indicators and 100 samples produced quite good results, including reading material variables with an average number of 4.38 out of 8 questions, the second with infrastructure variables with an average number of 4.38 out of 7 questions and three with HR competency variables with the average score is 4.41 out of 6 questions. With a total average of three variables totaling 4.39 with 21 questions. In conclusion, the Indonesian Technocrat University community does not find it difficult to access digital collections or enjoy the services the library provides during a pandemic, a possible reference source that can be accessed when undergoing online lectures from home. Digital information is one of the most possible alternatives to overcome the problem of miscommunication between librarians and users. The digital promotional information model is needed by transferring promotional information materials using digital technology, and utilizing social media, such as Youtube, Whatsapp, websites and Facebook as media for publication and promotion.