Miracle-dz/UniFAR-FTUs huggingface dataset:
A new type of rocket engine ground sensing and test system based on compressive sensing

This paper intends to solve the undersampling problem in the rocket engine experimental data sampling process. It starts with an overview of rocket engine experimental data sampling process fundamentals and the compressive sensing theory, including the sparse representation, the measurement matrix and the reconstruction algorithms. An abecedarian research centering on the pressure signal generated in the combustion chamber instable combustion model is used to explore basic procedures of processing both pure and noisy signal under the framework of compressive sensing, the analysis of the signal sparsity and the design of reconstruction algorithms. Numerical experiments verify the possibility and feasibility of compressive sensing in processing rocket engine experimental data. Finally, a new type of rocket engine ground sensing and test system and its hardware implementation are introduced.
Bone and joint involvement in Fabry disease

Abstract Fabry disease (FD) is an X-linked lysosomal storage disease caused by deficient activity of the enzyme α-galactosidase A. Although the disease has progressive effects on most organ systems in the body, data is limited regarding skeletal involvement in this rare disorder. We describe four family-related patients, three men and one premenopausal female, sharing a classic phenotype of FD. Dual-energy X-ray was performed in all cases and osteoporosis or osteopenia were found in all patients and osteoporotic fractures in one. One patient also showed both neuropathic joint disease and osteonecrosis. Several mechanisms that may explain osteoporosis and osteoarthropathy in the setting of FD are emphasized.
Developing heuristics for the semiotics inspection of websites

The usability of web communication depends on design decisions made along a number of dimensions. These include content, information architecture, navigation, graphics and the design of the interface signs (e.g. labels, command affordances and icons), that we generally call semiotics. Although there is awareness of the importance of the quality of these specific elements to ensure usability, existing usability evaluation methods fail to provide designers with inspection principles to specifically assess the semiotics aspects for web interfaces. This experience report illustrates and discusses the development of an initial set of heuristics and procedural tools aimed at guiding the semiotics inspection of large, information-intensive websites, as a separate concern from the other design dimensions, extensively covered in the usability literature. The semiotics heuristics defined represent a complementary toolkit to the existing usability methods.
A Corpus Representation Format for Linguistic Web Services: The D-SPIN Text Corpus Format and its Relationship with ISO Standards

In the framework of the preparation of linguistic web services for corpus processing, the need for a representation format was felt, which supports interoperability between different web services in a corpus processing pipeline, but also provides a well-defined interface to both, legacy tools and their data formats and upcoming international standards. We present the D-SPIN text corpus format, TCF, which was designed for this purpose. It is a stand-off XML format, inspired by the philosophy of the emerging standards LAF (Linguistic Annotation Framework) and its ``instances'' MAF for morpho-syntactic annotation and SynAF for syntactic annotation. Tools for the exchange with existing (best practice) formats are available, and a converter from MAF to TCF is being tested in spring 2010. We describe the usage scenario where TCF is embedded and the properties and architecture of TCF. We also give examples of TCF encoded data and describe the aspects of syntactic and semantic interoperability already addressed.
Automatic adjustments for efficient and precise positioning and release of virtual objects

We describe automatic adjustment methods for positioning and releasing a 3D virtual object efficiently and precisely by direct hand manipulation in an immersive virtual reality environment. The methods are release adjustment, position adjustment, and viewpoint adjustment. Combinations of these methods enable users to manipulate a virtual object efficiently and precisely. An experimental evaluation showed that these methods are effective and useful in terms of the number of task completions and subjective preference for a small target.
Towards an automated tupling strategy

