Miracle-dz/UniFAR-FTUs huggingface dataset:
Pointwise Stability of Discrete-Time Stationary Matrix-Valued Markovian Processes

In this technical note, we study the pointwise stability of a discrete-time, matrix-valued, and stationary Markovian jump linear system. When the system is restricted to a linear subspace, we show that it is pointwise convergent if and only if it is pointwise exponentially convergent under the framework of probability and symbolic dynamics.
A permanent magnet motor drive without a shaft sensor

A simple control for a permanent motor drive is described which provides a wide speed range without the use of a shaft sensor. Two line-to-line voltages and two stator currents are sensed and processed in analog form to produce the stator flux linkage space vector. The angle of this vector is then used in a microcontroller to produce the appropriate stator current command signals for the hysteresis current controller of the inverter so that near unity power factor can be achieved over a wide range of torque and speed. A speed signal is derived from the rate of change of angle of the flux linkage. A drift compensation program is proposed to avoid calculation errors in the determination of angle position and speed. The control system has been implemented on a 5 kW motor using Nd-Fe-B magnets. The closed loop speed control has been shown to be effective down to a frequency of less than 1 Hz, thus providing a wide range of speed control. An open loop starting program is used to accelerate the motor up to this limit frequency with minimum speed oscillation. <<ETX>>
Template-free word spotting in low-quality manuscripts

As the OCR technique is not yet adequate for handwritten scripts with large lexicon, word spotting has been introducedas an alternative to OCR. This paper proposes a novel approach to word spotting that, instead of matching featuresof the word image to features extracted from predeﬂned templates, uses the estimated posterior probability as theoutput of well trained classiﬂer for spotting. Gabor features are extracted from gray scale image in order to yieldhigher performance on degraded, low quality document image.
Measuring Chinese entrepreneurial motivation: Personality and environmental influences

Purpose – Debates in the literature on entrepreneurship concentrate on whether the focus should be on psychological variables or the external environment. Despite most studies being on the former, many others argue that the external environment is more useful in understanding business start‐ups. This paper seeks to examine the relative influence of both types of variables.Design/methodology/approach – Data were collected from 337 Chinese respondents in three different groups: first, people who do not want to start a business; second, people planning to set up a business; and finally, entrepreneurs who had started successful businesses. Respondents were assessed on three psychological/behavior variables (achievement striving, social networking/Guanxi, and optimism), and one external environment variable (perceived importance of a favorable business environment). Findings – Group comparisons revealed that psychological characteristics as well as the business environment were both significant predictors. Psyc.
The Europeanisation of Parliamentary Democracy

Chapter 1. Introduction: The Europeanization of Parliamentary Democracy Chapter 2. Holding Governments Accountable in European Affairs: Explaining Cross-National Variation Chapter 3. Parliamentary Scrutiny of Negotiations: Coping with Structural Dilemmas Chapter 4. Deliberate Delegation or Abdication? Chapter 5. Government Backbenchers, Ministers and European Union Legislation Chapter 6. Europeanization of Executive-Legislative Relations: Nordic Perspectives Chapter 7. Backbenchers strike back: parliamentary influence in EU affairs Chapter 8. The Role of Committees in European Scrutiny Chapter 9. The Power of Opposition Parliamentary Party Groups in European Scrutiny Chapter 10. Roles and Orientations of Members of Parliament in the EU Context: Congruence or Difference? Chapter 11. Europeanization or Not? Chapter 14. Relationships between the EP and National Parliaments - Conflict or Co-Operation? Chapter 15. After the Convention: The Future Role of National Parliaments in the European Union.
Developments of Gigabit wireless links in Japan

