Miracle-dz/UniFAR-FTUs huggingface dataset:
Analysis of the periodic Lyapunov and Riccati equations via canonical decomposition

A new proof is given of the following result: a periodic Riccati equation admits a unique positive semidefinite periodic solution and the solution is stabilizing if and only if the underlying system is stabilizable and detectable. The proof hinges on the decomposition of the Riccati equation induced by the system canonical decomposition. The solution structure is therefore naturally pointed out.
Overturning thresholds of a rocking block subjected to harmonic excitation: Computer simulations and analytical treatment

When a rigid block resting on a horizontal rigid foundation is shaken by a periodic excitation it can topples if the excitation amplitude is sufficiently high. This question is addressed in this work by the combined use of numerical and analytical tools. Numerical computations are first performed aimed at understanding the overall overturning behavior, and how it is modified by varying relevant parameters, such as the excitation phase and the coefficient of restitution at impacts. Then the problem is addressed from a theoretical point of view, with the objective of analytically detecting the most relevant features highlighted by previous numerical simulations. We succeed in obtaining closed form and manageable criteria for overturning.Copyright © 2003 by ASME
Stress assignment in letter‐to‐sound rules for speech synthesis

This paper will describe a program that attempts to determine word stress from spelling. Four sources of constraints will be discussed: (1) syllable weight, (2) part of speech, (3) morphology, and (4) etymology. Stress assignment is a well‐established weak point for many speech synthesizers because stress dependencies cannot be determined locally. It is impossible to determine the stress of a word by looking through a five‐ or six‐character window, as many speech synthesizers do. Well‐known examples such as degrade/degradation and telegraph/telegraphy demonstrate that stress dependencies can span over two and three syllables. In addition, examples such as calculi and tortoni demonstrate that stress is sensitive to etymology, a nonlocal property of the entire word. Calculi, like most other latinate forms, obeys the main stress rule of English, which assigns antipenultimate stress to nouns ending in two light syllables. In contrast, tortoni, like most other Italian and Japanese loan words, receives penultim.
Algemene gegevens / General Information Programma / Programme DoelmatigheidsOnderzoek: deelprogramma Implementatie Subsidieronde / Subsidy round IMP - round 09 - subsidieaanvraag Projecttitel / Project title (Cost)-Effectiveness of two different strategies to improve the quality of antibiotic use in

Programma / Programme DoelmatigheidsOnderzoek: deelprogramma Implementatie Subsidieronde / Subsidy round IMP round 09 subsidieaanvraag Projecttitel / Project title (Cost)-Effectiveness of two different strategies to improve the quality of antibiotic use in patients with urinary tract infections (UTIs) in the hosptial Is dit project een vervolg op een eerder project gehonoreerd door ZonMw? / Is this project a continuation of a project that has been previously funded bij ZonMw? Nee Aanvrager / Applicant
Fast LCNN ICA for unsupervised hyperspectral image classifier

Since in remote sensing each pixel could have its own unique radiation source s including man-made objects associated with different spectral reflectance matrix A, we could not average over neighborhood pixels. Instead, we solve pixel-by-pixel independent classes analysis (ica) without pixel average by Lagrange Constraint of the data measurement model and Gibbs' equal a priori probability assumption based on Shannon's Entropy H(s) with probability normalization condition for an arbitrary number of M classes that is bounded by the spectral data components N. We formulate the Fast Lagrangian method to maximize the Shannon entropy with the equality constraints in order to achieve O(N) numerical complexity contrary to the O(N2) numerical complexity associated with the solution of the inverse problem required in the classical Lagrangian formulation. Trivial equal probability solution with uniformly distributed class vector s is avoided by introducing additional set of the inequality constraints. The unknown spectral reflectance matrix A is estimated blindly in non-parameterized form minimizing an LMS energy function. We apply the Riemannian metric to the gradient learning for reproducing the biological Hebbian rule in terms of a full rank vector outer product formula and demonstrate faster convergence than standard Euclidean gradient. Since the proposed Fast Lagrangian method has O(N) numerical complexity we have achieved a real time hyperspectral remote sensing capability as platform moves, samples and processes. A FPGA firmware implementation for massive pixel parallel algorithm has been fired for patent.
A note on the generation of Tollmien-Schlichting waves by sudden surface-curvature change

