Reviewerly/exHarmony huggingface dataset:
Modelling Open Social Scholarship Within the INKE Community

Given the current state of digital technology, there is a clear opportunity to revamp scholarly communication into a multi-faceted, open system that integrates and takes advantage of the near-ubiquitous global network. In doing so, the values of collaboration, sharing, and transparency inherent to open social scholarship can be integrated into knowledge dissemination methods. The Implementing New Knowledge Environments (INKE) community is currently organized around the idea of open social scholarship, but putting this into practice will involve assessing and revising INKE’s own scholarly communication processes. In this paper, we explore the current state of open access to academic research and ruminate on next steps, beyond open access. We consider the role of collaboration in contemporary academic practice, and the importance of transparency in regards to multiplayer work. Further, we examine the standard scholarly communication model, especially as it pertains to INKE. Finally, we make recommendations and suggest alternatives for transforming our stock scholarly communication models into open social scholarship practices.
Influence of inclination angle on the efficiency of a flat plate solar collector

Renewable energies are now established around the world as mainstream sources of energy. Solar energy is one of the main future sources of renewable energies in our country. Albania is considered a country with a good regime of solar energy and with a high potential of solar radiation with a mean value of 1498 kWh/m2 per year for Tirana region. The amount of power generated by a solar system at a particular site depends on how much of the sun’s energy reaches it. The solar energy intake at a particular site and at a particular month depends on the inclination angle of the solar system and monthly distribution of insolation. In order to maximize yearly solar energy intake in a specific region the inclination angle of solar system with horizon must be selected carefully based on long term data of solar insolation. In this study we have analyzed long term insolation data for three main regions of Albania, Tirana, Vlora, Korça, and based on them we have calculated solar energy intake for different inclination angles of the system. The maximum values of energy intake each region, results for inclination angle with horizon respectively 33.5, 32.5 and 30 degrees. It was also shown that efficiency of solar system decrease for inclination angles different from above angles with an average rate of 0.33 % per degree. However, it must be mention that for small differences of inclination angles the decrease rate is much smaller, minimizing in a way importance of inclination angle. In the case of monthly change of inclination angle of solar system to values corresponding maximum of monthly solar energy intake was defined an increase of efficiency, compared with the case of fixed inclination angle for each region of 5.1%, 4.98% and 4.88%, respectively.
Intensional computation with higher-order functions

Intensional computations are those that query the internal structure of their arguments. In a higher-order setting, such queries perform program analysis. This is beyond the expressive power of traditional term rewriting systems, such as lambda-calculus or combinatory logic, as they are extensional. In such settings it has been necessary to encode or quote the program before analysis. However, there are intensional calculi, specifically confluent term rewriting systems, that can analyse higher-order programs within the calculus proper, without quotation; there are even programs that produce the Goedel numbers of their program argument. This paper summarizes the current situation. Highlights include the following observations. We have known since 2011 that the simplest intensional calculus, SF-calculus, supports arbitrary queries of closed normal forms, including equality, pattern-matching, searching and self-interpretation. Recent work, verified using the Coq proof assistant, has shown that all recursive programs can be represented as closed normal forms in SF-calculus, and even in combinatory logic. Thus, we can here deduce that SF-calculus (but not combinatory logic) can define queries of programs. These results are compatible with direct support for lambda-abstraction. Although these results conflict with the traditional understanding of expressive power of combinatory logic and λ-calculus, as developed by Church and Kleene, our recent publication has shown that their approach is compromised by its reliance on encodings. To drive the point home, this paper uses a non-standard encoding to lambda-define a trivial solution of the Halting Problem.
How Best to Design Fuzzy Sets and Systems

The fundamental shift in dealing with uncertainties [12] and computerised reasoning was made by the late Professor Lotfi Aliasker Zadeh (1921–2017) in 1965 in his seminal paper [1]. For the last over five decades the Fuzzy Sets theory has matured and was applied to a long list of applications spanning from engineering, social sciences, biology to transport, mathematics and many more
University-Industry Collaboration in Curriculum Design