An overview of recent developments of Gigabit wireless communication links at millimeter-waves in Japan is presented. A 1.25 Gbps wireless Gigabit Ethernet link and a 1.485 Gbps high definition SDI link have been developed adopting 60 GHz-band ASK transceivers. 10 Gbps wireless data transmission has been demonstrated using 120 GHz millimeter-wave photonic technologies. 622 Mbps FWA systems at 36.25/37 GHz-band (uplink/downlink) have been constructed.
QTL Hotspots for Early Vigor and Related Traits under Dry Direct-Seeded System in Rice (Oryza sativa L.)

Strong seedling vigor is desirable trait in dry direct-seeded rice (DSR) for enhancing crop establishment and the ability to compete against weeds. A set of 253 BC3F4 lines derived from cross between Swarna and Moroberekan was phenotyped for early vigor (EV) and 8 related traits viz., early uniform emergence (EUE), shoot length (SHL), stem length (SL), shoot fresh weight (SFW), total fresh weight (TFW), shoot dry weight (SDW), total dry weight (TDW), and root dry weight (RDW). Composite interval mapping analysis using genotypic data from 194 SNP markers identified six genomic regions associated with traits on chromosomes 3, 4, 5, and 6 with phenotypic variance ranging from 2.5 to 18.6%. Among them 2 QTL regions; one on chr3 (id3001701-id300833) and the other on chr5 (wd5002636-id5001470) were identified as QTL hotspots A and B respectively and expressed consistently in field as well as glasshouse condition. The majority of QTLs identified for early vigor, and related traits were clustered in the QTL hotspots A (qEV3.1, qEUE3.1, qSHL3.1, qSL3.1, qSFW3.1, qTFW3.1, qRDW3.1) and QTL hotspot B (qEV5.1, qEUE5.1, qSHL5.1, qSL5.1, qSFW5.1, qSDW5.1, qTDW5.1). Ten putative candidate genes viz., 1-alpha-amylase precursor, 2-glutamate decarboxylase, 1-ethylene-insensitive 3, 3-expansin precursor, and 3-phenylalanine ammonia-lyase associated with the target traits were identified in the selected QTL regions. Mutations were identified in the coding region of alpha-amylase precursor and ethylene-insensitive 3 gene between the parents which can be utilized in marker assisted breeding. Trait relationships among the agro-physiological traits were examined to select the best genotypes for the given traits for use in future breeding programs.
A Comparative Analysis Of Two Position Based Hybrid Routing Algorithms Over MANETs . Mr .

Mobile ad hoc networks (MANETs) are autonomously self-organized networks without infrastructure support. In a mobile ad hoc network, nodes move arbitrarily; therefore the network may experience rapid and unpredictable topology changes. Here each node participating in the network acts as host and a router and therefore must forward packets for other nodes. Because nodes in a MANET normally have limited transmission ranges, some nodes cannot communicate directly with each other. Hence, routing paths in mobile ad hoc networks potentially contain multiple hops, and every node in mobile ad hoc networks has the responsibility to act as a router. Researches in this area are mostly simulation based, and in this paper we will be analyzing the performance of DWI-PBHRA routing protocol with the PBHRA. In the performance evaluation of the protocol, the protocols are tested under the realistic conditions including evaluating performance when applied to variable pause times and constant number of nodes we perform extensive simulations using NS-2 simulator.
salesPLUS a Product Configuration Tool

This paper describes a new tool for product configuration based upon constraint techniques. The method is implemented in the Beologic Product Configurator salesPLU$. It has very strong features for the end user; free order of choices, guaranteed fast response times and optimization functions. The method supports an easy maintenance process with a unique consistency check of configuration data. We compare the tool with previously proposed methods like expert systems to show the advantages of this approach. An simple example of car configuration is presented, however the tool is currently being used for complex products like PABX, vending machines, financial services, pumps. 61 From: AAAI Technical Report FS-96-03. Compilation copyright © 1996, AAAI (www.aaai.org). All rights reserved.
Road vanishing-point detection: A multi-population genetic algorithm based approach

