Miracle-dz/UniFAR-FTUs huggingface dataset:
AUTOMATIC SYSTEM LEVEL TEST GENERATION AND FAULT LOCATION FOR LARGE DIGITAL SYSTEMS

A system for automatic test generation and fault location, FLT-700, is described in this paper. It can treat large digital systems with 100K blocks (logic gates) or more. This is realized by utilizing Scan-Path concept, automatic partitioning and test generation techniques and automatic fault location technique. Serviceability for large computer systems can, therefore, be improved and easy maintenance realized. can treat sequential circuits as combinational circuits. Flip-flops in logic cards are serially connected with Scan-Path as shown in Fig.l(b). Therefore these flip-flops can operate as a shift register. Gates for selecting logic cards are also incorporated in each card. Therefore, the specified card in a logic unit with many logic cards can be selected by X-Y address signals (Fig.l(c)). Then, test data can be scanned into the card and operational results be scanned out of it.
Trust in the λ-calculus

This paper introduces trust analysis for higher-order languages. Trust analysis encourages the programmer to make explicit the trustworthiness of data, and in return it can guarantee that no mistakes with respect to trust will be made at run-time. We present a confluent λ-calculus with explicit trust operations, and we equip it with a trust-type system which has the subject reduction property. Trust information is presented as annotations of the underlying Curry types, and type inference is computable in O(n3) time.
SIGNAL PROCESSING WITH THE SPARSENESS CONSTRAINT Bhaskar

An overview is given of the role of the sparseness constraint in signal processing problems. It is shown that this is a fundamental problem deserving of attention. This is illustrated by describing several applications where sparseness of solution is desired. Lastly, a review is given of the algorithms that are currently available for computing sparse solutions.
Unmet needs in continuing medical education programs for rural Chinese township health professionals

Purpose: This study aimed to describe the system of continuing medical education (CME) in the Guangxi Zhuang Autonomous Region and to ascertain the perceived needs related to that system, in order to improve the performance of health professionals in Chinese township health centers (THCs). Methods: In-depth key informant interviews were conducted to gain insights into the current CME system. A cross-sectional survey using a self-administered structured questionnaire was also carried out from March to August 2014 in order to identify perceived needs among THC personnel in the Guangxi Zhuang Autonomous Region. Logistic regression was used to identify factors related to respondents’ interest in pursuing different levels of degree study. Results: The areas of need perceived by the respondents included general clinical competence and emergency or first aid knowledge. Most respondents wanted to study at medical colleges in order to obtain a higher degree. Respondents aged below 45 years with neutral or positive attitudes about the benefit of degree study for the licensure examination were more likely to attend a bachelor-level CME program than their older peers and respondents with negative attitudes towards degree study. Female respondents and respondents aged below 45 years were more likely to attend a junior college CME program than males and older respondents, respectively. Conclusion: It is necessary to develop degree-linked CME programs to meet the need for young health professionals in Chinese THCs; therefore, this programs can improve the expertise of poorly educated young health workers, who overwhelm rural Chinese heath systems.
DYNAMIC MOTION PATCHES IN CONFIGURABLE ENVIRONMENTS FOR CHARACTER ANIMATION AND PATH PLANNING

We present a framework for path planning and character animation with interactive objects in large environments. Our work extends the motion patch algorithm to allow dynamic environments to be crafted from a set of small building blocks with embedded animation data. We develop a set of data structures and path planning mechanisms that support real-time interaction, avoidance, and traversal of dynamic objects in the environment, as well as methods for expanding the types of locomotion available to a character.
Early experiences scaling VMD molecular visualization and analysis jobs on blue waters

