Reviewerly/exHarmony huggingface dataset:
Learning Common Core Math Concepts with WISEngineering

WISEngineering is an innovative, free online learning environment that supports students through engineering design projects designed to improve science, technology, engineering, and math (STEM) learning in middle and high school classes.WISEngineering builds from an informed engineering design pedagogy, knowledge integration learning framework and the opensource Web-based Inquiry Science Environment technologies.WISEngineering uses engineering design modules to facilitate engineering habits of mind such as systems thinking, creativity, optimism, collaboration as well as standard-based mathematics and science concepts.In these modules, students use CAD technologies and digital fabrication to create, build, and refine their designs.The environment leverages technologies such as an electronic design journal, portfolio and "design wall" that enables students to create, share, critique, and communicate with their peers.These engineering design projects give students a context and real-life application for learning math and science concepts.The Community Challenge project sequence engages 7 th grade students in the design of their local community.The first two-week project guides students through the design of a community building, the second project involves students in designing a community garden, and the third project engages students in designing windmill and solar panel systems to help power their building and garden.This presentation focuses on the first project in the sequence, the Community Building project.Students are given volume and surface area constraints and specifications for their building design.Based on these parameters, students must learn and apply several Common Core Mathematical Standards of Geometry, Ratios and Proportional Relationships, and Expressions and Equations.Once students have their initial design, they create and refine models using digital fabrication technologies.The Community Building project leverages the success of the Skyline Design project that has demonstrated success improving students' understanding of standards-based math concepts.This paper provides an outline of a work-in-progress study of the Community Building project.This implementation involves around 200 7 th grade low performing students in an urban middle school.Pretest, posttest, and embedded assessments, as well as targeted interviews, have been designed to assess learner outcomes in mathematical understanding, engineering habits of mind, and an interest in STEM subjects.
Information Visualization for Product Lifecycle Management (PLM) Data

Hartman is also Director of Advanced Manufacturing in the College of Technology.His research focuses on examining the use of 3D CAD tools in the product lifecycle, the process and methodology for model-based definition and the model-based enterprise, geometry automation, and data interoperability and re-use.He currently teaches courses in 3D modeling, virtual collaboration, 3D data interoperability, and graphics standards and data exchange.Professor Hartman also leads a team in the development and delivery of the online Purdue PLM Certificate Program and in the development of the next-generation manufacturing curriculum at Purdue focusing on manufacturing systems and the holistic product lifecycle.
The VU-LEGO Real Time Target: Taking Student Designs to Implementation

The use of embedded / mechatronic systems in teaching is being revolutionized by a) the advent of increasingly powerful yet low-cost computational devices and sensors, and b) by modern Automatic Code Generation tools which allow these devices to be programmed directly from high-level designs -without the difficulties traditionally associated with low level embedded system programming.This paper describes progress on a National Science Foundation, MathWorks and Nokia sponsored project aimed at exploiting these developments for practical use and benefit in the classroom.Specifically, the paper describes a new toolchain which enables students to access the hardware capabilities of the 32-bit LEGO NXT brick from within the Matlab / Simulink environment, and to automatically generate and cross-compile the necessary code for real time autonomous implementation.LEGO hardware I/O is represented in the Simulink design mode as blocks for accessing motors, encoders, push-buttons, ultrasound sensors, light sensors and more.Blocks have also been developed to allow the LEGO target to communicate in real time with a host computer over USB or BlueTooth communications.The toolbox enables students to undertake more complex and challenging problems while focusing on high-level pedagogical goals rather than low level issues.A series of tutorial examples are discussed.
Preparing for the 2011 Solar Decathlon

She seeks to understand design as a cognitive process and to use computers to complement the capabilities of designers in creative and flexible ways.Apart from conducting research on design process
Analysing Eye-Tracking Data: From Scanpaths and Heatmaps to the Dynamic Visualisation of Areas of Interest

To understand the visual behaviors of people searching for information on Web pages, heatmaps and Areas Of Interest (AOI) are generally used. These two techniques bring interesting information on how Web pages are scanned by several users. However, two remarks can be expressed: the first one relates to the fact that heatmaps are usually used to represent fixation areas for a given task after it is completed. Thus, it does not represent fixation areas over time. The second remark relates to the use of AOI, which must be defined by the analyst. We present a method, which address these two points. This bottom-up approach is based on a mean-shift clustering procedure for the identification of areas of interest, which takes into account the temporal aspect. The identification of AOI is thus data driven. This approach allows us to show the evolution of a posteriori AOI both in space and time. The limitations and implications of this new approach are discussed
Conditional Independence Test for Categorical Data Using Poisson Log-Linear Model

