Reviewerly/exHarmony huggingface dataset:
Collapseability of Tree Hashes

One oft-endeavored security property for cryptographic hash functions is collision resistance: it should be computationally infeasible to find distinct inputs $$x,x'$$ such that $$H(x) = H(x')$$, where H is the hash function. Unruh (EUROCRYPT 2016) proposed collapseability as its quantum equivalent. The Merkle-Damgård and sponge hashing modes have recently been proven to be collapseable under the assumption that the underlying primitive is collapseable. These modes are inherently sequential. In this work, we investigate collapseability of tree hashing. We first consider fixed length tree hashing modes, and derive conditions under which their collapseability can be reduced to the collapseability of the underlying compression function. Then, we extend the result to two methods for achieving variable length hashing: tree hashing with domain separation between message and chaining value, and tree hashing with length encoding at the end of the tree. The proofs are performed using the collapseability composability framework of Fehr (TCC 2018), that allows us to discard of deeply technical quantum details and to focus on proper composition of the tree hashes from their compression function.
On the robustness of stabilizing feedbacks for quantum spin-1/2 systems

In this paper, we consider stochastic master equations describing the evolution of quantum spin-1/2 systems interacting with electromagnetic fields undergoing continuous-time measurements. We suppose that the initial states and the exact values of the physical parameters are unknown. We prove that the feedback stabilization strategy considered in [16] is robust to these imperfections. This is shown by studying the asymptotic behavior of the coupled stochastic master equations describing the evolutions of the actual state and the estimated one under appropriate assumptions on the feedback controller. We provide sufficient conditions on the feedback controller and a valid domain of estimated parameters which ensure exponential stabilization of the coupled system. Furthermore, our results allow us to answer positively to [15,Conjecture 4.4] in the case of spin-1/2 systems with unknown initial states, even in presence of imprecisely known physical parameters.
Dunkley, Francis Ernest - Biographical entry - Index to the AMA archive

Dunkley, Francis Ernest - Biographical entry - Index to the AMA archive - NAME is a biographical, bibliographical and archival database of SUBJECT with links to related articles and images. ADD MORE DESCRIPTION AS REQUIRED
STUDI PENGENALAN INTERNET OF THINGS BAGI GURU DAN SISWA SMK BINA NUSA SLAWI SEBAGAI WAWASAN SALAH SATU CIRI REVOLUSI INDUSTRI 4.0

Bina Nusa Slawi Vocational School (Binus) is one of the Vocational High Schools located in Slawi District, Tegal Regency. The results of a survey conducted, that almost all teachers and students (99%) had heard about the Industrial Revolution 4.0 and Internet of Things, but did not understand the meaning of it all, even though the industrial revolution 4.0 had disrupted almost all fields of science and lines of life. The survey results also show that all teachers and students have used internet maximally, but development trend of the use internet that is not yet widely understood, especially regarding: Wireless Sensor Network (WSN), Cloud Computing, Big Data, and Artificial Intelligence. Therefore needed an Introduction Study Internet of Things for Teachers and Students of SMK Bina Nusa Slawi as Insights One of the Characteristics of the Industrial Revolution 4.0. The method implemented is by giving presentations, discussions, and demonstrations about Internet of Things, Artificial Intelligence and Big Data. Based on activities that have been carried out, the results obtained are knowledge, understanding, competence of teachers and students of SMK Bina Nusa Slawi about Internet of Things increasing.
Laboratorio virtual móvil de robots paralelos

espanolEste articulo presenta m-PaRoLa, un laboratorio virtual educativo formado por simuladores para analizar robots paralelos. Al estar basados en Javascript, dichos simuladores pueden ejecutarse indistintamente tanto en navegadores de ordenadores de sobremesa como en navegadores de dispositivos moviles (como smartphones y tabletas). De esta manera, m-PaRoLa puede ser usado en metodologias de aprendizaje movil (o m-learning) para reforzar la ensenanza y el aprendizaje de Robotica o Teoria de Maquinas y Mecanismos. Los simuladores presentados son muy visuales e intuitivos, y permiten al usuario analizar diversos problemas cinematicos basicos de los robots paralelos. EnglishThis paper presents m-PaRoLa, an educational virtual laboratory consisting of simulators for analyzing parallel robots. Since these simulators are based on Javascript, they can be run indistinctly on the web browsers of both desktop computers and mobile devices (such as smartphones and tablets). In this way, m-PaRoLa can be used in mobile learning (mlearning) methodologies, in order to support the teaching and learning of Robotics or Mechanism and Machine Theory. The presented simulators are very visual and intuitive, and allow the user to analyze some basic kinematic problems of parallel robots.
Образи пекельної машини та чавунного Командора у романі Гордія Брасюка «Донна Анна».

