Miracle-dz/UniFAR-FTUs huggingface dataset:
Balancing reservoir based approach for solution to pressure deficient water distribution networks

Hydraulic simulation models that simulate the behavior of water distribution systems under pressure deficient conditions is becoming an important tool for reliability assessments and also for deriving the operational strategies during the failure of components. The conventional demand driven analysis (DDA) cannot directly simulate the network under pressure deficient conditions. In such cases, pressure dependent analysis (PDA) is superior to DDA. This paper introduces a new approach for solving pressure-deficient condition by connecting balancing reservoirs named as complementing reservoir at the nodes having deficiencies. The basis of this proposed approach is to complement flow from a complementary reservoir to the pressure deficient node; while the complementary reservoir is an imaginary balancing reservoir and the complement flow to a node is actually the shortfall at the node. The new approach called CRS (Complementary Reservoir Solution) approach is demonstrated through few cases. The results indicate that the proposed approach CRS approach is a promising method.
A Prioritized Chinese Wall Model for Managing the Covert Information Flows in Virtual Machine Systems

In virtual machine (VM) systems, mandatory access control (MAC) enforcement is possible now. This technique is both stronger and more flexible than traditional VM isolation, even if network communication is controlled. Unfortunately all of the VM systems with the MAC enforcement does not consider that the MAC controls may be distorted by covert channels, which constitute an important risk in VM systems. Traditional MAC models have difficulties being enforced to reduce the risk of covert flows in VM systems due to the many constraints and the lack of flexibility. In this paper, we identify access control requirements for managing covert channels in VM systems through a critical analysis of the ways by which classical models constrain the covert information flows and we propose a model called the prioritized Chinese wall model (PCW) to reduce the risk of covert flows in VM systems while preserving the flexibility. Furthermore, we enforce the policy in sHype/Xen VM system.
Children's participation and procedures at the office of the family advocate.

Children's right to participate in judicial and administrative matters that affect them is perhaps the most frequently overlooked children's right, globally. This research was a descriptive study of what exists with regard to children's participation, at the Office of the Family Advocate, when parents divorce. The methods of data collection used included a content analysis (quantitative method) a focus group interview (qualitative method) and review of the literature and legislation. The content analysis involved analyzing the data of forty case files involving disputed cases, according to a content analysis schedule. The focus group interview was conducted with family advocates and farylily counselors and focused on various factors that facilitate or impede children's participation at the enquiry. The data obtained was analyzed manually and presented in the form of pie charts, tables, discussions and quotes. From the content analysis the researcher found that most children had definite views regarding their future care . One of the factors that hinder children's participation at the enquiry is the fact that not all enquiries are conducted using the team approach . The research also indicates that the adversarial nature of divorce proceedings impact negatively on children's participation and a more conciliatory approach would prove more child-centered. The focus group interview indicates that the professionals involved have positive attitudes towards children's views and participation in the enquiry. Children's expressed wishes are considered in conjunction with other factors such as the bond between parent and child, and the suitability of the parent. The focus group participants made various suggestions with regard to ensuring a more childcentered approach regarding children 's participation. The researcher presented the major findings, together with recommendations for future research at the end of the study.
Political Budget Cycles When Politicians Have Favorites

A method of providing shallow trench (143) isolation for a semiconductor wafer (100). Trenches (113) are formed within a first semiconductor material (112) and a pad nitride (114), leaving a portion of first semiconductor material (112) and pad nitride (114) in a region between the trenches (113). A second semiconductor material (116) is deposited over the trenches (113) to fill the trenches (113) to a height below the first semiconductor material (112) top surface. A first insulator (130) is selectively formed over the second semiconductor material (116). The pad nitride (114) and a portion of the first semiconductor material (112) between the trenches (113) are removed to isolate element regions of the wafer (100) and form straps (142) having a low resistance.
Exploiting redundancy for cost-effective, time-constrained execution of HPC applications on amazon EC2

The use of clouds to execute high-performance computing (HPC) applications has greatly increased recently. Clouds provide several potential advantages over traditional supercomputers and in-house clusters. The most popular cloud is currently Amazon EC2, which provides a fixed-cost option (called on-demand) and a variable-cost, auction-based option (called the spot market). The spot market trades lower cost for potential interruptions that necessitate checkpointing; if the market price exceeds the bid price, a node is taken away from the user without warning. We explore techniques to maximize performance per dollar given a time constraint within which an application must complete. Specifically, we design and implement multiple techniques to reduce expected cost by exploiting redundancy in the EC2 spot market. We then design an adaptive algorithm that selects a scheduling algorithm and determines the bid price. We show that our adaptive algorithm executes programs up to 7x cheaper than using the on-demand market and up to 44% cheaper than the best non-redundant, spot-market algorithm.
Interactions between the amnioserosa and the epidermis revealed by the function of the u-shaped gene

