Reviewerly/exHarmony huggingface dataset:
Security of Graphics Processing Units (GPUs) in Heterogeneous Systems

Author(s): Naghibijouybari, Hoda | Advisor(s): Abu-Ghazaleh, Nael | Abstract: Modern computing platforms are becoming increasingly heterogeneous, combining a main processor with accelerators/co-processors to perform data-intensive computations. As the most common accelerator, Graphics Processing Units (GPUs) are widely integrated in all computing devices to enhance the performance of both graphics and computational workloads. GPUs as new components in heterogeneous systems introduce potential vulnerabilities and other security problems.This dissertation studies the security of modern GPUs in terms of micro-architectural covert and side channels attacks and defenses. In micro-architectural attacks, information leakage is measured through processes interactions through the shared hardware resources on a processor.The first contribution of my dissertation is a study of covert channel attacks on General Purpose GPUs (GPGPUs). I first reverse engineer the hardware scheduler to create co-residency between two malicious applications. I study contention and construct operational channels on different resources including caches, functional units and memory on three different Nvidia GPGPUs, obtaining error-free bandwidth of over 4 Mbps.Next, I explore side channel attacks; a dangerous threat vector on GPUs where a malicious spy application can interleave execution with a victim application to extract sensitive information. I build three practical end-to-end attacks in both the graphics and the computational stacks on GPUs: 1) Website fingerprinting attack that identifies user browsing websites, 2) tracking user activity on web browsers that captures keystroke timing, and 3) Neural Network model extraction to reconstruct the internal structure of a neural network with high accuracy.The third contribution of the dissertation is to study architectural mitigations to protect GPU-based systems against these attacks. I propose GPUGuard, a decision tree based detection and a hierarchical defense framework which isolates contending applications into separate security domains at different hierarchy levels to maximize sharing when it is safe, but to reliably close contention based channels when there is a possibility of such a channel.The final contribution of my dissertation is an exploration of cross-component covert and side channel attacks in integrated CPU-GPU environments, exploiting the sharing of common resources among them. These attacks demonstrate the vital need to secure heterogeneous systems and components, and not just the CPUs, against microarchitectural attacks.
Conceptual ambiguity in English texts on terrorism: causes and disambiguation methods

Today’s natural language processing research frequently addresses the issue of content semantization (including the semantization of unstructured texts such as electronic news) by means of semantic annotation or its special case, ontology-based and domain-oriented conceptual annotation. Conceptual annotation is often complicated by conceptual ambiguity manifested in one-to-many mappings between lexical items and ontology concepts. This paper examines the causes of conceptual ambiguity in restricted domain texts, with the case study of English-language electronic news on terror attacks. Four causes of conceptual ambiguity are revealed: part-of speech homonymy, lexical ambiguity, the plurality of conceptual meanings (the most productive), and the extralinguistic context (the least productive, but the hardest to resolve). Three quantitative disambiguation methods are studied: a) tag ranking, b) a bigram-model-based contextual method, and c) a positional method. All the methods are found useful for computer-aided conceptual disambiguation, yet it is pointed out that these quantitative methods are not quite accurate when used alone and rule-based methods would be a good addition.
LibGuides: Fun Online Resources in USU's Libraries: Home

Ever wonder what resources you have access to through the USU libraries? This guide lists some of the fun online resources you can access at any time.
Qualitative and quantitative analysis of damages caused by seismic events in Kiirunavaara mine, Sweden

Qualitative and quantitative analysis of damages caused by seismic events in Kiirunavaara mine, Sweden
Automation of Measuring Parameters of Single Photon Detectors at a Modular Research Quantum Key Distribution Setup

This paper considers the issue of developing software for automated measurement of single photon detectors at a modular research quantum key distribution setup. The results of measuring the parameters of single photon detectors are presented.
基于循环交互注意力网络的问答立场分析(A Recurrent Interactive Attention Network for Answer Stance Analysis)

针对问答立场任务中,现有方法难以提取问答文本间的依赖关系问题,本文提出一种基于循环交互注意力(Recurrent Interactive Attention, RIA)网络的问答立场分析方法。该方法通过模仿人类阅读理解时的思维方式,基于交互注意力机制和循环迭代方法,有效地从问题和答案的相互联系中挖掘问答文本的立场信息。此外,该方法将问题进行陈述化表示,有效地解决疑问句表述下问题文本无法明确表达自身立场的问题。实验结果表明,本文方法取得了比现有模型方法更好的效果,同时证明该方法能有效拟合问答立场分析任务中的问答对依赖关系。
Smarta hem - En undersökning om internetuppkopplade enheter i hemmet

Purpose: Knowledge about smart home products is relatively low, which means that the population does not take advantage of the benefits that exist with the system. The purpose of this thesis is to ...
LSC-CyFair Library Guides: EDUC 1300: Career Research: WORKS CITED LISTS IN MLA