«Donna Anna» (1929) by Hordiy Brasiuk (the representative of Executed Renaissance) is virtually unexamined novel. Therefore, in the article, the novel is analyzed in the aspect of the semantics of the infernal machine and through the conflict between two outlooks of male opponents – the apologist of the industry, the engineer-inventor and the servant of Muses, the composer and the musician. It has been defined that besides the problems of sex, love, desire, marital morality and betrayal presented in the novel, one more clearly stands out – the collision of two types of creativity, two approaches to it. These types are embodied by male heroes – man of action, Homo faber, engineer Nick Bachinsky (Cast Iron Commander) on the one hand and man of art and theatrical bohemian, Homo ludens, composer Volodymyr Shalvia (embodiment of musical element and freedom of passion, Don Juan) from another. The first type represents the avant-garde hero – the newest iron god, the conqueror of energy and the earth's interior (the sociocultural type of proletkult and futurism). The second is a type of modernist hero-artist, relativist, and immoralist. And the image of the infernal machine – the invention that destroys its inventor – plays a leading part in solving such an ideological confrontation. Thus, numerous sound, color and pyrotechnical details in the description of the infernal machine in action, as well as the expressive reaction of the viewers and the imaginary death of the engineer are preceded by a plot and are semantically related to the episode of default – the death of the inventor during the experiment. This scene of machine in action seems to suggest the fate of the newest Commander in the epoch of iron cast. In the end, life defeat is experienced by each of the representatives of the outlined love triangle. The Cast Iron Commander perished by his own invention (even if it happened with direct participation of Don Juan), his invention is seized to others, and his cast-iron figure arises like mute reproach only to his former wife, and he is unable to punish the main abuser. Freedomloving Don Juan becomes a mere vegetable as if paying for the combination of genius and crime in his own person. And soon he completely loses his creative inspiration after that, as Anna destroyed his opera, and Talya made an abortion. Donna Anna is crestfallen, reconciling to the role of the cook.
Research Work Rating for the Faculty

The article deals with specific rating of research work for the faculty and identifying internal components of research work and their decomposition with further distribution into duties and setting norms for each element of the structure in research or project. Current approaches to research work were studied and recommendations on its structure were given with due respect to digitalization. Based on the analysis of research work rating the author formulated an approach of splitting workers with regard to their individual qualities. The information base of the article was formed by normative and legal acts of the Russian Federation, state programs, data of the Federal Service of State Statistics, analytical reports, guiding materials and methodological recommendations, periodical economic publications, data of rating agencies, materials of conferences, official information dealing with work rating for the faculty of Russian universities and publications in mass media and the Internet. The author identifies theoretical and methodological approaches to developing the mechanism of work rating and regulating for the faculty on the basis of new principles of labour distribution aimed at raising labour productivity and quality of specialists’ training.
ANALYSIS OF MECHANISMS AND EFFICIENCY OF SPECIALIZED LANGUAGES OF FUNCTIONAL PROGRAMMING

Purpose. The authors aim to determine the differences between functional programming languages, to identify the capabilities of the most popular languages by comparing and analyzing them. To identify the main features, it is necessary to consider their data structures, as well as the application scope. The authors also aim to analyze and compare examples from various fields of language application using metrics of the program texts complexity. Methodology. The five most popular specialized functional languages are selected: Erlang, Lisp, F #, Scala and Haskel. An overview of the official documentation was conducted to obtain information on the capabilities of each language; their data structures and the application scope were studied. The experimental research base is formed from texts of the existing open source software systems and matched by similar applications and equal volume of text. Comparative analysis of sample programs is performed using Halsted metrics, which are calculated using specially designed software. The analysis of the received quality assessments is done graphically. Findings. Software has been developed to obtain Halsted metrics for program input texts in functional programming languages such as Erlang, Lisp, F # and Scala. The complexity of the Haskel programming language syntax did not allow the use of metrics to evaluate the text, so only a documentation review was performed. Benchmarking shows the differences between languages and outlines their use. The examples of different volumes from such areas of application as system programming tasks, graphing, mathematical calculations, AI systems, web programming, etc. were compared. Originality. The authors first conducted a comparative analysis of specialized languages using text complexity metrics, which made it possible to establish that Lisp has the smallest vocabulary and code length, Scala text has the most structured form, and F # and Erlang are marked with extra verbosity. Practical value. The findings and measurements will help in selecting the most effective functional programming language for solving specific problems, taking into account differences in applications. The developed software allows making measurements for various program texts when developing and maintaining complex software systems.
A Jordan-Wigner gadget that reduces T count by more than 6x for quantum chemistry applications

