Miracle-dz/UniFAR-FTUs huggingface dataset:
List Permutation Invariant Linear Codes: Theory and Applications

The class of q-ary list permutation invariant linear codes is introduced in this paper along with probabilistic arguments that validate their existence when certain conditions are met. The specific class of codes is characterized by an upper bound that is tighter than the generalized Shulman-Feder bound and relies on the distance of the codes' weight distribution to the binomial (multinomial, respectively) one. The bound applies to cases where a code from the proposed class is transmitted over a q-ary output symmetric discrete memoryless channel and list decoding with fixed list size is performed at the output. In the binary case, the new upper bounding technique allows the discovery of list permutation invariant codes whose upper bound coincides with sphere-packing exponent. Furthermore, the proposed technique motivates the introduction of a new class of upper bounds for general q-ary linear codes whose members are at least as tight as the DS2 bound as well as all its variations for the discrete channels treated in this paper.
Performance engineering of replica voting protocols for high assurance data collection systems

Real-time data collection in a distributed embedded system requires dealing with failures such as data corruptions by malicious devices and arbitrary message delays in the network. Replication of data collection devices is employed to deal with such failures, with voting among the replica devices to move a correct data to the end-user. Here, the data being voted upon can be large-sized and/or take long time to be compiled (such as images in a terrain surveillance system and transaction histories in an intrusion detection system). The goal of our paper is to engineer the voting protocols to achieve good performance while meeting the reliability requirements of data delivery in a high assurance setting. The performance metrics are the data transfer efficiency (DTE) and the time-to-complete a data delivery (TTC). DTE captures the network bandwidth wasted and/or the energy drain in wireless-connected devices; whereas, TTC depicts the degradation in user-level QoS due to delayed and/or missed data deliveries. So, improving both DTE and TTC is a goal of our performance engineering exercise. Our protocol-level optimizations focus on reducing: i) the movement of user-level data between voters, ii) the number of voting actions/messages generated, and iii) the latency caused by the voting itself. The paper describes these optimizations, along with the experimental results from a prototype voting system.
Enhanced Production of Insulin-like Growth Factor I Protein in Escherichia coli by Optimization of Five Key Factors

Human insulin-like growth factor I (hIGF-I) is a kind of growth factor with clinical signiﬁcance in medicine. Up to now, E. coli expression system has been widely used as a host to produce rhIGF-1 with high yields. Batch cultures as non-continuous fermentations were carried out to overproduce rhIGF-I in E. coli. The major objective of this study is over- production of recombinant human insulin-like growth factor I (rhIGF-I) through a developed process by recruiting effective factors in order to achieve the most recombinant protein. In this study we investigated the effect of culture medium, induction temperature and amount of inducer on cell growth and IGF-1 production. Taguchi design of experiments (DOE) method was used as the statistical method. Analysis of experimental data showed that maximum production of rhIGF-I was occurred in 32y culture medium at 32 °C and 0.05 Mm IPTG. Under this condition, 0.694 g/L of rhIGF-I was produced as the inclusion bodies. Following optimization of these three factors, we have also optimized the amount of glucose and induction time in 5 liter top bench bioreactor. Full factorial design of experiment method was used for these two factors as the statistical method. 10 g/L and OD600=5 were selected as the optimum point of Glucose amount and induction time, respectively. Finally, we reached to a concentration of 1.26 g/L rhIGF-1 at optimum condition.
The Evolution of Women Pastors in Mainline Protestant Denominations

xi CHAPTER I: INTRODUCTION . 1 Definitions . 2 Denominations . 3 United Methodist Church (UMC). 4 Evangelical Lutheran Church in America (ELCA) . 5 Presbyterian Church (PC-USA). 6 Episcopal Church . 7 American Baptist Church (ABC-USA) . 8 United Church of Christ (UCC). 9 Christian Church Disciples of Christ (DOC) . 9 Problem Statement . 10 Purpose of the Study . 11 Research Questions . 13 Significance of the Study . 14 Delimitations . 14 CHAPTER II: REVIEW OF THE LITERATURE . 16 Challenges . 18 Law Exemptions and Policies . 18 Gender Barriers and Stereotypes . 19 Career Obstacles and Leadership . 20
RFID Based Warehouse Management of Perishable Products

