Reviewerly/exHarmony huggingface dataset:
Data-dependent Pruning to find the Winning Lottery Ticket.

The Lottery Ticket Hypothesis postulates that a freshly initialized neural network contains a small subnetwork that can be trained in isolation to achieve similar performance as the full network. Our paper examines several alternatives to search for such subnetworks. We conclude that incorporating a data dependent component into the pruning criterion in the form of the gradient of the training loss -- as done in the SNIP method -- consistently improves the performance of existing pruning algorithms.
Integrated Process Management System of Smart Substation Secondary Side Based on Practical Scheme

The development of smart substations is the future trend of power systems. This paper proposes a scheme for building a whole process management system for the secondary system of the intelligent substation. In the secondary system management system, a specialized model of four roles management of individuals, engineering, equipment, and materials in the building and administrative intelligent substation was established, and a specialized process of the secondary system management system was established. The key technologies such as graphic display technology and model file design consistency check are analyzed. Then, we created a pilot project in the new 220 kV Gaohua smart substation in Shenyang. The management and control of the intelligent substation construction process, intelligent substation equipment, and configuration files are realized. We can clarify the responsibilities of each department to ensure the consistency of the work content of each link and the design of the model documents.
"Tid och resurser är avgörande" : De svenska folkbibliotekswebbplatserna ur ett flerspråksperspektiv

Introduction. Against the background of the last decades’ developments of Swedish public library websites and the changing language and minority situation, a study of the multilingual web accessibi ...
Layered Stereo by Cooperative Grouping with Occlusion.

Human stereo vision uses occlusions as a prominent cue, sometimes the only cue, to localize object boundaries and recover depth relationships between surfaces adjacent to these boundaries. However, many modern computer vision systems treat occlusions as a secondary cue or ignore them as outliers, leading to imprecise boundaries, especially when matching cues are weak. In this work, we introduce a layered approach to stereo that explicitly incorporates occlusions. Unlike previous layer-based methods, our model is cooperative, involving local computations among units that have overlapping receptive fields at multiple scales, and sparse lateral and vertical connections between the computational units. Focusing on bi-layer scenes, we demonstrate our model's ability to localize boundaries between figure and ground in a wide variety of cases, including images from Middlebury and Falling Things datasets, as well as perceptual stimuli that lack matching cues and have yet to be well explained by previous computational stereo systems. Our model suggests new directions for creating cooperative stereo systems that incorporate occlusion cues in a human-like manner.
Exploiting machine algorithms in vocalic quantification of African English corpora

Towards procedural fidelity in the processing of African English speech corpora, this work demonstrates how the adaptation of machine-assisted segmentation of phonemes and automatic extraction of acoustic values can significantly speed up the processing of naturalistic data and make the vocalic analysis of the varieties less impressionistic. Research in African English phonology has, till date, been least data-driven – much less the use of comparative corpora for cross-varietal assessments. Using over 30 hours of naturalistic data (from 28 speakers in 5 Nigerian cities), the procedures for segmenting audio files into phonemic units via the Munich Automatic Segmentation System (MAUS), and the extraction of their spectral values in Praat are explained. Evidence from the speech corpora supports a more complex vocalic inventory than attested in previous auditory/manual-based accounts – thus reinforcing the resourcefulness of the algorithms for the current data and cognate varieties. Keywords: machine algorithms; naturalistic data; African English phonology; vowel segmentation
On the Tight Security of TLS 1.3: Theoretically-Sound Cryptographic Parameters for Real-World Deployments.

We consider the theoretically sound selection of cryptographic parameters, such as the size of algebraic groups or RSA keys, for TLS 1.3 in practice. While prior works gave security proofs for TLS 1.3, their security loss is quadratic in the total number of sessions across all users, which due to the pervasive use of TLS is huge. Therefore, in order to deploy TLS 1.3 in a theoretically sound way, it would be necessary to compensate this loss with unreasonably large parameters that would be infeasible for practical use at large scale. Hence, while these previous works show that in principle the design of TLS 1.3 is secure in an asymptotic sense, they do not yet provide any useful concrete security guarantees for real-world parameters used in practice. In this work, we provide a new security proof for the cryptographic core of TLS 1.3 in the random oracle model, which reduces the security of TLS 1.3 tightly (that is, with constant security loss) to the (multi-user) security of its building blocks. For some building blocks, such as the symmetric record layer encryption scheme, we can then rely on prior work to establish tight security. For others, such as the RSA-PSS digital signature scheme currently used in TLS 1.3, we obtain at least a linear loss in the number of users, independent of the number of sessions, which is much easier to compensate with reasonable parameters. Our work also shows that by replacing the RSA-PSS scheme with a tightly secure scheme (e.g., in a future TLS version), one can obtain the first fully tightly secure TLS protocol. Our results enable a theoretically sound selection of parameters for TLS 1.3, even in large-scale settings with many users and sessions per user.
Multimodal Representation Learning for Robotic Cross-Modality Policy Transfer

