Miracle-dz/UniFAR-FTUs huggingface dataset:
Miniaturized Coplanar Bandpass/Bandstop Filter Using Meander Serpentine Shape Shunt/Open-Stubs

This paper presents a design of a new compact bandpass filter in coplanar waveguide implementation composed of meander serpentine shape shunt-stubs. The meander serpentine shape shunt-stubs allow to increase the inductive loading and thus to reduce the size of the filter. The proposed filter has two transmission zeros on both sides of the passband. The equivalent circuit model has been proposed to describe the filter behavior. The measured center frequency, bandwidth and insertion loss are 5 GHz, 50% and 0.5 dB, respectively. The geometrical size of the proposed filter is 20times13.2 mm2. Good agreements between both measured and simulated results have been observed. Finally, proposed bandpass filter has been transformed to bandstop filter and has been described.
Verifying the Authorship of Embedded IP Cores : Watermarking and Core Identification Techniques

In this paper, we present an overview of existing watermarking techniques for FPGA and ASIC designs as well as our new watermarking and identification techniques for FPGA IP cores. Unlike most existing watermarking techniques, the focus of our new techniques lies on ease of verification, even if the protected cores are embedded into a product. Moreover, we have concentrated on higher abstraction levels for embedding the watermark, particularlyion levels for embedding the watermark, particularly at the logic level, where IP cores are distributed as netlist cores. With the presented watermarking methods, it is possible to watermark IP cores at the logic level and identify them with a high likelihood and in a reproducible way in a purchased product from a company that is suspected to have committed IP fraud. The investigated techniques establish the authorship by verification of either an FPGA bitfile or the power consumption of a given FPGA.
Clause Elimination for SAT and QSAT

The famous archetypical NP-complete problem of Boolean satisfiability (SAT) and its PSPACE-complete generalization of quantified Boolean satisfiability (QSAT) have become central declarative programming paradigms through which real-world instances of various computationally hard problems can be efficiently solved. This success has been achieved through several breakthroughs in practical implementations of decision procedures for SAT and QSAT, that is, in SAT and QSAT solvers. Here, simplification techniques for conjunctive normal form (CNF) for SAT and for prenex conjunctive normal form (PCNF) for QSAT--the standard input formats of SAT and QSAT solvers--have recently proven very effective in increasing solver efficiency when applied before (i.e., in preprocessing) or during (i.e., in inprocessing) satisfiability search. In this article, we develop and analyze clause elimination procedures for pre- and inprocessing. Clause elimination procedures form a family of (P)CNF formula simplification techniques which remove clauses that have specific (in practice polynomial-time) redundancy properties while maintaining the satisfiability status of the formulas. Extending known procedures such as tautology, subsumption, and blocked clause elimination, we introduce novel elimination procedures based on asymmetric variants of these techniques, and also develop a novel family of so-called covered clause elimination procedures, as well as natural liftings of the CNF-level procedures to PCNF. We analyze the considered clause elimination procedures from various perspectives. Furthermore, for the variants not preserving logical equivalence under clause elimination, we show how to reconstruct solutions to original CNFs from satisfying assignments to simplified CNFs, which is important for practical applications for the procedures. Complementing the more theoretical analysis, we present results on an empirical evaluation on the practical importance of the clause elimination procedures in terms of the effect on solver runtimes on standard real-world application benchmarks. It turns out that the importance of applying the clause elimination procedures developed in this work is empirically emphasized in the context of state-of-the-art QSAT solving.
Character Motion Synthesis by Topology Coordinates

In this paper, we propose a new method to efficiently synthesize character motions that involve close contacts such as wearing a T‐shirt, passing the arms through the strings of a knapsack, or piggy‐back carrying an injured person. We introduce the concept of topology coordinates, in which the topological relationships of the segments are embedded into the attributes. As a result, the computation for collision avoidance can be greatly reduced for complex motions that require tangling the segments of the body. Our method can be combinedly used with other prevalent frame‐based optimization techniques such as inverse kinematics.
The mouse gene expression database: New features and how to use them effectively