We demonstrate how to test for conditional independence of two variables with categorical data using Poisson log-linear models. The size of the conditioning set of variables can vary from 0 (simple independence) up to many variables. We also provide a function in R for performing the test. Instead of calculating all possible tables with for loop we perform the test using the log-linear models and thus speeding up the process. Time comparison simulation studies are presented.
Education At The Seams: Preliminary Evaluation Of Teaching Integration As A Key To Education In Information Technology

Information Technology (IT) is widely considered to be an integrative discipline.Many four-year IT programs accept programming, networking, web systems, databases and human-computer interaction as core topics in IT.Active discussion continues as to the best way to teach and sequence these topics.We have proposed and begun to implement a curriculum that reflects a change in orientation from focusing on the technologies to focusing on the interfaces between technologies.We believe that this approach is fundamental to IT as an academic discipline.Students receive a broad introduction to computer and communication technologies combined with an in-depth exploration of the interactions between key technologies.This enables IT students to stitch systems together with understandable, manageable and deployable seams.We report on early results of applying this curricular approach within BYU's four-year IT program.
Erasure, an Attempt to Surpass Datafication

Digital death is a growing concern as personal data and archives are increasingly digitised and stored in networked servers. It refers to the issues surrounding data owner- ship after a person’s death. Social networking sites like Facebook and Twitter have a rising number of deceased users. These companies have consequently developed policies for what happens after their constituents die. E.g, Facebook has a profile memorialisation option while Twitter will discontinue the account. There is very little said however about the erasure of digital data. The question then becomes, with the advent of digital technology, and cheap, plentiful storage devices, how is this nearly limitless archiving affecting our need to forget?
Sustainable Technology/Development And Challenges To Engineering Education

Abstract NOTE: The first page of text has been automatically extracted and included below in lieu of an abstract Session 2561 Sustainable Technology / Development and Challenges to Engineering Education Richard Barke Georgia Institute of Technology New ideas may require decades to find mature adoption. The organizations that implement innovations often must undergo painful restructuring before their benefits can be applied in novel and appropriate ways. For the electric dynamo significant productivity gains required as much as forty years, during which old manufacturing systems based on steam and water power had to be discarded and new ways of using electricity in manufacturing were developed (David, 1990). A lag also appears in the integration of environmental concerns with technological development. Since publication of Rachel Carson’s Silent Spring in 1962, environmental groups have become political forces, a multitude of environmental laws and regulations have been enacted, and the limits to growth, global warming, and overpopulation have been debated. Yet the relationship between environmental protection and technological change has not matured but remains largely adversarial, with the developers of technology often characterized as willfully negligent about the impacts of their work, treating the environmental and social consequences of technological change as messy, impossible to model, and therefore outside the design considerations of engineers. Recently the debate about technological development and the environment has been changing. Technological change has not slowed in spite of concerns about its environmental effects and many environmentalists have discarded their calls for an end to development, advocating instead a new type of growth guided by new principles: sustainable development. At the same time, scientists and engineers are recognizing the important relationship between their work and environmental concerns, with sustainable technology emerging as a guiding principle that many hope will permeate engineering. The objectives of sustainable development and sustainable technology seem to be symbiotic, yet many of the problems of sustainability have their roots in traditional practices of engineering, particularly the short-term maximization of technologically- or market-driven objectives through innovation and increases in the productivity of labor. Engineers have generally practiced and taught under the assumption that engineering solutions are, for them, complete. Concepts such as intergenerational equity, nonmarket public values, and impacts on ecosystems have been treated as exogenous, if at all. If old ways of thinking about engineering
An Algebraic Glimpse at Bunched Implications and Separation Logic

