Miracle-dz/UniFAR-FTUs huggingface dataset:
Developing a domain-specific cross-organizational RE method

Cross-organizational requirements engineering (XRE) is the activity in which several business actors perform a joint problem-solving process in which a cooperative, cross-organizational business solution is designed. In XRE, partially conflicting concerns and views must be reconciled to create a shared vision of the goals and structure of a cooperative process. We report on the development of an XRE method, BusMod, by means of action research. Each iteration of our action research cycle consisted of a series of consultancy projects in which our method is used, followed by a reflection to draw lessons learned to improve the method. Although BusMod has been developed in the domain of electricity power generation, we hypothesize that it can be generalized to any domain of cooperating actors, and that in any such domain value engineering must be part of requirements engineering.
Pivotal roles of phyllosphere microorganisms at the interface between plant functioning and atmospheric trace gas dynamics

The phyllosphere, which lato sensu consists of the aerial parts of plants, and therefore primarily, of the set of photosynthetic leaves, is one of the most prevalent microbial habitats on earth. Phyllosphere microbiota are related to original and specific processes at the interface between plants, microorganisms and the atmosphere. Recent –omics studies have opened fascinating opportunities for characterizing the spatio-temporal structure of phyllosphere microbial communities in relation with structural, functional, and ecological properties of host plants, and with physico-chemical properties of the environment, such as climate dynamics and trace gas composition of the surrounding atmosphere. This review will analyze recent advances, especially those resulting from environmental genomics, and how this novel knowledge has revealed the extent of the ecosystemic impact of the phyllosphere at the interface between plants and atmosphere. Highlights • The phyllosphere is one of the most prevalent microbial habitats on earth. • Phyllosphere microbiota colonize extreme, stressful, and changing environments. • Plants, phyllosphere microbiota and the atmosphere present a dynamic continuum. • Phyllosphere microbiota interact with the dynamics of volatile organic compounds and atmospheric trace gasses.
Relationship of Proactive Personality, Financial Planning Behavior and Life Satisfaction

Relationship of Proactive Personality, Financial Planning Behavior and Retirement Life Satisfaction by Lisa L. Smith August 2017 Chair: Dr. Todd Maurer (Chair) Major Academic Unit: Robinson School of Business The present study examines relationships among differences in personality, financial planning behaviors, and retirement life satisfaction. The hypothesized sequence of relationships is: PersonalityFinancial Planning BehaviorRetirement Life Satisfaction. The study adds to prior research by clarifying the hypothesized role that proactive personality (as opposed to other personality variables such as the Big Five) has as a predictor, and also by showing how differences in discrete types of financial planning behavior influence retirement life satisfaction and mediate effects of proactive personality on satisfaction. This study tests these linkages while also addressing limitations and ambiguity in prior research regarding these potentially important effects among disposition, financial planning and a satisfactory retirement. INDEX WORDS: Proactive Personality, Financial Planning Behavior, Life Satisfaction, Retirement Life Satisfaction, Big Five Personality Traits, Five Factor Model
The 2003 ISL rich transcription system for conversational telephony speech

This paper describes the ISL large vocabulary conversational telephony speech recognition system, which was tested in NIST's RT-03S ("Switchboard") evaluation. We present our experiments on improving preprocessing, acoustic modelling, and language modelling. The system features phone-dependent semi-tied full covariances, semi-tied clustering of septa-phones, clustering across phones, feature adaptive training, robust estimation of VTLN and MLLR, as well as context-dependent interpolation of language models. We present detailed results for each stage of our multi-pass transcription scheme. System development started with a 1997 SWB system, yielding a word error rate of 35.1% on our internal 1h development set. The final system performed at 21.8%, a 38% relative improvement. The error rate on the RT-03 CTS evaluation set is 23.4%.
Generic Web Services Extensible Functionality with Stable Interface

