Reviewerly/exHarmony huggingface dataset:
Revisions to Software Engineering 2004: Curriculum Guidelines for Undergraduate Degree Programs in Software Engineering

Abstract Revisions to Software Engineering 2004: Curriculum Guidelines for UndergraduateDegree Programs in Software EngineeringMark Ardis, Jo Atlee, David Budgen, Greg Hislop, Renée McCauley, Mark SebernThe IEEE Computer Society and the ACM charged the SE2004 Review Task Force(SE2004 RTF) with reviewing and determining the extent of needed revisions, if any, toSoftware Engineering 2004: Curriculum Guidelines for Undergraduate DegreePrograms in Software Engineering (SE2004), published August 23, 2004.The SE2004 RTF constructed an extensive list of SE2004 stakeholders from industry,government and academia, and we sought to identify either: (a) conduits through whichwe could reach those stakeholders, or (b) individual email addresses. We then distributedto all stakeholders a call for participation in an online survey about SE2004. In somecases the call was disseminated by colleagues in professional societies or workinggroups.We also conducted a short overview and feedback session on SE2004 at the Conferenceon Software Engineering Education and Training (CSEE&T) in late May 2011 andfurther promoted the online survey through flyers and panel presentations at conferences,a column in ACM SIGSOFT Software Engineering Notes, and creation of a portal onEnsemble, a website for computing educators.We received 477 completed responses to the survey from 42 countries, though themajority (333) of respondents were from the United States. The relatively large numberof software developers who completed the survey (156) is probably due to thedissemination of our call for participation to all holders of CSDA and CSDP certificates.Several of these respondents sent follow-up emails offering to help in future revisions toSE2004.Most responses to the survey confirmed that the overall structure and contents of SE2004remain relevant and appropriate. In particular, the core body of knowledge that should becovered in all software engineering undergraduate degree programs remains relevant,though it was suggested that a few topics, including security and agile methods, should beadded or receive more attention. Some sections of SE2004, such as Adaptation toAlternative Environments and the Bibliography for Software Engineering Education,might be removed in future editions, as they seem to be of limited value to readers.Our findings lead us to believe that SE2004 is still fit for purpose and needs only someminor revisions to incorporate new technologies and concerns. This session will presentthe details of our results and invite comment from attendees.
Designing Model Based Solutions To Leaky Female Engineering Pipeline: A Qualitative Study Of Female Engineer Narratives

This paper describes a case study conducted to explore the two major causes of attrition in the female engineering "pipeline."These are (a) factors motivating females to enter engineering programs and (b) females' adaptability in the engineering profession.This study proposes a theoretical framework for designing better models for engineering outreach programs as well as creating female-friendly professional climates.The two major research objectives for the study are: (a) identifying factors that motivate females to become engineers and (b) determining the extent of female engineers' job adaptability.This study analyzed 123 case interviews conducted with female engineers featured on the website engineergirl.org.The majority of participants believed their strength in high school mathematics and love for problem solving led them to the engineering field.The study also found the female engineering sample adapted well to the profession, as inferred from their professional and learning goals.
CoAP Pub-Sub Profile for Authentication and Authorization for Constrained Environments (ACE)

This specification defines a profile for authentication andauthorization for publishers and subscribers in a pub-sub settingscenario in a constrained environment, using the ACE framework. Thisprofile relies on transport layer or application layer security toauthorize the publisher to the broker. Moreover, it relies onapplication layer security for publisher-broker and subscriber-brokercommunication.
Crucial Aspects And Objectives Of A Foundations Course In Information Technology

A foundations course is the first exposure that most students will have to the major and profession of Information Technology (IT) causing it to be an essential stepping stone for success in this field.Both freshmen and transfer students of various backgrounds will be enrolled in the course forcing the need of handling topics that are new to some students but possibly experienced by other students.The main goals for a foundations course in IT are to give a good academic and professional career orientation and to establish a "way of thinking" within the major.The academic orientation will allow the students to know what is expected of them within the IT major.The professional career orientation will give the students a good understanding of careers in IT.The "way of thinking" will be the foundation for a community of learning that will foster collaboration within the program.To achieve these goals within the course there is a broad scope of learning objectives that must be covered.These range from keeping a learning community thriving with these "new arrivals" to covering the introduction of core topics of IT as-well-as the beginnings of life long learning that will be needed later in a professional career.
UofL Libraries: Archives & Special Collections Hours: Home

University of Louisville Archives and Special Collections homepage, providing information on our collections and how to find and use them.
Digital Capability Checklist for Curriculum Designers