We overview the logic of Bunched Implications (BI) and Separation Logic (SL) from a perspective inspired by Hiroakira Ono’s algebraic approach to substructural logics. We propose generalized BI algebras (GBI-algebras) as a common framework for algebras arising via “declarative resource reading”, intuitionistic generalizations of relation algebras and arrow logics and the distributive Lambek calculus with intuitionistic implication. Apart from existing models of BI (in particular, heap models and effect algebras), we also cover models arising from weakening relations, formal languages or more fine-grained treatment of labelled trees and semistructured data. After briefly discussing the lattice of subvarieties of $$\mathsf {GBI}$$ , we present a suitable duality for $$\mathsf {GBI}$$ along the lines of Esakia and Priestley and an algebraic proof of cut elimination in the setting of residuated frames of Galatos and Jipsen. We also show how the algebraic approach allows generic results on decidability, both positive and negative ones. In the final part of the paper, we gently introduce the substructural audience to some theory behind state-of-art tools, culminating with an algebraic and proof-theoretic presentation of (bi-) abduction.
Code-switching Usage in Social Media: A Case Study from Oman

Multi-linguals have observed a widespread trend of switching between two utterances in foreign language settings entitled code-switching or (CS). It has been noticed that CS usage in social networking websites has not yet been explored intensively in the higher educational institutions of the Gulf region; the reason that attracted us to conduct this study in Oman (one of the Arab Gulf region countries). This study explores the educators and learners’ attitudes towards using CS in social networks within the higher educational context in Oman. Two questionnaire surveys were administrated with 338 students and 21 educators in the study, in addition to two interview sessions with both students and educators. Results indicated that 86.40 % of the students code-switch on social networks, whereas 81 % of the educators do so. WhatsApp is found to be the most social networking App used for code-switching by both students and educators. Furthermore, results indicated that students are highly positive in their attitudes toward the use of code-switching in social media. Additionally, the study presents other implications and future work.
Improving LNMF Performance of Facial Expression Recognition via Significant Parts Extraction using Shapley Value

Nonnegative Matrix Factorization (NMF) algorithms have been utilized in a wide range of real applications. NMF is done by several researchers to its part based representation property especially in the facial expression recognition problem. It decomposes a face image into its essential parts (e.g. nose, lips, etc.) but in all previous attempts, it is neglected that all features achieved by NMF do not need for recognition problem. For example, some facial parts do not have any useful information regarding the facial expression recognition. Addressing this challenge of defining and calculating the contributions of each part, the Shapley value is used. It is applied for identifying the contribution of each feature in the classification problem; then, affects less features are removed. Experiments on the JAFFE dataset and MUG Facial Expression Database as benchmarks of facial expression datasets demonstrate the effectiveness of our approach.
Signed HTTP Exchanges

This document specifies how a server can send an HTTP exchange--arequest URL, content negotiation information, and a response--withsignatures that vouch for that exchange's authenticity. Thesesignatures can be verified against an origin's certificate toestablish that the exchange is authoritative for an origin even if itwas transferred over a connection that isn't. The signatures canalso be used in other ways described in the appendices. Thesesignatures contain countermeasures against downgrade and protocol-confusion attacks.
On one-round reliable message transmission

In this paper, we consider one-round protocols for reliable message transmission (RMT) when t out of n=2t+1 available channels are controlled by an adversary. We show impossibility of constructing such a protocol that achieves a transmission rate of less than Θ(n) for constant-size messages and arbitrary reliability parameter. In addition, we show how to improve two existing protocols for RMT to allow for either larger messages or reduced field sizes.
Security proof for quantum key recycling with noise

Quantum Key Recycling aims to re-use the keys employed in quantum encryption and quantum authentication schemes. QKR protocols can achieve better round complexity than Quantum Key Distribution. We consider a QKR protocol that works with qubits, as opposed to high-dimensional qudits. A security proof was given by Fehr and Salvail in the case where there is practically no noise. A high-rate scheme for the noisy case was proposed by \v{S}kori\'{c} and de Vries, based on eight-state encoding. However, a security proof was not given. In this paper we introduce a protocol modification and provide a security proof. The modified protocol has high rate not only for 8-state encoding, but also 6-state and BB84 encoding. Our proof is based on a bound on the trace distance between the real quantum state of the system and a state in which the keys are completely secure. It turns out that the rate is higher than suggested by previous results. Asymptotically the rate equals the rate of Quantum Key Distribution with one-way postprocessing.
TiSEFE: Time Series Evolving Fuzzy Engine for Network Traffic Classification