This poster session will discuss several dimensions of bias in curricular design that must be considered in the development of curriculum materials in undergraduate computer science education if we are to broaden interest, engagement and ultimately participation. Multiple dimensions of bias were used to identify gender, race and other biases in curricula that led to the authors' redesign of coursework materials and activities in two undergraduate courses: Computer Networks and Cybersecurity. Our goal was to assess current curricula and ultimately redesign curricula to include topics and authentic activities connected to industry while also broadening learner interest, engagement and accessibility. The design of materials intentionally shifted to social problems, data-driven problem solving and other new curricula foci areas that have been shown to broaden interest and engagement. In addition, materials are aligned with national standards and competencies in cybersecurity while maintaining course rigor. The expanded study includes the use of multiple measures to assess the effectiveness of curriculum design in relation to interest and other factors that influence the engagement of learners in their first two years of computer science coursework. The Computer Science Cultural Attitude and Identity Survey (CSAIS) was revised and used to measure constructs that influence the attitudes and identity of undergraduate students in computer science including interest as well as other factors such as self-efficacy and identity.
Image engineering in China：2022

本文是关于中国图像工程的年度文献综述系列之二十八。为了使国内广大从事图像工程研究和图像技术应用的科技人员能够较全面地了解国内图像工程研究和发展的现状，能够有针对性地查询有关文献，且向期刊编者和作者提供有用的参考，本文对2022年度发表的图像工程相关文献进行了统计和分析。具体从国内15种有关图像工程重要中文期刊在2022年发行的所有154期上所发表的学术研究和技术应用文献（共3 096篇）中，选取出所有属于图像工程领域的文献（共908篇），并根据各文献的主要内容将其分别归入图像处理、图像分析、图像理解、技术应用和综述评论5个大类，然后进一步分入23个专业小类（与前17年相同），并在此基础上分别进行了各期刊及各类文献的统计和分析。根据对2022年统计数据的分析可以看出：图像分析方向当前得到了最多的关注，其中目标检测和识别、图像分割和基元检测等都是研究的焦点。此外，遥感、雷达、声呐、测绘以及生物、医学等领域的图像技术开发和应用最为活跃。另外，图像工程技术正在不断拓展新的应用领域，未来新的应用小类有可能还会增加。总的来说，中国图像工程在2022年的研究深度和广度还在继续提高和扩大，仍保持了快速发展的势头。综合28年的统计数据还为读者提供了更全面和更可信的各个研究方向发展趋势的信息。;This is the 28th annual survey series of bibliographies on image engineering in China. This statistic and analysis study aims to capture the up-to-date development of image engineering in China，provide a targeted means of literature searching facility for readers working in related areas，and supply a useful recommendation for the editors of journals and potential authors of papers. Specifically，considering the wide distribution of related publications in China，all references （908）on image engineering research and technique are selected carefully from the research papers（3 096 in total）published in all issues（154）of a set of 15 Chinese journals. These 15 journals are considered important，in which papers concerning image engineering have higher quality and are relatively concentrated. The selected references are initially classified into five categories（image processing，image analysis，image understanding，technique application，and survey）and then into 23 specialized classes in accordance with their main contents（same as the last 17 years）. Analysis and discussions about the statistics of the results of classifications by journal and by category are also presented. Analysis on the statistics in 2022 shows that the direction of image analysis has received the most attention at present，among which object detection and recognition，image segmentation and primitive detection are the focus of research. Besides，the development and application of image technology in remote sensing，radar，sonar and mapping，as well as biology and medicine fields are the most active. In addition，image engineering technology is constantly expanding new application fields，new application categories may be increased in the future. In conclusion，this work shows a general and up-to-date picture of the various continuing progresses，either for depth or for width，of image engineering in China in 2022. The statistics for 28 years also provide readers with more comprehensive and credible information on the development trends of various research directions.
Machine Learning for an Adaptive Rule Base