The tupling transformation strategy can be used to merge loops together by combining recursive calls and also to eliminate redundant calls for a class of programs. The clever (and difficult) step of this transformation strategy is to find an appropriate tuple of calls, called the eureka tuple, which would allow each set of calls to be computed recursively from its previous set. In many cases, this transformation can produce super-linear speedup. In this paper, we present an analysis method which could find eureka tuples for a wide range of functional programs. Our work extends that of a number of past techniques which have used dependency graphs of function calls for analysing redundancy patterns. Our main contribution is the use of appropriate call orderings based on recursion parameters to systematically search for eureka tuples in dependency graphs. They allow us to construct sequences of tuples, called the continuous sequences of tuples, whereby the existence of a matched pair of tuples in the sequence corresponds to a suitable eureka tuple. An extension of the basic analysis method which uses trees, instead of sequences, of tuples will also be presented. The basic and extended analysis methods will be shown to be applicable to a wide range of programs. They can be guaranteed to terminate by either bounding the search or by applying suitable restrictions on the class of applicable programs. The latter approach yields a safe automated procedure for tupling transformation.
A novel CASR gene mutation in an octogenarian with asymptomatic hypercalcaemia

Primary hyperparathyroidism (PHPT) is a common cause of hypercalcaemia. Other common causes of hypercalcaemia in an elderly patient include drug causes such as thiazide diuretics and lithium, humoral hypercalcaemia of malignancy, multiple myeloma, and tertiary hyperparathyroidism associated with end-stage renal failure. In this report, we describe an 80-year-old woman who had asymptomatic hypercalcaemia and was diagnosed with PHPT. Subsequent investigations led to the unexpected diagnosis of a genetic condition that had escaped detection for many years.
A hardware complete detection mechanism for an energy efficient reconfigurable accelerator CMA

Cool Mega Array (CMA) is an energy efficient Coarse Grained Reconfigurable processor Array (CGRA) consisting of a large PE (Processing Element) array. In order to reduce the power for storing intermediate results and clock tree, the PE array is consisting of combinatorial circuits. A hardware completion detection mechanism for CMA is proposed, implemented and evaluated. Each PE uses serially connected buffers with selectable taps, and the delay is decided according to the operation executed in the PE. Since the completion signal is transferred exactly on the same paths that for computation, the delay in the switch and wires are accounted. The post layout simulation revealed that the same performance without the mechanism can be obtained only with 5.1% area overhead and less than 6% extra power consumption. With the mechanism, a single micro-code can be used for various supply voltages to PE array.
The Next Phase of Chemoprevention Research

Phase 0 clinical trials are meant to explore mechanism of action, pharmacokinetics, pharmacodynamics, or biodistribution of investigational compounds in an efficient manner with relatively few subjects. Phase 0 designs have been applied sparingly in cancer research, but this issue of the journal provides an example of their utility reported by Reid and colleagues (beginning on page 347). Indeed, aspects of the phase 0 design lend themselves well to chemoprevention research, suggesting that this approach will become more common in the near future. Cancer Prev Res; 4(3); 293–5. ©2011 AACR.
Authentic leadership, career self-efficacy and career success: a cross-sectional study

The purpose of this paper is to explore the effects of authentic leadership on employees’ objective (hierarchical status) and subjective (career satisfaction) career success. In addition, this paper attempts to examine the mediating role of career self-efficacy in these relationships. ,The sample for this cross-sectional study comprised of 162 Pakistani employees drawn from a leading food and beverage company. Structural equation modelling and the bootstrapping procedure were used to test the research hypotheses. ,Results showed that career self-efficacy fully mediated the relationship between authentic leadership and hierarchical status, while it partially mediated the effects of authentic leadership on career satisfaction. ,The findings of this study indicate that authentic leadership behaviours can have a positive impact on employees’ career success. Thus, in order to ensure that employees accomplish their career goals and realise their full potential, it is vital that organisations devise strategies, which are geared towards promoting authentic leadership. ,This paper provides a first examination of the relationship between authentic leadership and two indicators of career success: hierarchical status and career satisfaction. In addition, it identifies one possible pathway in the form of career self-efficacy through which authentic leadership relates to employees’ career success.
A Measurement Study of Cache Rejection in P2P Live Streaming System

