Miracle-dz/UniFAR-FTUs huggingface dataset:
HYPER MV-DEDUCTIVE SYSTEMS OF HYPER MV-ALGEBRAS

The notions of (weak) hyper MV-deductive systems and (weak) implicative hyper MV-deductive systems are introduced, and several properties are investigated. Relations among hyper MV-deductive systems, weak hyper MV-deductive systems, implicative hyper MV-deductive systems and weak implicative hyper MV-deductive systems are discussed. A characterization of a hyper MV-deductive system is provided. A condition for a weak hyper MV-deductive system to be a weak implicative hyper MV-deductive system is given.
The Dynamics of Income Shares and the Wage Curve-Phillips Curve Controversy

This paper argues that the Phillips curve-wage curve controversy cannot be settled within the conventional testing frameworks and suggests an alternative test, which builds on the model of Blanchard and Katz (1997). Using long macro data for the OECD countries, the evidence gives very strong support for the Phillips curve and indicates that wage behaviour is no different among the OECD countries. This implies that adverse supply shocks, which push wages in excess of the full employment equilibrium, have only temporary effects on real product wages and therefore cannot explain the persistently high unemployment in most European countries.
SILT : S 3 Integrity , Locking , and Transactions

Despite their limited put/get interface, simple hosted storage services are becoming very popular. Many companies and individuals are using them to store and backup data. Recent work has demonstrated that it is even possible to build file systems on top of such abstractions. However, the available API lacks some features that could prove beneficiary in building distributed storage systems on top of such services. In this project I investigated extending the interface of Amazon’s S3 storage service to allow for more powerful capabilities such as locking, multi-key transactions, and ensuring data integrity.
Neuron-Specific Conditional Expression of a Mitochondrially Targeted Fluorescent Protein in Mice

Mitochondrial dysfunction contributes to the pathophysiology of both acute and chronic neurodegenerative disorders. Quantification of mitochondrial bioenergetic properties generally requires the use of isolated brain mitochondria. However, the involvement of neuronal mitochondrial dysfunction in these disorders is limited by the lack of markers, and therefore isolation procedures, that distinguish neuronal compared with astrocyte mitochondria. To address this and other issues concerning neuronal mitochondria in the CNS, transgenic mice were generated that express a fluorescent protein targeted specifically to neurons. A neuron-specific promoter, CaMKIIα (calcium/calmodulin-dependent kinase IIα) driven tTA (tetracycline transactivator) mice were crossed with TRE (tetracycline responsive element) driven mitochondrial targeted enhanced yellow fluorescent protein (eYFP) mice. Expression of eYFP in the bigenic mouse brain was observed only in neuronal mitochondria of striatum, forebrain, and hippocampus and was enhanced by the removal of the tetracycline analog doxycycline (Dox) in the diet. The respiratory control ratio of synaptic and nonsynaptic mitochondria isolated from eYFP-expressing mice was the same as control mice, suggesting that neuronal mitochondria expressing eYFP maintain normal bioenergetic functions. More importantly, the development of Dox-inducible, neuron targeted mito/eYFP transgenic mice offer a unique in vivo model for delineating the participation of neuronal mitochondria in neuronal survival and death.
The concept of America in the Puritan mind

This article focuses on the conceptualization of America in Puritan prose works. My assumption is that, with the help of a multitextual approach, i.e. the consideration of several prose works from several authors of the Puritan era, such as William Bradford, William Byrd, John Cotton, Edward Johnson, Cotton Mather, Mary Rowlandson, Thomas Shepard, William Stoughton and John Winthrop, we can develop a detailed account of the way Puritans understood their immigration experiences. My analysis is presented within the framework of conceptual metaphor analysis as proposed by Lakoff and Johnson (1980) and Lakoff and Turner (1989), and of conceptual blending analysis as given by Fauconnier and Turner (1998). The two methods complement each other and combine our knowledge of the Puritan concept of America present in various literary texts.
Australian Domestic Violence Protection Order Legislation: A Comparative Quantitative Content Analysis of Victim Safety Provisions

Abstract In Australia, protection orders are a key legal response to domestic violence, and are often viewed as a way of providing for victim safety. For instance, recently the joint Australian and New South Wales Law Reform Commissions recommended that a common core purpose of all state and territory domestic violence legislation should be ‘to ensure or maximise the safety and protection of persons who fear or experience family violence’ (2010: Recommendation 7–4). Drawing and building upon prior research in Australia and the United States (‘US’), this paper uses comparative quantitative content analysis to assess the victim safety focus of domestic violence protection order legislation in each Australian state and territory. The findings of this analysis show that the Northern Territory, South Australia and Victoria ‘stand out’ from the other jurisdictions, having the highest victim safety focus in their legislation. However, there remains sizeable scope for improvement in all Australian jurisdictions, in terms of the victim safety focus of their legislative provisions and considerations of legislative inconsistency between jurisdictions.
A study on the effectiveness of anonymous agents in Computer-Supported Collaborative Learning (CSCL) for the facilitation of student learning and execution of team projects