Extending the functionality of Web services without invalidating the code of existing clients has been a challenging task. This paper proposes a new interface design technique called "Generic Web Services" that preserves a service's backwards compatibility while enriching its functionality. This is accomplished by applying interface relaxation technique - shifting the semantics of a service's API from design time to runtime by using identity parameters. The paper gives an example illustrating the idea on a Web service from SAP Enterprise Services Workplace.
INTEGRATING SCIENCE IN THE AGRICULTURE CURRICULUM: AGRICULTURE TEACHER PERCEPTIONS OF THE OPPORTUNITIES, BARRIERS, AND IMPACT ON STUDENT ENROLLMENT

The essential nature of public school student performance on standardized examinations is becoming increasingly apparent. As schools across the nation are examined more closely based on the science achievement of students, career and technical education programs will be expected to contribute to this effort. Through the lens of Ajzen and Madden’s (1986) Theory of Planned Behavior, this study examined 217 Florida agriculture teachers’ perceptions of science integration in the agriculture curriculum as it pertains to attitudes, perceived barriers, impact on enrollment, and support from key stakeholders. The study found teachers to have positive perceptions, relatively few perceived barriers, high perceived support, and high perceived behavioral control for the integration of science in the agriculture curriculum.
The effect of clothing on thermal feedback perception

Thermal feedback is a new area of research in HCI. To date, studies investigating thermal feedback for interaction have focused on virtual reality, abstract uses of thermal output or on use in highly controlled lab settings. This paper is one of the first to look at how environmental factors, in our case clothing, might affect user perception of thermal feedback and therefore usability of thermal feedback. We present a study into how well users perceive hot and cold stimuli on the hand, thigh and waist. Evaluations were carried out with cotton and nylon between the thermal stimulators and the skin. Results showed that the presence of clothing requires higher intensity thermal changes for detection but that these changes are more comfortable than direct stimulation on skin.
The biological function of an insect antifreeze protein simulated by molecular dynamics

Antifreeze proteins (AFPs) protect certain cold-adapted organisms from freezing to death by selectively adsorbing to internal ice crystals and inhibiting ice propagation. The molecular details of AFP adsorption-inhibition is uncertain but is proposed to involve the Gibbs–Thomson effect. Here we show by using unbiased molecular dynamics simulations a protein structure-function mechanism for the spruce budworm Choristoneura fumiferana AFP, including stereo-specific binding and consequential melting and freezing inhibition. The protein binds indirectly to the prism ice face through a linear array of ordered water molecules that are structurally distinct from the ice. Mutation of the ice binding surface disrupts water-ordering and abolishes activity. The adsorption is virtually irreversible, and we confirm the ice growth inhibition is consistent with the Gibbs–Thomson law. DOI: http://dx.doi. org/10.7554/eLife.05142. 001
Multi-Agent Average Convergence

Let I = [0, N − 1] denote the set of indices. We define the set of states S to contain all maps of type I → R for fixed positive N ∈ N (representing the number of agents). For each s ∈ S, i ∈ I, s(i) represents the value held by the agent with ID i. We denote the arbitrarily fixed start state s0. We introduce the function g whose domain MR is the set of non-empty finite multisets of real numbers and whose range is the reals. Given such a multiset V ∈ MR, g(V ) = 1 |V | ∑ v∈V v. In other words, g computes the average of a non-empty finite multiset of reals. The function map : (I → R) × P(I) → MR is defined as in the accompanying PVS work’s set map [1] recursively:
Architectures for online error detection and recovery in multicore processors