This is a checklist for curriculum designers who are working to embed digital capabilities into a course or subject area. It covers a range of issues that are investigated in more detail in Jisc’s Digital Capabilities Framework (Beetham Chapter 2).
PENDATAAN HASIL PRODUKSI PISANG BERBASIS KERUANGAN DI KABUPATEN LUMAJANG

B a n a n a s are one of the largest fruit commodities produced by farmland Lumajang compared with other fruit commodities. The amount of the production of bananas produced by Lumajang need to do a better collection of any amount of bananas each districts. Geographic Information Systems (GIS) or information systems development based spatial is information system capable of providing spatial information (spatial reference) in which the information generated can be viewed along with the map pointer location. G e og r a p h i c  Information  Systems  (GIS)  Data  Collection  Banana  Production  in Lu m a j a n g used to assist in the collection of existing banana production earlier can also help related  agencies  namely  the  Department  of  Agriculture  Lumajang  in  providing  spatial r e f e r e nc e  information,  especially  the production  of  bananas.  Data  Collection  Banana P r odu c ti o n in Lumajang with this system can display information such as the amount of production per type of bananas produced by each of the districts in Lumajang and graph the r es u l t s of banana production to inform the development of the production of bananas per year.
Geo-Topo Maps: Hybrid Visualization of Movement Data over Building Floor Plans and Maps

We demonstrate how movements of multiple people or objects within a building can be displayed on a network representation of the building, where nodes are rooms and edges are doors. Our representation shows the direction of movements between rooms and the order in which rooms are visited, while avoiding occlusion or overplotting when there are repeated visits or multiple moving people or objects. We further propose the use of a hybrid visualization that mixes geospatial and topological (network-based) representations, enabling focus-in-context and multi-focal visualizations. An experimental comparison found that the topological representation was significantly faster than the purely geospatial representation for three out of four tasks.
A Decoupled Motion Estimation for Visual Regulation of Nonholonomic Mobile Robot

A visual regulation strategy based on a decoupled ego-motion estimation technique, is presented for a nonholonomic mobile robot. Ego-motion in a static environment can be robustly estimated by planar region alignment, which initially detects the 2D planar motion between two frames, and the 2D motion is used to align corresponding image regions. Such a 2D registration removes all effects of the camera rotation, and the resulting residual displacement between the two aligned images is an epipolar field centered at the FOE (Focus of Expansion). Then 3D camera translation is recovered from the epipolar field. The 3D camera rotation is then derived from the recovered 3D translation and the detected 2D motion. By this way, the ego-motion estimation is decoupled into a 2D parametric motion and residual epipolar parallax displacements, which avoids many of the inherent ambiguities and instabilities associated with decomposing the image motion into its rotational and translational components, and hence makes the computation of ego-motion or 3D structure estimation more robust. Based on the ego-motion estimation, an adaptive control law for visual regulation of nonholonomic mobile robot is presented and the stability of the close loop system is analyzed in the sense of Lyapunov stability theory. Experiments show that the convergence of the proposed visual regulation.
The Serials Circle: Workflow in the Serials Department at Iowa State University

The Serials Department at Iowa State University (ISU) consisted of three sections: Serials Acquisitions, Serials Cataloging, and Serials Processing. Even though serials are no longer handled in one department at ISU, these three sections still exist, and the serials workflow, procedures, and communication patterns have changed little
Software Development Processes

Software engineering is as much about teamwork as it is about technology. This introductory textbook covers both. For courses featuring a team project, it offers tips and templates for aligning classroom concepts with the needs of the students' projects. Students will learn how software is developed in industry by adopting agile methods, discovering requirements, designing modular systems, selecting effective tests, and using metrics to track progress. The book also covers the 'why' behind the 'how-to', to prepare students for advances in industry practices. The chapters explore ways of eliciting what users really want, how clean architecture divides and conquers the inherent complexity of software systems, how test coverage is essential for detecting the inevitable defects in code, and much more. Ravi Sethi provides real-life case studies and examples to demonstrate practical applications of the concepts. Online resources include sample project materials for students, and lecture slides for instructors.
Academic Business Library Directors Annual Meeting

Conference Report for Academic Business Library Directors 2015 Annual Meeting at the O wen Graduate School of Management, Vanderbilt University (Nashville, Tennessee), from April 21 to 23, 2015.  This meeting was attended by 40 business libraries directors from across North America. The theme of the conference was Entrepreneurship and Innovation and how the member libraries met the needs of our respective campuses.
Towards Interpretable Semantic Segmentation via Gradient-Weighted Class Activation Mapping (Student Abstract)

