Miracle-dz/UniFAR-FTUs huggingface dataset:
Design and Implementation of a WiFi Based Home Automation System

This paper presents a design and prototype implementation of new home automation system that uses WiFi technology as a network infrastructure connecting its parts. The proposed system consists of two main components; the first part is the server (web server), which presents system core that manages, controls, and monitors users' home. Users and system administrator can locally (LAN) or remotely (internet) manage and control system code. Second part is hardware interface module, which provides appropriate interface to sensors and actuator of home automation system. Unlike most of available home automation system in the market the proposed system is scalable that one server can manage many hardware interface modules as long as it exists on WiFi network coverage. System supports a wide range of home automation devices like power management components, and security components. The proposed system is better from the scalability and flexibility point of view than the commercially available home automation systems. Keywords—Home automation, Wireless LAN, WiFi, MicroControllers
Warm Terrestrial Subtropics During the Paleocene and Eocene: Carbonate Clumped Isotope (Δ47) Evidence From the Tornillo Basin, Texas (USA)

Records of subtropical climate on land from the early Paleogene offer insights into how the Earth system responds to greenhouse climate conditions. Fluvial and floodplain deposits of the Tornillo Basin (Big Bend National Park, Texas, USA) preserve a record of environmental and climatic change of the Paleocene and the early Eocene. We report carbon, oxygen, and clumped isotopic compositions (δ13C, δ18O, and Δ47) of paleosol carbonate nodules from this basin. Mineralogical, geochemical, and thermal modeling evidence suggests that the measured isotopic values preserve primary environmental signals with a summer bias with the exception of data from two nodules reset by local igneous intrusions. The unaltered nodules record Δ47 temperatures of 25 ± 4 and 32 ± 2 °C for the Paleocene and early Eocene nodules, respectively, showing an increase in average summer temperatures of 7 ± 3 °C. Calculations of δ18O of soil water are −2.8 ± 0.7‰ and −0.8 ± 0.4‰ (standard mean ocean water) for the early‐mid‐Paleocene and late Paleocene‐early Eocene, showing an increase of 2.0 ± 0.9‰. The increase in temperature and δ18O values likely relates to a rise in atmospheric pCO2, although we cannot rule out that changes in paleosol texture and regional precipitation patterns also influence the record. Comparison with Δ47 estimates of summer temperature from the Green River and Bighorn Basins (WY) highlights that terrestrial surface temperatures are heterogeneous, and latitudinal temperature gradients on land remain undetermined. Previously published paleoclimate models predict summer temperatures that are 2 to 6 °C higher than our estimate; discrepancies between climate models and proxy data persist at lower latitudes.
Formal Specification and Analysis of an Agent-Based Medical Image Processing System

A mobile agent system is a special distributed system with moving programs in networks. Mobile agent systems provide a powerful and flexible paradigm for building high performance distributed systems. Due to dynamic configuration property, assuring quality of a mobile agent system is a challenge work. Formal specification and analysis of a mobile agent system provides one of the best approaches to ensure the correctness of a system design. However, it is difficult to find a formal specification tool for modeling a mobile agent system with an easy to understand and concise model. In addition, it is a challenge but also important work to provide an automatic formal analysis approach for verifying whether a system specification correctly meets certain requirements in a mobile agent system. In this paper, a framework for specification and analysis of mobile agent systems is defined. First, Predicate/Transition nets are extended with dynamic channels for modeling mobile agent systems. The formalism has the expressive power to naturally model the software architecture of a mobile agent system, and easily capture the properties especially the mobility, mobile communication and dynamic configuration of a mobile agent system. Then, model checking is instrumented to the framework for automatically verifying the correctness of the specification of a mobile agent system. In order to illustrate the capability of the formalism and the verification strategy, a medical image processing system using mobile agents is modeled using the extended Predicate/Transition nets and system properties are verified using the SPIN model checker.
Development of a 100 hp synchronous motor with HTS field coils

A 3-phase, 100 hp, 4 pole, 1800 rpm superconducting synchronous motor built and tested in Korea Electrotechnology Research Institute(KERI). This machine consists of HTS rotor and air-core stator. The HTS field windings are composed of the double-pancake coils wound with AMSC's stainless steel-reinforced Bi-2223 tape conductor. These were assembled on the support structure and fixed by a bandage of glass-fiber composite. The cooling system is based on the heat transfer mechanism of the thermosyphon by using GM cryocooler as cooling source. The cold head is in contact with the condenser of a Ne-filled thermosyphon. The rotor assembly was tested independently at the stationary state and combined with stator. The open circuit, no-load, and short circuit characteristic were obtained. Also, load tests in motor mode driven by inverter and generator mode connected to resister load bank were conducted. This paper will present design, construction, and experimental test results of the 100 hp HTS machine.
NR4A orphan nuclear receptors as mediators of CREB-dependent neuroprotection