The huge investment in the design and production of multicore processors may be put at risk because the emerging highly miniaturized but unreliable fabrication technologies will impose significant barriers to the life-long reliable operation of future chips. Extremely complex, massively parallel, multi-core processor chips fabricated in these technologies will become more vulnerable to: (a) environmental disturbances that produce transient (or soft) errors, (b) latent manufacturing defects as well as aging/wearout phenomena that produce permanent (or hard) errors, and (c) verification inefficiencies that allow important design bugs to escape in the system. In an effort to cope with these reliability threats, several research teams have recently proposed multicore processor architectures that provide low-cost dependability guarantees against hardware errors and design bugs. This paper focuses on dependable multicore processor architectures that integrate solutions for online error detection, diagnosis, recovery, and repair during field operation. It discusses taxonomy of representative approaches and presents a qualitative comparison based on: hardware cost, performance overhead, types of faults detected, and detection latency. It also describes in more detail three recently proposed effective architectural approaches: a software-anomaly detection technique (SWAT), a dynamic verification technique (Argus), and a core salvaging methodology.
Extending XQuery evaluation in parallel and distributed environment

XML has been evolved from being used for data representation to a structured document format. It has also grown in size from several bytes of small number of files to giga-or terabytes of size with millions of files. XML databases have been developed to efficiently store XML documents with XQuery as querying language from XML documents. However, they have difficulties in dealing with huge number of files and larger space, while most of XML database systems are implemented as centralized systems. Therefore, we explore possibilities to utilize distributed and parallel computing architecture in order to improve its performance. This paper describes directions and simple attempts to take advantage of distributed and parallel computing architecture by extending XQuery processor facilities. Attempts is carried out in an emerging native XML database (BaseX [1]).
Patriarchalism and Its Early Enemies

ATRIARCHALISM WAS ONE OF THE LEADING political ideals of the ancien regime. Sooner or later, therefore, anyone dissatisfied with the old order was bound to confront the patriarchal doctrine. Bodin and the "modernizing" absolutists launched one assault, the liberal constitutionalists Locke and Montesquieu launched another on the traditional family and its political significance. Ultimately, the victory went to Locke and Montesquieu, who made a clean sweep by throwing out absolutism along with the old society. Their success stands in sharp contrast to Bodin's fate, which was to be read, applauded, but ignored by the traditional absolutists as they reinstated patriarchalism.
Embracing Risk and Promise for Student Engagement: Incorporating Experiential Teaching Methods in a Community Psychology Course

ABSTRACT This article is a narrative from the field about the redesign of a community psychology course to integrate a partnership with a community-based activism program. The narrative highlights risks and promise associated with the experience and aims to contribute to the literature on community-university partnerships as a mechanism for advancing student learning and civic engagement. A general thesis of this narrative is that embracing both the risks and promises of utilizing this pedagogical approach can help to sustain an instructor’s commitment to this approach.
A CPW Fed Patch Antenna for WiMAX / HIPERLAN / 2 Applications

This paper presents a simple H-shaped patch antenna which uses coplanar waveguide as feed element. This antenna operates at 5.55GHz frequency which can be used either for IEEE 802.16 WiMAX (5.25GHz5.85GHz) or HIPERLAN/2 (5.470GHz-5.725GHz) applications. The measured -10dB impedance bandwidth is about 1288MHz (5.33GHz-6.61GHz). The effect of substrate thickness, substrate dielectric constant and centre strip slot width has been evaluated. Two dimensional radiation patterns with elevation and azimuth angles, VSWR<2, Return loss of -35dB, antenna efficiency about 75%, gain 2.6dBi are obtained. The compact aperture area of the antenna is 32.2 X 18.1 mm2. The results of antenna are simulated by using Zeeland’s MOM based IE3D tool.
ASSEMBLY OF GAP JUNCTIONS DURING AMPHIBIAN NEURULATION

Sequential thin-section, tracer (K-pyroantimonate, lanthanum, ruthenium red, and horseradish peroxidase), and freeze-fracture studies were conducted on embryos and larvae of Rana pipiens to determine the steps involved in gap junction assembly during neurulation. The zonulae occludentes, which join contiguous neuroepithelial cells, fragment into solitary domains as the neural groove deepens. These plaque-like contacts also become permeable to a variety of tracers at this juncture. Where the ridges of these domains intersect, numerous 85-Å participles apparently pile up against tight junctional remnants, creating arrays recognizable as gap junctions. With neural fold closure, the remaining tight junctional elements disappear and are replaced by macular gap junctions. Well below the junctional complex, gap junctions form independent of any visible, preexisting structure. Small, variegated clusters, containing 4–30 particles located in flat, particle-free regions, characterize this area. The number of particles within these arrays increases and they subsequently blend together into a polygonally packed aggregate resembling a gap junction. The assembly process in both apical and basal regions conforms with the concept of translational movement of particles within a fluid plasma membrane.
Vacuum Behaviors around Rarefaction Waves to 1D Compressible Navier-Stokes Equations with Density-Dependent Viscosity