The Gene Expression Database (GXD) is an extensive and freely available community resource of mouse developmental expression data. GXD curates and integrates expression data from the literature, via electronic data submissions, and by collaborations with large‐scale projects. As an integral component of the Mouse Genome Informatics Resource, GXD combines expression data with genetic, functional, phenotypic, and disease‐related data, and provides tools for the research community to search for and analyze expression data in this larger context. Recent enhancements include: an interactive browser to navigate the mouse developmental anatomy and find expression data for specific anatomical structures; the capability to search for expression data of genes located in specific genomic regions, supporting the identification of disease candidate genes; a summary displaying all the expression images that meet specified search criteria; interactive matrix views that provide overviews of spatio‐temporal expression patterns (Tissue × Stage Matrix) and enable the comparison of expression patterns between genes (Tissue × Gene Matrix); data zoom and filter utilities to iteratively refine summary displays and data sets; and gene‐based links to expression data from other model organisms, such as chicken, Xenopus, and zebrafish, fostering comparative expression analysis for species that are highly relevant for developmental research. genesis 53:510–522, 2015. © 2015 Wiley Periodicals, Inc.
Annealing between distributions by averaging moments

Many powerful Monte Carlo techniques for estimating partition functions, such as annealed importance sampling (AIS), are based on sampling from a sequence of intermediate distributions which interpolate between a tractable initial distribution and the intractable target distribution. The near-universal practice is to use geometric averages of the initial and target distributions, but alternative paths can perform substantially better. We present a novel sequence of intermediate distributions for exponential families defined by averaging the moments of the initial and target distributions. We analyze the asymptotic performance of both the geometric and moment averages paths and derive an asymptotically optimal piecewise linear schedule. AIS with moment averaging performs well empirically at estimating partition functions of restricted Boltzmann machines (RBMs), which form the building blocks of many deep learning models.
Functional p53 chimeras containing the Epstein–Barr virus Gly-Ala repeat are protected from Mdm2- and HPV-E6-induced proteolysis

Functional inactivation of the tumor suppressor protein p53 by accelerated ubiquitin/proteasome-dependent proteolysis is a common event in tumor progression. Proteasomal degradation is inhibited by the Gly-Ala repeat (GAr) of the Epstein–Barr virus nuclear antigen-1, which acts as a transferable element on a variety of proteasomal substrates. We demonstrate that p53 chimeras containing GAr domains of different lengths and positions within the protein are protected from proteolysis induced by the ubiquitin ligases murine double minute 2 and E6-associated protein but are still ubiquitinated and retain the capacity to interact with the S5a ubiquitin-binding subunit of the proteasome. The GAr chimeras transactivate p53 target genes, induce cell cycle arrest and apoptosis, and exhibit improved growth inhibitory activity in tumor cells with impaired endogenous p53 activity.
A Calculation Model for High Rise Frame-Shear Wall Load Bearing Skeleton Structures

The Skeleton-Infill residential building system has its particular advantages in building industrialization. In order to utilize this building type into high rise residential buildings, this paper proposes a calculation model for the frame-shear wall load bearing skeleton structure with limited floor stiffness. A simplified calculation method adopting ODEs is also demonstrated. A numerical example is proceeded to verify the effectiveness and accuracy of this methodology.
Colour matters: the effects of lensing on the positional offsets between optical and submillimetre galaxies in Herschel★-ATLAS

We report an unexpected variation in the positional offset distributions between Herschel-Astrophysical Terahertz Large Area Survey (H-ATLAS) submillimetre (submm) sources and their optical associations, depending on both 250-μm signal-to-noise ratio and 250/350-μm colour. We show that redder and brighter submm sources have optical associations with a broader distribution of positional offsets than would be expected if these offsets were due to random positional errors in the source extraction. The observation can be explained by two possible effects: either red submm sources trace a more clustered population than blue ones, and their positional errors are increased by confusion, or red submm sources are generally at high redshifts and are frequently associated with low-redshift lensing structures which are identified as false counterparts. We perform various analyses of the data, including the multiplicity of optical associations, the redshift and magnitude distributions in H-ATLAS in comparison to HerMES, and simulations of weak lensing, and we conclude that the effects are most likely to be explained by widespread weak lensing of Herschel-SPIRE sources by foreground structures. This has important consequences for counterpart identification and derived redshift distributions and luminosity functions of submm surveys.
A QoS-based Service Composition for Content Adaptation

Today's Internet suffers from the problem of heterogeneity in client devices, network connectivity, content format, and users' preferences. The framework presented in this paper tackles this problem using the approach of service composition to support distributed multimedia applications. The discussed framework for trans-coding multimedia streams uses self-organizing, resilient data distribution algorithms. The framework takes into consideration the profile of communicating devices, network connectivity, exchanged content formats, context description, and available adaptation services to find a chain of adaptation services that could be applied to the content. Part of the framework is a selection algorithm that finds the best sequence of adaptation services that can maximize the user's satisfaction with the delivered content.
Geomagnetic Fingerprint Maps for Indoor Positioning