This note is primarily concerned with the generation of spatially growing Tollmien-Schlichting waves by the interaction of very long-wavelength free-stream disturbances with a discontinuity in the curvature of a bounding surface (whose slope may or may not be continuous). The theory is combined with a numerical solution of the local Orr-Sommerfeld equation, and the result is used to predict the Tollmien-Schlichting amplitude in a relevant experiment carried out by Leehey & Shapiro (1980). The calculated results are in satisfactory agreement with their observations.
Control and Verification of the Safety-Factor Profile in Tokamaks Using Sum-of-Squares Polynomials.

Abstract In this paper, we propose a method of using the sum-of-squares methodology to synthesize controllers for plasma stabilization in Tokamak reactors. We use a partial differential model of the poloidal magnetic flux gradient and attempt to stabilize a reference safety-factor profile. Our methods utilize full-state feedback control and are based on solving a dual version of the Lyapunov operator inequality. In addition, we implement the controller in-silico using experimental conditions inferred from the Tore Supra tokamak.
Bayesian factor models for the detection of coherent patterns in gene expression data

A common problem in the analysis of gene expression microarray data is the identiﬁcation of groups of features that are coherently expressed. For example, one often wishes to know whether a group of genes, clustered because of correlation in one data set, are still highly co-expressed in another data set. Alternatively, for some expression array platforms there are many, relatively short probes for each gene of interest. In this case, it is possible that a given probe is not measuring its targeted gene, but rather a different gene with a similar region (called cross-hybridization). Accurate detection of the collection of probe sets (groups of probes targeting the same gene) which demonstrate highly coherent expression patterns is the best approach to the identiﬁcation of which genes are present in the sample. We develop a Bayesian Factor Model (BFM) to address the general problem of detection of coherent patterns in gene expression data sets. We compare our method to “state of the art” methods for the identiﬁcation of expressed genes in both synthetic and real data sets, and the results indicate that the BFM outperforms the other procedures for detecting transcripts. We also demonstrate the use of factor analysis to identify the presence/absence status of gene modules (groups of coherently expressed genes). Variation in the number of copies of regions of the genome is a well known and important feature of most cancers. We examine a group of genes, representative of Copy Number Alteration (CNA) in breast cancer, then identify the presence/absence of CNA in this region of the genome for other cancers. Coherent patterns can also be evaluated in high-throughput sequencing data, a novel technology to measure gene expression. We analyze this type of data via factor model and examine the detection calls in terms of read mapping uncertainty.
Cosmic ray response of megapixel LWIR arrays from TIS

We have investigated the response of 10 micron cutoff HgCdTe 1024 × 1024 pixel arrays, grown by Teledyne Imaging Sensors (TIS) on CdZnTe substrates, to ionizing radiation in the form of galactic cosmic ray secondaries near sea level, primarily muons, and natural radiation. The arrays are optimized for use in space observatories, such as the proposed NEOCam mission, so response to ubiquitous cosmic rays is crucially important. We analyzed 2000 6-second integration samples, for each pixel in each array, to characterize their response to ionizing radiation. Muons and other ionizing radiation leave 'footprints' in the data, visible as a sudden 'jump' in signal in the time series, which affects a cluster of pixels simultaneously. We investigated 4 key properties of these radiation hits: the number of pixels affected in each cluster, the charge generated by the event, the detector noise directly after the hit, and the responsivity of the pixel before and after each hit. The responsivity (plus dark current), given by the slope of the time series, was unaffected by the radiation hits. Likewise the correlated-double-sampling read noise was unaffected by the hits. The total charge generated was in reasonable agreement with that expected from 2-4 GeV muon hits. 8-12 pixels were typically affected by single hits, irrespective of the thickness of the CdZnTe substrate (800, 48 and zero microns). This cluster size was significantly larger than that observed in a 2.5 micron cutoff array from TIS, but similar to that shown by a 5 micron cutoff device from TIS tested for response to energetic protons for the JWST mission.
ADAPTIVE NEURO-FUZZY INFERENCE SYSTEM FOR THE INPUT RESISTANCE COMPUTATION OF RECTANGULAR MICROSTRIP ANTENNAS WITH THIN AND THICK SUBSTRATES