In this paper, we study the large time asymptotic behavior toward rarefaction waves for solutions to the one-dimensional compressible Navier--Stokes equations with density-dependent viscosities for general initial data whose far fields are connected by a rarefaction wave to the corresponding Euler equations with one end state being vacuum. First, a global-in-time weak solution around the rarefaction wave is constructed by approximating the system and regularizing the initial data with general perturbations, and some a priori uniform-in-time estimates for the energy and entropy are obtained. Then it is shown that the density of any weak solution satisfying the natural energy and entropy estimates will converge to the rarefaction wave connected to vacuum with arbitrary strength in sup-norm time-asymptotically. Our results imply, in particular, that the initial vacuum at far field will remain for all the time, which is in sharp contrast to the case of nonvacuum rarefaction waves studied in [Q. S. Jiu, Y. Wan.
Theorising new European youth mobilities

This paper's objective is to offer a range of appropriate theoretical formulations to better understand the unfolding dynamics and characteristics of new European youth migrations. After an extensive contextual introduction that sets the recent historical, institutional, and economic scene, the paper presents and critically evaluates the usefulness of five theoretical frameworks: (a) neoliberal “Single Market” economics and free movement of persons and labour; (b) the renewed relevance of the core–periphery model of spatial economic structure and resultant migration flows; (c) “liquid migration” and its defining ethos of “intentional unpredictability”; (d) the intersection of migration with “youth transitions”; and (e) the “lifestyle migration” approach.
On methods for proving lower bounds in propositional logic

This paper is based on my lecture [26]. It examines the problem of proving non-trivial lower bounds for the length of proofs in propositional logic from the perspective of methods available rather than surveying known partial results (i.e., lower bounds for weaker proof systems). We discuss neither motivations for proving lower bounds for propositional logic nor relations to other problems in logic or complexity theory. The reader is referred to [20] for the background information (as well as for all details missing in this paper). The paper is aimed at curious non-specialists. The style of our exposition is accordingly informal at places and we do not burden the text (especially in the introduction) with exhausting references not directly related to our main objective. The reader starving for details can nd them, together with all original references, in [20] (see also expository articles [25, 32]).
Left-Right Symmetric Model from Geometric Formulation of Gauge Theory in M4 × Z2 × Z2

The left-right symmetric model (LRSM) with gauge group $SU(2)_{L} \times SU(2)_{R} \times U(1)_{B-L}$ is reconstructed from the geometric formulation of gauge theory in $M_4 \times Z_2 \times Z_2$ where $M_4$ is the four-dimensional Minkowski space and $Z_2 \times Z_2$ the discrete space with four points. The geometrical structure of this model becomes clearer compared with other works based on noncommutative geometry. As a result, the Yukawa coupling terms and the Higgs potential are derived in more restricted forms than in the standard LRSM.
GPU technology applied to reverse time migration and seismic modeling via OpenACC

GPU computing offers tremendous potential to accelerate complex scientific applications and is becoming a leading force in speeding up seismic imaging and velocity analysis techniques. Developing portable code is a challenge that can be overcome using emerging high-level directive-based programming model such as OpenACC. In this paper, we develop OpenACC implementations for both seismic modeling and Reverse Time Migration (RTM) algorithms that solve the isotropic, acoustic, and elastic wave equations. We employ OpenACC to take advantage of the computational power of two Nvidia GPU cards: 1) M2090 and 2) K40, residing in IBM and CRAY XC30 clusters respectively. Although we implement a hybrid OpenACC-MPI approach to parallelize seismic modeling and RTM on multiple GPUs, in this paper, we focus on developing mapping techniques to exploit potentials of one GPU. We observe an incremental improvement in performance while exploring different optimization techniques. Adequate code restructuring to tap GPU's potential seems critical. Depending on the intensity of computations, different propagators exhibit different speedup behaviors. A performance enhancement of ~ 10x was obtained, when the acoustic model was ported to a single GPU, compared with a 1.3x speedup obtained using the isotropic model.
Uncovering Diffusion in Academic Publications Using Model-Driven and Model-Free Approaches