This guide has information about using websites and library sources to research your career for EDUC 1300. Resources for formatting your Works Cited citations in MLA
AWARENESS OF CYBER CRIME ON SOCIAL MEDIA

More and more people, in spite of age and gender, are signing up for profiles on online socialnetworks for connecting with one another during this virtual world. Some people have many friends andfollowers spread across multiple profiles. But at the same time there is proliferation of fake profiles also. Fakeprofiles often spam the users like posting inappropriate or illegal content. Fake profiles are created whilemisrepresenting some known person to cause harassment to him/her.This is a cross sectional study conductedamong the common people through a questionnaire with 10 questions. The sample was taken on commonpeople. The sample size of the study wass 100 and the results were tabulated accordingly.From the responsecollected it is evident that there is no significant relationship among the public regarding cyber crime. Peoplewho are associated with the IT sector are well aware than the general public on Cyber Crime. The Independentvariable such as age and gender was taken into consideration and the dependent variable such as awarenessabout the ransomware and cyber crime was put forward to the public.The best of our knowledge, none of theprevious researchers have adopted this approach.
NOAA/NCEI&#8216;s Challenges in Meeting New Open Data Requirements

&amp;lt;p&amp;gt;The U.S. National Oceanic and Atmospheric Administration&amp;amp;#8217;s (NOAA) National Centers for Environmental Information (NCEI) stewards one of the world&amp;amp;#8217;s largest and most diverse collections of environmental data. The longevity of this organization has led to a great diversity of digital and physical data in multiple formats and media. NCEI strives to develop and implement processes, guidance, tools and services to facilitate the creation and preservation of independently understandable data that is open and FAIR (Findable, Accessible, Interoperable, Reusable).&amp;lt;/p&amp;gt;&amp;lt;p&amp;gt;The Foundations for Evidence-Based Policymaking Act (Evidence Act) (PL 115-435), which includes the Open, Public, Electronic, and Necessary Government Data (OPEN) Act (2019), requires all U.S. Federal data to be shared openly. Meeting the requirements of the Evidence Act, FAIR and OPEN has many challenges. One challenge is the requirements are not static, they evolve over time based on the data lifecycle, changes within the designated user community (ex. user needs and skills) and transition to new technology such as cloud. Consistently measuring and documenting compliance is another challenge.&amp;amp;#160;&amp;lt;/p&amp;gt;&amp;lt;p&amp;gt;NCEI is tackling the challenges of ensuring our data holdings meet the requirements of OPEN, FAIR and the Evidence Act in multiple areas through the consistent implementation of community best practices, knowledge of current and potential user communities, and elbow grease.&amp;lt;/p&amp;gt;&amp;lt;p&amp;gt;This presentation will focus on NCEI&amp;amp;#8217;s experiences with taking data beyond independently understandable to meeting the Evidence Act, FAIR, and OPEN.&amp;lt;/p&amp;gt;&amp;lt;p&amp;gt;&amp;amp;#160;&amp;lt;/p&amp;gt;
Resolve of a FYX mechanism based on indomitability of KF course employing peculiarity of a recent originality

The paper makes use of a contemporary type of neat instrument situated on the mechanical nature adjusted in the JG faculty of MD - mode using BX - way and X ritual. An over classification and more adult or worldly wise strategy with a more valuable categorization can be activated to develop the fidelity of the untrained habit for further examination and stock inasmuch as they found to be perfectly strong on device avowal habit. In current analysis, the experimenters try to the up-to-date exploration since creators have not prior to qualified from 2005 with other writers considering producers have trained and will not been practiced for 9 years. On The Other Hand, in this analysis, biographers come out with the contemporary exploration where journalists have not yet adept since 2003 where essayists have trained and might not been matured for 5 years. A more advanced management and more knowing scenario with a more appropriate standardization would be activated to sharpen the constancy of this current style for new contemplation and interpretation since they found to be quite good on machine agreement recipe. A larger than regulation and more knowing story with an exceptional layout needed to be enforced to take off the loyalty of this strange practice for new questioning and estimation since they shoud be altogether reputable on widget verification arrangement. In current study, the researchers try to original origination where journalists have not yet matured from 1975 where authors have adept and shall not been broken in for 67 years.
From testing to formal verification in Haskell

