Miracle-dz/UniFAR-FTUs huggingface dataset:
Sparse recovery conditions for Orthogonal Least Squares

We extend Tropp’s analysis of Orthogonal Matching Pursuit (OMP) using the Exact Recovery Condition (ERC) [1] to a ﬁrst exact recovery analysis of Orthogonal Least Squares (OLS). We show that when ERC is met, OLS is guaranteed to exactly recover the unknown support. Moreover, we provide a closer look at the analysis of both OMP and OLS when ERC is not fulﬁlled. We show that there exist dictionaries for which some subsets are never recovered with OMP. This phenomenon, which also appears with ℓ 1 minimization, does not occur for OLS. Finally, numerical experiments based on our theoretical analysis show that none of the considered algorithms is uniformly better than the other
High Sensitivity Electron Spin Resonance by Magnetic Resonance Force Microscopy at Low Temperature

This dissertation describes the development and usage of the experimental technique – Magnetic Resonance Force Microscopy (MRFM) – to study electron spin resonance at low temperature in sensitivity as high as two electron spins. MRFM detects magnetic resonance by sensing the small force acting on the cantilever by the paramagnetic electron spins in the sample through magnetic coupling. I have applied this technique to measure the fluctuating magnetic moments of few electron spin ensembles known as the statistical polarization or the spin noise. In this dissertation, I describe the basic principles and setup of the MRFM experiments. I have used the MRFM experiment to verify that applying negative feedback to the cantilever can reduce the cantilever response time without sacrificing the signal-to-noise ratio in the force detection. Using the new spin manipulation scheme and the microwave resonator I designed for low temperature MRFM experiments, MRFM force spectra are measured and understood by modeling the spins undergoing magnetic resonance in an inhomogeneous magnetic field. I have used the high sensitivity MRFM experiment to observe the real-time fluctuation of the electron spin magnetic moments. From the statistics of this fluctuation, the number of resonating spins and the correlation time of the statistical polarization are measured. I have shown that the spin correlation time is due to the one and two phonon relaxation processes in the silicon dioxide sample by measuring the spin
Type Checking and Type Inferencing for Logic Programs with Subtypes and Parametric Polymorphism

We analyze basic shortcomings of existing proposals for type checking and type inferencing in logic programming languages. A new type system is presented using simple and declarative type annotations. It includes parametric polymorphism and subtyping. Static type checking and inferencing within the new type system is able to detect more programming errors than in other comparable systems. Our approach is independent of a specific resolution calculus and therefore applicable to a wide range of logic languages. A type inferencing algorithm is presented for reconctructing variable typings. As a concrete instance, the results were applied to unrestricted standard Prolog with type annotations, for which a type checking and type inferencing tool is available.
PHOTOEMISSION CURRENT AND SOLAR EUV RADIATION: CLUSTER AND TIMED OBSERVATIONS

Solar EUV radiation causes photoemission from conductors in space. We compare measurements of photoelectron emission from the EFW instruments on the Cluster satellites to solar EUV data from TIMED/SEE for the years 2003-2006. Comparing the variations (solar rotation, annual, solar cycle) of the two quantities, we can study the photoelectron yield function that should relate them. We nd that no yield function can give perfect agreement between the data sets, but that reasonable correspondence is achieved by the photoelectron yield of pure Al. We also show that taking solar EUV variations into account when calibrating spacecraft potential data for use as a density measurement signicantly increases the accuracy.
Semantic Relations and the Lexicon: Antonymy, Synonymy and other Paradigms

This book explores how some word meanings are paradigmatically related to each other, for example, as opposites or synonyms, and how they relate to the mental organization of our vocabularies. Traditional approaches claim that such relationships are part of our lexical knowledge (our "dictionary" of mentally stored words) but Lynne Murphy argues that lexical relationships actually constitute our "metalinguistic" knowledge. The book draws on a century of previous research, including word association experiments, child language, and the use of synonyms and antonyms in text.
Predicting performance for tiled perfectly nested loops