In this paper, we propose a robust method for the fast estimation of the road vanishing point in challenging scenarios based on multiple population genetic algorithm (MPGA). The proposed method consists of three main parts: the first part is a searching method which searches for vanishing point candidates by multiple population genetic algorithm, the second part is a locally tangent-based voting method which obtains the value of the fitness function for the first part, and the last part is a local dominant texture orientation estimation method which applies Gabor filter banks to estimate the local dominant orientation of the vanishing point candidate and its voters for the second part. The proposed method has been tested on a vanishing point dataset which contains over 200 various road images. The experimental results demonstrate that the proposed method is both efficient and effective in detecting vanishing point compared with some state-of-the-art methods.
Calibration of Nonoverlapping In-Vehicle Cameras With Laser Pointers

This paper introduces a new approach to calibrating inward- and outward-facing in-vehicle cameras using a laser pointer. Since inward cameras, which observe the driver's behavior, and outward cameras, which observe the driver's field of view, do not have overlapping views, the conventional calibration methods for stereo cameras cannot be applied directly. A method is presented in which the two cameras can be connected by a laser emitted from a laser pointer. The laser pointer is mounted on a calibration board so that the laser ray's pose within the calibration board's coordinate system can be calculated. Two algorithms are presented based on this idea: the coplanar method and the collinear method. We compare the performance of the two proposed algorithms with the conventional mirror-based method through simulations and experiments. Finally, the laser-based collinear method is applied to the calibration of an in-vehicle camera system. In contrast to other methods, the proposed method is simple, practical, and particularly well suited to the calibration of nonoverlapping in-vehicle cameras in a factory or a garage.
Labor and Legality: An Ethnography of a Mexican Immigrant Network

Labor and Legality: An Ethnography of a Mexican Immigrant Network is an ethnography of undocumented immigrants who work as busboys at a Chicagoarea restaurant. Ruth Gomberg-Muñoz introduces readers to the Lions, ten friends from Mexico committed to improving their fortunes and the lives of their families. Set in and around "Il Vino," a restaurant that could stand in for many places that employ undocumented workers, Labor and Legality reveals the faces behind the war being waged over "illegal aliens" in America. Gomberg-Muñoz focuses on how undocumented workers develop a wide range of social strategies to cultivate financial security, nurture emotional well-being, and promote their dignity and self-esteem. She also reviews the political and historical circumstances of undocumented migration, with an emphasis on post-1970 socioeconomic and political conditions in the United States and Mexico.
Programming an Artificial Neural Network Tool for Spatial Interpolation in GIS - A Case Study for Indoor Radio Wave Propagation of WLAN

Wireless communication networks offer subscribers the possibilities of free mobility and access to information anywhere at any time. Therefore, electromagnetic coverage calculations are important for wireless mobile communication systems, especially in Wireless Local Area Networks (WLANs). Before any propagation computation is performed, modeling of indoor radio wave propagation needs accurate geographical information in order to avoid the interruption of data transmissions. Geographic Information Systems (GIS) and spatial interpolation techniques are very efficient for performing indoor radio wave propagation modeling. This paper describes the spatial interpolation of electromagnetic field measurements using a feed-forward back-propagation neural network programmed as a tool in GIS. The accuracy of Artificial Neural Networks (ANN) and geostatistical Kriging were compared by adjusting procedures. The feedforward back-propagation ANN provides adequate accuracy for spatial interpolation, but the predictions of Kriging interpolation are more accurate than the selected ANN. The proposed GIS ensures indoor radio wave propagation model and electromagnetic coverage, the number, position and transmitter power of access points and electromagnetic radiation level. Pollution analysis in a given propagation environment was done and it was demonstrated that WLAN (2.4 GHz) electromagnetic coverage does not lead to any electromagnetic pollution due to the low power levels used. Example interpolated electromagnetic field values for WLAN system in a building of Yildiz Technical University, Turkey, were generated using the selected network architectures to illustrate the results with an ANN.
Ship voyage energy efficiency assessment using ship simulators