The changing global market scenario, high level of competition, and faster obsolescence of perishable products due to short self life and changing customer demand are among the key challenges faced by perishable supply chains. Supply chains need to compete with growing variety of products, short delivery time, higher cycle service level, high quality and lower cost. Perishability imposes an intense pressure on managers as it adds an additional cost of disposal of outdated items, leading to out-of-stock situations and also loss of company faith. These problems are arising mostly due to the lack of information at every stage of the supply chains. The inadequate information about product quality, quantity, demand variability, product availability and lead times creates the bullwhip effect (BWE) at all stages and chains leads to the mismanagement. RFID technologies, with the appropriate IT infrastructure, would help major distributors and manufacturers, as well as health-care system, defence industries, and global supply chains in which products and product shipments must be traced and identified in a non-contact, wireless fashion using a computer network. This paper presents the impact of RFID in warehouse management of perishable products. It provides mathematical framework to asses the benefits of RFID in warehouse management. It helps management in the variety of ways including improvement in receiving and shipping processes, reduction in cycle counting efforts, reduction in stock outs/excess inventory, decreased counterfeiting, decreased returns, and reduction in inventory loss due to shrinkage and obsolescence. A sensitivity analysis has been presented at the end of paper which shows the compound effect of RFID, reduction in lead time and lead time variability. In all scenarios inventory level is reduced by certain percentage by incorporating RFID. Keywords— Supply chain management, Perishable product, Inventory, RFID, Warehouse.
What Triggers a Behavior?

We introduce and study trigger querying. Given a model M and a temporal behavior \vartheta, trigger querying is the problem of finding the set of scenarios that trigger \vartheta in M. That is, if a computation of M has a prefix that follows the scenario, then its suffix satisfies \vartheta. Trigger querying enables one to find, for example, given a program with a function f, the scenarios that lead to calling f with some parameter value, or to find, given a hardware design with signal err, the scenarios after which the signal err ought to be eventually raised. We formalize trigger querying using the temporal operator \mapsto (triggers), which is the most useful operator in modern industrial specification languages. A regular expression r triggers an LTL formula \vartheta in a system M, denoted M {\text{M | = r }} \mapsto \vartheta, if for every computation \pi of M and index i \geqslant 0, if the prefix of \pi up to position i is a word in the language of r, then the suffix of \pi from position i satisfies \vartheta. The solution to the trigger query {\text{M | = ? }} \mapsto \vartheta is the maximal regular expression that triggers \vartheta in M. Trigger querying is useful for studying systems, and it significantly extends the practicality of traditional query checking [6]. Indeed, in traditional query checking, solutions are restricted to propositional assertions about states of the systems, whereas in our setting the solutions are temporal scenarios. We show that the solution to a trigger query {\text{M | = ? }} \mapsto \vartheta is regular, and can be computed in polynomial space. Unfortunately, the polynomial-space complexity is in the size of M. Consequently, we also study partial trigger querying, which returns a (non empty) subset of the solution, and is more feasible. Other extensions we study are observable trigger querying, where the partial solution has to refer only to a subset of the atomic propositions, constrained trigger querying, where in addition to M and \vartheta, the user provides a regular constraint c and the solution is the set of scenarios respecting c that trigger \vartheta in M, and relevant trigger querying, which excludes vacuous triggers - scenarios that are not induced by a prefix of a computation of M. Trigger querying can be viewed as the problem of finding sufficient conditions for a behavior \vartheta in M. We also consider the dual problem, of finding necessary conditions to \vartheta, and show that it can be solved in space complexity that is only logarithmic in M.
Shared path protection under the risk of high-power jamming