Many computationally-intensive programs, such as those for differential equations, spatial interpolation, and dynamic programming, spend a large portion of their execution time in multiply-nested loops that have a regular stencil of data dependences. Tiling is a well-known optimization that improves performance on such loops, particularly for computers with a multi-levelled hierarchy of parallelism and memory. Most previous work on tiling restricts the tile shape to be rectangular. Our work shows that using parallelogram-shaped tiles can improve parallel execution time by decreasing the time that a processor spends waiting for data or synchronization. This thesis presents a prediction formula for the execution time of tiled, perfectly nested loops. We also derive the tiling parameters that minimizes this formula for two dimensional iteration spaces. In K dimensions we can either minimize the formula numerically, or apply an algorithm exponential in K, which is usually very small. These formulae can be used by a compiler to automatically determine the best tiling. We introduce a model that allows us to demonstrate the equivalence in complexity of linear programming and determining the length of the longest path of dependent tiles. Assuming sufficient parallelism, this length is a measure of the execution time. We introduce the notion of rise, a measure of the relationship between the shape of the tiles and the iteration space. Using the rise, we derive a simple formula for the length of the longest path of dependent tiles in rectilinear iteration spaces, a sub-class of the convex iteration spaces. We study how the longest path of dependent tiles within a rectilinear iteration space changes with the tile shape. We run experiments and find that our formulae can accurately predict the optimal tiling parameters. The actual execution time of our application changes as predicted with the shape and size of the tiles. We notice a speedup from 1.12 to 1.55 depending on the problem size when using parallelogram-shaped tiles as opposed to rectangular tiles.
Etude, modélisation et conception d'un multicapteur chimique à base de CNTFET

Depuis quelques annees, les explosifs artisanaux a base de peroxyde sont frequemment utilises dans les actes de terrorisme. Leur simplicite de conception ne les rend pas moins inoffensifs car ils sont tout aussi puissants que ceux a base de TNT (trinitrotoluene). Au regard des enjeux majeurs de la securite globale et en particulier de la protection du citoyen, il devient necessaire de beneficier d'instruments de detection fiables. C'est dans ce cadre que s'inscrit ce travail de these qui vise a developper un capteur integre, sensible et selectif aux traces d'explosifs, notamment ceux a base de peroxyde. Ce nez electronique est constitue d'une matrice de transistors a nanotubes de carbone (CNTFET) et d'une electronique et traitement des donnees. Apres une breve introduction relative aux CNTFET pour la detection gazeuse, nous presentons les bases de l'elaboration d'une modelisation electrique du capteur. Cette modelisation a pour but, a terme, de permettre aux concepteurs decircuits integres de beneficier d'un support de simulation des CNTFET, necessaire a la mise en oeuvre de l'electronique de controle et de conditionnement des signaux. Nous detaillerons egalement ce qui constitue selon nous l'etape fondamentale precedant l'elaboration d'un modele compact predictif base sur la physique, c'est a dire la comprehension topologique du reseau de nanotubes. Nous detaillerons alors differentes probabilites de contacts entre nanotubes. Nous presentons ensuite,l'elaboration de l'electronique permettant le controle des potentiels appliques aux CNTFET et le conditionnement des signaux electriques. Ce conditionnement a pour objectif d'acheminer les reponses electriques du capteur vers des architectures de traitement de donnees utilisees pour la detection des differents gaz cibles. L'electronique integree en technologie CMOS HV (haute tension) est alimentee par pile basse tension. Des pompes de charge, elevateurs de tension, generant ces hautes tensions ont ete etudiees, modelisees et realisees. Nous proposons egalement dans ce manuscrit une nouvelle architecture de pompe de charge qui constitue, dans certaines plages d'utilisation, une alternative interessante aux pompes de charge les plus performantes utilisees jusqu'a present.
of wind generation capacity in the and Irish