Indoor positioning technology is becoming the hot spot of the current research. How to choose a suitable positioning scheme is particularly important. This paper focuses on the geomagnetic field, and geomagnetic fingerprint maps for indoor location. The methods of constructing geomagnetic fingerprint map are verified via experiments. Experimental results show that the accuracy of the scheme which uses the magnetic field strength values of special landmarks is not enough to constructing efficient geomagnetic fingerprint maps. The method of combining the magnetic field strength value with the path can not only solves the numerical difference caused by the microelectronic mechanical systems sensor effectively, but also has high positioning accuracy. At the same time, it is feasible to use the idea of group intelligence to construct a geomagnetic fingerprint map. We make the corresponding summary to the second scheme, which needs to be further optimized on the original basis so that it can be truly applied to real lives. This paper analyzes the information of the geomagnetic field, compares the schemes of constructing the geomagnetic fingerprint map via experiments, and promote the further development of geomagnetic field in indoor positioning technology.
Accurate and Efficient Estimation of Dynamic Virtual Ground Voltage in Power Gated Circuits

Virtual ground voltage (Vgnd) has been used for fine grained optimization of power gated digital circuits. In this paper, we analyze the potential sources of error in dynamic characteristics of Vgnd due to inaccurate models as well as under-estimation of input voltages of CMOS gates in logic circuits. We propose a piecewise simulation based model for dynamic Vgnd estimation, which further needs capacitance models to be characterized at Vgnd node. These capacitance models are used in conjunction with leakage current models to develop dynamic Vgnd model. Average error of less than 0.5% compared to 4.2% of previously reported models is achieved when compared to HSPICE results on ISCAS'85 benchmark circuits. On an average, our proposed model is 30 × efficient than HSPICE for dynamic Vgnd estimation during mode transition.
Group utility functions: learning equilibria between groups of agents in computer games by modifying the reinforcement signal

Group utility functions are an expansion of the well known team utility function for providing multiple agents with a common reinforcement learning signal for learning collective behaviour. In this paper we describe what group utility functions are and use them with reinforcement learning to learn non-player character behaviours in a simple computer game. As yet, reinforcement learning techniques have rarely been used for computer game character behaviour specification. Using group utility functions, we can trade some optimality for some other desirable collective behaviour. As an example, in this paper we use group utility functions to learn an equilibrium between groups of agents performing a typical foraging task in a dynamic environment. Group utility functions act as filters on the reinforcement signal and sit between the reward function and the agents. We show several results demonstrating how group utility functions work in practice with varying learning parameters. An earlier paper describes our simpler initial results (Bradley et al., 2005). All our experiments are carried out using a commercial computer game engine.
AN EXPERIMENTAL TEST OF CHARACTER DISPLACEMENT'S ROLE IN PROMOTING POSTMATING ISOLATION BETWEEN CONSPECIFIC POPULATIONS IN CONTRASTING COMPETITIVE ENVIRONMENTS

Abstract Ecological character displacement takes place when two closely related species co-occur in only part of their geographical range, and selection to minimize competition between them promotes divergence in resource-use traits in sympatry but not in allopatry. Because populations sympatric with the heterospecific competitor will experience a different competitive environment than conspecific populations in allopatry, conspecific populations from these two competitive environments will also diverge in resource traits as an indirect consequence of interspecific ecological character displacement. Ultimately, ecologically dependent postmating isolation may arise between conspecific populations from these divergent competitive environments if offspring produced by matings between them are competitively inferior in either type of competitive environment. Yet, there are no direct tests of character displacement's role in initiating such postmating isolation. Here, we present a test by comparing the phenotypes and performances of spadefoot toad tadpoles produced from between-competitive-environment (BCE) matings versus those produced from within-competitive-environment (WCE) matings. When raised with naturally occurring competitors, BCE offspring grew significantly less and were significantly smaller than WCE offspring. BCE offspring generally performed worse even when raised alone, suggesting that they may have harbored intrinsic genetic incompatibilities. Moreover, the difference in growth and body size of BCE versus WCE offspring was significantly greater when each was raised with competitors than when each was raised alone, suggesting that BCE tadpoles were competitively inferior to WCE tadpoles. Presumably, this enhanced difference arose because BCE tadpoles produced an intermediate resource-use phenotype that is less well adapted to either competitive environment. Because larval size is under strong, positive, directional selection, reduced growth and size of BCE offspring may diminish gene flow between populations in divergent competitive environments, thereby generating postmating isolation. Thus, postmating isolation between conspecific populations, and possibly even speciation, may arise as a by-product of interactions between species.
Towards perceptual shared autonomy for robotic mobile manipulation