Induced expression of neuroprotective genes is essential for maintaining neuronal integrity after stressful insults to the brain. Here we show that NR4A nuclear orphan receptors are induced after excitotoxic and oxidative stress in neurons, up-regulate neuroprotective genes, and increase neuronal survival. Moreover, we show that NR4A proteins are induced by cAMP response element binding protein (CREB) in neurons exposed to stressful insults and that they function as mediators of CREB-induced neuronal survival. Animals with null mutations in three of six NR4A alleles show increased oxidative damage, blunted induction of neuroprotective genes, and increased vulnerability in the hippocampus after treatment with kainic acid. We also demonstrate that NR4A and the transcriptional coactivator PGC-1α independently regulate distinct CREB-dependent neuroprotective gene programs. These data identify NR4A nuclear orphan receptors as essential mediators of neuroprotection after exposure to neuropathological stress.
The network of sheep movements within Great Britain: network properties and their implications for infectious disease spread

During the 2001 foot and mouth disease epidemic in the UK, initial dissemination of the disease to widespread geographical regions was attributed to livestock movement, especially of sheep. In response, recording schemes to provide accurate data describing the movement of large livestock in Great Britain (GB) were introduced. Using these data, we reconstruct directed contact networks within the sheep industry and identify key epidemiological properties of these networks. There is clear seasonality in sheep movements, with a peak of intense activity in August and September and an associated high risk of a large epidemic. The high correlation between the in and out degree of nodes favours disease transmission. However, the contact networks were largely dissasortative: highly connected nodes mostly connect to nodes with few contacts, effectively slowing the spread of disease. This is a result of bipartite-like network properties, with most links occurring between highly active markets and less active farms. When comparing sheep movement networks (SMNs) to randomly generated networks with the same number of nodes and node degrees, despite structural differences (such as disassortativity and higher frequency of even path lengths in the SMNs), the characteristic path lengths within the SMNs are close to values computed from the corresponding random networks, showing that SMNs have ‘small-world’-like properties. Using the network properties, we show that targeted biosecurity or surveillance at highly connected nodes would be highly effective in preventing a large and widespread epidemic.
Durability of composites

Fiber reinforced materials (composites) are considered very seriously for use in primary loadbearing structures. However, the pace at which they will actually be introduced into the structural designs of the future very much depends on the solution of a critical problem, which is the inability to predict the long term behavior of the material in a given service environment. The research and development of integrity evaluation and lifetime prediction schemes for composite materials is thus a burning issue. The information presented is part of an ongoing program which is directed toward and accelerated determination of the endurance limits of composite materials. Real-time testing is simply not feasible because enough integrity has to be designed into composite structures such that they have a service life which is often as long as twenty or thirty years.
A Communal Irrigation System, Farming Productivity and Water Use Efficiency: The Case of ''Muang fai'' in Northern Thailand

xii Chapter 1: Introduction . 1 1.1 Background and Motivation. 1 1.2 Research Scope and Objectives. 4 1.3 Methodology . 5 1.4 Expected Contribution . 6 1.5 Outline of the Thesis . 7 Chapter 2: Literature Review . 10 2.
A Representation of Time Series for Temporal Web Mining

Data with temporal information is constantly generated, sampled, gathered, and analyzed in different domains, such as medicine, finance, engineering, environmental sciences, and earth sciences. Temporal Web mining extends temporal data mining and Web mining, and concerns the Web mining of data with significant temporal information. Its main goal is to query local and Web data in real time, analyze these temporal sequences in order to discover previously unknown important temporal information. Using temporal data as temporal sequences without any preprocessing fails to extract key features of this data. For this reason, before applying mining techniques, an appropriate representation of temporal sequences is needed. This paper emphasizes on the representation of time series for temporal Web mining.
A trade-off between space and efficiency for routing tables