Pataskala molecular dynamics simulations provide a powerful tool for probing the dynamics of cellular processes at atomic and nanosecond resolution not achievable by experimental methods alone. Extraction of details about the dynamics of bimolecular from terabytes of simulation output requires powerful user-extensible molecular analysis and visualization tools. Pataskala simulation trajectories are so large that it is now necessary to perform many analysis and visualization tasks formerly handled by off-site computational facilities in-place on the supercomputer itself. We report ongoing progress on porting, tuning, and scaling up the popular molecular visualization and analysis program VMD on the NSF Blue Waters pet scale supercomputer. We describe key achievements including algorithmic and memory efficiency improvements, hand-vectorization of key CPU algorithms, new and improved GPU analysis and visualization algorithms, and parallel I/O performance results. We evaluate the performance of VMD for user-developed analysis scripts with the TIMELINE trajectory analysis tool in VMD. Finally, we describe the unique capabilities provided by the Cray XK7 GPU-accelerated compute partition of Blue Waters.
Fastest Distributed Consensus on Star-Mesh Hybrid Sensor Networks

Solving Fastest Distributed Consensus (FDC) averaging problem over sensor networks with different topologies has received some attention recently and one of the well known topologies in this issue is star-mesh hybrid topology. Here in this work we present analytical solution for the problem of FDC algorithm by means of stratification and semidefinite programming, for the Star-Mesh Hybrid network with K-partite core (SMHK) which has rich symmetric properties. Also the variations of asymptotic and per step convergence rate of SMHK network versus its topological parameters have been studied numerically.
BovInspector: Automatic inspection and repair of buffer overflow vulnerabilities

Buffer overflow is one of the most common types of software vulnerabilities. Various static analysis and dynamic testing techniques have been proposed to detect buffer overflow vulnerabilities. With automatic tool support, static buffer overflow detection technique has been widely used in academia and industry. However, it tends to report too many false positives fundamentally due to the lack of software execution information. Currently, static warnings can only be validated by manual inspection, which significantly limits the practicality of the static analysis. In this paper, we present BovInspector, a tool framework for automatic static buffer overflow warnings inspection and validated bugs repair. Given the program source code and static buffer overflow vulnerability warnings, BovInspector first performs warning reachability analysis. Then, BovInspector executes the source code symbolically under the guidance of reachable warnings. Each reachable warning is validated and classified by checking whether all the path conditions and the buffer overflow constraints can be satisfied simultaneously. For each validated true warning, BovInspector fix it with three predefined strategies. BovInspector is complementary to prior static buffer overflow discovery schemes. Experimental results on real open source programs show that BovInspector can automatically inspect on average of 74.9% of total warnings, and false warnings account for about 25% to 100% (on average of 59.9%) of the total inspected warnings. In addition, the automatically generated patches fix all target vulnerabilities. Further information regarding the implementation and experimental results of BovInspector is available at http://bovinspectortool.github. io/project/. And a short video for demonstrating the capabilities of BovInspector is now available at https://youtu.be/IMdcksROJDg.
Performance evaluation of 3D-TV transmission over WiMAX broadband access networks

3-Dimensional Television (3D-TV) is an emerging area of consumer entertainment, which gives its viewers an added dimension of experience. At the moment 3DTV is going through a series of standardization activities, especially to finalize a representation technique. Extra information that needs to be transmitted in 3D-TV systems has brought about new problems that need to be solved. Models have been introduced to explain the distortion characteristics in traditional 2D video, when they are transmitted over existing wireless networks. However, the effect of transmission errors caused by bandwidth limited wireless channels on 3D video is not yet fully known. In this paper we present a performance evaluation of 3D-TV transmission over an error prone WiMAX broadband wireless access network. Experiments are performed on two popular types of representation methods of 3D video, namely color plus depth and left and right representation. Based on these experiments, important conclusions regarding 3D-TV transmission over WiMAX networks are presented.
INFRAESTRUCTURAS Y CRECIMIENTO: UN PANORAMA*