This thesis reports a research study on the investigation of the effectiveness of anonymous agents in Computer-Supported Collaborative Learning (CSCL) in influencing students’ motivation and learning strategies, and facilitating team learning in team project development and execution. A case study was conducted with 451 pre-service teacher students at the Faculty of Education, Nakhon Sawan Rajabhat University, Thailand. 451 students and 198 students completed the requirements. Two sets of questionnaires were used for gathering data: one was the Motivated Strategies for Learning Questionnaire (MSLQ) and the Peer Evaluation Form. The online tool used in the experiment was Learnsquare and an eight weeks learning management plans was used to direct the students in the online learning. The three null hypotheses were tested from three research questions. The statistics analyses were Confirmatory Factor Analysis (CFA), T- statistics, Analysis of Variance (ANOVA), and regression analysis. The research findings show that students who used anonymous agents experienced positive effects on three subscales under the motivation domain and one under the learning strategies domain. As regards to team collaboration, students who used anonymous agents reported positive effects on five team subscales on execution of team project. The results also show in terms of team projects, the number of non-completion is higher than completion for both groups that used anonymous agents and identifiable agents. However, students who used anonymous agents had a higher rate of completion. Based on the results, two models of learning and project succession were developed for use in online learning environment with project-based learning. The first model is for anonymous agents groups which use Effort Regulation strategies (ER) to help students in learning and completion of team projects. The second model is for identifiable agents groups which use Extrinsic Goal Orientation (EGO) to encourage students in learning and completion of team projects.
NXTalk: dynamic object-oriented programming in a constrained environment

Dynamic programming languages offer high expressiveness and flexibility, improving programmer productivity. Still, making dynamic programming languages available for embedded systems is challenging because such environments are often constrained in terms of memory or computational power. For this, it is necessary to reduce the size of language implementations (virtual machines, VMs) while at the same time retaining good performance and robustness. Automatic memory management deserves special attention because its performance and space overhead have noticeable impact on overall system usability. In this paper, we present NXTalk, a VM and programming environment for the Smalltalk programming language, making high-level object-oriented programming available on Lego Mindstorms NXT robots. We describe its VM implementation and evaluate its size and performance characteristics.
Energy-Efficient Transmission Design in Non-orthogonal Multiple Access

Non-orthogonal multiple access (NOMA) is considered as a promising technology for improving the spectral efficiency in fifth-generation systems. In this correspondence, we study the benefit of NOMA in enhancing energy efficiency (EE) for a multiuser downlink transmission, wherein the EE is defined as the ratio of the achievable sum rate of the users to the total power consumption. Our goal is to maximize EE subject to a minimum required data rate for each user, which leads to a nonconvex fractional programming problem. To solve it, we first establish the feasible range of the transmitting power that is able to support each user's data rate requirement. Then, we propose an EE-optimal power allocation strategy that maximizes EE. Our numerical results show that NOMA has superior EE performance in comparison with conventional orthogonal multiple access.
Learning Place-Names from Spoken Utterances and Localization Results by Mobile Robot

This paper proposes a method for the unsupervised learning of place-names from pairs of a spoken utterance and a localization result, which represents a current location of a mobile robot, without any priori linguistic knowledge other than a phoneme acoustic model. In previous work, we have proposed a lexical learning method based on statistical model selection. This method can learn the words that represent a single object, such as proper nouns, but cannot learn the words that represent classes of objects, such as general nouns. This paper describes improvements of the method for learning both a phoneme sequence of each word and a distribution of objects that the word represents.
Iterative user-interface design

A method for developing user interfaces by refining them iteratively over several versions is presented. Each iteration is subjected to user testing or other usability-evaluation methods designed to uncover usability problems. This method not only eliminates problems of this nature, but also allows designers to take advantage of any insights into user needs that emerge from the tests. The author describes four case studies where the median improvement in overall usability from the first to the last iteration was 165%, and the median improvement per iteration was 38%. <<ETX>>
From executive behavior to neurophysiological markers of executive function: measuring the bilingual advantage in young adults

