Reviewerly/exHarmony huggingface dataset:
Induction and Recursion

This textbook gives a complete and modern introduction to mathematical logic. The author uses contemporary notation, conventions, and perspectives throughout, and emphasizes interactions with the rest of mathematics. In addition to covering the basic concepts of mathematical logic and the fundamental material on completeness, compactness, and incompleteness, it devotes significant space to thorough introductions to the pillars of the modern subject: model theory, set theory, and computability. Requiring only a modest background of undergraduate mathematics, the text can be readily adapted for a variety of one- or two-semester courses at the upper-undergraduate or beginning-graduate level. Numerous examples reinforce the key ideas and illustrate their applications, and a wealth of classroom-tested exercises serve to consolidate readers' understanding. Comprehensive and engaging, this book offers a fresh approach to this enduringly fascinating and important subject.
IDENTIFYING CRITICAL DATA AND DATABASES – A PROPOSAL FOR A RISK-BASED THEORY OF IMPLEMENTING CHAPTER IX OF THE ECT ACT

South Africa adopts meaningful measures to prevent and/or alleviate attacks to its critical data and databases. The measures are embodied in Chapter IX of the Electronic Communications and Transactions Act 25 of 2001.1 The Chapter IX measures encumber the Minister of Communications to perform innumerable functions, inter alia, to identify and classify critical data and databases. However, this article submits that the Chapter IX measures are founded and places (unlimited) reliance on a stagnant or inflexible approach. Such an approach assumes that a process to identify and classify critical data and databases is a product of guesswork. Put differently, the Chapter IX measures uses a common-knowledge or one-size-fits all approach as an aid to identify and classify critical data and databases. By so doing, Chapter IX of the ECT Act fails to recognize that a holistic and flexible approach or framework is indispensable in a process to identify and classify criticaldata and databases.
Towards Soliton Computer Based on Solitary Wave Solution of Maxwell-Dirac Equation: A Plausible Alternative to Manakov System

In recent years, there are a number of proposals to consider collision-based soliton computer based on certain chemical reactions, namely Belousov-Zhabotinsky reaction, which leads to soliton solutions of coupled Nonlinear Schroedinger equations. They are called Manakov System. But it seems to us that such a soliton computer model can also be based on solitary wave solution of Maxwell-Dirac equation, which reduces to Choquard equation. And soliton solution of Choquard equation has been investigated by many researchers, therefore it seems more profound from physics perspective. However, we consider both schemes of soliton computer are equally possible. More researches are needed to verify our proposition.
The Role of Print, Web, and Social Media for Recruiting Students

Recruiting for higher education is a well-documented and practiced process; however, new social media venues of delivering information are changing the way some universities are reaching prospective students.Recruiting students for higher education has typically been accomplished by a variety of traditional methods, including print, Web, and campus visits.While these methods continue to be used, the existence of new social media including Twitter, Facebook, blogging, and message boards has pushed many universities towards recruiting in new ways.As we think about recruiting students into our programs, we are faced with many more choices than we have had in the past.We are also faced with students who are much more media savvy than previous students.There seems to be very little in the literature about the impact and usefulness of the newer social media outlet as recruiting tools.This study was designed to determine how effectively students perceive different recruiting methods (print, Web, and social media) as well as who helped them sort through all of the information to make their choices.First-semester freshmen in the College of Technology (CoT) at Purdue University were surveyed to determine how print, Web, and social media for recruiting are perceived by prospective students.They were asked what people influenced them during their college search and which forms of media influenced their decision-making process.This paper presents results of a Web survey conducted during fall 2010 and fall 2011.
BINARY LOGISTIC REGRESSION UNTUK MENDETEKSI WEBSITE PHISING MENGGUNAKAN CORRELATION-BASED FEATURE SELECTION

Internet provides the facility to find customers worldwide without limitation use e-commerce market is effective. As a result the number of customers that rely on the Internet in the purchase has increased dramatically. In the field of computer security, phishing is a criminal activity that is trying to get sensitive information illegally. Sensitive information could include usernames, passwords and credit card details. This study aims to select the features or attributes in order to obtain the most influential attributes in detecting phishing websites. Selection feature using the correlation-based feature selection. Some of the most important attributes will be selected using the CFS and is applied to the binary logistic regression algorithms. Based on the research results show that CFS is able to eliminate redundant attributes. The subset of attributes generated have this level of accuracy is not much different from the full attributes. This level of accuracy before the selection of attributes 93.99% and 93.20% after the selection attribute. Subsequent studies applying other methods of feature selection and compared the results with the study.
Hybrid Framework using Data Mining Techniques for Early Detection and Prevention of Oral Cancer