Summary Dorsal closure (DC) is an essential step during Drosophila development whereby a hole is sealed in the dorsal epidermis and serves as a model for cell sheet morphogenesis and wound healing. It involves the orchestrated interplay of transcriptional networks and dynamic regulation of cell machinery to bring about shape changes, mechanical forces, and emergent properties. Here we provide insight into the regulation of dorsal closure by describing novel autonomous and non-autonomous roles for U-shaped (Ush) in the amnioserosa, the epidermis, and in mediation of communication between the tissues. We identified Ush by gene expression microarray analysis of Dpp signaling targets and show that Ush mediates some DC functions of Dpp. By selectively restoring Ush function in either the AS or the epidermis in ush mutants, we show that the AS makes a greater (Ush-dependent) contribution to closure than the epidermis. A signal from the AS induces epidermal cell elongation and JNK activation in the DME, while cable formation requires Ush on both sides of the leading edge, i.e. in both the AS and epidermis. Our study demonstrates that the amnioserosa and epidermis communicate at several steps during the process: sometimes the epidermis instructs the amnioserosa, other times the AS instructs the epidermis, and still other times they appear to collaborate.
Comparing Ontologies Using Entropy

Ontologies have been realized as the key technology for shaping and exploiting information for the effective management of knowledge and for the evolution of the Semantic Web and its applications. As the amount of ontologies is rapidly increasing, comparison or coordination (i.e. mapping, alignment, merging) of ontologies is a major challenge for bridging the gaps between agents with different conceptualizations. Therefore, in this paper, we compare ontologies using entropy which shows structural features of ontology as the average of information content. We use classified domain ontologies in the WordNet that is a kind of the linguistic ontology and analyze characteristics of domain ontologies.
SIP for Mobile Networks and Security Model

SIP is a powerful and useful signaling protocol supporting mobility multimedia services, however it is susceptible to various attacks due to its inherent weaknesses and vulnerability. In this paper, the threats and security mechanisms are analyzed and classified into different types. We establish a model of SIP network based on colored Petri net for the security issues. Through the simulation result, the detailed behaviors of SIP protocol are present, which is helpful to analyzing the threats and protecting the system.
Accelerating traffic microsimulations: A parallel discrete-event queue-based approach for speed and scale

We present FastTrans — a parallel, distributed-memory simulator for transportation networks that uses a queue-based event-driven approach to traffic microsimulation. Queue-based simulation models have been shown to be significantly faster than cellular-automata type approaches, sacrificing spatial granularity for speed, while preserving link and intersection dynamics with high fidelity. Significant advances over previous work include the size of the simulated network, support for dynamic responses to congestion and the absence of precomputed routes — all routing calculations are executed online. We present initial results from a scalability study using a real-world network from the North-East region of the United States comprising over 1.5 million network elements and over 25 million vehicular trips. Simulation of an entire day's worth of realistic vehicular itineraries involving approximately five billion simulated events executes in less than an hour of wall-clock time on a distributed computing cluster. Initial results suggest almost linear speed-ups with cluster size.
Estimating Robot Induced Affective State using Hidden Markov Models

In order for humans and robots to interact in an effective and intuitive manner, robots must obtain information about the human affective state in response to the robot's actions. This secondary mode of interactive communication is hypothesized to permit a more natural collaboration, similar to the "body language" interaction between two cooperating humans. This paper describes the implementation and validation of a hidden Markov model for estimating human affective state in real-time, using robot motions as the stimulus. Inputs to the system are physiological signals such as heart rate, perspiration rate, and facial muscle contraction. Affective state was estimated using a two dimensional valence-arousal representation. A robot manipulator was used to generate motions simulating human-robot interaction, and human subjects were asked to report their response to the motions. The human physiological response was also measured. Robot motions were generated using both a nominal potential field planner and a recently reported safe motion planner that minimizes the potential collision forces along the path. The robot motions were tested with 36 subjects. This data was used to train and validate the HMM model. The results of the HMM affective estimation are also compared to a previously implemented fuzzy inference engine
MULTI-CAMERA 3 D VIDEO ACQUISITION

This paper describes the motivation, goal and methods of a project on 3D video acquisition. The project runs in 2006-2009, and combines the expertise of Philips, active in consumer 3DTV applications, and Delft University of Technology, active in general image processing and 3D multi-camera processing. We focus on 3DTV and medical applications, for which we have contacts with Dutchview, a major Dutch TV production company, and LUMC, the Leiden University Medical Centre.
Composable Behavioral Models and Schematic-Based Simulation of Electrokinetic Lab-on-a-Chip Systems