This paper deals with a design of an original approach for machine learning, which allows the rule base adaptation. This approach uses a fuzzy inference mechanism for decision making, finite-state machine for the rule base switching, and the teacher Supervisor for creating the most suitable rules for the activity (skill) which is supposed to be learned. The used fuzzy inference mechanism is the integration of LFLCore, which was developed at the Institute for Research and Applications of Fuzzy Modeling. The proposed approach of machine learning was tested in individual experiments, in which the system learns to move with its joints. How the system moves with its joints is given by patterns which are submitted before the beginning of learning. The evaluated results with possible modifications are mentioned at the end of this paper together with a formulated conclusion.
Integrating Agent-based Modeling in STEM Classes

Agent-based modeling (ABM) is a form of computational modeling whereby a phenomenon is modeled in terms of agents and their interactions. By looking at scientific phenomenon using ABMs, students can learn to understand the micro interactions that are responsible for so many of the seemingly complex systems in the world around them. In addition, by integrating CT skills into science classrooms, we can simultaneously broaden participation in computing, provide a more authentic scientific experience for learners, and encourage deeper scientific content learning. In this hands-on workshop, we introduce participants to two parallel agent-based modeling environments: NetTango (Olson & Horn, 2011), a blocks-based language, and NetLogo (Wilensky, 1999), a text-based language. The workshop will focus on contextualizing agent-based modeling activities within high school STEM classrooms, allowing participants to explore how computer science can be integrated into existing high school STEM curricula. Over the course of the workshop, participants will gain first-hand experience with ABM and how to design ABM activities in classrooms using NetTango and NetLogo. In addition, the workshop will feature open discussions in which participants will discuss the learning trajectories and affordances of the different programming modalities, brainstorm models that could be built for student exploration, and design activities that incorporate both scientific and computer science content for existing curricula.
Measurement of Negative Poisson's Ratio of CFRP Laminates Using 3D Digital Scanning Method

In this study, a through-the-thickness negative Poisson's ratio of an angle-ply carbon fiber-reinforced plastic (CFRP) laminate is experimentally investigated using a 3D digital scanning method. For this, an image-based measurement method using a 3D digital scanner is developed to obtain the thickness change of CFRP laminates. The thickness change is used to calculate the through-the-thickness Poisson's ratio of CFRP laminates. Then, a tensile test of a [± θ °] angle-ply CFRP laminate is performed, and the through-the-thickness Poisson's ratio is measured based on the developed method. The results obtained suggest that the through-the-thickness Poisson's ratio exhibits negative values which become increasingly negative as (visco)plastic deformation progresses in the laminate, as demonstrated in our previous analysis.
Developing of Service-Oriented Architecture (SOA) Adoption Framework and the Related Hypotheses

In this chapter influential factors that concluded from papers reviewed in Chap. 2 will be investigated as the initial findings of this study. Then the theoretical framework and hypotheses will be proposed in continuation. Afterwards, pilot study will be performed. Final step includes the explanation of validity and reliability of the questionnaire. Therefore, the main effort of this chapter is to test the initial study. Concluded factors from literature review of the study can guide to categorize the fundamental domain of research and will be used as primary definitions for next step of the research. In this chapter, the relationship among significant factors, SOA adoption and the impact of them on the performance of organizations are discovered.
Ignore, Refactor, or Rewrite

Imagine that you have some code written, but it has problems. The problems are small enough that you could imagine rewriting the code completely, and you must choose what do. You could do nothing (ignore it), make incremental changes (refactor it), or write new code from scratch (rewrite it). How do you choose? What factors do you consider? There’s already a lot of guidance. In fact, the very existence of refactoring on the list of choices is special because the idea of refactoring code wasn’t well formed until the 1990s. When you refactor code, you make changes that improve its structure but do not change its visible behavior, and our tools are increasingly good at supporting refactoring, helping us make sweeping changes safely.
MPP: Model Performance Predictor.