Transparent optical networks are sensitive to high-power jamming which can degrade legitimate user signals via out-of-band effects in optical fibers and amplifiers, and in-band crosstalk in optical switches. Jamming signals can be inserted in the network either deliberately as an attack, with the intention to deteriorate service, or accidentally, due to component miscon-figuration. This type of attack/failure can potentially propagate through the network causing high data and revenue losses, requiring tailored survivability approaches which take these harmful effects into consideration. Namely, conventional network survivability approaches which protect transmission in case of component faults might not provide adequate protection from jamming since the working and backup paths of a connection may both be within reach of the same jamming signal, even if they are link/node disjoint. Previously, we proposed the concept of an Attack Group (AG) of an all-optical connection (referred to as a lightpath), comprised of all other lightpaths which potentially can affect it in case they carry a high-power jamming signal. Furthermore, we developed a jamming attack-aware dedicated path protection algorithm which establishes AG-disjoint working and backup paths for each connection. Herein, we extend this work by proposing an approach for Jamming-Aware Shared Path Protection (JA-SPP) to achieve survivability in the presence of jamming signals in a more resource-efficient way. We formulate the JA-SPP problem as an Integer Linear Problem (ILP) to obtain optimal solutions for smaller network instances. Comparison with standard SPP for single component faults (without jamming-awareness) shows that JA-SPP obtains solutions which offer protection from high-power jamming, in addition to single component faults, while using the same amount of resources (in terms of link and wavelength usage) as the standard SPP.
ECG and pulse variability analysis for exercise evaluation

ECG and pulse waveforms are important physiological parameters that can be utilized to analyze noninvasively physical condition and monitor cardiovascular diseases. In recent years, they were studied for evaluating the effects of exercise on human body. However, the systematical analysis on the changes of ECG and pulse waveforms before and after exercise has not been found. This study examines the change of ECG and pulse waveforms after 12-minute-running exercise in nine weeks with 10 healthy subjects. In the experiment, RQ, SQ and TQ represent the amplitude difference between R-, S-, T- and Q-wave of ECG, respectively. Similarly, H1 and H2 represent the amplitude of highest and small peak relative to the baseline of pulse waveforms, respectively. It was found that 90% of subjects' heart rate (HR) at rest has significant decreased (p<0.001) during the experiment period. Moreover, other parameters (RQ/SQ/HR, TQ/RQ/HR, baseline-signal ratio and H1/H2) all have significant difference (p<0.001) in nine weeks. 80% of RQ/SQ/HR, 60% of TQ/RQ/HR, 100% of baseline-signal energy ratio and 80% of H1/H2 at rest decreased during nine weeks experiment; while 70% of RQ/SQ/HR declined, 100% of TQ/RQ/HR and 90% of H1/H2 increased immediately after exercise comparing with rest condition. Results showed that these parameters could properly denote the change of ECG and pulse waveforms in exercise experiment. Furthermore, according to the variation trend of these parameters, it indicated that 12-minute-running improved cardiopulmonary function of subjects significantly.
Investigation about Authentication Biometrics using Keystroke Dynamics

—This paper uses a Keystroke Dynamics in biometric authentication. The user is identified for the habitual rhythm to type your complete name in a conventional keyboard. Two features (e.g., durations of keystrokes, and latencies between keystrokes) and experiments using samples for genuines and impostors user were performed using two pattern classification techniques. The results show that the use of the Keystroke Dynamics is simple and efficient for personal authentication, getting optimum resulted using 90% of the features with 3,83% FRR and 0% FAR using classifier weight measure .
A Simulation Approach to Quantify Network Survivability on MANETs

The network survivability is an emerging requirement for highly reliable communication services in mobile ad hoc networks (MANETs) and is defined as the probability that the network can keep to be connected even under node failures and DoS attacks. Although some analytical formulas on the quantitative network survivability have been proposed, they have not been validated yet by comparing with the exact value of network survivability in a comprehensive way. In this paper, we revisit the existing lower and upper bounds of network survivability by taking account of border effects in a network communication area and develop a simulation model. It is shown through simulation experiments that the analytical solutions often fail in the exact network survivability measurement.
Case study of the conceptualization and implementation of a situational assessment program at Punahou Academy, Honolulu, Hawaii.