Information spreads across heterogeneous social systems, and the underlying network structures are hard to collect or define. The goal of this paper is to estimate macro-level information diffusion using time-series activity sequences of heterogeneous populations without the need to know detailed network structures. We propose a consistent way of understanding dynamic influence among populations with both model-driven and model-free approaches. As a real-word example, we focus on computer science publications for uncovering research topic diffusion patterns across different sub domains. As a result, estimated diffusion patterns, obtained from the two approaches, exhibit similar information pathways but with different perspectives on diffusion, which in conjunction can help to obtain a more coherent overall picture of diffusion dynamics than either approach alone. We expect that our proposed approaches can help quantify and understand macro-level diffusion across target regions in various real-world scenarios and provide ways of inferring diffusion patterns from time-series real data.
The Concept of Responsiveness and the Understanding of the Other ©

In modern societies we are generally confronted with experiences of foreignness. Therefore, it is of crucial importance for us to understand our understanding of Others without neglecting obvious differences, i.e., without robbing the foreign its foreignness, and without condemning foreigners becauses of their Otherness. In recent years Bernhard Waldenfels has developed a so-called “responsive phenomenology” that has at its core the accentuation of the radicality of “Otherness. ” Its main purposes are to demonstrate the “preceding” of the Other and to introduce a logic of responding that tries to show that the demand of the foreigner emerges as an experience of a concussion of the ownness. Providing a short overview of Waldenfels’s phenomenology, this essay addresses four questions to his conceptualization. It will be asked whether a concept of radical alterity is viable for sociology, whether we are confronted with a fundamental tension between the ideas of separation and of interconnection in Waldenfels’s phenomenology of the Other, and whether the thesis is valid, that we have to abandon the concept of reciprocity, because it overlies the asymmetries, discontinuies, and irreversibilities of social situations. Finally, it is asked whether the idea of a dialogue is adaequate in the frame this type of phenomenology. This critical discussion of the central aspects of Waldenfels’s philosophy is argued from the perspective of a phenomenologically based sociology and shows the ambiguities of his conception and provides some arguments for its pragmatic revision.
Situated normative infrastructures: the normative object approach

Norms have been considered an attractive means for the regulation of the dynamics of multi-systems (MAS). Typically, it is left for the individual agents to apply (general) norms to the particular concrete situations that arise during the operation of the system. This article summarizes our work on situated normative infrastructures for multi-agent systems, which aim to facilitate the operationalization of general norms for their use by autonomous agents in particular concrete situations. The article: (i) clarifies the concepts of normative object, normative space and situated normative infrastructure; (ii) explains the implications of such concepts for the normative reasoning of autonomous agents; and (iii) illustrates the ways in which a situated normative infrastructure may define alternative normative systems for a given normative multi-agent system.
Perceptual Affordances of Wall-Sized Displays for Visualization Applications: Color

Wall-sized displays offer the opportunity to display very large information spaces. Most data representations can be scaled to wall size but display walls are not simply big desktop monitors. We do not yet know how the perceptual affordances of a wall, such as the wide viewing angles they cover, affect how data is perceived and comprehended. In this paper we call for more studies on the perception of data on wall-sized displays and discuss-with the example of color-several aspects of wall setups that we hypothesize will most affect the perception of this visual variable.