This paper presents the usage of classification and association data mining techniques for early detection and prevention of oral cancer. The indigenous dataset of 1,025 patients who visited a tertiary care centre during 2004 to 2009 was used for the research. Ten classification data mining models are designed using varied types of data mining techniques like regression analysis, classification trees and neural networks. Regression analysis models are linear regression model and logistic regression model; classification tree models are decision tree model, decision tree forest model and TreeBoost model and artificial neural networks are multilayer perceptron model, radial basis function model, group method of data handling model, cascade correlation model and probabilistic - general regression neural network model. Association rules are generated using apriori algorithm. The classification models and association rules are evaluated using various estimation parameters. Finally, a hybrid oral cancer management system is designed using the classification model and the association rules.
Integrating Systems Engineering In Main Stream Engineering Disciplines

His research interests are in the design and performance analysis of mobile adhoc networks and wireless sensor networks, dynamic spectrum access in cognitive radio networks, and wireless network security.Recently, he is investigating control theoretic and machine learning based techniques to perform anomaly based intrusion detection.He has published extensively in various peer-reviewed conferences, journals and book chapters and has over 25 publications in research and pedagogical techniques.
On Remote And Virtual Experiments In Elearning In Statistical Mechanics And Thermodynamics

The research of S. Jeschke is aimed at developing new concepts of service-oriented architectures for eLearning and eScience in particular in the fields of mathematics, natural sciences and engineering.She focuses on development and networking of interactive mathematical objects and remote/virtual experiments, on mechanisms for the creation, modification and storage of data in cooperative virtual knowledge spaces, and on the design of intelligent data analysis and validation schemes.
Human Action Recognition Using Time Delay Input Radial Basis Function Networks

This paper presents a fast, vision-based method for the problem of human action representation and recognition. The first problem is addressed by constructing an action descriptor from spatiotemporal data of action silhouettes based on appearance and motion features. For action classification, a new Radial Basis Function Network (RBF), called Time Delay Input Radial Basis Function Network (TDIRBF) is proposed by introducing time delay units to the RBF in a novel approach. A TDIRBF offers a few desirable features such as an easier learning process and more flexibility. The representational power and speed of the proposed method were explored using a publicly available dataset. Based on experimental results, implemented in MATLAB and on standard PCs, the average time for constructing a feature vector for a high-resolution video was just about 20 ms/frame (or 50 fps) and the classifier speed was above 15 fps. Furthermore, the proposed approach demonstrated good performance in terms of both execution time and overall performance (a new performance measure that combines accuracy and speed into one metric).
A Decent LISP Mapping System (LISP-Decent)

This draft describes how the LISP mapping system designed to bedistributed for scale can also be decentralized for management andtrust.
Engineering Educators And Scholarly Literature: Optimizing Expenditures For Customer Need

Abstract NOTE: The first page of text has been automatically extracted and included below in lieu of an abstract Session 3541 Engineering Educators and Scholarly Literature: optimizing expenditures for customer need Gad Engler Louisiana State University ABSTRACT The purpose of this paper is to provide engineering educators and librarians with a quantitative measure for ranking scholarly journals by relative value for use with cost-benefit analyses. The Serials Redesign Project at Louisiana State University Libraries is a major multi-year attempt to satisfy the actual needs of faculty and students in the face of rising subscription costs and fixed budgets. At the heart of the project is a user survey in which faculty have been requested to list titles that they individually need for research and teaching, and to indicate their choice between in-house subscription and electronic document delivery. In this paper we analyze preliminary results of the survey for the eight departments that constitute the LSU College of Engineering. Based on data provided, recommendations are made for identifying and deselecting the least valuable titles. KEY WORDS cost-benefit analysis, collection management, engineering education, academic libraries, engineering research, document delivery, journal subscription. INTRODUCTION: THE PROBLEM AND ITS POSSIBLE SOLUTION The traditional approach to the management of collections of journals and other serials has aimed at the ideal of a good collection. The librarian would, for example, consult engineering educators regarding the technical quality of articles published in particular engineering titles. Another method for building a "good collection" could involve the study of subscription lists of prestigious collections1 ( p.179.) One implication of following the ideal of a good collection is that some titles may be deemed crucial to the quality of the collection, even if faculty and students do not need them. Financially, this means that acquisition budgets need to be sufficiently high to accommodate subscriptions that go beyond actual need. During the past decade, the total acquisitions budget of Louisiana State University Libraries has remained essentially fixed. Ever-rising subscription costs have forced repeated rounds of serials reviews and subsequent cancellations. Faculty have been provided with lists of serials in their area on which they marked their selections. Decisions have tended to reflect departmental views of what a good collection should include. As the number of subscriptions dropped, faculty frustration has risen. Unless additional monies are made available, it is clear that the traditional ideal must be replaced with a focus on the actual needs of the user and 1996 ASEE Annual Conference Proceedings
Assessing Information Validity In An Internet Age