Quantum computers have the potential to be a profoundly transformative technology, particularly in the context of quantum chemistry. However, running a chemistry application that is demonstrably useful currently requires a prohibitive number of logical operations. For example, the canonical estimate of the number of operations required to simulate the molecule FeMoco, the key component in biological nitrogen fixation, requires around $10^{15}$ logical gates. A quantum computer that is capable of applying logical operations at 1 Mhz rates would require more than 30 years to complete such a calculation. It is imperative to reduce this prohibitive runtime, by better understanding and optimising quantum algorithms, if the technology is to have commercial utility. The purpose of this paper is to introduce such an optimisation. The gadget that we introduce below affords a 6x improvement in runtime for Trotterized quantum chemistry employing the Jordan-Wigner transformation, without altering the required number of qubits.
Mediating Musical Identity – Designing and Playing Walking Bass on Electronic Instruments

In this lecture-recital the author presents and demonstrates a number of electronic instruments purposely designed to perform walking bass lines in a free jazz context.A point of departure is that any musical software mediate aesthetical preferences of its designer in general, and particularities when designing and programming special purpose electronic instruments. Likewise, the identity of a musical work is mediated through instruments employed and performing musicians. This is not a new claim, e.g. Joel Chadabe states: “[...] the instrument is inseparable from the music it produces.” (Chadabe, 2001, p. 271). Another claim is based on thoughts on sonic identity, which is about repeatability and sameness, e.g. expressed in the theory of Permanence and Variation by Pierre Schaeffer, that essentially states: “Permanence of characteristics, variation of values” (In Chion 1983 p. 54), or as Gary Peters, with a Deleuzian term, describes such as different sameness (2018, p 155). A salient feature in all forms of jazz accompaniment since the 30s is the walking bass, which is “a line played pizzicato on a double bass in regular crotches in 4/4 meter, the notes usually moving stepwise or in intervallic patterns not restricted to the main pitches of the harmony”. The most developed virtual instrument of mine is the Walking Machine, which is thoroughly described in my thesis A Field of Possibilities (Nilsson, 2011) as well as in the ICMC 2008 proceedings. There are however a number of predecessors, as well as successors up to a present rendering, which together make up a work story of virtual walking bass instruments. Heard in the rear-view window, despite using quite different technologies, concepts and algoritms, it displays different sameness, variations of a permanence that mediates aesthetic preferences of its inventor and player, in this case within the realm of walking bass accompaniment. An RC exposition from the presentation is attached. Open “default page” inside the folder “Mediating Musical Identity_RC”.
One Model to Recognize Them All: Marginal Distillation from NER Models with Different Tag Sets

Named entity recognition (NER) is a fundamental component in the modern language understanding pipeline. Public NER resources such as annotated data and model services are available in many domains. However, given a particular downstream application, there is often no single NER resource that supports all the desired entity types, so users must leverage multiple resources with different tag sets. This paper presents a marginal distillation (MARDI) approach for training a unified NER model from resources with disjoint or heterogeneous tag sets. In contrast to recent works, MARDI merely requires access to pre-trained models rather than the original training datasets. This flexibility makes it easier to work with sensitive domains like healthcare and finance. Furthermore, our approach is general enough to integrate with different NER architectures, including local models (e.g., BiLSTM) and global models (e.g., CRF). Experiments on two benchmark datasets show that MARDI performs on par with a strong marginal CRF baseline, while being more flexible in the form of required NER resources. MARDI also sets a new state of the art on the progressive NER task. MARDI significantly outperforms the start-of-the-art model on the task of progressive NER.
Hamming Mesafesi ile Lokal Arama Tabanlı İkili Yapay Arı Kolonisi Algoritması

Artificial Bee Colony is a population based, bio-inspired optimization algorithm that developed for continues problems. The aim of this study is to develop a binary version of the Artificial Bee Colony (ABC) Algorithm to solve feature subset selection problem on bigger data. ABC Algorithm, has good global search capability but there is a lack of local search in the algorithm. To overcome this problem, the neighbor selection mechanism in the employed bee phase is improved by changing the new source generation formula that has hamming distance based local search capacity. With a re-population strategy, the diversity of the population is increased and premature convergence is prevented. To measure the effectiveness of the proposed algorithm, fourteen datasets which have more than 100 features were selected from UCI Machine Learning Repository and processed by the proposed algorithm. The performance of the proposed algorithm was compared to three well-known algorithms in terms of classification error, feature size and computation time. The results proved that the increased local search ability improves the performance of the algorithm for all criteria.
Usefulness of Android Application in the Library: A Case Study on Assam Don Bosco University Library