A new method for calculating the input resistance of electrically thin and thick rectangular microstrip patch antennas, based on the adaptive neuro-fuzzy inference system (ANFIS), is presented. The ANFIS has the advantages of expert knowledge of fuzzy inference system and learning capability of neural networks. A hybrid learning algorithm, which combines the least square method and the backpropagation algorithm, is used to identify the parameters of ANFIS. The input resistance results obtained by using the new method are in very good agreement with the experimental results available in the literature.
The Impact of Isolation on the Job Satisfaction of New Principals

Professional isolation has hampered the quality of the work experience for employees inside and outside public education for decades. This study explores the role that isolation plays in predicting the quality of the work experience among new principals. The analysis tests whether isolation serves as a mediator in the relationship between factors that are known to affect the quality of work life of principals (social support; role ambiguity, role conflict, and role overload; and participation in a structured coaching relationship) and the job satisfaction of new principals. Regression analysis shows that isolation fully mediates the relationship between social support and job satisfaction and partially mediates the relationship between role ambiguity and job satisfaction.
Effect of the Adverse Pressure Gradient on Vortex Breakdown

of the Influence of the Turbulent Boundary Layer on the Pressure Distribution over a Rigid Two-Dimensional Wavy Wall," TN D-6477, Aug. 1971, NASA. 4 Lighthill, M. J., "On Boundary Layers and Upstream Influence II. Supersonic Flows without Separation," Proceedings of the Royal Society, Vol. A217, 1953, pp. 478 and 504; see also Quarterly Journal of Mechanics, Vol. 3, 1950, p. 303. 5 Benjamin, T. B. , "Shearing Flow over a Wavy Boundary," Journal of Fluid Mechanics, Vol. 6, 1959, p. 161. 6 Miles, J. W. , "On Panel Flutter in the Presence of a Boundary Layer," Journal of Aerospace Sciences, Vol. 26, No. 2, Feb. 1959, pp. 81-93. 7 McClure, J. D. , "On Perturbed Boundary Layer Flows," Rept. 62-2, June 1962, M.I. T. Fluid Dynamic Research Lab. , Cambridge, Mass. 8 Anderson, W. J. and Fung, Y. C, "The Effect of an Idealized Boundary Layer on the Flutter of Cylindrical Shells in Supersonic Flow," GALCIT Structural Dynamics Rept. SM62-49, Dec. 1962, Graduate Aeronautical Lab. , California Institute of Technology, Pasadena, Calif. 9 Zeydel, E. F. E. , "Study of the Pressure Distribution on Oscillating Panels in Low Supersonic Flow with Turbulent Boundary Layer," NASA CR-691, Feb. 1967, Georgia Institute of Technology, Atlanta, Ga. 10 Do well, E. H. , "Generalized Aerodynamic Forces on a Flexible Plate Undergoing Transient Motion in a Shear Flow with an Application to Panel Flutter," AIAA Journal, Vol. 9, No. 5, May 1971, pp. 834-841. 11 Ventres, C. S. , "Transient Panel Motion in a Shear Flow," AMS Rept. 1062, Aug. 1972, Princeton Univ., Princeton, N.J. 12 Garrick, I. E. and Rubinow, S. I. , "Theoretical Study of Air Forces on an Oscillating or Steady Thin Wing in a Supersonic Main Stream," TN 1383, July 1947, NACA. 13 Yates, J. E. , "A Study of Panel Flutter with the Exact Method of Zeydel," NASA CR-1721, Dec. 1970, Aeronautical Research Associates of Princeton, Princeton, N.J. 14 Do well, E. H. and Ventres, C. S. , "Derivation of Aerodynamic Kernel Functions," AIAA Journal, Vol. 11, No. 11, Nov. 1973, pp. 1586-1588.
Valuing the regulatory services provided by marine ecosystems

It is widely accepted that mankind derives benefits from ecosystem services provided by the marine environment. It is less clear how these benefits can be quantified in order to make objective and responsible environmental management decisions. Providing an economic quantification of these benefits is one approach that can help. While it is relatively simple to derive monetary values for benefits accruing from activities with an economic basis, such as food provision and tourism, different approaches must be taken to provide economic values for services with less obvious links to economic activity. Here we demonstrate how a range of approaches may be used to derive economic values for three very different ecosystem services provided by marine environments, namely the bioremediation of waste by marine biota, the fixation of carbon dioxide by photosynthetic marine organisms, and the sea defence role provided by wetlands in coastal areas of the UK. Copyright © 2010 John Wiley & Sons, Ltd.
A comparison of the climate impacts of geoengineering by stratospheric SO2 injection and by brightening of marine stratocumulus cloud