This paper presents composable behavioral models and a schematic-based simulation methodology to enable top-down design of electrokinetic (EK) lab-on-a-chip (LoC). Complex EK LoCs are shown to be decomposable into a system of elements with simple geometry and specific function. Parameterized and analytical models are developed to describe the electric and biofluidic behavior within each element. Electric and biofluidic pins at element terminals support the communication between adjacent elements in a simulation schematic. An analog hardware description language implementation of the models is used to simulate LoC subsystems for micromixing and electrophoretic separation. Both direct current (dc) and transient analysis can be performed to capture the influence of system topology, element sizes, material properties, and operational parameters on LoC system performance. Accuracy (relative error generally less than 5%) and speedup$(≫hbox100times)$of the schematic-based simulation methodology are demonstrated by comparison to experimental measurements and continuum numerical simulation.
Aerial mapping using high resolution digital camera and unmanned aerial vehicle for Geographical Information System

In aerial photogrammetry, aerial photographs are acquired using aerial camera and light aircraft as a platform. The aerial photographs are usually processed for mapping such as for production of topographic map and other special purpose map known as thematic map. However, this method is expensive and suitable for large area but it is not practical for mapping small area. This study concentrates on the use of high resolution digital camera and a very light platform known as unmanned aerial vehicle (UAV) as data acquisition system in capturing digital aerial photographs. The acquired digital aerial photographs were processed using image processing software to produce digital map and digital orthophoto. The results showed that an accuracy of sub-meter can be obtained using the employed method. In Geographical Information System (GIS), it is quite common that topographic map and orthophoto are used as a base map. Hence, the findings from this study could also be used as an input for GIS. Not to forget, the photogrammetric technique could be used not only for mapping but it could also be used for any environmental protection and conservation.
Automatic vehicle identification with sensor-integrated RFID system

Sensor is one of the popular devices used in many applications nowadays including the intelligent transportation system (ITS) which is widely utilized in the automatic vehicle identification (AVI) system. In this research, we propose an implementation of photoelectric sensors as a vehicle detection tool in an RFID-based poultry traceability system to detect poultry transport vehicle entering and leaving an animal checkpoint. The information concerning a vehicle behavior will be used to control the RFID readerpsilas operation and the vehicle movement throughout the checkpoint instead of the animal checkpoint staff. Practically, animal checkpoints are not entirely separated from the main road which means that a vehicle entering a checkpoint might not be a poultry transport vehicle. In this paper, an algorithm to distinguish a poultry transport vehicle from a regular vehicle based on the vehiclepsilas length and height is presented, sensor selection considerations for outdoor use is also included. The proposed system is fully automatic, no checkpoint staff is required to control the RFID reader and signal the vehicle movement. In addition, the overall power efficiency of the system is improved because the reader talk time is minimized.
Teaching Information Aesthetics as a Research Class in China

Teaching how to conduct productive research in a classroom setting is a challenge. This article reports on an attempt to scale up the research training in a class of 41 undergraduate and graduate students. The research topic, information aesthetics, covers information visualization and generative art. Seven teams were set up to conduct seven different projects within the topic, and several were able to produce quality research papers published or accepted by journals and conferences. The authors report on their approaches to teaching information aesthetics as a research topic, team set up, and team assessment as well as on the final results in terms of research output. The most important learning experiences in teaching this class were determining how to enable effective team work and maximize the students' research potential.
Automatic Translation from Textual Representations of Laws to Formal Models through UML

A combination of UML and text mining, or more in general Information Extraction, can provide a valuable help to people involved in research about the linguistic structure of statutes, and, as a side effect, can be the seed for a new generation of applications in the legal domain. In particular, in this paper we present LexLooter, a prototype for amendments modelling and legislative text coordination based on UML and Natural Language Processing.
Stereotypes in Search Engine Answers: Local or Global?

The internet has been blurring the lines between local and global cultures, affecting in different ways the perception of people about themselves and others. In the global context of the internet, search engine platforms are a key mediator be- tween individuals and information. In this paper, we exam- ine the local and global impact of the internet on the formation of female physical attractiveness stereotypes in search engine results. By investigating datasets of images collected from two major search engines in 42 countries, we identify a significant fraction of replicated images. We find that com- mon images are clustered around countries with the same language. We also show that existence of common images among countries is practically eliminated when the queries are limited to local sites. In summary, we show evidence that results from search engines are biased towards the language used to query the system, which lead to certain attractiveness stereotypes that are often quite different from the majority of the female population of the country.
XML in LAML-Web Programming in Scheme