In P2P system, each peer caches the received data for accessing of other peers. P2P live streaming system audiencepsilas TV-like watching pattern brings unique characteristics for its cache management algorithm. By measuring and studying the cache rejection algorithm used in PPLive with our PPLive crawler, we found a simple but interesting cache rejection algorithm used in PPLive, i.e. the cache rejection of peers is synchronized with the chunk upload of media server on chunk offset. We modeled this algorithm as a fixed-duration virtual buffer which includes the P2P network and peerpsilas local buffer and then verified it in our trace. We finally gave some analysis and explanations for this algorithm. What we found is benefit to the future design and modeling of P2P live streaming system.
The Choice between Joint Ventures and Acquisitions: Insights from Signaling Theory

This paper extends information economics in corporate strategy and organizational governance research by using signaling theory to explain firms' market entry modes. We exploit features of the initial public offering (IPO) context to investigate how signals on newly public firms shape other companies' governance choices to form joint ventures with them versus acquiring them. We also develop theoretical arguments on how the value of these signals will vary across exchange partners. The results reveal that companies are more apt to acquire, versus partner with, IPO firms taken public by reputable investment banks compared with IPO firms associated with less prominent underwriters. Venture capitalist backing also appears to be a valuable signal for prospective acquirers, particularly when the acquirer and target reside in different industries and possess dissimilar knowledge bases. We also present evidence that signals affect target selection and the emergence of market segmentation for joint venture partners and acquisition candidates.
Spectral correlates of glottal waveform models: an analytic study

This paper deals with the spectral representation of the glottal flow. The LF and the KLGLOTT88 models of the glottal flow are studied. We compute analytically the spectrum of the LF-model. Then, formulas are given for computing spectral tilt and amplitudes of the first harmonics as functions of the LF-model parameters. We consider the spectrum of the KLGLOTT88 model. It is shown that this model can be modeled in the spectral domain by an all-pole third-order linear filter. Moreover, the anticausal impulse response of this filter is a good approximation of the glottal flow model. Parameter estimation seems easier in the spectral domain. Therefore our results can be used for modification of the (hidden) glottal flow characteristic of natural speech signals, by processing directly the spectrum, without needing time-domain parameter estimation.
Mathematical Programs with Geometric Constraints in Banach Spaces: Enhanced Optimality, Exact Penalty, and Sensitivity

In this paper we study the mathematical program with geometric constraints such that the image of a mapping from a Banach space is included in a nonempty and closed subset of a finite dimensional space. We obtain the nonsmooth enhanced Fritz John necessary optimality conditions in terms of the approximate subdifferential. In the case where the Banach space is a weakly compactly generated Asplund space, the optimality condition obtained can be expressed in terms of the limiting subdifferential, while in the general case it can be expressed in terms of the Clarke subdifferential. One of the technical difficulties in obtaining such a result in an infinite dimensional space is that no compactness result can be used to show the existence of local minimizers of a perturbed problem. In this paper we employ the celebrated Ekeland's variational principle to obtain the results instead. The enhanced Fritz John condition allows us to obtain the enhanced Karush--Kuhn--Tucker condition under the pseudo-normality and th.
Effect of Guest Atom Composition on the Structural and Vibrational Properties of the Type II Clathrate-Based Materials AxSi136, AxGe136 and AxSn136 (A = Na, K, Rb, Cs; 0 ≤ x ≤ 24)

Type II clathrates are interesting due to their potential thermoelectric applications. Powdered X-ray diffraction (XRD) data and density functional calculations for NaxSi136 found a lattice contraction as x increases for 0 < x < 8 and an expansion as x increases for x > 8. This is explained by XRD data that shows that as x increases, the Si28 cages are filled first for x < 8 and the Si20 cages are then filled for x > 8. Motivated by this work, here we report the results of first-principles calculations of the structural and vibrational properties of the Type II clathrate compounds AxSi136, AxGe136, and AxSn136. We present results for the variation of the lattice constants, bulk moduli, and other structural parameters with x. These are contrasted for the Si, Ge, and Sn compounds and for guests A = Na, K, Rb, and Cs. We also present calculated results of phonon dispersion relations for Na4Si136, Na4Ge136, and Na4Sn136 and we compare these for the three materials. Finally, we present calculated results for the elastic constants in NaxSi136, NaxGe136, and NaxSn136 for x = 4 and 8. These are compared for the three hosts, as well as for the two compositions.
Solution of Church ’ s Problem : A Tutorial

