Miracle-dz/UniFAR-FTUs huggingface dataset:
Attractive Quantum Subsystems and Feedback-Stabilization Problems

We propose a general theoretical framework that is suitable to study a wide class of stabilization problems for quantum Markovian dynamical systems. Building on systemtheoretic ideas, we propose definitions of invariant and attractive quantum subsystem, characterize Markovian invariance properties, and provide sufficient conditions for attraction. The general framework and results are illustrated by addressing the potential of output-feedback Markovian control strategies for quantum pure state-stabilization. In particular, constructive results for the synthesis of stabilizing semigroups in arbitrary finite-dimensional Markovian systems are established. I. BACKGROUND AND MOTIVATIONS Stabilization problems are of central relevance for many quantum control applications, ranging from state preparation of quantum-optical and nano-mechanical systems to generation of noise-protected realizations of quantum information in realistic devices [1]. Dynamical systems undergoing Markovian evolution [2], [3] are both widely relevant from a physical standpoint and present distinctive control challenges – preventing, in particular, open-loop quantum-engineering and stabilization methods based on dynamical decoupling to be viable [4], [5]. However, we show here how a wide class of stabilization problems can be effectively treated in a general framework, provided by attractive quantum subsystems. After introducing the main ideas and definitions along with some general results, we shall explore their application to pure-state preparation problems for Markovian output-feedback control. We refer to the forthcoming journal version of the present paper [6] for detailed proofs we shall omit or merely sketch in the following sections. Consider a separable Hilbert space H over the complex field C. Let B(H) represent the set of linear bounded operators on H, H(H) denoting the real subspace of Hermitian operators, with I, O being the identity and the zero operator, respectively. In the standard statistical formulation of quantum mechanics [7], [8], the dimension of the Hilbert space H associated with the quantum system of interest, Q, is determined by the physics of the problem. In what follows, we consider finite-dimensional systems, i.e. dim(H) 0 being described by a TracePreserving, Completely-Positive (TPCP) map Tt(·) [12], [1]. A differential equation for the density operator of I may be derived provided that a forward composition law holds: Definition 1 (QDS): A quantum dynamical semigroup is a one-parameter family of TPCP maps {Tt(·), t ≥ 0} that satisfies: (i) T0 = I, (ii) Tt ◦ Ts = Tt+s, ∀t, s > 0, (iii) trace(Tt(ρ)X) is a continuous function of t, ∀ρ ∈ D(HI), ∀X ∈ B(HI). Due to the trace and positivity preserving assumptions, a QDS is a semigroup of contractions. It has been proved [10], [13] that the Hille-Yoshida generator for a QDS exists and can be cast in the following canonical form:
Explaining customer's continuance intention to use mobile banking apps with an integrative perspective of ECT and Self-determination theory

Digital payments evolve as the next generation system to take over the global commerce landscape in the same manner in which internet and mobile telephony had dominated the traditional communication domains. The use of mobile banking apps has spurred the digital medium across the globe and resulted in a fundamental shift in retailing practices. The purpose of this paper is to comprehend various factors influencing the customer’s continuance intentionbehavior to use mobile banking apps. In this study, we developed a research model that encompasses the attributes of Expectation confirmation theory (ECT) and Self-determination theory (SDT). The research model was tested using survey data collected from 744 respondents across various demographics and analyzed using structural equation modeling (SEM) to understand the usage behavior of mobile banking apps in a multi-faceted business environment. The various hypothesis of the research model indicate that mobile banking apps continuance intention usage behavior is strongly influenced by the satisfaction, intrinsic and identified regulations, whereas satisfaction is influenced by the expectation-confirmation, trust, and quality. The research findings reveal that, “An enormous potential are available for marketing managers and researchers to tape these opportunities and plan for continual and sustainable growth of mobile banking apps.
A Verification Method for Software Safety Requirement by Combining Model Checking and FTA

Formal verification for safety-critical software requirements is used to improve the safety of software system. Model checking precisely verifies the related properties of software system, but there still exist limitations in properties extraction which is traditionally obtained by artificial definition. In this paper, a combined technology of model checking and FTA (Fault Tree Analysis) is applied to the software safety requirements verification, mainly to solve the problem of properties extraction in model checking. First the software system model is described in finite state machine (FSM). Second the safety properties are achieved by combining FTA and Computational Tree Logic (CTL) of model checking. Next the open source tool of model checker NuSMV is applied to implement the verification of software safety requirements. Finally this methodology is illustrated with an application to an ABP (Alternating Bit Protocol) instance. The application results can show the effectiveness of the method.
THE STRUCTURE AND DISTRIBUTION OF POLYCHAETE POPULATIONS INFLUENCED BY SEWAGE FROM THE ROMANIAN COAST OF THE BLACK SEA