We examine the climate impact of geoengineering via two different methods, namely, stratospheric SO2 injection and increasing reflectivity of marine stratocumulus clouds. Although both methods appear capable, in principle, of counteracting the global mean warming due to increases in greenhouse gas concentrations, significant changes in regional climate still result. The extent of this regional climate change appears linked to the location and degree of inhomogeneity of the radiative flux perturbations produced by each geoengineering method. © Crown Copyright 2010. Published with the permission of the Controller of HMSO and the Queen's Printer for Scotland
ON RANDOM MATRICES FROM THE COMPACT CLASSICAL GROUPS

If M is a matrix taken randomly with respect to normalized Haar measure on U(n), O(n) or Sp(n), then the real and imaginary parts of the random variables Tr(Mk), k > 1, converge to independent normal random variables with mean zero and variance k/2, as the size n of the matrix goes to infinity. For the unitary group this is a direct consequence of the strong Szeg6 theorem for Toeplitz determinants. We will prove a conjecture of Diaconis
Modeling Inflation Volatility Using Arimax-Garch

Forecasting inflation is necessary as a basis for making decisions and high quality good planni ng in economic development in Indonesia particularly for the government and businessmen. T he forecasting generally uses time series data. However, there is a time series data which is dif ficult to obtain stationary, i.e., the variance on financial time series data such as the stock pric e index, interest rates, inflation, exchange rates, and etc. It is mainly caused by the inconsisten cy of variance (heteroscedasticity). This study developed Autoregressive Integrated Moving A verage (ARIMA) model using exogenous factors, namely the price of oil and outlier detection to forecast inflation. Another modeling which is expected to solve the problem of heterosceda sticity is a Generalized Autoregressive Conditional Heteroscedasticity (GARCH) model. In th is study, the asymmetric GARCH of Glosten Jagannathan Runkle-GARCH (GJR-GARCH) w as carried out. This model could accommodate the volatility in the form of negative shocks th at can leverage the effect. The data used in this study was the Inflation rate of Indonesia and w orld oil prices in January 1991 to December 2014 respectively. The results showed that ARIM AX-GJR GARCH is the best model to forecast national inflation volatility.
Observations of magnetic and kinetic helicity proxies

Abstract The helicity is important to present the basic topological configuration of magnetic field in solar atmosphere. The distribution of magnetic helicity in solar atmosphere is presented by means of the observational (vector) magnetograms. As the kinetic helicity in the solar subatmosphere can be inferred from the velocity field based on the technique of the helioseismology and used to compare with the magnetic helicity in the solar atmosphere, the observational helicities provide the important chance for the confirmation on the generation of magnetic fields in the subatmosphere and solar dynamo models also. In this paper, we present the observational magnetic and kinetic helicity in solar active regions and corresponding questions, except the relationship with solar eruptive phenomena.
Detection of strong Fe-K lines from the spiral galaxies NGC 1365 and NGC 1386

Two spiral galaxies, NGC 1365 and NGC 1386, were observed in X-rays with ASCA. Both galaxies ex­ hibit hard X-ray emission from point-like sources at the nuclei. The continuous spectrum of NGC 1365 was fitted well with a power-law of photon index 0.8^2, whose 2-10 keV luminosity is (3.8 ±0.5) x 10 40erg s _1 for an assumed distance of 18.4 Mpc. NGC 1386 has an absorbed [7VH = (2.&^7Q) X 1023 cm -2 ] power
Superconductivity in narrow-band systems with local nonretarded attractive interactions