Supervisory Committee Dr. Mauricio Garcia-Barrera, Department of Psychology Supervisor Dr. Clay Holroyd, Department of Psychology Departmental Member Dr. Barbara Rutherford, Acting Dean, IK Barber School of Arts and Sciences External Member The ease at which individuals acquire a second language is astounding. Individuals are capable of learning a second language at any point through out their lifespan, although it is easier to learn a second language early in life. With increasing knowledge about linguistic neural processing and the brain’s capacity for plasticity, the research on bilingualism has increased substantially. Researchers have become increasingly more interested in the long-term effects of acquiring a second language, especially the enhancement of executive function (EF). This enhancement, also known as bilingual advantage, has been studied for a range of EFs, including inhibition, attention, problem solving, and reasoning. Although this effect was first demonstrated in bilingual children, researchers have extended the quest for understanding to young, middle, and older adults; however, the research findings are mixed for young adults. In order clarify these mixed results, the age of second language acquisition has been included as an experimental variable, producing three relevant groups: early bilinguals, late bilinguals, and monolinguals. There are several ways in which EFs can be measured, including behavioral rating scales, computerized cognitive tasks with behavioral outcomes (i.e., response times and accuracy), and computerized event-related potential cognitive tasks. A novel multi-level approach to measuring the bilingual advantage was developed and used as a framework for the current dissertation; i.e., the bilingual advantage was measured at three levels of measurement. This approach predicts that more complex levels of measurement (i.e., executive behaviors) would produce null findings between the three groups, while differences between early bilinguals and the other two groups would be predicted for less complex levels of measurement (i.e., neurophysiological markers). This approach predicts mixed results for levels of measurement that involve moderate complexity (e.g., computerized tasks of EF). Early bilinguals, late bilinguals, and monolinguals were compared across three hierarchical levels of measurement: (i) executive behaviors; (ii) information processing (i.e., computerized tasks of EF); and (iii) neurophysiology (i.e., eventrelated potential paradigm). Findings generally support the multi-level approach: no differences were found at the executive behavior level, limited and mixed differences were found at the information processing level, and differences between groups were found at the neurophysiological level.
Online political participation, online contacts with out-groups members and social distances

ABSTRACT In light of the growing role of social media in conflict management, the current study analyzes the interrelationship of online political participation of Israeli Jews, the frequency of their online contacts with Arabs, and Jews’ perceived social distances from Arabs. The research was conducted through an online survey of a representative sample of 458 Israeli Jews who use the social media at least 3 times a week. Overall, although causation cannot be inferred because of the correlational design of our study, results suggest that frequency of online contacts may positively affect closeness to Arabs in line with contact theory. In keeping with the socialization perspective of political engagement, the findings indicate that the impact of online political participation on social distances from Arabs was mediated by interactions between Jews and Arabs in the social media.
Enabling the geospatial Semantic Web with Parliament and GeoSPARQL

As the amount of Linked Open Data on the web increases, so does the amount of data with an inherent spatial context. Without spatial reasoning, however, the value of this spatial context is limited. Over the past decade there have been several vocabularies and query languages that attempt to exploit this knowledge and enable spatial reasoning. These attempts provide varying levels of support for fundamental geospatial concepts. GeoSPARQL, a forthcoming OGC standard, attempts to unify data access for the geospatial Semantic Web. As authors of the Parliament triple store and contributors to the GeoSPARQL specification, we are particularly interested in the issues of geospatial data access and indexing. In this paper, we look at the overall state of geospatial data in the Semantic Web, with a focus on GeoSPARQL. We first describe the motivation for GeoSPARQL, then the current state of the art in industry and research, followed by an example use case, and finally our implementation of GeoSPARQL in the Parliament triple store.
Estimating the Causal Effects of War on Education in Côte D’Ivoire

In this paper we estimate the causal effects of civil war on years of education in the context of a school-going age cohort who are exposed to armed conflict in Cote d’Ivoire. Using year and department of birth to identify an individual’s exposure to war, the difference-in-difference outcomes indicate that the average years of education for a school-going age cohort is . 94 years fewer compared to an older cohort in war-affected regions. To minimize the potential bias in the estimated outcome, we further use a set of victimization indicators to identify the true effect of war. The propensity score matching estimates do not alter the main findings. In addition, the outcomes of double-robust models minimize the specification errors in the model. Moreover, we find the outcomes are robust across alternative matching methods, estimation by using subsamples and other education outcome variables. Overall, the findings across different models suggest a drop in average years of education by a range of . 2 to . 9 fewer years.
02 09 23 5 v 2 1 6 O ct 2 00 2 YITP-SB-0250 Holography and Quaternionic Taub – NUT

As a concrete application of the holographic correspondence to manifolds which are only asymp-totically Anti–de Sitter, we take a closer look at the quaternionic Taub–NUT space. This is a four dimensional, non–compact, inhomogeneous, riemannian manifold with the interesting property of smoothly interpolating between two symmetric spaces, AdS4 itself and the coset SU(2, 1)/U(2). Even more interesting is the fact that the scalar curvature of the induced conformal structure at the boundary (corresponding to a squashed three–sphere) changes sign as we interpolate between these two limiting cases. Using twistor methods, we construct the bulk–to–bulk and bulk–to–boundary propagators for conformally coupled scalars on quaternionic Taub–NUT. This may eventually enable us to calculate correlation functions in the dual strongly coupled CFT on a squashed S 3 using the standard AdS/CFT prescription.
An Enhancement of Trusted Domain Enforcement using VMM Interruption Mechanism