Monitoring and analyzing network traffic are very crucial in discriminating the malicious attack. As the network traffic is becoming big, heterogeneous, and very fast, traffic analysis could be considered as big data analytic task. Recent research in big data analytic filed has produces several novel large-scale data processing systems. However, there is a need for a comprehensive data processing system to extract valuable insights from network traffic big data and learn the normal and attack network situations. This paper proposes a novel evolving fuzzy system to discriminate anomalies by inspecting the network traffic. After capturing traffic data, the system analyzes it to establish a model of normal network situation. The normal situation is a time series data of an ordered sequence of traffic information variable values at equally spaced time intervals. The performance has been analyzed by carrying out several experiments on real-world traffic dataset and under extreme difficult situation of high-speed networks. The results have proved the appropriateness of time series evolving fuzzy engine for network classification.
Robust Facial Landmark Localization Based on Texture and Pose Correlated Initialization

Recently, cascaded pose regression has attracted more and more attention because of its superior performance in facial sign localization and occlusion However, this method is very sensitive to initialization, in which incorrect initialization will seriously reduce performance. In this paper, we of cascaded pose regression (ricpr). By checking the local binary pattern histogram of the test face and the face in the training data set, the most related to the test face is selected initialization. In order to make initialization more robust to various poses, we estimate the rough pose of the test face according to the roughly. Then, the pose related initial shape is constructed from the average face shape and rough test face pose. Finally, texture dependent and pose shapes are connected together as robust initialization. We evaluated ricpr on a challenging cofw dataset. Experimental results show that the proposed scheme has better performance than the most advanced methods in facial sign localization and occlusion detection.
One Image Segmentation and Discrimination Method of Live Video System Applied in Sport Game

Background: In the field of video image processing, the segmentation and tracking method has become a hot research field. According to the characteristics of soccer video and VAR (Video Assistant Referee) System, in the paper, it proposes a fast algorithm of segmentation and tracking of the players in the video. Methods: First, according to complementary advantages on the color expression in RGB (Red, Green, Blue) space and HSI (Hue, Saturation, Intensity) space, it adopts the method based on combining the main and auxiliary space to make segmentation of the objects in the video. Then, it compares with the normalized color histogram of targets to make identification of which team the players belong to. Results: Finally, it adopts the context features of the players in the soccer video sequence; it combines the method of template matching to realize the player tracking in the soccer video. Conclusion: The experimental results show that the tracking algorithm proposed in this paper can solve the objects occlusion problem of the different players in the soccer match, and can track the different players steadily, and it also can be adopted in the VAR system.
MLIFT: Enhancing Multi-label Classifier with Ensemble Feature Selection

Multi-label classification has gained significant attention during recent years, due to the increasing number of modern applications associated with multi-label data. Despite its short life, different approaches have been presented to solve the task of multi-label classification. LIFT is a multi-label classifier which utilizes a new strategy to multi-label learning by leveraging label-specific features. Label-specific features means that each class label is supposed to have its own characteristics and is determined by some specific features that are the most discriminative features for that label. LIFT employs clustering methods to discover the properties of data. More precisely, LIFT divides the training instances into positive and negative clusters for each label which respectively consist of the training examples with and without that label. It then selects representative centroids in the positive and negative instances of each label by k-means clustering and replaces the original features of a sample by the distances to these representatives. Constructing new features, the dimensionality of the new space reduces significantly. However, to construct these new features, the original features are needed. Therefore, the complexity of the process of multi-label classification does not diminish, in practice. In this paper, we make a modification on LIFT to reduce the computational burden of the classifier and improve or at least preserve the performance of it, as well. The experimental results show that the proposed algorithm has obtained these goals, simultaneously.
Graph Filtering For Data Reduction and Reconstruction

A novel approach is put forth that utilizes data similarity, quantified on a graph, to improve upon the reconstruction performance of principal component analysis. The tasks of data dimensionality reduction and reconstruction are formulated as graph filtering operations, that enable the exploitation of data node connectivity in a graph via the adjacency matrix. The unknown reducing and reconstruction filters are determined by optimizing a meansquare error cost that entails the data, as well as their graph adjacency matrix. Working in the graph spectral domain enables the derivation of simple gradient descent recursions used to update the matrix filter taps. Numerical tests in real image datasets demonstrate the better reconstruction performance of the novel method over standard principal component analysis.
A Method for Web Security Policies

When security vulnerabilities are discovered by independent securityresearchers, they often lack the channels to report them properly. Asa result, security vulnerabilities may be left unreported. Thisdocument defines a format (security.txt) to help organizationsdescribe the process for security researchers to follow in order toreport security vulnerabilities.