A finales de la pasada decada, una serie de estudios dedicados al ana-lisis de los efectos del capital publico contribuyeron a configurar una explicacion de la caida de la productividad en los paises desarrollados, sintetizada con particular acierto por David Aschauer (1989a) y defen-dida enfaticamente mas tarde por Alicia Munnell (1990a). Desde enton-ces, las contribuciones se suceden aportando argumentos a favor y en contra de los hallazgos originales de Aschauer y/o matizando las condi-ciones bajo las cuales estos se obtienen. El presente trabajo pasa revista a esta literatura buscando integrar el debate desencadenado por As-chaner en el contexto, mas amplio, de la actividad economica del go-bierno y del proceso de crecimiento economico, sin descuidar la alusion a parte de la literatura en la que los aspectos microeconomicos aparecen como la clave para responder a muchas cuestiones asociadas al uso eficiente de las infraestructuras a las que el analisis macroeconomico, sectorial o regional no puede dar respuesta.
Routes to Complexity Induced by Constraints in Cournot Oligopoly Games with Linear Reaction Functions

Within a classical discrete-time Cournot oligopoly model with linear demand and quadratic cost functions, minimum and maximum production constraints are imposed in order to explore their effects on the dynamic of the system. Due to the presence of such constraints, the dynamic model assumes the form of a continuous piecewise linear map of the plane. The study of Nash equilibria of the oligopoly game, together with an analytical and numerical investigation of the different kinds of attractors of the dynamical system, shows how the presence of production constraints generates so called border collision bifurcations, a kind of global bifurcations recently introduced in the literature on non-smooth dynamical systems, which gives rise to a quite rich spectrum of dynamic scenarios, characterized by drastic changes in the qualitative dynamic properties of the system.
The Algorithm of Coverage Base on Probability Sensing Model in Wireless Sensor Network

This paper analyzes the existing algorithms of coverage of WSN, then proposes an algorithm of coverage of network base on the probability sensing model. First, the algorithm judges whether exists a sponsor set of the node i where node i is any node in the monitoring area. If the sponsor set is not existed, the node must keep working; else the algorithm executes the next steps. Determine whether the node would go to sleep taking into the probability of networks. The simulation results show that the agreement reduces the number of working nodes, extends the network's life cycle effectively, and achieve the desired network coverage.
Chronological age versus developmental age in evaluating patients’ performances on motion perception tests

In neuropsychological assessments, a patient’s raw score is frequently compared to a large general population normative sample. It is common to use the chronological age as entry of norm tables to assess a patient’s current cognitive function. In individual patients with a developmental delay or cognitive impairment, this may result in misinterpretation of performance. The aim of this study was to test the impact of chronological and developmental age parameters on motion perception outcomes and to construct and evaluate normal motion perception limits for clinical practice. In the present study, the developmental age and four aspects of motion perception (biological motion, global motion, motion speed, motion-defined form) were assessed in 49 children with indications of brain damage and in 60 controls. Based on current results, we present the preliminary normal limits and we suggest the use the developmental age as entry of norm tables.
A loose time synchronization regime for wireless sensor network

To wireless sensor network, this paper analyzes present scheme of time synchronization, that are controlled severely by some program planned beforehand. By introducing mobile agent, a loose time synchronization regime is proposed, which has intelligent ability. It fits for some certain situation of non-sensitive accuracy or energy-saving of wireless sensor network. The regime can be divided to two steps: trunk-time-sync and cluster-time-sync. By implementing, it achieves the goal: energy-effective, secure, time synchronized.
Negative Equity and Housing Investment

Housing is a depreciating asset. The rate of depreciation depends on the degree to which households engage in housing investments. Housing investment expenditures economy-wide are sizable, averaging 45 percent of the value of new home construction over the past twenty years. The housing bust and recession coincided with a significant decline in housing investment. Using Consumer Expenditure Survey data from 2007 to 2012, we find that negative equity households reduce their housing investments by roughly 75 percent. The large increase in negative equity due to declining housing prices during the housing bust resulted in a cumulative decline of housing investment expenditures from 2006 to 2010 of $51.2 billion.
A Modulus-Squared Dirichlet Boundary Condition for Time-Dependent Complex Partial Differential Equations and its Application to the Nonlinear Schödinger Equation

