Miracle-dz/UniFAR-FTUs huggingface dataset:
DIA-MCIS: an importance sampling network randomizer for network motif discovery and other topological observables in transcription networks

MOTIVATION Transcription networks, and other directed networks can be characterized by some topological observables (e.g. network motifs), that require a suitable randomized network ensemble, typically with the same degree sequences of the original ones. The commonly used algorithms sometimes have long convergence times, and sampling problems. We present here an alternative, based on a variant of the importance sampling Monte Carlo developed by (Chen et al.). AVAILABILITY The algorithm is available at http://wwwteor.mi. infn.it/bassetti/downloads.html
Iterative Receiver Design for MIMO Systems with Improper Signal Constellations

In this paper, we propose a novel iterative receiver strategy for uncoded multiple-input, multiple-output (MIMO) systems employing improper signal constellations. The proposed scheme is shown to achieve superior performance and faster convergence without the loss of spectrum efficiency compared to the conventional iterative receivers. The superiority of this novel approach over conventional solutions is verified by both simulation and analytical results.
Gδ ideals of compact sets

We investigate the structure of Gδ ideals of compact sets. We define a class of Gδ ideals of compact sets that, on the one hand, avoids certain phenomena present among general Gδ ideals of compact sets and, on the other hand, includes all naturally occurring Gδ ideals of compact sets. We prove structural theorems for ideals in this class, and we describe how this class is placed among all Gδ ideals. In particular, we establish a result representing ideals in this class via the meager ideal. This result is analogous to Choquet’s theorem representing alternating capacities of order ∞ via Borel probability measures. Methods coming from the structure theory of Banach spaces are used in constructing important to us examples of Gδ ideals outside of our class.
Multiple Carrier Modulation Technique OFDM for High Data Rate Next Generation Wireless Systems

Orthogonal frequency division multiplexing (OFDM) has been an effective technique to combat multipath fading in wireless communications. It has been successfully used for HF radio applications and has been chosen as the standard for digital audio broadcasting and digital terrestrial TV broadcasting in Europe and high-speed wireless local areas networks. In this paper an overview of a multiple carrier modulation technique known as OFDM (Orthogonal Frequency Division Multiplex) is given and discusses the problems, and some of the potential solutions, in implementing an OFDM system. Keywords— OFDM, BER, WLAN, DAB.
The webgraph framework I: compression techniques

Studying web graphs is often difficult due to their large size. Recently,several proposals have been published about various techniques that allow tostore a web graph in memory in a limited space, exploiting the inner redundancies of the web. The WebGraph framework is a suite of codes, algorithms and tools that aims at making it easy to manipulate large web graphs. This papers presents the compression techniques used in WebGraph, which are centred around referentiation and intervalisation (which in turn are dual to each other). WebGraph can compress the WebBase graph (118 Mnodes, 1 Glinks)in as little as 3.08 bits per link, and its transposed version in as littleas 2.89 bits per link.
Developing Dynamic Field Theory Architectures for Embodied Cognitive Systems with cedar

Embodied artificial cognitive systems, such as autonomous robots or intelligent observers, connect cognitive processes to sensory and effector systems in real time. Prime candidates for such embodied intelligence are neurally inspired architectures. While components such as forward neural networks are well established, designing pervasively autonomous neural architectures remains a challenge. This includes the problem of tuning the parameters of such architectures so that they deliver specified functionality under variable environmental conditions and retain these functions as the architectures are expanded. The scaling and autonomy problems are solved, in part, by dynamic field theory (DFT), a theoretical framework for the neural grounding of sensorimotor and cognitive processes. In this paper, we address how to efficiently build DFT architectures that control embodied agents and how to tune their parameters so that the desired cognitive functions emerge while such agents are situated in real environments. In DFT architectures, dynamic neural fields or nodes are assigned dynamic regimes, that is, attractor states and their instabilities, from which cognitive function emerges. Tuning thus amounts to determining values of the dynamic parameters for which the components of a DFT architecture are in the specified dynamic regime under the appropriate environmental conditions. The process of tuning is facilitated by the software framework cedar, which provides a graphical interface to build and execute DFT architectures. It enables to change dynamic parameters online and visualize the activation states of any component while the agent is receiving sensory inputs in real time. Using a simple example, we take the reader through the workflow of conceiving of DFT architectures, implementing them on embodied agents, tuning their parameters, and assessing performance while the system is coupled to real sensory inputs.
Measuring semantic centrality based on building consensual ontology on social network