The present study attempts to reveal the structure and the distribution of polychaete communities along organic pollution gradient in an area situated near the Eforie Sud sewage outfall pipe. Four sampling stations situated at different distances from the outfall were quantitatively sampled. It was shown that in the strongly polluted area, situated in the immediate vicinity of the domestic sewage discharge, there is a total absence of polychaetes. In the polluted area the specific diversity of the polychaete fauna was very low. Here persisted only few species very resistant to pollution such as Alitta succinea (Frey & Leuckart, 1847), Polydora websteri Hartman, 1943, and Polydora cornuta Bosc, 1802. Often these tolerant species were present in large numbers. In moderately polluted area the number of polychaete species tended to increase with the distance from the effluent. Polychaete populations structure in moderately polluted areas was similar to area unaffected by waste-water, but where predominated euryoecious species such as Platynereis dumerilii (Audouin & Milne- Edwards, 1833), Namanereis littoralis (Grube, 1872), and Salvatoria clavata (Claparede, 1863). The unpolluted area, located out of the influence of the waste discharge, was characterized by the presence of the epibenthic sensitive polychaetes such as Syllis gracilis Grube, 1850, Typosyllis hyalina (Grube, 1863), Nereis zonata Malmgren, 1867, and Eulalia clavigera (Audouin & Milne-Edwards, 1834).
Understanding entrepreneurial intentions of students in agriculture and related sciences

There is a growing body of literature arguing that an individual's intention to start an enterprise is a strong predictor of individual entrepreneurial action. The present research uses Ajzen’s (1991) theory of planned behavior (TPB) to investigate entrepreneurial intent of agricultural students. The TPB offers a parsimonious explanation of purposeful behavior and has been used with success in previous research studies to explain the entrepreneurial intent of business and engineering students. However, research studies that examine the application of the theory to students from agricultural universities are scarce. In the present research, we empirically examine the TPB using data from 65 students from the Agricultural University of Athens, Greece. Results, using path analysis, support previous studies that used TPB to predict entrepreneurial intentions, which suggest that students’ attitudes towards entrepreneurship are related to their intention (INT) to start a business. In addition perceived behavioral control (PBC) is a strong predictor of INT. As far the role of subjective norm (SN) is concerned, results of the present study suggest that it has a small negative, and statistically significant effect. Furthermore, in line with recent theoretical and empirical studies about the potential role of emotions in entrepreneurship, we investigated the role of anticipated emotional ambivalence in students’ entrepreneurial intent. Results suggest that anticipated emotional ambivalence from nascent entrepreneurship (that is, students’ future oriented emotions relating to the expectancy of feeling both positive and negative affect) relates negatively to perceived behavioral control.
Using triangulation to identify word senses Conference or Workshop Item Other Latex

Word sense disambiguation is the task of determining which sense of a word is intended from its context. Previous methods have found the lack of training data and the restrictiveness of dictionaries' choices of senses to be major stumbling blocks. A robust novel algorithm is presented that uses multiple dictionaries, the Internet, clustering and triangulation to attempt to discern the most useful senses of a given word and learn how they can be disambiguated. The algorithm is explained, and some promising sample results are given.
A physics-based analytical model of an AlGaN/GaN high electron mobility transistor

Popular semiconductors currently being used for RF applications include GaAs and InP. The operating frequencies for HEMTs built with these semiconductors covers the range from 800 MHz to 100 GHz. Although high-speed operation is attainable using GaAs or InP, product performance is limited when considering high-power applications, where a high breakdown field and thermal conductivity is needed. Proposed about fifteen years ago as a solution to this problem, GaN has emerged as a viable candidate to challenge, and perhaps overtake, GaAs and InP as the dominant semiconductor in RF products, particularly power amplifiers. This is due to its high breakdown field, large band gap, and high thermal conductivity (relative to InP and GaAs). GaN possesses other material parameter values that are favorable to existing technologies such as carrier saturation velocity, dielectric constant, and piezoelectric coefficients. On a worldwide scale, researchers and industry experts continue to work on the modeling of GaN-based HEMT devices in hope that GaN can be used commercially in the near future. The proposed model is physics-based, making use of the Schrodinger and Poisson equations to establish relationships between the sheet carrier density, Fermi Level, and device terminal voltages. The quantum well formed at the heterointerface is approximated as a triangular well with two eigenstates, both determined from the Schrodinger equation. The charge control equations were carried over into the I/V derivations and channel charge derivations for capacitance calculations.
Life strategies of Viviparidae (Gastropoda: Caenogastropoda: Architaenioglossa) in various aquatic habitats: Viviparus viviparus (Linnaeus, 1758) and V. contectus (Millet, 1813)