Operations is a key challenge in the domain of machine learning pipeline deployments involving monitoring and management of real-time prediction quality. Typically, metrics like accuracy, RMSE etc., are used to track the performance of models in deployment. However, these metrics cannot be calculated in production due to the absence of labels. We propose using an ML algorithm, Model Performance Predictor (MPP), to track the performance of the models in deployment. We argue that an ensemble of such metrics can be used to create a score representing the prediction quality in production. This in turn facilitates formulation and customization of ML alerts, that can be escalated by an operations team to the data science team. Such a score automates monitoring and enables ML deployments at scale.
Group listening, a typical practice of popular music applied to musician training

Developing perceptive abilities in musical training entails a challenge of acquiring a good inner hearing without losing the pleasure of listening. While hearing is an individual activity, by socializing the hearing practice, an improved reciprocity can be accomplished.
Research on ICS Intrusion Success Rate Algorithm Based on Attack and Defense Countermeasures

According to the existing ICS, the research on ICS intrusion success rate algorithm does not consider the deficiency. In this paper, it proposes an ICS intrusion success rate algorithm based on ADT model. Firstly,according to common attack attributes to build a complete index system, and introduce attack part of ADT model to get the success rate of invasion of each path. Secondly, introducing the intrusion alarm rate to achieve passive defense, and using active scanning’s method to achieve active defense. Finally, combined with the above research, the final success rate of invasion is obtained. And a case study is carried out what is based on ICS of a chemical enterprise. This method reduces the success rate of invasion of the optimal attack path by 27%. And it improves the accuracy of the traditional model evaluation.
The Random Access Zipper

We introduce the Random Access Zipper (RAZ), a simple, persistent data structure for editable sequences. The RAZ combines the structure of a zipper with that of a tree: like a zipper, edits at the cursor require constant time; by leveraging tree structure, relocating the edit cursor in the sequence requires log time. While existing data structures provide these time bounds, none do so with the same simplicity and brevity of code as the RAZ. The simplicity of the RAZ provides the opportunity for more programmers to extend the structure to their own needs, and we provide some suggestions for how to do so.
Research on Identity Authentication Method Based on Negative Logic System

With the rapid development of computer and network, new technologies and services such as mobile Internet, Internet of Things, cloud and artificial intelligence have arisen and changed people’s life. The identity authentication is a must for these services. To solve the problem, identity authentication system and method based on negative logic system (NLS) is proposed in the paper. NLS is introduced to improve security in the essence of attack and defense. Security mechanisms based on NLS are proved effective to increase attack cost and strengthen defense ability. So NLS-based identity authentication system and method in the cloud environment are designed. Meanwhile, the corresponding converters, distributed storage, distributed detectors and authentication are proposed. The proposed method can improve security and provide identity authentication for cloud, IoT, etc. The theoretical performance analysis proves that it is feasible and effective.
Project Report: Dependently Typed Programming with Lambda Encodings in Cedille

This project report presents Cedille, a dependent type theory based on lambda encodings. Cedille is an extension of the Calculus of Constructions with new type features enabling induction and large eliminations (computing a type by recursion on a term) for lambda encodings, which are not available for lambda-encoded data in related type theories. Cedille is presented through a number of examples, including both programs and proofs.
Convex Aggregation Problems in $$\mathbb {Z}^2$$