An easy to implement modulus-squared Dirichlet (MSD) boundary condition is formulated for numerical simulations of time-dependent complex partial differential equations in multidimensional settings. The MSD boundary condition approximates a constant modulus-square value of the solution at the boundaries. Application of the MSD boundary condition to the nonlinear Schr\"odinger equation is shown, and numerical simulations are performed to demonstrate its usefulness and advantages over other simple boundary conditions.
CD133 Expression and the Prognosis of Colorectal Cancer: A Systematic Review and Meta-Analysis

Objective CD133 has recently been reported as a marker of cancer stem-like cells in colorectal cancer (CRC). However, its predictive value in CRC still remains controversial. In this study, we aimed to evaluate the association between the expression of CD133 and clinicopathological features and the outcome of CRC patients by performing a meta-analysis. Methods A comprehensive literature search for relevant studies published up to December 2012 was performed using PubMed, MEDLINE and ISI Web of Science. Only articles in which CD133 antigen was detected in situ localisation by immunohistochemical staining were included. This meta-analysis was done using RevMan 4.2 software. Results We found that a total of 15 studies involving 810 CD133-high and 1487 CD133-low patients met the inclusion criteria for the analysis of 5-year overall survival (OS) rate. In a random-effects model, the results showed that CD133-high expression in colorectal cancer was an independent prognostic marker correlating with both OS rate (RR = 0.67, 95%CI 0.54–0.82, P<0.01) and disease free survival (DFS) rate (RR = 0.71, 95%CI 0.52–0.96, P = 0.03). CD133-high expression was also associated with more T3,4 tumor invasion, N positive and vascular invasion cases, corresponding to a risk difference of 1.12 (95%CI 1.01–1.23, P = 0.03), 1.31 (95%CI 1.06–1.63, P = 0.01) and 1.24 (95%CI 1.08–1.41, P<0.01), respectively. However, when types of histology, lymphatic invasion and distant metastasis were considered, CD133 overexpression was not significantly related with these clinicopathological parameters. Conclusion Our meta-analysis results suggest that CD133 is an efficient prognostic factor in CRC. Higher CD133 expression is significantly associated with poorer clinical outcome and some clinicopathological factors such as T category, N category and vascular invasion in CRC patients.
Schematic Driven Layout Using the MOSIS Design Kit for Advanced Analog and Mixed-Signal Design

There is renewed interest in the field of analog and mixed-signal circuits, especially among designers of high-speed and wireless communication systems. Due to the typical custom design approach, a large amount of time is spent laying out large (matched) devices which greatly increases the probability of human error. Schematic-driven layout (SDL) has proven to be a powerful tool for assisting custom digital design in Universities and there is a need for similar SDL capabilities for analog and mixed-signal design. We are developing analog SDL extensions to the MOSIS Design Kit (MDK) with device generators for inter-digitated transistors, resistors, capacitors and inductors, and for matched pairs of inter-digitated transistors, resistors and capacitors in common centroid configurations.
A self-similarity based adaptive steganography for 3D point cloud models

This paper presents a new adaptive, high-capacity steganography for 3D point cloud models using self-similarity segmentation. Every embedding vertex of the model can adaptively embed variable σ (σ ≥4) bits using an adaptive self-similarity position matching procedure with low distortion which uses normal direction of vertexes to estimate the embedding capacity of every vertex with respect to human visual system. The new scheme segments the 3D point cloud model to patches using self-similarity measures, every message point in the similar message patches which has the point-to-point correspondence with a certain reference point in the reference patch can adaptively embed at least four bits by shifting the message point from current point to the corresponding embedding position using space subdivision. Experimental results show that the proposed scheme is adaptive, has high capacity and low distortion.
NCSA: A New Protocol for Random Multiple Access Based on Physical Layer Network Coding