SUMMARY The concept of capacity credit is widely used to quantify the contribution of renewable technologies to securing demand. This may be quantified in a number of ways; this paper recommends the use of Effective Load Carrying Capability (ELCC, the additional demand which the new generation can support without increasing system risk), with system risk being measured using Loss of Load Expectation (LOLE, this is calculated through direct use of historic time series for demand and wind load factor). The key benefit of this approach is that it automatically incorporates the available statistical information on the relationship between wind availability and demand during the hours of very high demand which are most relevant in assessing system adequacy risk. The underlying assumptions are discussed in detail, and a comparison is made with alternative calculation approaches; a theme running through the paper is the need to consider the assumptions carefully when presenting or interpreting risk assessment results. A range of applications of capacity credits from Great Britain and Ireland are presented; this includes presentation of effective plant margin, ensuring that the optimal plant mix secures peak demand in economic projection models, and the Irish capacity payments system. Finally, new results comparing capacity credit results from the Great Britain and Irish systems using the same wind data are presented. This allows the various factors which influence capacity credit results to be identified clearly. It is well known that increasing the wind load factor or demand level typically increases the calculated capacity credit, while increasing the installed wind capacity typically decreases its capacity credit (as a percentage of rated capacity). The new results also show that the width of the probability distribution for available conventional generating capacity, relative to the peak demand level, also has a strong influence on the results. This emphasises further that detailed understanding of risk model structures is vitally important in practical application.
The Angular Momentum Problem during Star Formation - Magnetically Linked Aligned Rotators - Part Two - Results

Solutions of the three-fragment problem are presented graphically for different values of sigma, the ratio of half the moment of inertia of a fragment to that of the medium between consecutive fragments, namely, for sigma = 0.1, 1.0, and 5.0. The values 0.1 and 5.0 already represent the behavior in the low-sigma and high-sigma limits respectively. Smaller values of sigma represent later stages of contraction of a fragment. The central fragment's angular momentum decreases exponentially in time with an e-folding time tau/sub parallel/ = sigmatau0, where tau0 is the Alfven crossing time between consecutive fragments (typically, tau0 = 10W yr). Resolution of the problem can be achieved in a fraction of the Alfven crossing time in the low-sigma cases, whereas it takes many bounces of the torsional Alfven waves between fragments before the angular momentum problem can be resolved for an individual fragment in the high-sigma cases. Even in the low-sigma cases, however, the problem is regenerated by returning torsional Alfven waves. For star formation to take place in magnetically linked fragments, the magnetic field should decouple from the matter during the low-spin phase: not only a likely, but perhaps an inevitable possiblity because gravity is unopposed by centrifugal forcesmore » at that stage. « less
Γ-convergence for the irrigation problem

In this paper we study the asymptotics of the functional F (γ) = ∫ f(x)dγ(x) dx, where dγ is the distance function to γ, among all connected compact sets γ of given length, when the prescribed length tends to infinity. After properly scaling, we prove the existence of a Γ-limit in the space of probability measures, thus retrieving information on the asymptotics of minimal sequences.
Estimation of Finite Mixture Distributions Through Bayesian Sampling

SUMMARY A formal Bayesian analysis of a mixture model usually leads to intractable calculations, since the posterior distribution takes into account all the partitions of the sample. We present approximation methods which evaluate the posterior distribution and Bayes estimators by Gibbs sampling, relying on the missing data structure of the mixture model. The data augmentation method is shown to converge geometrically, since a duality principle transfers properties from the discrete missing data chain to the parameters. The fully conditional Gibbs alternative is shown to be ergodic and geometric convergence is established in the normal case. We also consider non-informative approximations associated with improper priors, assuming that the sample corresponds exactly to a k-component mixture.
An X-ray catalog and atlas of galaxies. (Fabbiano+, 1992)

An X-ray catalog and atlas of galaxies observed with the Einstein Observatory imaging instruments (IPC and HRI) are presented. The catalog comprises 493 galaxies, including targets of pointed observations, and RSA or RC2 galaxies serendipitously included in Einstein fields. A total of 450 of these galaxies were imaged well within the instrumental fields, resulting in 238 detections and 2123 sigma upper limits. The other galaxies were either at the edge of the visible field of view or confused with other X-ray sources. For these a rough measure of their X-ray emission is also given. The atlas shows X-ray contour maps of detected galaxies superposed on optical photographs and gives azimuthally averaged surface brightness profiles of galaxies detected with a high signal-to-noise ratio.
Hepatotoxicidad en el paciente crítico: El hígado bajo agresión aguda grave