Haskell’s expressive type-system saves developers from writing several categories of bugs. Yet, even though it allows them to encode complicated invariants statically, logic related errors can still escape to the type system. Typical testing mechanisms are still offered to ensure higher levels of quality of pieces of software written in Haskell. In particular, the testing framework QuickCheck6 enables a type-based property testing, where the programmer encodes invariants as properties, and the library generates (appropriate) test data to cover them. It is a known issue that the effectiveness of any testing mechanism is sensitive to the nature of the test cases and formal verification is preferred whenever applicable. LiquidHaskell allows enhancements to the Haskell’s type-system with refinement types in order for developers to encode type-based invariants and automatically prove their satisfiability using an SMT solver. Typically, trivial properties are easily proved by LiquidHaskell, whereas other times the developer needs to manually provide inductive hypotheses, additional lemmas, or use equational reasoning to complete the proof. In this thesis work we study the ”manual” proofs in LiquidHaskell. We formally prove QuickCheck properties of a real-world library and study a way to automate a major part of the manual work. We introduce a proof generator written in Template Haskell21 that, given a boolean property (QuickCheck test), automatically generates the corresponding proof to formally verify the property in LiquidHaskell. We noticed that many of the manual proofs involve induction and case splitting, thus, we integrated into the proof generator two heuristics that help in those cases in a similar style to the tactics in Coq 4 proofs.
Make a Match Technique on Students' Reading Skill

The purpose of this study is to know the effect make a match technique towards students’ reading skill in narrative text at the second semester ninth grade of SMPN 1 Tanjungpinang. The design of the research that researcher used in this study are quasi-experiment non equivalent (Pre-test and Post-test) with the quantitative approach. The sample of this study is 68 students’ taken from the ninth grade SMPN 1 Tanjungpinang who are selected through with cluster random sampling technique. This research sample was two classes consisting of 34 students’ for the experimental class and 34 students’ for the control class. In the experimental class, researcher used make a match technique and the control class the researcher used speech technique to teach students’. The treatment was held in 2 meetings where 4x40 minutes to teach each class. In collecting data, researcher conducted pre-test and post-test by presenting multiple choice test consisting of 20 items for each test. Data were analyzed using Minitab 17 to calculated the t-test. The results of statistical calculations, the average score of pre-test in the experimental class were 72.06 and 87.06 for the post-test. Meanwhile, the average score of the pre-test in the control class were 59.26 and 75.00 for the post-test. In addition, in the hypothesis test table, it can be seen that ά = 0.05. This proves that the null hypothesis (Ho) is rejected and the alternative hypothesis (Ha) is accepted because p-value>0.05. It means that there is an effect of make a match technique towards students reading skill in narrative text at the second semester ninth grade.
Characterization and Design of a Cryogenic CMOS Receiver for Superconducting and Spin Qubit Readout

Quantum computers hold a promise to solve intractable problems that can not be solved with classical computers. In quantum computers, information is processed in qubits as opposed to bits. The proper operation of qubits requires them to be operated in a quantum state; hence they need to be cooled down to temperatures well below l1K. Using qubits and their quantum mechanical property, quantum computers can achieve exponential speedup in solving certain computing problems compared to classical computers. However, this can only be achieved by employing thousands of qubits. At the current state of play, quantum computers are still far from practical. The current state-of-the-art solution dictates that each qubit needs multiple interconnects towards room temperature and requires bulky room temperature instruments for qubit readout and control. Clearly, this current solution will not scale well for a quantum computer with many qubits. In an effort to solve this issue, it has been proposed to realize dedicated integrated circuits for control and readout of the qubits and operate them closer to the qubits' operating temperature to enable scalability. The thesis presents the implementation of an integrated RF receiver for spin and superconducting qubit readout applications. The work aims to replace the bulky room temperature electronics with an integrated solution that operates at 4K to enable scalability and simplification of the quantum computing architecture. The receiver has been designed in the TSMC 40nm CMOS technology and has been characterized in room temperature and 4K. The measured performance shows that the receiver features a gain of 58 dB and a minimum double-sideband noise figure of 0.6 dB at 4K with an operating frequency of 6-8 GHz; a comparable performance to the current state-of-the-art room temperature electronics used for qubit readout. Moreover, this work demonstrates a qubit readout experiment with the integrated receiver in both room temperature and 4K. The qubit readout experiment shows a comparable qubit readout performance with the integrated receiver at room temperature. However, due to oscillation problems, a degradation in qubit readout performance with the chip operating at 4K is observed.
LibGuides: BIO 330: Research Process and Library Catalog

This libguide serves to help students on how to do research and use the library's resources.
Data Computing Model and Software Development for Construction Setting-out of Line Curve

Abstract In view of the fact that the line design is often a cross combination of multi-curves, it is difficult to meet the middle-pile surveying data computing of multi-curves combination for the existing tool software. In this paper, a line pile-point surveying data computing software (LPLS) suitable for multi-curves combination is designed and developed, and the flowchart of software design and development is given. Through the computing and analysis of engineering examples, the main functional modules of LPLS software are verified, and the correct and reliable computing results are obtained.
LibGuides: ENGL B1A: Technology & Society: Finding Books