Church’s Problem (1957) asks for the construction of a finite-state procedure that transforms any input sequence α letter by letter into an output sequence β such that the pair (α, β) satisfies a given specification. Even after the solution by Büchi and Landweber in 1969 (for specifications in monadic second-order logic over the structure (N, +1)), the problem has stimulated research in automata theory for decades, in recent years mainly in the algorithmic study of infinite games. We present a modern solution which proceeds in several stages (each of them of moderate difficulty) and provides additional insight into the structure of the synthesized finite-state transducers.
Effective Acquisition of Dense Anisotropic BRDF

The development of novel analytical BRDF models, as well as adaptive BRDF sampling approaches, rely on the appropriate BRDF measurement of real materials. The quality of measurements is even more critical when it comes to accurately representing anisotropic materials where the character of anisotropy is unknown (locations of anisotropic highlights, their width, shape, etc.). As currently there is a lack of dense yet noise-free BRDF anisotropic datasets, we introduce such unique measurements of three anisotropic fabric materials. In this paper we discuss a method of dense BRDF data acquisition, post processing, missing values interpolation, and analyze properties of the datasets. Our results are compared with photographs, dense data fitted and generated by two state-of-the art anisotropic BRDF models, and alternative measurements available.
Near-Infrared Integral Field Spectroscopy and Mid-Infrared Spectroscopy of the Starburst Galaxy M82

We present new infrared observations of the central regions of the starburst galaxy M82. The observations consist of near-infrared integral field spectroscopy in the H and K bands obtained with the MPE 3D instrument and of λ = 2.4-45 μm spectroscopy from the Short Wavelength Spectrometer (SWS) onboard the Infrared Space Observatory. These measurements are used, together with data from the literature, to (1) reexamine the controversial issue of extinction, (2) determine the physical conditions of the interstellar medium (ISM) within the star-forming regions, and (3) characterize the composition of the stellar populations. Our results provide a set of constraints for detailed starburst modeling, which we present in a companion paper. We find that purely foreground extinction cannot reproduce the global relative intensities of H recombination lines from optical to radio wavelengths. A good fit is provided by a homogeneous mixture of dust and sources, and with a visual extinction of AV = 52 mag. The SWS data provide evidence for deviations from commonly assumed extinction laws between 3 and 10 μm. The fine-structure lines of Ne, Ar, and S detected with SWS imply an electron density of ≈300 cm-3, and abundance ratios Ne/H and Ar/H nearly solar and S/H about one-fourth solar. The excitation of the ionized gas indicates an average effective temperature for the OB stars of 37,400 K, with little spatial variation across the starburst regions. We find that a random distribution of closely packed gas clouds and ionizing clusters and an ionization parameter of ≈10-2.3 represent well the star-forming regions on spatial scales ranging from a few tens to a few hundreds of parsecs. From detailed population synthesis and the mass-to-K-light ratio, we conclude that the near-infrared continuum emission across the starburst regions is dominated by red supergiants with average effective temperatures ranging from 3600 to 4500 K and roughly solar metallicity. Our data rule out significant contributions from older, metal-rich giants in the central few tens of parsecs of M82.
Serum Salicylate Levels and Risk of Recurrent Colorectal Adenomas