Library automation provides a comprehensive way to lessen physical labor, reduce human error and grant access to information materials anywhere and anytime. A mobile computerized system for handling the activities and services of the library helps the library staffs to process the work more accurately, and it saves time as well. This research work aimed to design and implement an Android application for the library so that libraries can use to overcome the social and other challenges that prevent them from providing services on the go. The Android application was designed and implemented using the Android Studio which contains XML (extensible mark-up language) and Java. At the back-end HTML (Hypertext mark-up language), CSS (Cascading Style Sheet), PHP (PHP Hypertext pre-processor), and MySQL database were used. The system was tested after the development and found it suitable for meeting all the requirements specified. The system can add to the integrity of the library, ease the activities of the librarian and eliminate the stress related to the current process of searching for library books and other study materials. Before the introduction of the Android OS, access to the library documents was done only by the librarian. Android applications have become more popular and it holds a maximum number of users when compared to all other platforms. The Android application retrieves the information stored in the library database through the library server, for example, checking whether the books are available in the library or borrowed without intervening anyone. Users can suggest books for the library, and they are notified about their suggestion by the librarian. This article brings a new idea of the users to access the library.
Digwood, Kenneth Ivor - Biographical entry - Index to the AMA archive

Digwood, Kenneth Ivor - Biographical entry - Index to the AMA archive - NAME is a biographical, bibliographical and archival database of SUBJECT with links to related articles and images. ADD MORE DESCRIPTION AS REQUIRED
Mythical metrics and methods: Needed paradigm shift in disease recognition and therapy

Current medicine is practiced in an organ-based, function-appraised manner with less attention paid to the tissue characteristics of the appraised organs. The fundamentals of this paradigm have been the product of an oversimplified and often layman-based perceptions of the studied organ over the years. These perceptions drove the current definitions of normality and abnormality, parameters used in the diagnosis of the disease, goals of treatment and studied outcomes. Despite the explosive advancement in technology that could have potentially changed our ‘upstream’ thinking, practitioners remain captives of these old beliefs and have streamlined current technology in a ‘downstream’ fashion; in the form of goal-directed protocols, and engineering systems that would study their implementations. As a result, diseases continue to evolve, become more resistant to therapy, late to diagnose, and with a persistent worsening of outcomes. With a primarily focus on the heart and from an anesthesiologist prospective, we challenge the fundamentals of the current paradigm from an ‘upstream’ prospective. We challenge the current ‘territorial’ definitions of the organs studied, the current terminology of some diseases, the parameters used in their diagnosis, the diagnostic modalities used and their goals of treatment. We illustrate some examples when the current collective ‘myth’ meets the ‘reality’ in an acute care setting, further clarifying the limitations of the current paradigm. We also, provide a theoretical hypothesis of what we believe to be a potential substitute of the current paradigm. Our theory redefines disease from an organ-based functional phenomenon to a structural-based tissue phenomenon, calling for an integrative and holistic approach of tissue assessment rather than a discrete approach that may potentially obscure the interaction of non-appraised organs. We also believe in redirecting technology in an upstream direction to better redefine and early detect diseases rather than submitting to generationally inherited beliefs. Whereas we have started some of our research on our proposed paradigm, our theoretical framework remains to be thought-provoking, and hypothesis-generating at the present time.
OBSERVING AN ENGLISH CLASSROOM: TEACHING POETRY AND POEM AT FATIH BILINGUAL ELEMENTARY SCHOOL, BANDA ACEH

The objective of this study is to describe the process of the implementation of teaching poetry and poem in term of pre-activity, main-activity, and post-activity (Brewster, 2002). The qualitative study is employed for the study. The instruments of the study are observation sheet and video recorder. This study observes an English teacher teaching poetry and poem at SD Teuku Nyak Arif Fatih Bilingual School Banda Aceh. The data of the study was analyzed qualitatively using technique which was adopted from Mile and Huberman (1994). The result reveal that the process of implementation of teaching poetry and poem: (i) in the pre-activity, the teacher implemented the warm up activities such as recalling the last lesson or material, picking up the theme of the lesson and introducing the topic to the students, (ii) in the main-activity, the teacher implemented some activities such as studying together with students, teaching the student the process of drafting of the poetry and poem, asking the students to read aloud, learning the verse of the poetry and writing the new verse, delivering various poetry and poems to the students, fostering active participation of the students through the interaction of the teacher and students, and responding positively to students’ participation and responses, providing systematic feedback and corrections, and correcting the wrong answer and appreciating them who answer correctly, and (iii) in the post-activity, the teacher reviewed material by asking them questions.
Research on Product Appearance Detection System Based on Image Sparse Representation

Abstract The USB camera is used as the front device of the image acquisition. The host computer is a PC for the detection system. Aiming at low resolution of USB camera, the super-resolution image reconstruction method based on sparse representation is used to overcome the low resolution for the low-cost imaging sensor and improve the image resolution. In order to reduce the influence due to shooting light, angle, etc., visual keywords are used for image matching to improve the robustness of the system. The experiment proves that the system is simple in structure and easy to operate, and the detection accuracy of the system can reach 98.67%.