VMM (virtual machine monitor) introspection makes it possible to design dynamic protection system of virtualized guest OS. TDE (trusted domain enforcement) is an extension of TE (type enforcement) for dynamic access control and sandbox. VMM provides a strong isolation which can enhance TDE of guest domain. In this paper we propose an enhancement of trusted domain enforcement of guest domain using VMM interruption mechanism. Trusted domain enforcement of guest OS is improved by interruption and strong isolation provided by VMM. VMM based TDE is achieved by two steps. A non-write protected input for guest domain is detected, notification is sent to VMM. Then, VMM isolates the domain from other domains. Proposed system needs notification channel passing VMM and guest OS modification. We discuss the way to create the notification channel by a newly added VMM interruption. Also, the modification of guest OS is presented. We implement input validation routine by kernel patch and LSM (Linux security module) and compare CPU utilization. Proposed system enables dynamic sandboxing of virtualized OS with strong isolation by VMM interruption mechanism.
Design and Simulation of a Wireless DAQ-IC for Foot Plantar Pressure

Foot plantar pressure is the pressure fields that act between the foot skin and its supporting surface that humans experience during daily activities. Information derived from such pressure is important for diagnosing lower limb problems, footwear design, sport biomechanics performance and injury prevention. This paper presents the design and implementation of a wireless data acquisition integrated circuit for foot plantar pressure sensors. The IC is intended for an in-shoe wireless pressure measurement system. The IC is developed to interface the Micro-electromechanical sensors that has been fabricated and tested by our research group. This IC consists of serial Analog to Digital Converter and Voltage-Controlled Oscillator. The objective of this DAQ-IC is to be integrated into a shoe with the ability of wireless transmission to an external on body receiver. Such device provides low power consumption, convenient and comfortable testing system simulating a range of normal daily life activities. The unit has been designed and simulated in Cadence (EDA) tools using 0. 35μm CMOS process.
A space-based wear leveling for PCM-based embedded systems

Phase change memory (PCM) has emerged as a promising candidate to replace DRAM in embedded systems. However, it can only sustain a limited number of write operations. To solve this issue, this paper proposes a novel and effective wear-leveling technique in software level to prolong the lifetime of PCM-based embedded systems. A polynomial-time algorithm, Multi-Space Wear Leveling Algorithm (MWL), is proposed to achieve effective wear-leveling. The experimental results show our technique can greatly extend the lifetime of PCM-based embedded systems compared with the previous work. Compared with the method without adopting wear-leveling, it introduces no more than 0.7% extra writes and 0.6% running overhead.
Color Transform Based Approach for Disease Spot Detection on Plant Leaf

In this research, an algorithm for disease spot segmentation using image processing techniques in plant leaf is implemented. This is the first and important phase for automatic detection and classification of plant diseases. Disease spots are different in color but not in intensity, in comparison with plant leaf color. So we color transform of RGB image can be used for better segmentation of disease spots. In this paper a comparison of the effect of CIELAB, HSI and YCbCr color space in the process of disease spot detection is done. Median filter is used for image smoothing. Finally threshold can be calculated by applying Otsu method on color component to detect the disease spot. An algorithm which is independent of background noise, plant type and disease spot color was developed and experiments were carried out on different "Monocot" and "Dicot" family plant leaves with both, noise free (white) and noisy background.
Search for Activity in 3200 Phaethon

We present deep optical imaging of Geminid meteor stream parent 3200 Phaethon taken in search of low-level cometary activity (i.e., coma or dust trail). Although no unambiguous cometary behavior was observed, we find an upper limit on the object's cometary mass-loss rate of lim ~ 0.01 kg s-1. The corresponding active fraction (the fraction of the surface area that could consist of freely sublimating water ice) is f ≤ 7 × 10-6, at least 2 orders of magnitude smaller than other known comets.
WebTalk: mining Websites for automatically building dialog systems

The task of creating customized spoken dialog applications has traditionally been known to be expensive, requiring significant resources and a certain level of expertise. This is clearly an obstacle in porting and scaling dialog systems especially those required for customer care and help desk applications. This paper describes WebTalk - a technique for automatically creating spoken and text-based customer-care dialog applications solely based on a company's Website. Our goal is to create task oriented dialog services by automatically learning the task knowledge and mining information present on corporate Websites. In this paper, we discuss the motivation and the feasibility of creating such a technique and present an overview of the main components of WebTalk. We address some of the challenges and present methods for evaluating such a system.