In this thesis, we aim at endowing robots with mechanisms to learn multimodal representations from sensory data and to allow them to execute tasks considering different subsets of available perceptions. We address the learning of these representations from supervised, unsupervised and reinforcement learning methodologies in the context of virtual agents and robots. We hope that, by achieving the proposed goals, the contributions of this thesis might prompt future research on applications of multimodal representations in robots and other artificial agents.
Allied Armada, A Dynamic Soundtrack for a Real-Time Strategy Computer Game

Allied Armada is a Real-Time Strategy game, with a Sci-Fi setting in outer space. The soundtrack was composed with a dynamic system that allows it to respond to what is happening within the game; broadly, it can switch back and forth between slower ambient tracks that depict the setting, and action tracks that depict battles when they occur. Each of these tracks also has ways of responding to smaller variations in the level of action at a given moment. This system was implemented using a combination of FMOD and Lua scripting.There are six tracks that comprise the soundtrack: First, Nebula: the majestic track that plays when the player first starts the game, and while they are still using menus to set up a match. The other five tracks play during the action of the game, and have the aforementioned ambient and battle tracks, which are written as a pair. The ambient tracks make up the bulk up the music; they feature many slowly evolving harmonic textures, that range in mood from serene to ominous.Ancient Klex Macguffin features a choir throughout the piece, and uses long phrases that slowly build in harmonic complexity before tapering back off to a simple interval. Omnigenetic Codex uses wind instruments like a keyboard, with the entrance of each accented by a percussion instrument. Sudden bursts of piano cut through the stillness of the texture. Progenitor of the Musari uses mirrored harmony and chords of seven or more notes to create a tense, shimmering texture. It builds to a climax of huge, slowly evolving chords. The Exiled features four-part, tonal string writing with heavy chromaticism, and has a dark mood that breaks in favor of optimism at the end of the piece. Finally, Polar Orbit uses keyboard samples to play repeated pentatonic chords that span the entire range of various keyboard instruments. Additional harmonic elements use pentatonic scales one to three keys apart from the others, creating polychordal dissonance. Despite using samples of acoustic instruments, the track is very much computer music that would not lend itself to live performance.
Efficient MPC with a Mixed Adversary