Case Study of the Conceptualization and Implementation of a Situational Assessment Program at Punahou Academy, Honolulu, Hawaii February 1982 Winston Healy, Jr., B.A., Williams College M.A., University of Hawaii, Ed.D. , University of Massachusetts Directed by: Dr. Kenneth H. Blanchard This case study records the conceptualization and implementation of an alternative to traditional teacher evaluation, Situational Assessment. Traditional teacher evaluation focuses on the rating and review of teacher performance. Situational Assessment, by contrast, focuses on growth, emphasizing planning, and day-to-day coaching and counselling. Whereas traditional evaluation is based upon a single supervisory style, Situational Assessment advocates varying the supervisory style. Traditional teacher evaluation requires external control while Situational Assessment helps teachers develop more
USEP: Ultra Stable Threshold Sensitive Election Protocol for Mobile WSN

Wireless sensor networks (WSN’s) are going to replace old mode of information collection in various area like medical, industry, communication. In this paper authors propose a new Ultra stable Threshold sensitive election protocol (USEP), which is a reactive routing protocol using five level heterogeneity. Reactive networks are fast in response then proactive network. Here protocol has been tested for variation in temperature sensing application. General Terms Hope, route, node, sensor, energy, base station
Bounded Rationality and Market Micro-Behaviors: Case Studies Based on Agent-Based Double Auction Markets

We investigate the dynamics of trader behaviors using an agent-based genetic programming system to simulate double-auction markets. The objective of this study is two-fold. First, we seek to evaluate how, if any, the difference in trader rationality/intelligence influences trading behavior. Second, besides rationality, we also analyze how, if any, the co-evolution between two learnable traders impacts their trading behaviors. We have found that traders with different degrees of rationality may exhibit different behavior depending on the type of market they are in. When the market has a profit zone to explore, the more intelligent trader demonstrates more intelligent behaviors. Also, when the market has two learnable buyers, their co-evolution produced more profitable transactions than when there was only one learnable buyer in the market. We have analyzed the trading strategies and found the learning behaviors are very similar to humans in decision-making. We plan to conduct human subject experiments to validate these results in the near future.
Runaway Massive Binaries and Cluster Ejection Scenarios

The production of runaway massive binaries offers key insights into the evolution of close binary stars and open clusters. The stars HD 14633 and HD 15137 are rare examples of such runaway systems, and in this work we investigate the mechanism by which they were ejected from their parent open cluster, NGC 654. We discuss observational characteristics that can be used to distinguish supernova ejected systems from those ejected by dynamical interactions, and we present the results of a new radio pulsar search of these systems, as well as estimates of their predicted X-ray flux assuming that each binary contains a compact object. Since neither pulsars nor X-ray emission are observed in these systems, we cannot conclude that these binaries contain compact companions. We also consider whether they may have been ejected by dynamical interactions in the dense environment where they formed, and our simulations of four-body interactions suggest that a dynamical origin is possible but unlikely. We recommend further X-ray observations that will conclusively identify whether HD 14633 or HD 15137 contain neutron stars.
Short-time Fourier and wavelet transform analysis of respiration signal obtained by thermal imaging

Respiration rate is a critical sign of a person's wellbeing. The respiration rate of an adult subject was measured for eight minutes using a thermal imaging technique. A suitable algorithm was used to locate and track the respiration region of interest centred on the tip of the nose. The effectiveness of short time Fourier transform (STFT) and continuous wavelet transform (CWT) to determine respiration rate variations over time was investigated. The study indicated that both STFT and CWT can indicate respiration rate time variations, but CWT was more sensitive in detecting the transient changes in respiration signal.
A Biomechanical Comparison of Back and Front Squats in Healthy Trained Individuals