Viviparidae display two categories of life history traits – one constant and independent of habitat, another depending on ecological conditions. The relatively constant abundance is ensured by clustering in the same places at the same time, sex ratio (prevalence of females), size structure (presence of all size classes, with the largest snails forming the majority), and the high proportion of gravid females in the population. These traits undergo only seasonal variation in particular habitats. Adjustment to environmental changes involves the number of embryos per female and the size of reproducing females. Long-term life history studies were performed on Viviparus viviparus (L.) and V. contectus (Mill.) from various habitats (dam reservoir, river, oxbows connected to the river to varied extent) in Poland. The habitats differed in their surface area, depth and trophic status. The snails from the dam reservoir, ecotone zones in the river and stagnant oxbow lakes reproduced at a large body size, their fecundity being size-dependent. In very variable habitats, like oxbow lakes periodically joined to the river, viviparids reproduced at a younger age and smaller body size, while their fecundity did not increase with the body size. The reproduction was the most important factor determining the viviparid density in the studied habitats. This was mainly associated with the ovoviviparity which allowed for controlling the reproduction process. Reproduction is a flexible life history trait in the populations of V. viviparus and V. contectus.
AC 2007-2577: TEACHING OF DYNAMIC SYSTEMS WITH INTEGRATED ANALYTICAL AND NUMERICAL TECHNIQUES

Mastering ordinary differential equations is very important and essential to being successful in this course of Dynamics Systems. In order to help the students further explore these new concepts and overcome some of the issues related to these deficiencies in material recall, integrated analytical and numerical techniques are adopted in teaching. One problem can be solved by various different approaches. Analytically, the method of undetermined coefficients and the Laplace transform method are used. Numerically, the transfer function method and the block diagram method in Simulink; LTI models, and symbolic toolbox in Matlab, etc, are used. Numerical approaches, especially with the transfer function method in Simulink, visualize the physics and results behind the seemingly daunting equations. By showing the application of different techniques to the same problem, students are inspired to learn the resulting similarities and differences. The MATLAB graphical user interfaces were developed for second order dynamic systems for both free vibration and forced vibration. The visual interface presents results in a way that students can immediately identify the effects of changing system parameters. Both time response and frequency response are clearly shown in the interface. In the course, a research related project is assigned to identify the dynamic response of a portable telecommunication device. In this project, students are required to use both analytical and numerical approaches to show the insight of the material selection affects the reliability of the portable telecommunication devices.
THE USE OF THE CLEGG IMPACT TESTER IN MANAGING AND DESIGNING AGGREGATE-SURFACED ROADS

A review of existing applications and operations of the Clegg Impact Tester, or Clegg Hammer, and an investigation into further applications of its use in managing traffic during spring breakup and in designing aggregate surfaces on low-volume roads are presented. A significant need exists for a simple, cost-effective, and quantifiable design device such as the Clegg Hammer. Findings support the earlier form of correlation between the California Bearing Ratio (CBR) and the Clegg Impact Value (CIV), but indicate that the coefficients may vary for different materials. The operating instructions of the Clegg Hammer recommended that the standard CIV be taken as the reading after the fourth blow is made. This recommendation was substantiated. Tests show that the depth to which an underlying material would influence the CIV is at least 12 inches. No correlation was found between the CIV and the Benkelman Beam deflections, but good correlation was found with the Falling Weight Deflectometer readings.
AFRL-RZ-WP-TP-2012-0134 USE OF ULTRASONIC FORCE MICROSCOPY TO IMAGE THE INTERIOR NANOPARTICLES IN YBa 2 Cu 3 O 7 – x FILMS ( POSTPRINT )

Nanoparticles present in the interior of YBa2Cu3O7 x (YBCO) films were successfully imaged for the first time by using an ultrasonic force microscope (UFM), which can also operate as a conventional atomic force microscope (AFM). Nanoparticles of Y2BaCuO5 and BaSnO3 were introduced into YBCO films using pulsed laser ablation to improve critical current density via enhanced flux pinning. The scanning speed and ultrasonic frequencies in the range of 300–500 kHz were optimized for each sample such that the nanometer sized particles on the surface as well as from the film interior can be imaged with good contrast and resolution. UFM and AFM scans taken of the same locations were compared to show the advantages of using UFM over AFM. We demonstrate that UFM can be used nondestructively to both characterize the interior nanoparticles introduced in YBCO films and provide high resolution images of the screw dislocation induced terraces present in the films.
Risk Multidimensional Measure of Complex Accident System