Two conflicting goals play a crucial role in the design of routing schemes for communication networks. A routing scheme should use paths that are as short as possible for routing messages in the network, while keeping the routing information stored in the processors' local memory as succinct as possible. The efficiency of a routing scheme is measured in terms of its <italic>stretch factor</italic>-the maximum ratio between the length of a route computed by the scheme and that of a shortest path connecting the same pair of vertices. Most previous work has concentrated on finding good routing schemes (with a small fixed stretch factor) for special classes of network topologies. In this paper the problem for general networks is studied, and the entire range of possible stretch factors is examined. The results exhibit a trade-off between the efficiency of a routing scheme and its space requirements. Almost tight upper and lower bounds for this trade-off are presented. Specifically, it is proved that any routing scheme for general <italic>n</italic>-vertex networks that achieves a stretch factor <italic>k</italic> ≥ 1 must use a total of &OHgr;(<italic>n</italic><supscrpt>1+1/(2<italic>k</italic>+4)</supscrpt>) bits of routing information in the networks. This lower bound is complemented by a family <italic>K</italic>(<italic>k</italic>) of <italic>hierarchical</italic> routing schemes (for every k ≥ l) for unit-cost general networks, which guarantee a stretch factor of <italic>O</italic>(<italic>k</italic>), require storing a total of <italic>O</italic>(<italic>k</italic><supscrpt>3</supscrpt><italic>n</italic><supscrpt>1+(1/h)</supscrpt>log<italic>n</italic>)- bits of routing information in the network, name the vertices with <italic>O</italic>(log<supscrpt>2</supscrpt><italic>n</italic>)-bit names and use <italic>O</italic>(log<italic>n</italic>)-bit headers.
Comparison of the themes of Malaysian Friday sermons between the year 2010 and 2015

One of the analyses used in the field of corpus linguistics is comparing the word occurrence from different text corpora. This technique can be used to identify how a certain discipline change over time through text analysis. In this study, the changes of the context of Malaysian Friday sermons are investigated. The text corpus was developed by taking the Friday sermons spoken in Kuala Lumpur mosques in the year 2015. A total of 52 sermons were used for the text corpus because there are a total of 52 Friday sermons in a year. The Malay text corpus was constructed by using PHP and MySQL, and only the top words spoken were inserted into the text corpus. This text corpus is then compared with a previously developed text corpus from 2010 Friday sermons. The new text corpus overlapped with the old text corpus by 82%. Analysis also shows the difference of semantic between 2010 and 2015 Friday sermons.
Recent developments in the treatment of sepsis

Despite advances in supportive care, septic shock remains a major cause of morbidity and mortality. With the identification of the systemic inflammatory response as a major component in the pathogenesis of the septic shock syndrome, much of the recent work has focused on modulating this response. This includes antiendotoxin therapies in patients with Gram-negative sepsis, and therapies to modulate the pro-inflammatory mediators produced in response to infection, such as TNF-α, platelet-activating factor and complement. High-flow haemofiltration has the potential advantage of clearing both endotoxin and pro-inflammatory mediators. Antithrombotic strategies have been investigated and have yielded the first major success in the treatment of sepsis with activated protein C. Nitric oxide produces the cardiovascular features of sepsis and investigators have looked at both reducing its production and mopping up the excess. Attempts to reduce apoptosis have been a new focus in the treatment of sepsis. There have also been recent developments in supportive care suggesting a role for vasopressin and replacement corticosteroid therapy.
Woodland recovery following drought‐induced tree mortality across an environmental stress gradient

Recent droughts and increasing temperatures have resulted in extensive tree mortality across the globe. Understanding the environmental controls on tree regeneration following these drought events will allow for better predictions of how these ecosystems may shift under a warmer, drier climate. Within the widely distributed piñon–juniper woodlands of the southwestern USA, a multiyear drought in 2002–2004 resulted in extensive adult piñon mortality and shifted adult woodland composition to a juniper‐dominated, more savannah‐type ecosystem. Here, we used pre‐ (1998–2001) and 10‐year post‐ (2014) drought stand structure data of individually mapped trees at 42 sites to assess the effects of this drought on tree regeneration across a gradient of environmental stress. We found declines in piñon juvenile densities since the multiyear drought due to limited new recruitment and high (>50%) juvenile mortality. This is in contrast to juniper juvenile densities, which increased over this time period. Across the landscape, piñon recruitment was positively associated with live adult piñon densities and soil available water capacity, likely due to their respective effects on seed and water availability. Juvenile piñon survival was strongly facilitated by certain types of nurse trees and shrubs. These nurse plants also moderated the effects of environmental stress on piñon survival: Survival of interspace piñon juveniles was positively associated with soil available water capacity, whereas survival of nursed piñon juveniles was negatively associated with perennial grass cover. Thus, nurse plants had a greater facilitative effect on survival at sites with higher soil available water capacity and perennial grass cover. Notably, mean annual climatic water deficit and elevation were not associated with piñon recruitment or survival across the landscape. Our findings reveal a clear shift in successional trajectories toward a more juniper‐dominated woodland and highlight the importance of incorporating biotic interactions and soil properties into species distribution modeling approaches.
SwissRegulon, a database of genome-wide annotations of regulatory sites: recent updates

