Miracle-dz/UniFAR-FTUs huggingface dataset:
State-Space Modeling and Propagation Parameter Tracking: Multitarget tracking based approach

The paper describes a state-space approach for retrieving the parameters of the double directional MIMO propagation channel model from channel sounding measurements. We address the issues arising from tracking a varying number of jointly estimated targets (propagation paths) from a vast amount of data. We focus on state dimensionality estimation, i.e., how to drop paths from the state as well as augmenting the state with new path estimates. We propose a whiteness test for detecting the time instances when to increase the number of paths to track. Simulation results are presented to illustrate the benefits of the path detection algorithm.
The Effects of Arithmetic Encodings on SAT Solver Performance

As digital systems continue to grow, verification of these systems is becoming an increasingly important and difficult problem. To ensure a quick time-to-market, the verification problem must be addressed early in the design cycle. This requires the ability to verify systemlevel descriptions of hardware and embedded software systems, such as, C or Verilog, by proving assertions and proving functional equivalence. This can be done at the word-level by abstracting the word-level descriptions and proving equivalence or at the bit-level by converting the system-level descriptions into their equivalent boolean circuit representation and checking satisfiability. When verifying system-level descriptions of arithmetic functions at the bit-level, a verification engineer must choose how to represent the arithmetic operations in these functions. For example, if the arithmetic function being tested uses addition, the verification engineer will have to decide what type of adder he/she will use to represent the addition operation. Due to the fact that systems are becoming increasingly larger and more complex, verification needs to be as fast as possible. The encoding of a simple element like an adder may have a large effect on the runtime of the verification engine. With the recent advances in SAT solving, using SAT to verify the correctness of arithmetic assertions or functions at the bit-level may be a viable option. The goal of this project is to analyze and evaluate the performance of current state-of-the-art SAT solvers on arithmetic functions. More specifically, given assertions or functionality based on arithmetic operations, our goal is to determine which arithmetic encodings are “easier” to solve using a variety of SAT solvers.
Defense Technical Information Center Compilation Part Notice ADP 014825