The increase in global trade is driving growth in both the size and number of ships. However, this increased demand is leading to greater contributions from shipping to air pollution. This is leading designers and operators to propose and adopt novel powering and propulsion systems. However, there is a challenge with assessing the actual benefit from using a certain retrofit technology or changing the operating conditions of their ships, this may be addressed using numerical simulations. This paper presents a time-domain one-degree of freedom ship simulator implemented in MATLAB/Simulink to enable designers to predict the performance of ship propulsion system during voyages. The proposed simulator is used to assess the effectiveness of three different EEDI and SEEMP measures suggested by IMO to increase ship's propulsion system effciency which are: voyage execution, slow steaming, and hybrid electric power and propulsion concepts using fuel cells. The developed simulator can be used for further studies and more elements are planned to be added to the ship simulators to make it more generic and capable of testing more propulsion configurations options.
Optimizing the Axial Length of the Slitted Solid Iron Rotor

The effect of the axial length of the solid-rotor on the performance of the induction machine is experimentally studied. Initially, the rotor has 60 mm long "end rings" of solid steel. During the measurement procedure the length of the rotor end iron is shortened from 60 mm to 0 mm and, finally, the rotor length is equal to the stator stack length. It was found that in order to improve the torque production ability and the efficiency of the solid-rotor induction motor the length of the solid-rotor end iron should be as short as possible. It is shown that the effect of the solid-rotor end iron length on the solid-rotor motor efficiency can be as high as 1.5 per cent in a case of a 180 kW, 10200 rpm machine.
MinireviewPhosphoinositide Function in Cytokinesis

In systems as diverse as yeast, slime mold and animal cells, the levels and distribution of phosphatidylinositol phosphates (PIPs) must be strictly regulated for successful cell cleavage. The precise mechanism by which PIPs function in this process remains unknown. Recent experiments are beginning to shed light on the cellular pathways in which PIPs make key contributions during cytokinesis. In particular, PIPs promote proper actin cytoskeletal organization and direct membrane trafficking in dividing cells. Future research will uncover temporal and spatial regulation of the different PIPs, thus elucidating their role in cytoskeletal and membrane events that drive cell cleavage.
Power amplifier behavioral model with focus on NL and coupled dynamics for radar system simulation

In radar systems, where pulsed RF signals are used, one of the main concern is the spurious emission. Such spurious are emissions of frequencies outside the bandwidth of interest. The spurious level must be kept under a Aaaaa level to be compliant with the specifications. In order to check all these specifications, system level simulation can be used, but accuracy and reliability of the simulation results will depend on the circuit model reliability, especially for the Power Amplifier (PA) which is a critical element. Such model must take into account the different memory effects. This paper proposes a complete and practical methodology to extract a Behavioral PA model dedicated to radar applications. A specific attention is paid on the coupling effects between short and long term memory dynamics.
Event Detection for Supporting Environmental Scanning: An Information Extraction-based Approach

Environmental scanning, the acquisition and use of the information about events, trends, and relationships in an organization’s external environment, permits an organization to adapt to its environment and to develop effective responses to secure or improve the organization’s position in the future. Event detection technique that identifies the onset of new events from streams of news stories would facilitate the process of organization’s environmental scanning. However, traditional feature-based event detection techniques cannot capture the genuine properties of an event contained in a news story and cannot support event categorization and news stories filtering. In this study, we developed an information extraction-based event detection (NEED) technique that combines information extraction and text categorization techniques to address the problems inherent to traditional feature-based event detection techniques. Using a traditional feature-based event detection technique (INCR) as benchmarks, the empirical evaluation results showed that the proposed NEED technique improved the effectiveness of event detection measured by miss and false alarm rates.
Formulation and Numerical Solution of Nash Equilibrium Multiobjective Elliptic Control Problems