Background: Intake of aspirin is associated with reduction in risk of colorectal adenoma and carcinoma. Some plants contain salicylates, and individuals not taking aspirin may have measurable salicylate levels. However, the association between serum salicylate level and recurrence of adenoma in nonusers of aspirin has not been studied. Methods: We measured serum salicylate levels in participants in a randomized controlled trial with calcium supplementation for the prevention of colorectal adenomas. Generalized linear models were used to assess the association between serum levels and adenoma risk during the follow-up period of the trial. Results: We did not find an association with recurrence of adenomas or advanced adenomas with serum salicylate levels at year 1 among nonusers of aspirin. There was no effect modification of the chemopreventive effect of calcium supplementation in reducing risk of recurrent adenomas or advanced adenomas. Conclusions: Among nonusers of ASA, serum salicylate levels are not associated with risk of recurrence of adenomas. Impact: Serum salicylate levels can be detected in individuals not taking aspirin, but the levels may be too low to confer protection from risk of recurrent adenomas. Cancer Epidemiol Biomarkers Prev; 20(4); 679–82. ©2011 AACR.
INTERPRETATION OF THE EXTRAGALACTIC RADIO BACKGROUND

We use absolutely calibrated data between 3 and 90 GHz from the 2006 balloon flight of the ARCADE 2 instrument, along with previous measurements at other frequencies, to constrain models of extragalactic emission. Such emission is a combination of the Cosmic Microwave Background (CMB) monopole, Galactic foreground emission, the integrated contribution of radio emission from external galaxies, any spectral distortions present in the CMB, and any other extragalactic source. After removal of estimates of foreground emission from our own Galaxy, and the estimated contribution of external galaxies, we present fits to a combination of the flat-spectrum CMB and potential spectral distortions in the CMB. We find 2 � upper limits to CMB spectral distortions of µ < 5.8 × 10 5 and |Yff| < 6.2 × 10 5 . We also find a significant detection of a residual signal beyond that which can be explained by the CMB plus the integrated radio emission from galaxies estimated from existing surveys. After subtraction of an estimate of the contribution of discrete radio sources, this unexplained signal is consistent with extragalactic emission in the form of a power law with amplitude 1.06±0.11 K at 1 GHz and a spectral index of 2.56 ± 0.04. Subject headings: cosmology: cosmic microwave background — cosmology: observations
IT-infrastructure of university based on cloud computing

The article is devoted to the organization of e-education environment of the university based on cloud computing. Cloud services and one of its components - a virtual work place introduce innovations in an education system. The introduction and the use of cloud services at the university will significantly reduce prices of campus machinery maintaining and servicing and will allow to equate in full measure a distance education with a full-time tuition due to a construction of interactive individual paths of training “in any place and at any time”,
Common language or Tower of Babel? On the evolutionary dynamics of signals and their meanings

We investigate how the evolution of communication strategies affects signal credibility when there is common interest as well as a conflict between communicating individuals. Taking alarm calls as an example, we show that if the temptation to cheat is low, a single signal is used in the population. If the temptation increases cheaters will erode the credibility of a signal, and an honest mutant using a different signal (‘a private code’) will be very successful until this, in turn, is cracked by cheaters. In such a system, signal use fluctuates in time and space and hence the meaning of a given signal is not constant. When the temptation to cheat is too large, no honest communication can maintain itself in a Tower of Babel of many signals. We discuss our analysis in the light of the Green Beard mechanism for the evolution of altruism.
Dual Cones and Mirror Symmetry for Generalized Calabi-Yau Manifolds

We introduce a special class of convex rational polyhedral cones which allows to construct generalized Calabi-Yau varieties of dimension $(d + 2(r-1))$, where $r$ is a positive integer and d is the dimension of critical string vacua with central chatge $c = 3d$. It is conjectured that the natural combinatorial duality satisfies by these cones corresponds to the mirror involution. Using the theory of toric varieties, we show that our conjecture includes as special cases all already known examples of mirror pairs proposed by physicists and agrees with previous conjectures of the authors concerning explicit constructions of mirror manifolds. In particular we obtain a mathematical framework which explains the construction of mirrors of rigid Calabi-Yau manifolds.