To order the complete compilation report, use: ADA420749 The component part is provided here to allow users access to individually authored sections of proceedings, annals, symposia, etc. However, the component should be considered within [he context of the overall compilation report and not as a stand-alone technical report.
Equality of Educational Opportunity for Language Minority Students in Oregon: A Survey of ESL/Bilingual Education Policy in Local School Districts

This Dissertation is brought to you for free and open access. It has been accepted for inclusion in Dissertations and Theses by an authorized administrator of PDXScholar. For more information, please contact pdxscholar@pdx.edu. Recommended Citation Smith, Mary Eileen, "Equality of Educational Opportunity for Language Minority Students in Oregon: A Survey of ESL/Bilingual Education Policy in Local School Districts" (1987). Dissertations and Theses. Paper 382.
Mutant rhodopsin transgene expression on a null background.

PURPOSE To study mechanisms leading to photoreceptor degeneration in mouse models for autosomal dominant retinitis pigmentosa (adRP) based on the rhodopsin P23H mutation. METHODS Mice of a transgenic line expressing a rhodopsin triple mutant, V20G, P23H, and P27L (GHL), were mated with rhodopsin (rho) knockout mice. Littermates of various ages and genotypes (GHL+rho+/+, GHL+rho+/-, and GHL+rho-/-) were examined for outer nuclear layer thickness and outer segment formation (histology), fate of mutant rhodopsin (immunocytochemistry), and photoreceptor function (electroretinogram; ERG). RESULTS Mice expressing GHL-rhodopsin in the absence of wild-type rhodopsin had severe retinopathy, which was nearly complete by postnatal day (P)30. GHL-rhodopsin formed homodimers nearly exclusively on sodium dodecyl sulfate-polyacrylamide gel electrophoresis gels, whereas wild-type rhodopsin predominantly formed monomers. Expression level of mutant rhodopsin in predegenerate (P10) GHL+rho-/- retinas was low, approximately 10% to 25% of normal levels. No elaboration of disc membrane or outer segment formation was observed at any time point examined. The mutant rhodopsin was found mostly in perinuclear locales (endoplasmic reticulum; ER) as evidenced by colocalization using the antibodies Rho1D4 and calnexin-NT. CONCLUSIONS GHL-rhodopsin dimerizes, localizes to the ER, and fails to transport and support outer segment formation. Additionally, the mutant protein does not support a scotopic ERG a-wave and accelerates photoreceptor degeneration over that occurring with the rhodopsin knockout alone. These findings indicate a cytotoxic effect of the mutant protein, probably elicited by an unfolded protein response.
Smoothed NPML estimation of the risk distribution underlying Bonus-Malus systems

Mixed Poisson distributions are widely used for modeling claim counts when the portfolio is thought to be heterogeneous. The risk (or mixing) distribution then represents a measure of this heterogeneity. The aim of this paper is to use a variant of the Patilea and Rolin [15] smoothed version of the Simar [20] Non-Parametric Maximum Likelihood Estimator of the risk distribution in the mixed Poisson model. Empirical results based on two data sets from automobile third-party liability insurance demonstrate the relevance of this approach. The design of merit-rating schemes is discussed in the second part of the paper.
Surgem : Interactive patient-specific anatomy-editor for hemodynamic analysis and surgery planning

Surgem is an interactive anatomy-editing tool for surgery planning developed to enable the surgeon to directly edit the detailed models of patient-specific anatomies according to the contemplated surgical options and to compare such options by using the results of computational fluid dynamics (CFD) analysis. Surgem combines powerful free-form shape deformation tools with new human-shape interaction (HSI) technologies to facilitate interactive shape alterations and finite element mesh generation. Surgem is used by the surgeon at the surgery planning phase to design and evaluate possible modifications of patient-specific anatomies of congenital heart defects involving complex geometric topologies and tortuous three-dimensional blood flow pathways with multiple inlets and outlets. Surgem make it possible to freely deform the lumen surface and to bend and position baffles through direct manipulation of the 3D models with both hands, thus eliminating the tedious and time-consuming phase of entering the desired geometry using traditional computer-aided design (CAD) systems. The 3D models of the modified anatomy are seamlessly exported and meshed for CFD analysis. The combined design/analysis cycle is used for comparing and optimizing surgical plans. By reducing the cost of patient-specific shape design and analysis, Surgem make it possible to specify and analyze a large number of surgical options and to envision large clinical studies for validating the predictive value of CFD simulations in surgery planning. Fig. 1. Surgem is used to modify a patient’s intra-atrial model of the inferior vena cava (IVC) interactively using both hands to specify what may be the outcome of an operation envisioned by the heart surgeon. The envisioned shape is meshed and sent to CFD analysis. The results of the analysis help the surgeon select between various surgical options.
Finding the Right Features for Instrument Classification of Classical Music

In tackling data mining and pattern recognition tasks, finding a compact but effective set of features is often a crucial step in the whole problem solving process. In this paper we present an empirical study on feature selection for classical instrument recognition, using machine learning techniques to select and evaluate features extracted from a number of different feature schemes in terms of their classification performance. It is revealed that there is significant redundancy in existing feature schemes commonly used in practice. Our results suggest that further feature analysis research is necessary for optimising feature selection for the instrument recognition problem
Location-aided medium access control for low data rate UWB wireless sensor networks

This paper presents a distributed medium access control (MAC) protocol for low data rate ultra-wideband (UWB) wireless sensor networks (WSNs), named LA-MAC. Current MAC proposal is closely coupled to the IEEE 802.15. 4a physical layer and it is based on its Impulse-Radio (IR) paradigm. LA-MAC protocol amplifies its admission control mechanism with location-awareness, by exploiting the ranging capability of the UWB signals. The above property leads to accurate interference predictions and blocking assessments that each node in the network can perform locally, limiting at the same time the actions needed to be performed towards the admission phase. LA-MAC is evaluated through extensive simulations, showing a significant improvement in many critical parameters, such as throughput, admission ratio, energy consumption, and delay, under different traffic load conditions. Copyright © 2010 John Wiley & Sons, Ltd.
A Multigene Expression Assay to Predict Local Recurrence Risk for Ductal Carcinoma In Situ of the Breast

Background For women with ductal carcinoma in situ (DCIS) of the breast, the risk of developing an ipsilateral breast event (IBE; defined as local recurrence of DCIS or invasive carcinoma) after surgical excision without radiation is not well defined by clinical and pathologic characteristics. Methods The Oncotype DX breast cancer assay was performed for patients with DCIS treated with surgical excision without radiation in the Eastern Cooperative Oncology Group (ECOG) E5194 study. The association of the prospectively defined DCIS Score (calculated from seven cancer-related genes and five reference genes) with the risk of developing an IBE was analyzed using Cox regression. All statistical tests were two-sided. Results There were 327 patients with adequate tissue for analysis. The continuous DCIS Score was statistically significantly associated with the risk of developing an IBE (hazard ratio [HR] = 2.31, 95% confidence interval [CI] = 1.15 to 4.49; P = .02) when adjusted for tamoxifen use (prespecified primary analysis) and with invasive IBE (unadjusted HR = 3.68, 95% CI = 1.34 to 9.62; P = .01). For the prespecified DCIS risk groups of low, intermediate, and high, the 10-year risks of developing an IBE were 10.6%, 26.7%, and 25.9%, respectively, and for an invasive IBE, 3.7%, 12.3%, and 19.2%, respectively (both log rank P ≤ .006). In multivariable analyses, factors associated with IBE risk were DCIS Score, tumor size, and menopausal status (all P ≤ .02). Conclusions The DCIS Score quantifies IBE risk and invasive IBE risk, complements traditional clinical and pathologic factors, and provides a new clinical tool to improve selecting individualized treatment for women with DCIS who meet the ECOG E5194 criteria.
Parallel Global Optimal Approach of Feedback for 3D CAD Model Retrieval

A parallel global optimal approach of feedback is proposed for 3D CAD model retrieval in this study. First, a novel unified mathematical model with multi-object for similarity field modification based relevance feedback is brought forward and the simplification is also given. Second, a new algorithm based on particle swarm optimization is proposed to optimize above model. In this algorithm, the particle can fly under the guide of its experience and a leader queue helps to avoid immature convergence. At last, an implementation is given and the results show that better feedback results are obtained for CAD model retrieval with the proposed method.
A Nominal Filter for Web Search Snippets: Using the Web to Identify Members of Latin America's Highly Qualified Diaspora

This paper presents efforts aimed at using Natural Language Engineering (NLE) techniques for evaluating the impact of talent mobility on the development of three Latin American countries: Argentina, Colombia and Uruguay. We explain the different steps of a research progam aimed at carrying out what we call a Mobility Trace Extraction Task. The first step enriches traditional person name disambiguation queries with Social Identity Markers (SIMs) extracted from the bibliographic records of the Web of Science database. The coherence of the snippets retrieved using this SIM-enriched Web search strategy is automatically verified by applying nominal filters based on a context-free grammar to eliminate those snippets which do not respect valid variations of personal names. Finally, the filtered results are ordered and presented to social scientists in a way which allows them to decide if they want to contact and interview a person or not. Our goal is to produce a computer supported infrastructure for doing this type of sociological research using data from the Web.
Preparing White Preservice Art Educators to Teach in Urban Classrooms.

Within a two-year mixed method action research study, two cohorts of White senior preservice Art Educators reflected on anti-racist and anti-classist course materials and attended field experiences within urban schools. A majority of both cohorts identified systemic racism within social systems and language after engaging in course materials. Urban teaching intentions, teaching efficacy and urban teaching attitudes did not show a significant change within the first cohort while the second cohort demonstrated a significant change in teaching efficacy. Both cohorts showed a positive shift in urban teaching intentions. Both cohorts reflected positively on the urban field experience site. The second cohort exhibited greater empathy for urban student concerns and a greater appreciation for urban teachers’ efforts. More time spent in schools with urban teacher mentors and students, along with a shift in the urban field experience to later in the semester may have contributed to the positive change in results.
Period Robustness and Entrainability under Changing Nucleotide Concentrations in the In-vitro Kai Circadian

CLOCK Circadian clocks must be entrainable to keep their oscillations in phase with the day-night rhythm. On the other hand, they must also exhibit input compensation: the period must remain about one day in different constant environments. The post-translational oscil-lator of the Kai system can be entrained by transient or oscillatory changes in the ATP fraction, yet is insensitive to constant changes in this fraction. We study in three different models of this system how these two seemingly conflicting criteria are met: the Van Zon model (Van Zon et al., PNAS, 2007), the Rust model (Phong et al., PNAS, 2013), and our new model presented in chapter 4. We find that the new model exhibits the best trade-off between input compensation and entrainability: on the footing of equal phase-response curves, it exhibits the strongest input compensation. Performing stochastic simulations at the level of individual hexamers allows us to identify a new mechanism, which is employed by the new model to achieve input compensation: At lower ATP fraction, the individual hexamers make a shorter cycle in the phosphorylation state space, which compensates for the lower pace at which they traverse the cycle.
Community structure of zooplankton and water quality assessment of Jialing River in Sichuan

For understanding the water quality state of Jialing River in Sichuan, the community structure characteristics of zooplankton were investigated in both dry and rainy seasons. By Shannon-wiener diversity index, Margalef richness index and Pielou evenness index and the combination of dominant species in the indicator species in the section was discussed. Results show that The zooplankton in this section consist of 4 classes, 9 orders, 21 families, 30 genera, 62 species, belonging to Protozoa, Pseudocoeloma and Arthropoda respectively. The average number is 2854.4 ind/ L, the average biomass is 2.331 mg/ L. Evaluation results determine the water quality in Sichuan of Jialing River belong to β-mesosaprobic. It was suggested that the further work departments should be carried out to strengthen the necessary consolidate management and ecological repair.
The Use Of Virtual Ethnography In Distance Education Research

D virtual worlds can and have been used as a meeting place for distance education courses. Virtual worlds allow for group learning of the kind enjoyed by students gathered in a virtual classroom, where they know they are in a communal space, they are aware of the social process of learning and are affected by the presence and behaviour of their fellow students and tutor.Traditional ethnography has been adjusted to virtual environments and much research on this issue has been carried out under the umbrella of virtual ethnography. The increase in diverse Internet applications can be pointed out as the cause of this inclination and increase. In this study, the authors explain the method of virtual ethnography in detail, inform about data gathering instruments such as participatory virtual observation, online and offline (face to face) interviews touch upon ethical questions related to field studies and highlight the elements that call for attention in the use of virtual ethnography in distance education studies.
Efficient training of large neural networks for language modeling

Recently there has been increasing interest in using neural networks for language modeling. In contrast to the well-known backoff n-gram language models, the neural network approach tries to limit the data sparseness problem by performing the estimation in a continuous space, allowing by this means smooth interpolations. The complexity to train such a model and to calculate one n-gram probability is however several orders of magnitude higher than for the backoff models, making the new approach difficult to use in real applications. In this paper several techniques are presented that allow the use of a neural network language model in a large vocabulary speech recognition system, in particular very, fast lattice rescoring and efficient training of large neural networks on training corpora of over 10 million words. The described approach achieves significant word error reductions with respect to a carefully tuned 4-gram backoff language model in a state of the art conversational speech recognizer for the DARPA rich transcriptions evaluations.
High resolution analog-to-digital converter for low-frequency high-voltage signals

In this paper, a design and measurements of a high resolution analog-to-digital converter (ADC) will be presented. The implemented SigmaDelta-ADC is combined with a low-noise buffer which enables the use of a single-ended input signal with maximum value of twice the nominal supply. The designed system was measured to achieve input referred noise voltage density of 220 nV/radic(Hz) and a bandwidth up to 1 kHz. The presented system will be applied for digitizing the output of a continuous-time accelerometer.
BibMix: Enrichment of Citation Metadata Based on Integration of Bibliographic Data

A citation in an academic text provides the reader with exact publication information to uniquely identify and locate a scholarly resource for further study. In the domain of academic research, citations are a key part of linking discrete pieces of knowledge. As opposed to the natural language mostly used in academic texts, bibliographic applications are typically based on structured publication information and therefore usually rely on the quality and completeness of automatically extracted citation metadata. However, the results from automatic Citation Metadata Extraction approaches are often unreliable. Moreover, the extracted citation metadata is only a small part of the relevant metadata that is available spread across the internet. In this thesis, we propose an approach and a supporting software component capable of enriching citation metadata with relevant bibliographic data from sources on the web. For the evaluation of the approach, we have designed a quality measure to express the quality of enriched references as a number. Based on this measure we have assessed the quality of the enriched references of BibMix to be 0.72.
Cross-Talk between Peroxisome Proliferator-Activated Receptor ( PPAR ) and Liver X Receptor ( LXR ) in Nutritional Regulation of Fatty Acid Metabolism

Department of Metabolic Diseases (T.Y., N.Y., M.A.-K., T.K., H.O., Y.T., M.S., A.H.H., J.O., S.I.), Faculty of Medicine, Department of Applied Biological Chemistry (R.S.), Graduate School of Agricultural and Life Sciences, University of Tokyo, Bunkyo-ku, Tokyo 113-8655, Japan; and Department of Internal Medicine (T.I., H.S., T.M., S.Y., A.T., H.S., N.Y.), Institute of Clinical Medicine, University of Tsukuba, Ibaraki 305-8575, Japan
An electrochemical micro actuator

In this paper an investigation of the feasibility of a new electrochemical micro actuator is presented. The actuator is fabricated using silicon micro-machining techniques. A gas pressure is generated by electrolysis of an aqueous electrolyte solution. The build up pressure is used to change the deflection of a membrane. The actuator has three states: the electrolysis state, in which the pressure is built up; the passive state, in which the circuit is open and the pressure is maintained; and the pressure reduction state, in which the electrodes are short-circuited in order to reduce the pressure. The advantage of this type of actuation is a low energy consumption. The power is required during pressure build up and to change the states.
A More Accurate Scheme to Detect SYN Flood Attacks

We propose to use the SYN/ACK-CliACK pair's behavior to detect the various SYN flood attacks more accurately. The SYN/ACK packets carry the full information of the TCP connections and it is impossible for the attacker to evade the detection by spoofing the control packets. Moreover, we use a space efficient data structure, counting Bloom filter, to recognize the CliACK packet and the memory cost is 2 MB even for 10 Gbps link speeds. We need to fully compare our scheme with the existing detection mechanisms in future.