This guide was created for Professor Peet's class studying various topics within technology & society. How to find books and e-books in our library.
LibGuides: Study Skills and Time Management: Home

Resources to help manage assignments and studying and to balance school, work, and home tasks. General Information and resources
Guides: Subject Guide: English: Our Collections

A guide to getting the most out of the Library and Collections resources for English Databases for your subject
LibGuides: COVID-19 Guide to Faculty Resources: Resources for Online Classes

This guide will direct you to some of the most useful library resources as well as access to publishers and vendors issuing extended access during the COVID-19 pandemic.
LibGuides: LLILAS Benson Digital Collections and Content: Collaborative Digital Initiatives

This guide is aimed to provide users with a comprehensive resource to help them navigate and access the Benson's digital content which stems from a variety of projects and departments.
Benchmarking study: Classical Learner Modelling Approaches vs An Ontology-Based Learner Model

In the field of technology-enhanced learning environment, while some researchers have been working on the learner modelling thematic for decades, the last few years have been marked by the multiplication of challenges related to the representation and selection of relevant information on the learner. Among the significant issues that arise when setting up a learning system is the question of how to present relevant learning content that meets learner's needs, and that also takes into account the learning context information. This present work aims to provide a context-aware learner modelling approach based on ontology. The proposed model incorporates the relevant characteristics of learners plus specific information about their learning context. In this paper, we also analyzed the prevalent approaches and provided a comparative analysis of our model with the most important works in literary.  In conclusion, we showed different use cases that place in evidence the integration of learning context in the learner model, and that also stipulates our proposition as more comprehensive.
Research and Course Guides: Panopto - Getting started in the library: Basics

Record, upload, and share your class project videos using Panopto Whether you are using the recording studios in the library or recording on your own, Panopto is a great solution for storing and sharing your video.
Secure Coding Guidelines

When software applications have vulnerabilities, it means high costs for the application maker. Some organizations pay more than $500,000 per security incident. The efforts used for the elimination of vulnerabilities in a software application should focus on secure coding, avoiding deploying any vulnerabilities in the production phase.
An Engaged Act as a Condition of a (Philosophical) Community

The text presented is the beginning of a project of a group based in Belgrade at&nbsp;the Institute of Philosophy and Social Theory for Engagement Studies. We are interested in how the French word engagement behaves in Russian. A prelimi­nary definition of our position and the main hypothesis consists of several provi­sions: first, we are interested in the acts or actions, as a result of which some­thing happens, and not the facts, objects, consequences or results of these acts. It&nbsp;is important for us to know how a society is built or how individuals come to­gether and hold together. We believe that there are acts, or groups of acts that work or do not work. Second, we are trying to highlight the acts that result in in­stitutions, and not just groups, societies or communities. We believe that without the participation of the so-called “biased acts”, whose definition we want to give in our text, there are no institutions as such or strong and stable institutions. En­gaged acts give institutions legal status and strengthen them. And the third, in&nbsp;the&nbsp;case of philosophical communities, we are faced with the problematic na­ture of biased acts and greater operability of institutional acts, which determines some specifics of philosophical communities.
Practical-Oriented Concept as a Principle of Professional Education of the Future Professionals

The article considers the essence of the process of practice-oriented concept as a principle of the professional training quality of the future specialists. Socialization is singled out and considered through the interdisciplinary concept in professional education. Socialization is defined as a successful component of the future specialists' professional education. One of the ways of professional education of the future specialists is covered -participation in social projects of the higher education institutions. Emphasis is placed on the peculiarities of the socialization and professional education of the future specialists through the social project's organization. The motivational and innovative components of socialization in the professional education of future specialists are studied. The results of the experimental study aren described.
Appraisal Of Projects On Digital Transformation In Education: Ways To Efficient Dialogue

The features of the organization of expert dialogue in a digital environment are analyzed. The stages of moderation of the dialogue between participants in projects on digital transformation of education are analyzed. The specifics of the organization of dialogue culture on a digital portal for the examination of projects of regional teams of digital transformation of education are revealed. The purpose of the study is to identify the features of the organization of expert dialogue in a digital environment. The main research method presents a factor analysis method in identifying the principles of dialogue moderation in a digital environment. The results of the study reveal the features of the implementation of training programs for leaders in the digital transformation of education through project sessions and expert dialogue. The results of the study are of practical value for understanding the changes in the adult education model by introducing project-oriented education methods. The scientific novelty of the study is to develop a model of a digital portal for the examination of education transformation projects and the technology for organizing an expert dialogue. The research results enrich modern concepts: “The concept of dialogue of cultures”, “The concept of digital education”.
LibGuides: Teaching creative writing: Home

Tips and tricks to help students learn the fine art of creative writing. This Libguide helps students understand how to write short stories, plays, poetry and graphic novels.