We have been focusing on three-layered socialized semantic space, consisting of social, ontology, and concept layers. In this paper, we propose a new measurement of semantic centrality of people, meaning the power of semantic bridging, on this architecture. Thereby, the consensual ontologies are discovered by semantic alignment-based mining process in the ontology and concept layer. It is represented as the maximal semantic substructures among personal ontologies of semantically interlinked community. Finally, we have shown an example of semantic centrality applied to resource annotation on social network, and discussed our assumptions used in formulation of this measurement.
L1 Hybridization Enrichment: A Method for Directly Accessing De Novo L1 Insertions in the Human Germline

Long interspersed nuclear element 1 (L1) retrotransposons are the only autonomously mobile human transposable elements. L1 retrotransposition has shaped our genome via insertional mutagenesis, sequence transduction, pseudogene formation, and ectopic recombination. However, L1 germline retrotransposition dynamics are poorly understood because de novo insertions occur very rarely: the frequency of disease‐causing retrotransposon insertions suggests that one insertion event occurs in roughly 18–180 gametes. The method described here recovers full‐length L1 insertions by using hybridization enrichment to capture L1 sequences from multiplex PCR‐amplified DNA. Enrichment is achieved by hybridizing L1‐specific biotinylated oligonucleotides to complementary molecules, followed by capture on streptavidin‐coated paramagnetic beads. We show that multiplex, long‐range PCR can amplify single molecules containing full‐length L1 insertions for recovery by hybridization enrichment. We screened 600 µg of sperm DNA from one donor, but no bone fide de novo L1 insertions were found, suggesting a L1 retrotransposition frequency of <1 insertion in 400 haploid genomes. This lies below the lower bound of previous estimates, and indicates that L1 insertion, at least into the loci studied, is very rare in the male germline. It is a paradox that L1 replication is ongoing in the face of such apparently low activity. Hum Mutat 32:1–11, 2011. © 2011 Wiley‐Liss, Inc.
Emerald: A general‐purpose programming language

Emerald is a general‐purpose language with aspects of traditional object‐oriented languages, such as Smalltalk, and abstract data type languages, such as Modula‐2 and Ada. It is strongly typed with a non‐traditional object model and type system that emphasize abstract types, allow separation of typing and implementation, and provide the flexibility of polymorphism and subtyping with compile‐time checking. This paper describes the Emerald language and its programming methodology. We give examples that demonstrate Emerald's features, and compare and contrast the Emerald approach to programming with the approaches used in other similar languages.
Interprocedural analyses for programming environments

To investigate interprocedural parallelization, powerful interprocedural analyses were designed and implemented in PIPS, an experimental source-to-source parallelizer. Preconditions on integer scalar variables and accurate procedure eeects called regions are computed to support the parallelization process. Although automatic interprocedural parallelization turned out to be much harder than expected a few years ago, interpro-cedural analyses can be exploited in many other ways in automatic tools and parallel programming environments. Motivating examples, selected from real applications, are shown and algorithms used to compute preconditions, array regions and array-kill information are presented.
Designing a DHT for Low Latency and High Throughput

Designing a wide-area distributed hash table (DHT) that provides high-throughput and low-latency network storage is a challenge. Existing systems have explored a range of solutions, including iterative routing, recursive routing, proximity routing and neighbor selection, erasure coding, replication, and server selection. This paper explores the design of these techniques and their interaction in a complete system, drawing on the measured performance of a new DHT implementation and results from a simulator with an accurate Internet latency model. New techniques that resulted from this exploration include use of latency predictions based on synthetic co-ordinates, efficient integration of lookup routing and data fetching, and a congestion control mechanism suitable for fetching data striped over large numbers of servers. Measurements with 425 server instances running on 150 PlanetLab and RON hosts show that the latency optimizations reduce the time required to locate and fetch data by a factor of two. The throughput optimizations result in a sustainable bulk read throughput related to the number of DHT hosts times the capacity of the slowest access link; with 150 selected PlanetLab hosts, the peak aggregate throughput over multiple clients is 12.8 megabytes per second.
A Fast Test Architecture for Asynchronous Network-on-Chip Routing Networks

ANoC (Asynchronous Network-on-Chip) has been developed to solve problems of large number of cores in SoC (System-on-Chip) by giving asynchronism to every core. This new architecture requires new Testing methods different from the existing SoC Test, and it freshly needs the test of router and routing networks. This paper first offers high-speed testing architecture that tests more than one routers and networks at the same time in the 2-D mesh topology. Then, the structure of wrapper for realization of this method is explained. We show that the more number of routers is, the more effective performance is by checking the clock count for test of various ANoCs that have several sizes.
Embodied AI in Humanoids