Students and technical professionals have come to rely heavily on the Internet as a technical reference resource.They need to be aware of the validity issues of these resources and how to assess validity.Historically technical professionals have obtained information from a variety of printed resources.The validity of the printed information was assured through a combination of internal and external mechanisms, the most prominent of which was some form of peer review.Technical students and professionals now rely very heavily on information accessed over the Internet for catalogs, technical data sheets and other reference information.Although the traditional peer-reviewed sources are still available, even more available in some instances, they are often ignored in favor of more convenient Internet options.Many databooks and technical magazines are now only available on the Internet.
Agriculture and Development

This textbook presents an innovative new perspective on the economics of development, including insights from a broad range of disciplines. It starts with the current state of affairs, a discussion of data availability, reliability, and analysis, and an historic overview of the deep influence of fundamental factors on human prosperity. Next, it focuses on the role of human interaction in terms of trade, capital, and knowledge flows, as well as the associated implications for institutions, contracts, and finance. The book also highlights differences in the development paths of emerging countries in order to provide a better understanding of the concepts of development and the Millennium Development Goals. Insights from other disciplines are used help to understand human development with regard to other issues, such as inequalities, health, demography, education, and poverty. The book concludes by emphasizing the importance of connections, location, and human interaction in determining future prosperity.
TLS 1.2 Update for Long-term Support

This document specifies an update of TLS 1.2 for long-term support onsystems that can have multi-year or even decade-long update cycles,one that incoporates as far as possible what's already deployed forTLS 1.2 but with the security holes and bugs fixed. This document alsorecognises the fact that there is a huge amount of TLS use outside theweb content-delivery environment with its resource-rich hardware andsoftware that can be updated whenever required and provides a long-term stable, known-good version that can be deployed to systems thatcan't roll out ongoing changes on a continuous basis.
Demo: A Computer-Assisted Approach to Composing with MaestroGenesis

This demonstration presents MaestroGenesis, a program that helps users create complete polyphonic musical pieces from as little as a simple, human composed monophonic melody. MaestroGenesis creates music by exploiting two key ideas behind the functional scaffolding for musical composition (FSMC) approach: (1) that music a function of time and (2) that functional transformations of initial human starting melodies, or scaffolds, inherit some of the essential human qualities contained in the scaffold. Music in FSMC is represented as a functional relationship between the scaffold and a generated accompaniment. The GUI helps users evolve these functions by importing and developing their music through a breeding process akin to animal breeding, called interactive evolutionary computation. Some resulting pieces are indistinguishable from completely human-composed pieces.
Translating Educational Theory Into Educational Software: A Case Study of the Adaptive Map Project

Abstract TRANSLATING EDUCATIONAL THEORY INTO EDUCATIONAL SOFTWARE: A CASE STUDY OF THE ADAPTIVE MAP PROJECT As part of the larger Adaptive Map project, this paper discusses the process and challengesencountered translating educational theory into learning software and then evaluating thatsoftware for both usability and as a learning aid. The Adaptive Map is an organization and navigation tool for digital content, allowing a largenumber of content pages to be linked together visually into a coherent roadmap for theinformation. Replacing the table of contents or home page for traditional digital textbooks, theconcept map based system explicitly shows how each bit of information fits into the whole of thecourse with a large node-link diagram. This explicit mapping of expert knowledge structures hasbeen shown to promote conceptual understanding in students. Because concept maps becomevisually cluttered and unusable when they get too large though, an interactive visualization toolwas developed to maintain the advantages of concept maps as learning tools while managing thevisual clutter in maps that cover entire courses or even an entire curriculum. In this paper, the authors discuss the process of integrating the educational literature with theinformation visualization and usability engineering literature to understand how to best make atool that is user friendly enough that students want to use it and is built to promote learning whenit is used. The process of translating general educational theory into specific software designchoices is discussed. The challenges involved in evaluating learning software where usabilityand learning are intertwined are addressed, and preliminary results detailing the usability andlearning gains associated with the Adaptive Map are presented.
Project-based Design of a Biometric Face Recognition System