In order to improve complex system safety level, it must be based on an accurate measure of risk, from the perspective of complex accident system, extracted the risk multidimensional status indicators. Then improved the extenics method, the correlation function and affiliation between multidimensional risk indicators to classic matter- element region (risk level region) and festival field matter- element region (risk indicators value region) were considered. The geometric mean and arithmetic mean of single indicator risk degree was integrated to calculate the final comprehensive risk degree. The proposed method can effectively improve the objectivity and accuracy of the risk measure.
A New Methodology for Recognition of Milling Features from STEP File

In recent years, various researchers have come up with different ways and means to integrate CAD and CAM. Automatic feature recognition (AFR) from a CAD solid model for down stream applications like process planning and NC program, greatly contribute to the level of integration. When generating G&M codes from CAD DXF file, it leads to the loss of geometric information and the user is to edit and fills the details of the lost data. STEP is an international standard for geometric and non geometric data transfer between CAD, CAE and CAM and it replaces the IGES and DXF. For that reason this paper proposes an automatic feature recognition methodology to develop a feature recognition system using STEP file. The proposed methodology is developed for 3D prismatic parts that are modeled any CAD software having STEP output file format. A JAVA program is used to implement the geometric data extraction algorithm, which has been developed for extracting the geometric information from the STEP file. A feature recognition algorithm is used to recognize the different features of the part such as slot, pocket etc based on geometric reasoning approach by taking B-rep data base as input. The authors present an example to demonstrate the application of the proposed methodology.
Multi-static synthetic aperture radar and inverse scattering

In this paper synthetic aperture radar is analyzed from an inverse scattering perspective. It is shown that the classical point scattering model can be generalized to a dipole scattering model. The dipole scattering model reduces to the point scattering model for small aperture angles. For large aperture angles or multiple illumination apertures the dipole model gives an anisotropic reﬂectivity such that orthogonal scattering processes are separated. Moreover, it is shown that both the point and dipole scattering models can be interpreted as an initial step of a least-squares inverse scattering algorithm.
The Golden Period for Growth in Chile: Explanations and Forecasts

Economic growth in Chile since the mid 1980s has been remarkable for its high level and persistence. This paper attempts to shed light on the factors behind it and analyze the extent to which they can be sustained in the future. The first part of the paper presents some stylized facts. Taken together, they suggest that the jump in growth was driven by policies and macroeconomic conditions that affected the economy’s overall productivity. The second part of the paper considers the recent empirical growth literature to examine the extent to which a cross-country approach can explain Chile’s growth. We formulate and estimate – using techniques suited for dynamic models of panel data— a basic model containing the most popular variables in the literature. Our basic model allows us to explain about 45% of the change in the growth rate between 1970-85 and 1986-1998, which was 4.74%. When we expand the basic model to include the quality of the political system and governance, the comprehensiveness and compl ementarity of policy reforms, and the availability of public services and infrastructure, we can explain 73% of the growth improvement. The last part of the paper starts the evaluation of possible new growth sources for Chile by, first, projecting the country’s growth rate for the next decade under various assumptions and, second, proposing some areas with potentially large returns.
GALAXY STELLAR MASS FUNCTIONS FROM ZFOURGE/CANDELS: AN EXCESS OF LOW-MASS GALAXIES SINCE z = 2 AND THE RAPID BUILDUP OF QUIESCENT GALAXIES

Using observations from the FourStar Galaxy Evolution Survey (ZFOURGE), we obtain the deepest measurements to date of the galaxy stellar mass function (SMF) at 0.2 < z < 3. ZFOURGE provides well-constrained photometric redshifts made possible through deep medium-bandwidth imaging at 1–2 μm. We combine this with Hubble Space Telescope imaging from the Cosmic Assembly Near-IR Deep Extragalactic Legacy Survey, allowing for the efficient selection of both blue and red galaxies down to stellar masses of ∼109.5 M☉ at z ∼ 2.5. The total surveyed area is 316 arcmin2 distributed over three independent fields. We supplement these data with the wider and shallower NEWFIRM Medium-Band Survey to provide stronger constraints at high masses. Several studies at z ⩽ 1.5 have revealed a steepening of the slope at the low-mass end of the SMF, leading to an upturn at masses <1010 M☉ that is not well described by a standard single-Schechter function. We find evidence that this feature extends to at least z ∼ 2 and that it can be found in both the star-forming and quiescent populations individually. The characteristic mass (M*) and slope at the lowest masses (α) of a double-Schechter function fit to the SMF stay roughly constant at Log(M/M☉) ∼ 10.65 and ∼ − 1.5, respectively. The SMF of star-forming galaxies has evolved primarily in normalization, while the change in shape is relatively minor. Our data allow us, for the first time, to observe a rapid buildup at the low-mass end of the quiescent SMF. Since z = 2.5, the total stellar mass density of quiescent galaxies (down to 109 M☉) has increased by a factor of ∼12, whereas the mass density of star-forming galaxies only increases by a factor of ∼2.2.