Abstract In contrast to the top-down approach of equipping a humanoid with as many sensors, motors, power, etc. as possible, we developed a bottom-up approach to the construction of humanoids – an approach that attempts to minimize the robot complexity. The approach is shown with the development of the Viki humanoid that won the RoboCup Humanoids Free Style World Championship 2002. For the development of the bottom-up approach we find inspiration from recent work in embodied artificial intelligence that puts emphasis on the correspondence and interrelatedness between material, electronic hardware, energy use, and control. By finding the right balance and relationship between these components of the system, it becomes possible to develop biped walking and other humanoid behaviors with much simpler hardware and control than is traditionally envisioned for humanoids. Indeed, the Viki humanoid robots were able to win the world championship though they include much less sensors, motors and energy use than their competitors.
A 60 mW per lane, 4 /spl times/ 23-Gb/s 2/sup 7/ PRBS generator

An ultra-low-power, 4-channel 22/sup 7/ - 1 PRBS generator with 60 mW per channel was designed, fabricated and measured to work up to 23 Gb/s. The circuit is based on a 2.5-mW BiCMOS CML latch topology, which, to the best of our knowledge, represents the lowest power for a latch operating above 10-Gb/s. The chip also includes an integrated PRBS checker and error counter.
Hepatitis E Vaccine to Prevent Morbidity and Mortality During Epidemics

Recurrent, large, waterborne epidemics of hepatitis E virus (HEV) occur regularly after monsoon rains contaminate water supplies in Asia or during humanitarian crises in Africa. These epidemics commonly affect thousands of persons, and it has a high mortality in pregnant women who become infected. Although a subunit HEV vaccine has been developed by Chinese investigators and was found to be highly effective and safe in a large clinical trial, this vaccine is only available in China. Until it is prequalified by the World Health Organization, the vaccine may not be available for use outside of China in low-income countries that lack national vaccine regulatory agencies. In this manuscript, we explore possible strategies for providing access to this potentially important vaccine for international use in responding to epidemics of HEV in low-resource countries.
Multi-channel maximum likelihood pitch estimation

In this paper, a method for multi-channel pitch estimation is proposed. The method is a maximum likelihood estimator and is based on a parametric model where the signals in the various channels share the same fundamental frequency but can have different amplitudes, phases, and noise characteristics. This essentially means that the model allows for different conditions in the various channels, like different signal-to-noise ratios, microphone characteristics and reverberation. Moreover, the method does not assume that a certain array structure is used but rather relies on a more general model and is hence suited for a large class of problems. Simulations with real signals shows that the method outperforms a state-of-the-art multi-channel method in terms of gross error rate.
Using constituency and dependency parse features to identify errorful words in disordered language

Delayed or disordered language is a characteristic of both autism spectrum disorder (ASD) and specific language impairment (SLI). In this paper, we describe our data set, which consists of transcribed data from a widely used clinical diagnostic instrument (the ADOS) for children with ASD and children with SLI. These transcripts are manually annotated with SALT, an annotation system that applies a descriptive code to errorful words. Here we address a step in automating SALT annotation: identifying the errorful words in sentences that are known to contain an error. We propose a set of baseline features to identify errorful words, and investigate the effectiveness of adding features extracted from dependency and constituency parses. We find that features from both types of parses improve classifier performance above our baseline, both individually and in aggregate.
MRTI-Based Optimization and Real-Time Laser Surgical Control for Cancer Treatment Using Fast Inverse Analysis Techniques

For cancerous tumors in vital internal organs, minimally invasive laser surgery may be a desirable choice for cancer treatment due to its precise control and compatibility with most of the imaging modalities such as MRI (magnetic resonance imaging). However, the complexity of tumor composition and tissue response to a thermal dose demands real time optimization and control. In the previous work, we have developed a quite general computational framework that is capable of processing MRI anatomical data, providing pretreatment surgical protocol, and controlling tissue damage based on in vivo MRTI (magnetic resonance thermal imaging) data. In this paper, we describe computational techniques that are involved in real time optimization and control for laser surgical protocols of cancer treatment.
A Formal Approach to Pre-Market Review for Medical Device Software

In this paper we explore a method for carrying out pre-market analysis of software designs and implementations, based on formal-methods techniques, to aid the process of reviewing software in medical devices. We discuss a methodology to validate medical device software with the help of formal methods based usage models, and test cases derived from such models. We present a case study involving the design and verification of a generic infusion pump usage model, detailing how the various stages of our approach can be carried out. Finally, we present experimental results and effort estimates to show that the proposed methodology is effective and feasible
The Confirmatory Factor Analysis (CFA) of Preschool Management Model in Sarawak