The liver plays an essential role in the metabolism of most of the nutrients since it is a mainly metabolic organ carrying out a series of physiological and metabolic processes related with protein and energy metabolism. The intestinal tract is considered a key element in the development of Multiorgan Dysfunction (MOD) or failure by loosing its barrier function (impaired permeability) against toxins, bio-products and occsaionally intraluminal bacteria secondary to hypoxia, one of the main pathopysiogenic mechanisms being the insufficient blood flow to splacnic organs. Liver dysfunction and/or impairment of liver function test are a common event in critically ill patients. They may be due to previous liver cirrhosis or to more immedite causes of liver failure such as sepsis, drugs, liver transplant or any of the multiple etiologies for hepatitis. (Nutr Hosp. 2008;23:19-24)
on Microbial Insecticides

R. WV. Jackson, T. G. Pridham, M. S. Roth, G. St. Julian, E. S. Sharpe, 0. L. Shotwell, R. D. Stubblefield, and B. A. Weiner. The material has been selected from the point of view of what has been learned of the characteristics of the disease process in the host and how these characteristics relate to the properties of the pathogens studied in vitro as a basis for the development of an effective method for production of virulent spores.
Latent curve models: A structural equation perspective

Preface. 1 Introduction. 1.1 Conceptualization and Analysis of Trajectories. 1.2 Three Initial Questions About Trajectories. 1.3 Brief History of Latent Curve Models. 1.4 Organization of the Remainder of the Book. 2 Unconditional Latent Curve Model. 2.1 Repeated Measures. 2.2 General Model and Assumptions. 2.3 Identification. 2.4 Case-By-Case Approach. 2.5 Structural Equation Model Approach. 2.6 Alternative Approaches to the SEM. 2.7 Conclusions. Appendix 2A: Test Statistics, Nonnormality, and Statistical Power. 3 Missing Data and Alternative Metrics of Time. 3.1 Missing Data. 3.2 Missing Data and Alternative Metrics of Time. 3.3 Conclusions. 4 Nonlinear Trajectories and the Coding of Time. 4.1 Modeling Nonlinear Functions of Time. 4.2 Nonlinear Curve Fitting: Estimated Factor Loadings. 4.3 Piecewise Linear Trajectory Models. 4.4 Alternative Parametric Functions. 4.5 Linear Transformations of the Metric of Time. 4.6 Conclusions. Appendix 4A: Identification of Quadratic and Piecewise Latent Curve Models. 4A.1 Quadratic LCM. 4A.2 Piecewise LCM. 5 Conditional Latent Curve Models. 5.1 Conditional Model and Assumptions. 5.2 Identification. 5.3 Structural Equation Modeling Approach. 5.4 Interpretation of Conditional Model Estimates. 5.5 Empirical Example. 5.6 Conclusions. 6 The Analysis of Groups. 6.1 Dummy Variable Approach. 6.2 Multiple-Group Analysis. 6.3 Unknown Group Membership. 6.4 Conclusions. Appendix 6A: Case-by-Case Approach to Analysis of Various Groups. 6A.1 Dummy Variable Method. 6A.2 Multiple-Group Analysis. 6A.3 Unknown Group Membership. 6A.4 Appendix Summary. 7 Multivariate Latent Curve Models. 7.1 Time-Invariant Covariates. 7.2 Time-Varying Covariates. 7.3 Simultaneous Inclusion of Time-Invariant and Time-Varying Covariates. 7.4 Multivariate Latent Curve Models. 7.5 Autoregressive Latent Trajectory Model. 7.6 General Equation for All Models. 7.7 Implied Moment Matrices. 7.8 Conclusions. 8 Extensions of Latent Curve Models. 8.1 Dichotomous and Ordinal Repeated Measures. 8.2 Repeated Latent Variables with Multiple Indicators. 8.3 Latent Covariates. 8.4 Conclusions. References. Author Index. Subject Index.
Investigation of neurobiological responses to theta burst stimulation during recovery from mild traumatic brain injury (mTBI)