Over the past 20 years, the efficiency of secure multi-party protocols has been greatly improved. While the seminal protocols from the late 80’s require a communication of Ω(n⁶) field elements per multiplication among n parties, recent protocols offer linear communication complexity. This means that each party needs to communicate a constant number of field elements per multiplication, independent of n.However, these efficient protocols only offer active security, which implies that at most t<n/3 (perfect security), respectively t<n/2 (statistical or computational security) parties may be corrupted. Higher corruption thresholds (i.e., t≥ n/2) can only be achieved with degraded security (unfair abort), where one single corrupted party can prevent honest parties from learning their outputs.The aforementioned upper bounds (t<n/3 and t<n/2) have been circumvented by considering mixed adversaries (Fitzi et al., Crypto' 98), i.e., adversaries that corrupt, at the same time, some parties actively, some parties passively, and some parties in the fail-stop manner. It is possible, for example, to achieve perfect security even if 2/3 of the parties are faulty (three quarters of which may abort in the middle of the protocol, and a quarter may even arbitrarily misbehave). This setting is much better suited to many applications, where the crash of a party is more likely than a coordinated active attack.Surprisingly, since the presentation of the feasibility result for the mixed setting, no progress has been made in terms of efficiency: the state-of-the-art protocol still requires a communication of Ω(n⁶) field elements per multiplication.In this paper, we present a perfectly-secure MPC protocol for the mixed setting with essentially the same efficiency as the best MPC protocols for the active-only setting. For the first time, this allows to tolerate faulty majorities, while still providing optimal efficiency. As a special case, this also results in the first fully-secure MPC protocol secure against any number of crashing parties, with optimal (i.e., linear in n) communication. We provide simulation-based proofs of our construction.
On-line Estimators for Ad-hoc Task Allocation

It is essential for agents to work together with others to accomplish common missions without previous knowledge of the team-mates, a challenge known as ad-hoc teamwork. In these systems, an agent estimates the algorithm and parameters of others in an on-line manner, in order to decide its own actions for effective teamwork. Meanwhile, agents often must coordinate in a decentralised fashion to complete tasks that are displaced in an environment (e.g., in foraging, demining, rescue or fire control), where each member autonomously chooses which task to perform. By harnessing this knowledge, better estimation techniques would lead to better performance. Hence, we present On-line Estimators for Ad-hoc Task Allocation, a novel algorithm for team-mates' type and parameter estimation in decentralised task allocation. We ran experiments in the level-based foraging domain, where we obtain lower error in parameter and type estimation than previous approaches, and a significantly better performance in finishing all tasks.
Curvilinear coordinate system

The physical meanings of finite strain (rate) tensors are captured clearly by their representations in the embedded (convected) coordinate system as will be described in the subsequent chapters, since the components in the primary bases are kept constant. The embedded coordinate system changes to a curvilinear coordinate system even if it is the rectangular coordinate system at the initial state of deformation process. Then, mathematics in the general curvilinear coordinate system, that is, the primary and the reciprocal base vectors, the representations and the coordinate transformations of vector and tensor, the metric tensor, the scalar, the vector, and the tensor products, etc. are addressed in this chapter prior to the explanation for the description of deformation in the convected coordinate system in the subsequent chapters.
Knowledge Dissemination and Ideology: Framing in Digital Communication. The Case of Law Journal Abstracts

Over the course of the last decades, digital communication has contributed significantly to the dissemination of scientific knowledge, thus allowing also lay readers access to material primarily intended for expert audiences. This change has also affected domains, like legal research, which are traditionally and explicitly targeted to ‘insiders’, and particularly the esoteric community (i.e. experts working on similar cases/issues, as opposed to the exoteric scientific community at large). For the products of legal research to become appealing and ‘usable’ for both these audiences, their (meta-)representation needs to be strategically designed in order for legal academic texts to be recognized as authoritative sources where to find relevant contents and their discussion. This is the main purpose of abstracts (RAAs), which are meant to anticipate the main information contained in the associated research article (RA) in a way that is clear, comprehensible and cognitively appealing, so as to encourage readers to read the ensuing text in full. On this basis, this study analyses RAA discourse in online legal publications: a corpus of 100 RAAs from the Harvard Law Review (https://harvardlawreview.org/issues/) is investigated in order to show how discursive choices may depend upon the epistemology of the domain, the content discussed (which may range from constitutional law, foreign affairs and national security to issues concerning privacy, intellectual property or civil rights), the target audience’s competence, background knowledge, motivation, or needs, and, ultimately, the purpose of the RA (i.e. speculative reasons vs practical application).
About Blockchain Interoperability.

Abstract A blockchain is designed to be a self-sufficient decentralised ledger: a peer verifying the validity of past transactions only needs to download the blockchain (the ledger) and nothing else. However, it might be of interest to make two different blockchains interoperable, i.e., to allow one to transmit information from one blockchain to another blockchain. In this paper, we give a formalisation of this problem, and we prove that blockchain interoperability is impossible according to the classical definition of a blockchain. Under a weaker definition of blockchain, we demonstrate that two blockchains are interoperable is equivalent to creating a ‘2-in-1’ blockchain containing both ledgers, thus limiting the theoretical interest of making interoperable blockchains in the first place. We also observe that all practical existing interoperable blockchain frameworks work indeed by exchanging already created tokens between two blockchains and not by offering the possibility to transfer tokens from one blockchain to another one, which implies a modification of the balance of total created tokens on both blockchains. It confirms that having interoperability is only possible by creating a ‘2-in-1’ blockchain containing both ledgers.
Android-Based Mobile Learning Media Development with Multiple Intelligence of Literate Language Skills on the Fifth Grade Elementary School Students

The purpose of this study is to develop media mobile learning based android contain multiple intelligence language literacy skills of five grade elementary students. The design of this study is research and development (R&D) which is 4D Model one group pretest and post-test design. The data collection technique that is used in this study is validity, questionnaire, observation, and test. For the data analysis, the researcher used analysis validity media, observation data result, questionnaire data result, and test data result. The findings showed for the test, the researcher used t-test with the level of significance 5% (2,052), so  (18, 61  2,052). From the result, it can be concluded that there is improving learning outcomes with media mobile learning based android contain multiple intelligence in language literacy skills of five grade elementary students.
LibGuides: Subscription Cancellations & Additions: Fiscal Year 2019-2020

This guide provides information on The University of Toledo Libraries' annual subscription cancellations and additions.
Duplicate Detection and Text Classification on Simplified Technical English

This thesis investigates the most effective way of performing classification of text labels and clustering of duplicate texts in technical documentation written in Simplified Technical English. Pre ...
PPHE- AUTOMATIC DETECTION OF SENSITIVE ATTRIBUTE IN PRIVACY PRESERVED HADOOP ENVIRONMENT USING DATA MINING TECHNIQUES

Online social networks (OSN) has become highly popular, where users are more and more lured to reveal their private information. To balance privacy and utility, many privacy preserving approaches have been proposed which does not meet well users personalized requirements. In this paper, we present a privacy preserved Hadoop environment (PPHE) which automatically detects sensitive attributes using data mining techniques. This work considers Twitter which contains private information such as email addresses, mobile numbers, physical addresses, and date of births. First, we authenticate each Twitter user using the integrated algorithm RSA and Elgamal algorithm. Second, we categorize the tweets into private and non-private attributes based on the type-2 fuzzy logic system. Third, we apply a data suppression technique for private tweets and finally share the user's content based on their similarity information. Content similarity has been evaluated using cosine similarity. Finally we evaluate the system performance in terms of accuracy, precision, recall, and F-measure.
A quantum deniable authentication protocol based on two-mode squeezed quantum states

A quantum deniable authentication protocol based on the theory of continuous quantum by using two-mode squeezed quantum states is proposed. By introducing the key agreement mechanism, the message sender and the specified receiver will first agree a new shared secret key by key update phases without the help of a third center and without their interaction by utilizing the amplitude and the phase properties of the entangled optical modes, and then the sender generates the message authentication code by using the new shared secret key. Security analysis results show that the protocol satisfies the basic security requirements of deniable authentication protocol such as completeness and deniability, and can withstand forgery attack, impersonation attack, inter-resend attack and beam splitter attack.
The Analysis of the Types of Misspelling Words on Non English Participants’ Writing at Language Development Unit Grade 2019/2020 at UIN Antasari Banjarmasin

Hikmah, Nurul. 2020. The Analysis of the Types of Misspelling Words on Non English Participants at Language Development Unit Grade 2019/2020 at UIN Antasari Banjarmasin. Thesis. English Language Department, Faculty of Tarbiyah and Teacher Training, Antasari State Islamic University. Advisor: (I) Nani Hizriani, S,Pd, M.A, (II) Hidayah Nor, S.Pd, M.Pd.Keywords: Spelling, Misspelling, Addition, Omission, Substitution, Grapheme Substitution.The researcher would analyze about misspelling words on Non English participants at language development unit in which the participants are from different majors such as: Mathematics, Arabic, Islamic Psychology and other but they study English there. The research used qualitative descriptive as the research approach and for the data collection are used documentation and interview; interview with the participants and the lecturers.There are 8 types of misspelling words categorized by experts. The data in this research shows the misspell words contained in documentation was the same as the theory but the most types of misspelling happen to the participants is Omission. Besides, there are still also writing problems which happen to the Participants. According to some experts there are 10 categories but the result shows there are just 4 categories most happen to the participants such as: Spelling, Tenses, Pronoun, and Words and Word Choice. There are also 3 causes of misspelling and there are some points there categorized by experts and in this research shows there are also 3 causes of misspelling but there are some points which is in that category are not happen to the participants such as: a). Deficiency in Knowledge of English Spelling Rules. a.1). The Irregularity of English Spelling Words. a.2). The Inconsistency of English Writing System. b). Linguistic Different. c). Participants’ Carelessness in Writing.
Face geometry as a biometric-based identification system

Abstract In this paper, we present a method for identifying a person with a biometric-based on face geometry. This person identification system design has been done using face biometrics by implementing feature extraction of distances between facial features. Face biometrics were chosen because they have unique characteristics and do not change in each person. In this method, a system analysis that separates the face image into face components, including the eyes, nose, and mouth on the face image is taken from the front view position. Each component of the feature that has been detected is measured by its distance to form the face semantics. The steps taken in image processing begin with determining the region of interest (ROI). Furthermore, the results of cropping ROI feature extraction are done to get the eye, nose and mouth. After that, a centroid is determined for each feature so that the distance between features can be calculated using the equation of the distance between the two coordinates, so we get 8 distances as matching parameters. The matching process is done using euclidean distance, which is calculating the smallest distance between the test image and the database. Based on research results, this system can be used to identify someone using face biometrics with fixed poses and expressions. The accuracy of this system is 100 percent
The Effect of a new Law on Marketing of Online Gambling Companies in Sweden

As of January 1st,  2019, the Swedish online gambling market became competitive for the first time, by removing the complete gambling monopoly held governmentally owned gambling company Svenska Spe ...