In several years, structural equation modeling or popularly known as SEM is the first generation path modeling widely used by researchers and practitioners nowadays to analyze the interrelationship among variables in a model. In this study, the questionnaire was designed based on six constructs which is headmaster’s instructional leadership as exogenous and parental involvement in preschool education, preschool teachers’ information and communication technology (ICT) in teaching, teacher professional development, and preschool development plans and effective teaching among preschool teachers are endogenous variable. The questionnaires were distributed to 280 preschool teachers in Sarawak. The total of 267 questionnaires were returned to researcher for the validity and reliability test in this study. The ultimate objective of this article is to acquire the best fit of a research instrument for the effective teaching study using structural equation model (SEM) that enable to taking into account the unreliable factors (items) between exogenous and endogenous constructs. The items of the constructs undergo the confirmatory factor analysis (CFA) procedure involve in unidimensionality test, convergent validity, construct validity and discriminant validity. The result revealed the constructs of the research model achieved the validity and reliability for other further analysis in acquiring high accuracy on the prediction outcomes.
Probabilistic place recognition with covisibility maps

In order to diminish the influence of pose choice during appearance-based mapping, a more natural representation of location models is established using covisibility graphs. As the robot moves through the environment, visual landmarks are detected, and connected if seen as covisible. The introduction of a novel generative model allows relevant subgraphs of the covisibility map to be compared to a given query without needing to normalize over all previously seen locations. The use of probabilistic methods provides a unified framework to incorporate sensor error, perceptual aliasing, decision thresholds, and multiple location matches. The system is evaluated and compared with other state-of-the-art methods.
What Makes a Good School Leadership Program? A Qualitative Study of the Lookstein Center Educational Leadership Advancement Initiative (ELAI)

ABSTRACT How do educators become successful leaders? This qualitative study set out to learn more about The Lookstein Center ELAI program as well as mentoring and leadership training in general, with the hope of offering insights to other school leadership programs. The mentor-mentee relationship was seen to develop into a collaborative partnership, with the reflective relationships becoming enriching for both the mentor and mentee. The findings also emphasize the value of mentoring for midcareer educators. In addition, the importance of the cohort experience was stressed. Finally, unique to the ELAI program, location was viewed as a very influential aspect of this leadership training program for Jewish educators.
Family relationship and socio-economic context

This study examined associations between family income, family structure and relationship quality among members of Brazilian families. Participants (n = 77) were mothers with at least one child within the age of zero to nine years-old living in two adjacent cities in the State of Espirito Santo, Brazil. Face-to-face interviews were conducted during home visits. Quality of family relationship was evaluated in four dimensions: general quality of family life, marital conflict, mother-children conflict, and mother-children proximity. All dimensions of family relationship were significantly correlated. Quality of family life was affected by family income, co-residence structure and presence of siblings. We concluded that the mothers' perception of the relationships among family members is interdependent, and their perception on general quality of life is affected by socio-economic variables.
Using Transformer in Low Noise Phase Quadrature VCO

This paper aims to introduce a quadrature VCO which applies superharmonic coupling. The presented quadrature VCO is suitable to be used, both with 2×subharmonic mixers, as well as 4×subharmonic mixers. It would be impossible to avoid the presence of harmonics in GaAs HEMT VCO circuits. These harmonics are in general, undesirable signals which tend to accompany the desired fundamental signal. There are common-mode nodes (similar to those in the two source nodes in a cross-coupled VCO) in deferential VCO at which higher-order harmonics are present while the fundamental is absent in essence. We can make use of these second-order harmonics which are present at the common-mode nodes of two VCO in order to to implement a quadrature connection between the fundamental outputs. The technique through which this is done is called superharmonic coupling. This GaAs HEMT quadrature VCO which applies active superharmonic coupling puts an excellent performance in show, with an output power -0.942dBm for fundamental and -9.751dBm for subharmonic, phase noise -107.2dBc/Hz for fundamental and -114.8dBc/Hz at a 1MHz offset. All of circuit applied are designed and simulated by ADS, 2008.
The Determinants of UK Business Cycles

This paper considers the ultimate causes of post-war UK business cycles. Using an extended stochastic growth model we construct estimates of a productivity and preference shock both of which are highly persistent, volatile and potentially capable of explaining UK business cycles. We find the productivity term is the dominant explanation of UK output fluctuations, but our estimated preference shift is crucial in understanding employment movements. We use a variety of Granger causality tests to establish whether these productivity and preference terms are predictable and so can be potentially considered as the ultimate cause of UK business cycles, or whether they are themselves Granger caused by other variables. We find our estimated productivity term is not predicted by any demand-side variable, including various fiscal and monetary policy instruments, but is, to a limited extent, predicted by oil prices and the share of taxes in GDP. This suggests that our ‘productivity’ shock may also reflect other supply-side influences. In contrast, we find our ‘preference’ shift is predicted to a substantial extent by real variables, such as the terms of trade and oil prices, and nominal variables, such as the money supply and the price level. The implications of these findings for competing theories of the business cycle and for the monetary transmission mechanism are discussed.