Convolutional neural networks have become state-of-the-art in a wide range of image recognition tasks. The interpretation of their predictions, however, is an active area of research. Whereas various interpretation methods have been suggested for image classification, the interpretation of image segmentation still remains largely unexplored. To that end, we propose seg-grad-cam, a gradient-based method for interpreting semantic segmentation. Our method is an extension of the widely-used Grad-CAM method, applied locally to produce heatmaps showing the relevance of individual pixels for semantic segmentation.
Quantum semantics of text perception

Abstract The paper presents quantum model of subjective text perception based on binary cognitive distinctions corresponding to words of natural language. The result of perception is quantum cognitive state represented by vector in the qubit Hilbert space. Complex-valued structure of the quantum state space extends the standard vector-based approach to semantics, allowing to account for subjective dimension of human perception in which the result is constrained, but not fully predetermined by input information. In the case of two distinctions, the perception model generates a two-qubit state, entanglement of which quantifies semantic connection between the corresponding words. This two-distinction perception case is realized in the algorithm for detection and measurement of semantic connectivity between pairs of words. The algorithm is experimentally tested with positive results. The developed approach to cognitive modeling unifies neurophysiological, linguistic, and psychological descriptions in a mathematical and conceptual structure of quantum theory, extending horizons of machine intelligence.
Multi-Objective Multi-Agent Planning for Jointly Discovering and Tracking Mobile Objects

We consider the challenging problem of online planning for a team of agents to autonomously search and track a time-varying number of mobile objects under the practical constraint of detection range limited onboard sensors. A standard POMDP with a value function that either encourages discovery or accurate tracking of mobile objects is inadequate to simultaneously meet the conflicting goals of searching for undiscovered mobile objects whilst keeping track of discovered objects. The planning problem is further complicated by misdetections or false detections of objects caused by range limited sensors and noise inherent to sensor measurements. We formulate a novel multi-objective POMDP based on information theoretic criteria, and an online multi-object tracking filter for the problem. Since controlling multi-agent is a well known combinatorial optimization problem, assigning control actions to agents necessitates a greedy algorithm. We prove that our proposed multi-objective value function is a monotone submodular set function; consequently, the greedy algorithm can achieve a (1-1/e) approximation for maximizing the submodular multi-objective function.
Entanglement-Based Feature Extraction by Tensor Network Machine Learning

It is a hot topic how entanglement, a quantity from quantum information theory, can assist machine learning. In this work, we implement numerical experiments to classify patterns/images by representing the classifiers as matrix product states (MPS). We show how entanglement can interpret machine learning by characterizing the importance of data and propose a feature extraction algorithm. We show on the MNIST dataset that when reducing the number of the retained pixels to 1/10 of the original number, the decrease of the ten-class testing accuracy is only O (10 –3 ), which significantly improves the efficiency of the MPS machine learning. Our work improves machine learning’s interpretability and efficiency under the MPS representation by using the properties of MPS representing entanglement.
Cyber Security Intelligence and Ethereum Blockchain Technology for E-commerce

The days, the usage of E-commerce applications in the distributed network has been increasing progressively. These applications bring many advantages such as online shopping from different places. For the sake of simplicity, offloading data of applications from user devices to servers lead to many research challenges. This paper devises a novel blockchain-enabled system for E-commerce applications. The network consists of ethereum nodes that can implement symmetric security to provide valid and secure hashing of data in distributed computing. The simulation results show that the proposed blockchain-enabled system outperforms all existing systems in terms of security
Asymptotic Survival of Genuine Multipartite Entanglement in Noisy Quantum Networks Depends on the Topology

The study of entanglement in multipartite quantum states plays a major role in quantum information theory and genuine multipartite entanglement signals one of its strongest forms for applications. However, its characterization for general (mixed) states is a highly nontrivial problem. We introduce a particularly simple subclass of multipartite states, which we term pair-entangled network (PEN) states, as those that can be created by distributing exclusively bipartite entanglement in a connected network. We show that genuine multipartite entanglement in a PEN state depends on both the level of noise and the network topology and, in sharp contrast to the case of pure states, it is not guaranteed by the mere distribution of mixed bipartite entangled states. Our main result is a markedly drastic feature of this phenomenon: the amount of connectivity in the network determines whether genuine multipartite entanglement is robust to noise for any system size or whether it is completely washed out under the slightest form of noise for a sufficiently large number of parties. This latter case implies fundamental limitations for the application of certain networks in realistic scenarios, where the presence of some form of noise is unavoidable. To illustrate the applicability of PEN states to study the complex phenomenology behind multipartite entanglement, we also use them to prove superactivation of genuine multipartite nonlocality for any number of parties.
Algebraically Closed Fields in Isabelle/HOL