The ability of the brain to recover following neurological insult is of considerable interest in mild traumatic brain injury (mTBI) populations. To date, a limited amount of research has examined changes in brain function over time following mTBI. Investigating whether non-invasive brain stimulation (NIBS) can modulate neurophysiology and cognitive performance is particularly relevant for therapeutic targeting post injury. The purpose of the current study was to investigate the neurobiological effects of a single session of intermittent theta burst stimulation (iTBS) applied to the dorsolateral prefrontal cortex (DLPFC) in participants with mTBI during recovery. Changes to neurophysiology were assessed with electroencephalography (EEG) and transcranial magnetic stimulation combined with EEG (TMS-EEG). Digit span working memory accuracy was assessed as a marker of cognitive performance. 30 patients in the subacute phase following mTBI (within one month post-injury) and 26 demographically matched controls were assessed. Participants also completed 3-month (mTBI: N = 21, control: N = 26) and 6-month (mTBI: N = 15, control: N = 24) follow up sessions. Cluster-based analyses demonstrated iTBS did not reliably modulate neurophysiological activity, and no differences were found in cognitive performance in either mTBI or control group participants across any of the assessment time points. The factors that may have contributed to our results are unclear, and possible limitations to our experimental design are discussed. Our findings highlight additional research is required to establish the effects of iTBS on plasticity and cognition in a mTBI population prior to therapeutic application.
Wirkungs- und Lokalitätsprinzip für nichtkommutative skalare Feldtheorien

We develop a general framework for the formulation of the action principle and the Noether theorem for classical noncommutative field theories. We give a concrete example of an algebra that fits into this framework. It describes a scalar field theory on noncommutative Minkowski space. We develop a notion of locality for this algebra and investigate the locality properties of localised interaction terms. This leads us to the definition of local functionals on the field algebra. We propose a scheme for the quantisation of these functionals.
Estimation Problems with Data from a Mixture

The problem of estimating density functions using data from different distributions, and a mixture of them, is considered. Maximum likelihood and Bayesian parametric techniques are summarized and various approaches using distribution‐free kernel methods are expounded. A comparative study is made using the halibut data of Hosmer (1973) and the problem of incomplete data is briefly discussed.
Mar 21, 2020 An open-source

This is a technical report which accompanies the article ”An open-source thermodynamic software library” which describes an e ﬃ cient Matlab and C implementation for evaluation of thermodynamic properties. In this technical report we present the model equations, that are also presented in the paper, together with a full set of ﬁrst and second order derivatives with respect to temperature and pressure, and in cases where applicable, also with respect to mole numbers. The library is based on parameters and correlations from the DIPPR database and the Peng-Robinson and the Soave-Redlich-Kwong equations of state.
10TH International Conference on Sustainable Energy and Environmental Protection: Mechanical Engineering

The 10th International Conference on Sustainable Energy and environmental Protection – SEEP 2017 was organised on June 27th – 30th 2017 in Bled, Slovenia, by: • Faculty of Chemistry and Chemical Engineering, University of Maribor, Slovenia, • University of the West of Scotland, School of Engineering and The aim of SEEP2017 is to bring together the researches within the field of sustainable energy and environmental protection from all over the world. The contributed papers are grouped in 18 sessions in order to provide access to readers out of 300 contributions prepared by authors from 52 countries. We thank the distinguished plenary and keynote speakers and chairs who have kindly consented to participate at this conference. We are also grateful to all the authors for their papers and to all committee members. We believe that scientific results and professional debates shall not only be an incentive for development, but also for making new friendships and possible future scientific development projects.
Flaring up of the Compact Cloud G2 during the Close Encounter with Sgr A* in Summer 2013

A compact gas cloud G2 (Gillessen+2012) is predicted to reach the pericentre of its orbit around the super massive black hole (SMBH) of our galaxy, Sagittarius (Sgr A*), by summer 2013. This event will give us a rare opportunity to observe the interaction between SMBH and gas around it. We report the result of the fully three-dimensional simulation of the evolution of G2 during the first pericentre passage. The strong tidal force by the SMBH stretches the cloud along its orbit, and compress it strongly in the vertical direction, resulting in the heating up and flaring up of the cloud. The bolometric luminosity will reach the maximum of 100 $L_{\odot}$ by July 2013. This flare should be easily observed in the near infrared.