Gullett, JC, Tillman, MD, Gutierrez, GM, and Chow, JW. A biomechanical comparison of back and front squats in healthy trained individuals. J Strength Cond Res 23(1): 284-292, 2008-The strength and stability of the knee plays an integral role in athletics and activities of daily living. A better understanding of knee joint biomechanics while performing variations of the squat would be useful in rehabilitation and exercise prescription. We quantified and compared tibiofemoral joint kinetics as well as muscle activity while executing front and back squats. Because of the inherent change in the position of the center of mass of the bar between the front and back squat lifts, we hypothesized that the back squat would result in increased loads on the knee joint and that the front squat would result in increased knee extensor and decreased back extensor muscle activity. A crossover study design was used. To assess the net force and torque placed on the knee and muscle activation levels, a combination of video and force data, as well as surface electromyographic data, were collected from 15 healthy trained individuals. The back squat resulted in significantly higher compressive forces and knee extensor moments than the front squat. Shear forces at the knee were small in magnitude, posteriorly directed, and did not vary between the squat variations. Although bar position did not influence muscle activity, muscle activation during the ascending phase was significantly greater than during the descending phase. The front squat was as effective as the back squat in terms of overall muscle recruitment, with significantly less compressive forces and extensor moments. The results suggest that front squats may be advantageous compared with back squats for individuals with knee problems such as meniscus tears, and for long-term joint health.
State–Space Analysis of Boolean Networks

This paper provides a comprehensive framework for the state-space approach to Boolean networks. First, it surveys the authors' recent work on the topic: Using semitensor product of matrices and the matrix expression of logic, the logical dynamic equations of Boolean (control) networks can be converted into standard discrete-time dynamics. To use the state-space approach, the state space and its subspaces of a Boolean network have been carefully defined. The basis of a subspace has been constructed. Particularly, the regular subspace, Y-friendly subspace, and invariant subspace are precisely defined, and the verifying algorithms are presented. As an application, the indistinct rolling gear structure of a Boolean network is revealed.
Fractal Space-Time, Non-Dieren tiable Geometry and Scale Relativity

In this review paper, we recall the successive steps that we have followed in the construction of the scale-relativity theory. The aim of this theory is to derive the physical behavior of a non-dieren tiable and fractal space-time and of its geodesics (with which particle trajectories are identied), under the constraint of the principle of the relativity of scales. Various levels of description of scale-laws, from the simplest scale-invariant laws to the logLorentzian laws of special scale-relativity, are considered. Then we study the eects induced by the existence of internal fractal structures on the motion in standard space. We nd that the main consequence is the transformation of
Guiding the Ontology Matching Process with Reasoning in a PDMS

This article focuses on ontology matching in a decentralized setting. The work takes place in the MediaD project. Ontologies are the description of peers data belonging to the peer data management system SomeRDFS. We show how to take advantage of query answering in order to help discovering new mappings between ontologies, either mapping shortcuts corresponding to a composition of pre-existent mappings or mappings which can not ne inferred from the network but yet relevant.
Inorganic–Organic Hybrid Surfactant Crystals: Structural Aspects and Functions

Hybrid single crystals consisting of an organic surfactant and an inorganic moiety are promising functional materials. Layered crystals composed from alternate inorganic and surfactant layers are obtained by the template effect of long alkyl chain moiety. The composition, crystal packing, and molecular arrangement of the hybrid single crystals are controllable by changing the inorganic constituent and the surfactant molecular structure. The types of hybrid surfactant single crystals are twofold: (i) crystals consisting of discrete inorganic cation coordinated by ligands having amphiphilic moiety; and (ii) crystals comprising a surfactant cation and a discrete inorganic anion including polyoxometalate (POM) oxide clusters. The POM-surfactant hybrid single crystals are rather rare, and therefore promising as unprecedented functional materials. Their structural variation and functional properties are discussed.