This paper introduces a random multiple access method for satellite communications, named Network Coding-based Slotted Aloha (NCSA). The goal is to improve diversity of data bursts on a slotted-ALOHA-like channel thanks to error correcting codes and Physical-layer Network Coding (PNC). This scheme can be considered as a generalization of the Contention Resolution Diversity Slotted Aloha (CRDSA) where the different replicas of this system are replaced by the different parts of a single word of an error correcting code. The performance of this scheme is first studied through a density evolution approach. Then, simulations confirm the CRDSA results by showing that, for a time frame of $400$ slots, the achievable total throughput is greater than $0.7\times C$, where $C$ is the maximal throughput achieved by a centralized scheme. This paper is a first analysis of the proposed scheme which open several perspectives. The most promising approach is to integrate collided bursts into the decoding process in order to improve the obtained performance.
Why Adults Learn

1. Explaining Participation in American Adult Education 2. Who are These People and Why Do They Come to Us 3. Adult Learning and the Psychology of Motive 4. Adult Learning as Motivation and Action 5. Adult Learning and the Concept of Social Participation 6. Adult Learning and the Social Functions of Education 7. Beyond the Current Paradigm.
Microtubule dynamics: Caps, catastrophes, and coupled hydrolysis.

An effective theory is formulated for the dynamics of the guanosine triphosphate ~GTP! cap believed to stabilize growing microtubules. The theory provides a ‘‘coarse-grained’’ description of the cap’s dynamics. ‘‘Microscopic’’ details, such as the microtubule lattice structure and the fate of its individual tubulin dimers, are ignored. In this cap model, GTP hydrolysis is assumed to be stochastic and uncoupled to microtubule growth. Different rates of hydrolysis are assumed for GTP in the cap’s interior and for GTP at its boundary with hydrolyzed parts of the microtubule. Expectation values and probability distributions relating to available experimental data are derived. Caps are found to be short and the total rate of hydrolysis at a microtubule end is found to be dynamically coupled to growth. The so-called catastrophe rate is a simple function of the microtubule growth rate and fits experimental data. A constant nonzero catastrophe rate, identical for both microtubule ends, is predicted at large growth rates. The delay time for dilution-induced catastrophes is stochastic with a simple distribution that fits the experimental one and, like the experimental one, does not depend on the rate of microtubule growth before dilution. The GTP content of microtubules is found and its rate of hydrolysis is determined under the circumstances created in an experiment designed to measure this GTP content. It is concluded that this experiment’s failure to register any GTP content is consistent with the model. A recent experimental result for the size of the minimal cap that can stabilize a microtubule is shown to agree with the result predicted by the cap model, after its parameters have been extracted from previous experimental results. Thus the effective theory and cap model presented here provide a unified description of several apparently contradictory experimental data. Experimental results for the catastrophe rate at different concentrations of magnesium ions and of microtubule associated proteins are discussed in terms of the model. Feasible experiments are suggested that can provide decisive tests of the model and determine its three
The angular momentum of the gravitational field and the Poincaré group

We redefine the gravitational angular momentum in the framework of the teleparallel equivalent of general relativity. Similar to the gravitational energy–momentum, the new definition for the gravitational angular momentum is coordinate independent. By considering the Poisson brackets in the phase space of the theory, we find that the gravitational energy–momentum and angular momentum correspond to a representation of the Poincaré group. This result allows us to define Casimir type invariants for the gravitational field.
Odia Text Summarization Using Stemmer

Lot of work has already been done for automatic text summarization. In this paper we have given a novel statistical approach to summarize the given Odia text. In our approach extraction of relevant sentences is done which can give the actual concept of the input document in a concise form. We rank each sentence in the document by assigning a weight value to each word of the sentence. The sentences are extracted as per their rank, which will lead to a good summary of the given text.