Reliability and availability are major concerns for autonomous systems. A personal robot has to solve complex tasks, such as loading a dishwasher or folding laundry, which are very difficult to automate robustly. In order for a robot to perform better in those applications, it needs to be capable of accepting help from a human operator.
From Heisenberg matrix mechanics to semiclassical quantization: Theory and first applications.

Despite the seminal connection between classical multiply periodic motion and Heisenberg matrix mechanics and the massive amount of work done on the associated problem of semiclassical Einstein-Brillouin-Keller (EBK) quantization of bound states, we show that there are, nevertheless, a number of previously unexploited aspects of this relationship that bear on the quantum-classical correspondence. In particular, we emphasize a quantum variational principle that implies the classical variational principle for invariant tori. We also expose the more indirect connection between commutation relations and quantization of action variables. In the special case of a one-dimensional system a different and succinct algebraic derivation of the WKB quantization rule for bound states is given. With the help of several standard models with one or two degrees of freedom, we then illustrate how the methods of Heisenberg matrix mechanics described in this paper may be used to obtain quantum solutions with a modest increase in effort compared to semiclassical calculations. We also describe and apply a method for obtaining leading quantum corrections to EBK results. Finally, we suggest several modified applications of EBK quantization. {copyright} {ital 1996 The American Physical Society. }
Electrical heating tests of uranium dioxide external fuel configuration at emitter temperature of 1900 K

SUMMARY An externally fueled configuration for thermionic application was tested usinguranium dioxide (UOo) clad with tungsten operating at 1900 K. Evaluated were: (1) pos-sible fuel melting during startup, (2) compressive stresses on the emitter during shut-down after fuel redistribution, and (3) effect of cover gas on fuel redistribution. Toinvestigate these problems, a test program was initiated using UO 2 -fueled tungstenclad specimens. The testing was done in a vacuum furnace using electron bombardmentto heat the specimens. Periodic gammagraphs of the specimens were taken, and post-test metallography was performed.The first specimen was tested for 50 hours at a maximum outer clad temperatureof 2450 K and underwent one thermal cycle. A second specimen was tested for 240 hoursat an outer clad temperature of 2550 K and underwent five thermal cycles. The innerclad temperature for both specimens ranged from 1800 to 2050 K.The second specimen showed various degrees of fuel restructuring during the testand some evidence of crack healing. Although there was no dimensional change to theinner clad, the outer clad reacted with water vapor inside the fuel area. This resultedin a leak which caused the termination of the test.The first specimen showed that fuel redistribution had started and radial cracksdeveloped because of cooldown. The fuel of the second specimen had undergone grossredistribution, and densification was in progress. Posttest metallography showed fuelmelting had not occurred during operation and fuel radial cracks occurred on cooldown.
On computability of fine motion plans

It is shown that fine motion plans in the LMT framework developed by T. Lozano-Perez, M. Mason and R. Taylor (1984) are computable, and an algorithm for computing them by reducing fine motion planing to an algebraic decision problem is presented. Fine-motion planning involves planning a successful motion of a robot at the fine scale of assembly operations, where control and sensor uncertainty are significant. It is shown that, as long as the envelope of trajectories generated by the control system can be described algebraically, there is an effective procedure for deciding if a successful n-step plan exists. The proposed method makes use of recognizable sets as subgoals for multistep planning. These sets are finitely parameterizable, and it is shown that they are the only sets that need be considered as subgoals. Unfortunately, if the full generality of the LMT framework is used, finding a fine-motion plan can take time double exponential in the number of plant steps. <<ETX>>
Graph fission in an evolving voter model

We consider a simplified model of a social network in which individuals have one of two opinions (called 0 and 1) and their opinions and the network connections coevolve. Edges are picked at random. If the two connected individuals hold different opinions then, with probability 1 - α, one imitates the opinion of the other; otherwise (i.e., with probability α), the link between them is broken and one of them makes a new connection to an individual chosen at random (i) from those with the same opinion or (ii) from the network as a whole. The evolution of the system stops when there are no longer any discordant edges connecting individuals with different opinions. Letting ρ be the fraction of voters holding the minority opinion after the evolution stops, we are interested in how ρ depends on α and the initial fraction u of voters with opinion 1. In case (i), there is a critical value αc which does not depend on u, with ρ ≈ u for α > αc and ρ ≈ 0 for α < αc. In case (ii), the transition point αc(u) depends on the initial density u. For α > αc(u), ρ ≈ u, but for α < αc(u), we have ρ(α,u) = ρ(α,1/2). Using simulations and approximate calculations, we explain why these two nearly identical models have such dramatically different phase transitions.