In narrow-band systems electrons can interact with each other via a short-range nonretarded attractive potential. The origin of such an effective local attraction can be polaronic or it can be due to a coupling between electrons and excitons or plasmons. It can also result from purely chemical (electronic) mechanisms, especially in compounds with elements favoring disproportionation of valent states. These mechanisms are discussed and an exhaustive list of materials in which such local electron pairing occurs is given. The authors review the thermodynamic and electromagnetic properties of such systems in several limiting scenarios: (i) Systems with on-site pairing which can be described by the extended negative-{ital U} Hubbard model. The strong-attraction limit of this model, at which it reduces to a system of tightly bound electron pairs (bipolarons) on a lattice, is extensively discussed. These electron pairs behaving as hard-core charged bosons can exhibit a superconducting state analogous to that of superfluid {sup 4}He II. The changeover from weak-attraction BCS-like superconductivity to the superfluidity of charged hard-core bosons is examined. (ii) Systems with intersite pairing described by an extended Hubbard model with {ital U}{gt}0 and nearest-neighbor attraction and/or nearest-neighbor spin exchange as well as correlated hopping. (iii) A mixture ofmore » local pairs and itinerant electrons interacting via a charge-exchange mechanism giving rise to a mutually induced superconductivity in both subsystems. The authors discuss to what extent the picture of local pairing, and in particular superfluidity of hard-core charged bosons on a lattice, can be an explanation for the superconducting and normal-state properties of the high-{ital T}{sub {ital c}} oxides: doped BaBiO{sub 3} and the cuprates. « less
Weakly compact sets

It has been conjectured that a closed convex subset C of a Banach space B is weakly compact if and only if each continuous linear functional on B attains a maximum on C [5]. This reduces easily to the case in which C is bounded, and will be answered in the affirmative [Theorem 4] after some preliminary results are established. Following suggestions by Namioka and Peck, the result is then generalized, first to weakly closed subsets of Banach spaces and then to weakly closed subsets of complete locally convex linear spaces. The original motivation for this conjecture was the knowledge that it is true when C is the unit sphere of a separable Banach space [2], which was later extended to arbitrary Banach spaces [3, Theorem 5]. Additional support was given the conjecture when V. L. Klee [5] proved a seemingly related theorem-namely, that if C is a bounded closed non-weakly-compact convex subset of a Banach space, then there is a decreasing sequence {K1} of nonempty closed convex subsets of C such that, for each x E C and each m E [0, 1), the set x + m(C x) meets only finitely many of the sets {Ki}. Iff is a continuous linear functional whose sup on C is M and if there is no x in C for which f(x) = M, then a suitable choice for Klee's sequence {Ki} is to let Kn = C r1 {x:f (x) > M l/n} for each n. It is interesting to note that the conjecture can be verified easily for a bounded closed convex set that is symmetric about an interior point x, since if x is translated to 0, then the convex set as a unit sphere induces a norm for which the new Banach space is isomorphic to the original space. More generally, if 0 is an interior point of a bounded convex set C and K is the closed convex span of Cu ( C), then K is symmetric about 0 and the sup on K of a continuous linear functional is the larger of its sups on C and C. Therefore for convex bodies the conjecture can be established by using the known theorem for unit spheres [3, Theorem 5, p. 215]. The following theorem is a generalization of a characterization of weak compactness of the unit sphere that was useful in [2]. In the proof of this theorem and thereafter, we shall use the convention that a sequence of nonoverlapping
Exact and Approximate Bayesian Inference for Low Integer-Valued Time Series Models with Intractable Likelihoods

In this paper we present a new simulation methodology in order to obtain exact or approximate Bayesian inference for models for low-valued count time series data that have computationally demanding likelihood functions. The algorithm fits within the framework of particle Markov chain Monte Carlo (PMCMC) methods. The particle filter requires only model simulations and, in this regard, our approach has connections with approximate Bayesian computation (ABC). However, an advantage of using the PMCMC approach in this setting is that simulated data can be matched with data observed one-at-a-time, rather than attempting to match on the full dataset simultaneously or on a low-dimensional non-sufficient summary statistic, which is common practice in ABC. For low-valued count time series data we find that it is often computationally feasible to match simulated data with observed data exactly. Our particle filter maintains $N$ particles by repeating the simulation until $N+1$ exact matches are obtained. Our algorithm creates an unbiased estimate of the likelihood, resulting in exact posterior inferences when included in an MCMC algorithm. In cases where exact matching is computationally prohibitive, a tolerance is introduced as per ABC. A novel aspect of our approach is that we introduce auxiliary variables into our particle filter so that partially observed and/or non-Markovian models can be accommodated. We demonstrate that Bayesian model choice problems can be easily handled in this framework.