A fundamental theorem states that every field admits an algebraically closed extension. Despite its central importance, this theorem has never before been formalised in a proof assistant. We fill this gap by documenting its formalisation in Isabelle/HOL, describing the difficulties that impeded this development and their solutions.
Three-Josephson junctions flux qubit couplings

We analyze the coupling of two flux qubits with a general many-body projector into the low-energy subspace. Specifically, we extract the effective Hamiltonians that controls the dynamics of two qubits when they are coupled via a capacitor and/or via a Josephson junction. While the capacitor induces a static charge coupling tunable by design, the Josephson junction produces a magnetic-like interaction easily tunable by replacing the junction with a superconducting quantum interference device. Those two elements allow to engineer qubits Hamiltonians with XX, YY, and ZZ interactions, including ultrastrongly coupled ones. We present an exhaustive numerical study for two three-Josephson junctions flux qubit that can be directly used in experimental work. The method developed here, namely, the numerical tool to extract qubit effective Hamiltonians at strong coupling, can be applied to replicate our analysis for general systems of many qubits and any type of coupling.
Ubiquitous Learning for Distance Education Students: The Experience of Conducting Real-Time Online Library Instruction Programs through Mobile Technology

Library services for Hong Kong-based students enrolled in distance learning programs on information studies, offered by the Charles Sturt University (CSU), Australia in collaboration with the School of Professional and Continuing Education of the University of Hong Kong (HKUSPACE), were supported by the University of Hong Kong Libraries utilizing a face-to-face format for many years. With the advancement of internet technology, new e-learning software, mobile technology and ever-growing online resources, CSU and HKUSPACE course administrators considered that online library instruction programs could be supported and delivered by the librarians of CSU at Australia remotely to Hong Kong students. Several real-time, online instruction programs were initiated since late 2013. The successful launching of the programs provides evidence to support the provision of online library instruction through not only personal computers, but also mobile devices. Based on a qualitative analysis, it was concluded that delivering library instruction programs by internet and mobile technology to distance learning students in higher education is achievable. More library services can be planned by making use of this successful experience.
Inhibition of spread of typical bipartite and genuine multiparty entanglement in response to disorder

Abstract The distribution of entanglement of typical multiparty quantum states is not uniform over the range of the measure utilized for quantifying the entanglement. We intend to find the response to disorder in the state parameters on this non-uniformity for typical states. We find that the typical entanglement, averaged over the disorder, is taken farther away from uniformity, as quantified by decreased standard deviation, in comparison to the clean case. The feature is seemingly generic, as we see it for Gaussian and non-Gaussian disorder distributions, for varying strengths of the disorder, and for disorder insertions in one and several state parameters. The non-Gaussian distributions considered are uniform and Cauchy–Lorentz. Two- and three-qubit pure state Haar-uniform generations are considered for the typical state productions. We also consider noisy versions of the initial states produced in the Haar-uniform generations. A genuine multiparty entanglement monotone is considered for the three-qubit case, while concurrence is used to measure two-qubit entanglement.
How Private is Android’s Private DNS Setting? Identifying Apps by Encrypted DNS Traffic

DNS over TLS (DoT) and DNS over HTTPS (DoH) promise to improve privacy and security of DNS by encrypting DNS messages, especially when messages are padded to a uniform size. Firstly, to demonstrate the limitations of recommended padding approaches, we present Segram, a novel app fingerprinting attack that allows adversaries to infer which mobile apps are executed on a device. Secondly, we record traffic traces of 118 Android apps using 10 differnet DoT/DoH resolvers to study the effectiveness of Segram under different conditions. According to our results, Segram identifies apps with accuracies of up to 72 % with padding in a controlled closed world setting. The effectiveness of Segram is comparable with state-of-the-art techniques but Segram requires less computational effort. We release our datasets and code. Thirdly, we study the prevalence of padding among privacy-focused DoT/DoH resolvers, finding that up to 81 % of our sample fail to enable padding. Our results suggest that recommended padding approaches are less effective than expected and that resolver operators are not sufficiently aware about this feature.
WhylSon: Proving your Michelson Smart Contracts in Why3.

This paper introduces WhylSon, a deductive verification tool for smart contracts written in Michelson, which is the low-level language of the Tezos blockchain. WhylSon accepts a formally specified Michelson contract and automatically translates it to an equivalent program written in WhyML, the programming and specification language of the Why3 framework. Smart contract instructions are mapped into a corresponding WhyML shallow-embedding of the their axiomatic semantics, which we also developed in the context of this work. One major advantage of this approach is that it allows an out-of-the-box integration with the Why3 framework, namely its VCGen and the backend support for several automated theorem provers. We also discuss the use of WhylSon to automatically prove the correctness of diverse annotated smart contracts.