allow undergraduate and entry-level graduate students to participate in rigorous computational intelligence research.
Recent Activities of Frontier in Education Committee of IEE Japan

The main objective of Frontier in Education Committee is to discuss the Engineering Education at higher education institutions in Japan and to publish the paper or technical reports of many good efforts in education. This paper introduces recent activities of the Frontier in Education Committee.
PiBooster: A Light-Weight Approach to Performance Improvements in Page Table Management for Paravirtual Virtual-Machines.

In paravirtualization, the page table management components of the guest operating systems are properly patched for the security guarantees of the hypervisor. However, none of them pay enough attentions to the performance improvements, which results in two noticeable performance issues. First, such security patches exacerbate the problem that the execution paths of the guest page table (de)allocations become extremely long, which would consequently increase the latencies of process creations and exits. Second, the patches introduce many additional IOTLB flushes, leading to extra IOTLB misses, and the misses would have negative impacts on I/O performance of all peripheral devices. In this paper, we propose PiBooster, a novel lightweight approach for improving the performance in page table management. First, PiBooster shortens the execution paths of the page table (de)allocations by the PiBooster cache, which maintains dedicated buffers for serving page table (de)allocations. Second, PiBooster eliminates the additional IOTLB misses with a fine-grained validation scheme, which performs page table and DMA validations separately, instead of doing both together. We implement a prototype on Xen with Linux as the guest kernel. We do small modifications on Xen (166 SLoC) and Linux kernel (350 SLoC). We evaluate the I/O performance in both micro and macro ways. The micro experiment results indicate that PiBooster is able to completely eliminate the additional IOTLB flushes in the workload-stable environments, and effectively reduces (de)allocation time of the page table by 47% on average. The macro benchmarks show that the latencies of the process creations and exits are expectedly reduced by 16% on average. Moreover, the SPECINT,lmbench and netperf results indicate that PiBooster has no negative performance impacts on CPU computation, network I/O, and disk I/O.
Atypical Senior Capstone Projects: The Process Is The Product

Senior capstone projects in Engineering and Technology disciplines teach students valuable skills in design, teamwork, project management and related skills.Almost always these learning objectives are achieved through student teams building a working prototype or simulation of a product or system.However there are other ways that students can exercise their technical design skills and participate in capstone projects to achieve substantive deliverables that do not result in a working product or
James P. Adams Library: Open/Open-Enabled Pedagogy: Learn More

Subjects: Open Access, Open Educational Resources & Open Textbooks Tags: oer, oer-enabled pedagogy, open, open collaboration, open educational resources, open pedagogy, open p
Theory-driven Visual Design to Support Reflective Dietary Practice via mHealth: A Design Science Approach

Design for reflection in human-computer interaction (HCI) has evolved from focusing on an abstract and outcome-driven design subject towards exposing procedural or structural reflection characteristics.Although HCI research has recognized that an individual's reflection is a long-lasting, multi-layered process that can be supported by meaningful design, researchers have made few efforts to derive insights from a theoretical perspective about appropriate translation into end-user visual means.Therefore, we synthesize theoretical knowledge from reflective practice and learning and argue for a differentiation between time contexts of reflection that design needs to address differently.In an interdisciplinary design-science-research project in the mHealth nutrition promotion context, we developed theory-driven guidelines for "reflection-in-action" and "reflection-on-action".Our final design guidelines emerged from prior demonstrations and a final utility evaluation with mockup artifacts in a laboratory experiment with 64 users.Our iterative design and the resulting design guidelines offer assistance for addressing reflection design by answering reflective practice's respective contextual requirements.Based on our user study, we show that reflection in terms of "reflectionin-action" benefits from offering actionable choice criteria in an instant timeframe, while "reflection-on-action" profits from the structured classification of behavior-related criteria from a longer, still memorable timeframe.
Library Smart House Collaboration For Information Literacy Development

The Library-Smart House partnership seeks to design and implement a sustainable, virtual environment for collaboration that will seamlessly integrate project communication and information access.This virtual environment will provide a means for increased collaboration between students, faculty, librarians