Identification of genomic regulatory elements is essential for understanding the dynamics of cellular processes. This task has been substantially facilitated by the availability of genome sequences for many species and high-throughput data of transcripts and transcription factor (TF) binding. However, rigorous computational methods are necessary to derive accurate genome-wide annotations of regulatory sites from such data. SwissRegulon (http://swissregulon.unibas.ch) is a database containing genome-wide annotations of regulatory motifs, promoters and TF binding sites (TFBSs) in promoter regions across model organisms. Its binding site predictions were obtained with rigorous Bayesian probabilistic methods that operate on orthologous regions from related genomes, and use explicit evolutionary models to assess the evidence of purifying selection on each site. New in the current version of SwissRegulon is a curated collection of 190 mammalian regulatory motifs associated with ∼340 TFs, and TFBS annotations across a curated set of ∼35 000 promoters in both human and mouse. Predictions of TFBSs for Saccharomyces cerevisiae have also been significantly extended and now cover 158 of yeast’s ∼180 TFs. All data are accessible through both an easily navigable genome browser with search functions, and as flat files that can be downloaded for further analysis.
Journal of Neuroengineering and Rehabilitation Recovery of Visual Fields in Brain-lesioned Patients by Reaction Perimetry Treatment

Background: The efficacy of treatment in hemianopic patients to restore missing vision is controversial. So far, successful techniques require laborious stimulus presentation or restrict improvements to selected visual field areas. Due to the large number of brain-damaged patients suffering from visual field defects, there is a need for an efficient automated treatment of the total visual field.
Chaotic Features for Dynamic Textures Recognition with Group Sparsity Representation

Dynamic texture (DT) recognition is a challenging problem in numerous applications. In this study, we propose a new algorithm for DT recognition based on group sparsity structure in conjunction with chaotic feature vector. Bag-of-words model is used to represent each video as a histogram of the chaotic feature vector, which is proposed to capture self-similarity property of the pixel intensity series. The recognition problem is then cast to a group sparsity model, which can be efficiently optimized through alternating direction method of multiplier algorithm. Experimental results show that the proposed method exhibited the best performance among several well-known DT modeling techniques.
Digital Controller Design for Low Source Current Ripple Fifth-Order Boost Converter

In this paper, a new fifth-order boost point of load converter is proposed, and then, a digital controller is designed using a Tchebyshev polynomial approach. The proposed converter has a reduced source ripple current together with a better boosting capability at lower duty ratios. Discrete-time models of the converter are formulated and then used in the identification of the direct digital controller stabilizing region. These discrete-time transfer functions are transformed into a Tchebyshev representation, consisting of converter control-to-output and controller transfer functions, which are then used to ascertain the existence of a stabilizing controller, and if stabilization is possible, then the entire set of gains is constructively determined. Using this method, the controller gain range is obtained as a set of inequalities in two variables for a fixed third variable. By sweeping the third variable over its entire range, the complete stabilizing sets are obtained. Within these ranges, the optimal digital controller parameters are obtained through a constrained optimization problem using a genetic algorithm. An integral time absolute error performance index is used in the optimization. A 30-W, 12- to 28-V, and 100-kHz laboratory prototype closed-loop converter has been developed and then tested, both as a simulation and experimentally, for its voltage regulation capability against source and load perturbations. Both the simulated and experimental results confirm the effectiveness of the proposed design.
Programming with binders and indexed data-types

We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a restricted form of dependent types where index objects are drawn from contextual LF. This allows the user to specify formal systems within the logical framework LF and index ML types with contextual LF objects. Our language design keeps the index language generic only requiring decidability of equality of the index language providing a modular design. To illustrate the elegance and effectiveness of our language, we give programs for closure conversion and normalization by evaluation. Our three key technical contribution are: 1) We give a bi-directional type system for our core language which is centered around refinement substitutions instead of constraint solving. As a consequence, type checking is decidable and easy to trust, although constraint solving may be undecidable. 2) We give a big-step environment based operational semantics with environments which lends itself to efficient implementation. 3) We prove our language to be type safe and have mechanized our theoretical development in the proof assistant Coq using the fresh approach to binding.
The Sink-based Anycast Routing Protocol for Ad Hoc Wireless Sensor Networks

The first anycast routing protocol for ad hoc wireless sensor networks is presented and referred to here as the Sink-based Anycast Routing Protocol (SARP). Instead of sending a packet to a specific destination, the packet is delivered to the nearest sink. In some domains of applications, which sink obtains data is not crucial. Nearest-sink delivery consumes minimal bandwidth and power, causes smallest delay, and is best suited for resource location applications. The proposed SARP is highly adaptive, efficient, and suitable for dynamic networks, as shown here by a detailed packetlevel simulation on the NS-2 network simulator.