The LAML software package makes XML available in Scheme and the functional programming paradigm. The elements of an XML language are mirrored as functions in Scheme. The parameter profile of the mirror functions is designed to provide for recognizability in comparison to XML, and to make a good fit with Scheme seen as a list processing language. The paper characterizes the mirrors by means of six mirror rules. A series of practical examples illustrate the approach. The XMLin-LAML facility supports systematic mirroring of XML languages to Scheme. The facility consists of a language independent part (common for all XML languages) and language dependent parts, which are generated from XML document type definitions (DTDs).
A COG Analysis Model of System-of-Systems ( SoS ) Based on Multi-Entity Bayesian Networks ( MEBN )

The centre of gravity (COG) is the source of power and the most important system of system-of-systems (SoS). A detailed study of COG analysis of SoS has been carried out by using multi-entity Bayesian networks (MEBN) method. The MEBN can be converted into different domain specific Bayesian networks according to different inputs, which is very useful to tackle with the uncertain behaviors of SoS. Then the COG can be measured with Bayesian network inference. In the experiment, we build a COG analysis model of an alert SoS, which considers the repair and backup behaviors of radar system under attack. Degradations of COG are analyzed in the case study, which reflect the effectiveness of different inputs (attack strategies). The results show that degradations are different according to different attack strategies, which support generations of attack plans. This analysis model can help the commander to make the more effective decisions in future warfare.
Interactive Postmining of Association Rules by Validating Ontologies PILLALAMARRI ANUSHA GINJALA SRIKANTH REDDY

The Data Mining process enables the end users to an alyze, understand and use the extracted knowledge i n an intelligent system or to support in the decision-ma king processes Association refers to the data minin g task of uncovering relationships among the data. In Data Mining, the usefulness of association rules is strongly limited by the huge amount of delivered rules. There are a number of ways to over come this drawback that depends on the statistical information. But none of them guarantee that the rules extracted are interesting for user. Thus we introduced a new app roach in which the user knowledge is taken into the consideration to e xtract the rules through user interactive system. We propose ontologies in order to improve the integration of user knowledge in the postprocessing task. The user can even ed it or validate ontologies. We propose the Rule Schema formalism, e xt nding the specification language for user expect ations. The rules extracted are pruned and filtered. So that, voluminous set of rules were reduced to several dozens or less. Keywords—Association rules, knowledge discovery in databases, ontologies, pruning, filters
GPS Sensing for Spacecraft Formation Flying 1

Carrier-phase Di erential GPS (CDGPS) for orbit and attitude determination is emerging as a very promising low cost alternative to more conventional methods, such as sun sensors, magnetometers, and star trackers. Relative spacecraft position and attitude determination are important for missions involving formation ying, such as those proposed for stellar interferometry under NASA's New Millennium Program, and LEO missions for coordinated Earth observing. This paper describes research on the development of a GPS based relative position and attitude sensing system in a laboratory environment for future application on spacecraft formations. Previous papers have discussed the demonstration of spacecraft rendezvous and capture in 2D, in a fully functional indoor GPS environment using simulated spacecraft on an airbearing table. The work presented in this paper extends Presented at Institute of Navigation GPS-97, Kansas City, Missouri, September 1997 the previous GPS based sensing to a formation of three prototype spacecraft, and experimentally demonstrates very accurate real-time solutions ( 2 cm error) for the three relative vehicle positions. A trade study of estimation algorithms and architectures is presented. Search based techniques for the carrier phase integer ambiguity resolution problem for vehicle formations are also demonstrated on simulation data.
N³ - A Collection of Datasets for Named Entity Recognition and Disambiguation in the NLP Interchange Format

Extracting Linked Data following the Semantic Web principle from unstructured sources has become a key challenge for scientific research. Named Entity Recognition and Disambiguation are two basic operations in this extraction process. One step towards the realization of the Semantic Web vision and the development of highly accurate tools is the availability of data for validating the quality of processes for Named Entity Recognition and Disambiguation as well as for algorithm tuning. This article presents three novel, manually curated and annotated corpora (N3). All of them are based on a free license and stored in the NLP Interchange Format to leverage the Linked Data character of our datasets.
BEST: a Binary Executable Slicing Tool

We describe the implementation of BEST, a tool for slicing binary code. We aim to integrate this tool in a WCET estimation framework based on model checking. In this approach, program slicing is used to abstract the program model in order to reduce the state space of the system. In this article, we also report on the results of an evaluation of the efficiency of the abstraction technique.