The formulation and the semismooth Newton solution of Nash equilibrium multiobjective elliptic optimal control problems are presented. Existence and uniqueness of a Nash equilibrium are proved. The corresponding solution is characterized by an optimality system that is approximated by second-order finite differences and solved with a semismooth Newton scheme. It is demonstrated that the numerical solution is second-order accurate and that the semismooth Newton iteration is globally and locally quadratically convergent. Results of numerical experiments confirm the theoretical estimates and show the effectiveness of the proposed computational framework.
Long noncoding RNA H19 indicates a poor prognosis of colorectal cancer and promotes tumor growth by recruiting and binding to eIF4A3

The overall biological role and clinical significance of long non-coding RNA H19 in colorectal cancer (CRC) remain largely unknown. Here, we firstly report that the lncRNA H19 recruits eIF4A3 and promotes the CRC cell proliferation. We observed higher expression of H19 was significantly correlated with tumor differentiation and advanced TNM stage in a cohort of 83 CRC patients. Multivariate analyses revealed that expression of H19 served as an independent predictor for overall survival and disease-free survival. Further experiments revealed that overexpression of H19 promoted the proliferation of CRC cells, while depletion of H19 inhibited cell viability and induced growth arrest. Moreover, expression profile data showed that H19 upregulated a series of cell-cycle genes. Using bioinformatics prediction and RNA immunoprecipitation assays, we identified eIF4A3 as an RNA-binding protein that binds to H19. We confirmed that combining eIF4A3 with H19 obstructed the recruitment of eIF4A3 to the cell-cycle gene mRNA. Our results suggest that H19, as a growth regulator, could serve as a candidate prognostic biomarker and target for new therapies in human CRC.
Reasoning about functional programs and complexity classes associated with type disciplines

We present a method of reasoning directly about functional programs in Second-Order Logic, based on the use of explicit second-order definitions for inductively defined data-types. Termination becomes a special case of correct typing. The formula-as-type analogy known from Proof Theory, when applied to this formalism, yields λ-expressions representing objects of inductively defined types, as well as λ-expressions representing functions between such types. A proof that a functional closed expression e is of type T maps into a λ-expression representing (the value of) e; and a proof that a function f is correctly typed maps into a λ-expression representing f (modulo the representations of objects of those types). When applied to integers and to numeric functions the mapping yields Church's numerals and the traditional function representations over them. The λ-expressions obtained under the isomorphism are typed (in the Second-Order Lambda Calculus). This implies that, for functions defined over inductively defined types, the property of being proved everywhere-defined in Second-Order Logic is equivalent to the property of being representable in the Second-Order Lambda Calculus. Extensions and refinements of this result lead to other characterizations of complexity classes by type disciplines. For example, log-space functions over finite structures are precisely the functions over finite-structures definable by λ-pairing-expressions in a predicative version of the Second-Order Lambda Calculus.
System investigation of a gateway implementing subflow control policies using a multipath TCP proxy

To provide better performance for different applications, multiple ISP subscriptions will be helpful. However, the existing gateways for multiple ISP connections do not meet performance requirements for both UDP and TCP applications. In this paper, we explain how we have designed and implemented a gateway to meet such requirements. Our gateway provides subflow control policies which solve conflicts between UDP and TCP flows. Through experimental evaluations, we have confirmed its effectiveness.
Adaptive Time Frequency Resolution for Blind Source Separation

In this article, we investigate the influence of adaptive time-frequency resolution schemes on a monaural blind source separation algorithm. The goal is to show that the capability of separating the original signals from the mixture is increased if we adapt the time-frequency resolu- tion of the short-time Fourier transform to a certain mix- ture's characteristics. We will therefore implement differ- ent adaptive time-frequency schemes based on the usage of analysis windows of various lengths. The rules that define the mixing schemes rely on two measures: a transient detec- tion measure by means of phase deviations and an energy concentration measure. Both algorithms are evaluated on a large test set, improvements being shown by use of objective quality measures.