We introduce a family of combinatorial problems of digital geometry that we call convex aggregation problems. Two variants are considered. In Unary convex aggregation problems, a first lattice set $$A\subseteq \mathbb {Z}^d$$ called support and a family of lattice sets $$B^i \subseteq \mathbb {Z}^d$$ called pads are given. The question to determine whether there exists a non-empty subset of pads (the set of their indices is denoted I) whose union $$A\cup _{i\in I} B ^i$$ with the support is convex. In the binary convex aggregation problem, the input contains the support set $$A\subseteq \mathbb {Z}^2$$ and pairs of pads $$B^i$$ and $$\overline{B} ^i$$ . The question is to aggregate to the support either a pad $$B^i$$ or its correspondent $$\overline{B} ^i$$ so that the union $$A\cup _{i\in I} B ^i \cup _{i\not \in I} \overline{B} ^i$$ is convex. We provide a first classification of the classes of complexities of these two problems in dimension 2 under different assumptions: if the support is 8-connected and the pads included in its enclosing rectangle, if the pads are all disjoint, if they intersect and at least according to the chosen kind of convexity. In the polynomial cases, the algorithms are based on a reduction to Horn-SAT while in the NP-complete cases, we reduce 3-SAT to an instance of convex aggregation.
Method of determining seismic action of existing structures for different continuing seismic service life

This paper introduces a method of determining the seismic action for existing structure. The method incorporates the influence of seismic hazard and the continuous seismic service life. According to the more commonly assumed magnitude distribution, attenuation laws and the earthquake record, the relation of seismic hazard to seismic action is studied. The results are in terms of a modification factors of seismic action versus design reference period (i.e., 50 years). Under the principle of all the seismic action of each fortification level have the same exceeding probability, the calculation formulas is proposed to calculate exceeding probability of seismic action, while the exceeding probability based on the continuous seismic service life is converted to the well-matched exceed probability based on the design reference period (i.e., 50 years). At last, the modification factors of seismic action for existing structure with different continuous seismic service life are given in this paper.
Wellbeing and Collective Identity in Polish and English Contexts

The focus of the paper are types of and differences in collective group identity patterns that evolve from the analysis of materials from Polish and English public Internet space (Lewandowska-Tomaszczyk 2013a, 2013b). The examples we discuss involve the British 38 Degrees movement on the one hand (Wilson 2013), and Polish Internet discourses concerning the abortion legislature-related movement (Czarny Protest ‘Black Protest’) and the medical residents’ protests, on the other. We propose that these types of scenarios invariably involve attempts to achieve a state of wellbeing by the participants and that there are two variants of the relevant scenarios—conflict and cooperation. The first part of the paper discusses the concept of identity and presents the cultural background of Polish and English communities and a description of the British 38 Degrees organization, with over one million members, that campaigns on a number of diverse social and political issues. Polish Internet communication is exemplified in comments of different groups of users on current events presented in on-line press articles, in particular exchanges concerning the abortion legislation issue and the medical residents’ protest. We investigate the dynamics of the particular events, their basic emotionality axis and relate them to differences in English and Polish cultural models as investigated in cultural and cultural linguistic research Hofstede (1980; Sharifian (2017). The topics of the exchanges involve a range of varying discourse strategies and their linguistic realization (Lewandowska-Tomaszczyk 2015). The process of particular importance in this context involves the mechanism of emergent culture-bound identity in Computer-Mediated Communication (CMC), grounded in a sense of common emotionality around issues that are predominantly of a social and political character.
Designing Solar Power Plant Due to Consumer Load Schedule, Solar Energy Potential, and Electricity Prime Cost

The object of research in the chapter is the solar power plant as the source of additional economically expedient power supply of the electrical energy consumer. The purpose of this research is to analyze the options for the layout of solar power plant, taking into account the solar energy potential of the district, the design features of the proposed location, the load curve of the consumer, and the cost of the generated electrical energy. The chapter presents the results of calculation and selection of the parameters of solar power plant elements on the roof of the consumer's production building. The chapter presents the results of research of the dependence of the cost of the electricity generated by the solar power plant on the number of installed panels, which in order to increase the realized solar energy potential of the district also allows adding photoelectric modules and accumulating devices in the layout of the operating station at tariff growth. The chapter presents the results of researching these areas, that are conducted by the authors and which are completely original.