Miracle-dz/UniFAR-FTUs huggingface dataset:
Model compilation for embedded real-time planning and diagnosis

This paper describes MEXEC, an implemented micro executive that compiles a device model into an interal structure. Not only does this structure facilitate computing the most likely current device mode from n sets of sensor measurements, but it also facilitates generating an n step reconfiguration plan that is most likely not to result in reaching a target mode - if such a plan exists.
Two simple heuristics for the pattern matching on weighted sequences

Weighted sequences are used as profiles for protein families, in the representation of binding sites, and sequences produced by a DNA shotgun sequencing assembly. In this paper we present two simple heuristics for the pattern matching on weighted sequences. One is a simple heuristic which enables a faster validation between a weighted candidate and a weighted text. The other is applying the bad-character rule of BoyerMoore algorithm on weighted sequences.
CyberDesk: a framework for providing self-integrating ubiquitous software services

Current software suites suffer from problems due to poor integration of their individual tools. They require the designer to think of all possible integrating behaviours and leave little flexibility to the user. In this paper, we discuss CyberDesk, a component software framework that automatically integrates desktop and network services, requiring no integrating decisions to be made by the tool designers and giving total control to the user. We describe CyberDesk’s architecture in detail and show how CyberDesk components can be built. We give examples of extensions to CyberDesk such as chaining, combining, and using higher level context to obtain powerful integrating behaviours.
EULER'S ELASTICA AND CURVATURE BASED INPAINTINGS

Abstra t. Image inpainting is a spe ial image restoration problem for whi h image prior models play a ru ial role. Euler's elasti a was (cid:12)rst introdu ed by Mumford[21℄ to omputer vision as a prior urve model. By fun tionalizing the elasti a energy, Masnou and Morel [19℄ proposed an elasti a based variational inpainting model. The urrent paper is intended to ontribute to the development of its mathemati al foundation, and the study of its properties and onne tions to the earlier works of Bertalmio, Sapiro, Caselles, and Ballester [2℄ and Chan and Shen [6, 7℄. A omputational s heme based on numeri al PDEs is presented, whi h allows the handling of topologi ally omplex inpainting domains.
Optimal flow control for Navier–Stokes equations: drag minimization

Optimal control and shape optimization techniques have an increasing role in Fluid Dynamics problems governed by partial differential equations (PDEs). In this paper, we consider the problem of drag minimization for a body in relative motion in a fluid by controlling the velocity through the body boundary. With this aim, we handle with an optimal control approach applied to the steady incompressible Navier–Stokes equations. We use the Lagrangian functional approach and we consider the Lagrangian multiplier method for the treatment of the Dirichlet boundary conditions, which include the control function itself. Moreover, we express the drag coefficient, which is the functional to be minimized, through the variational form of the Navier–Stokes equations. In this way, we can derive, in a straightforward manner, the adjoint and sensitivity equations associated with the optimal control problem, even in the presence of Dirichlet control functions. The problem is solved numerically by an iterative optimization procedure applied to state and adjoint PDEs which we approximate by the finite element method. Copyright © 2007 John Wiley & Sons, Ltd.
Improved mixed language speech recognition using asymmetric acoustic model and language model with code-switch inversion constraints

We propose an integrated framework for large vocabulary continuous mixed language speech recognition that handles the accent effect in the bilingual acoustic model and the inversion constraint well known to linguists in the language model. Our asymmetric acoustic model with phone set extension improves upon previous work by striking a balance between data and phonetic knowledge. Our language model improves upon previous work by (1) using the inversion constraint to predict code switching points in the mixed language and (2) integrating a code-switch prediction model, a translation model and a reconstruction model together. This integration means that our language model avoids the pitfall of propagated error that could arise from decoupling these steps. Finally, a WFST-based decoder integrates the acoustic models, code-switch language model and a monolingual language model in the matrix language all together. Our system reduces word error rate by 1.88% on a lecture speech corpus and by 2.43% on a lunch conversation corpus, with statistical significance, over the conventional bilingual acoustic model and interpolated language model.
Integrated , Document Centered Modelling in Fujaba

Originally, Fujaba is an UML based CASE Tool with emphasis on code generation and round-trip engineering. To provide better process support, we have developed the XProM plugin. The XProM plugin provides a document centered view on a project where all UML diagrams are embedded in dedicated chapters of an overall project handbook. The UML diagram and the corresponding document are integrated such that adding diagram( element)s automatically adds chapters for the description of these diagram( element)s.
Modelling of a BST-0.5 Idc with Application in Electronically Scanned CRLH LWA

Modeling of a ferroelectric interdigital capacitor (IDC) and its incorporating in composite right/left-handed (CRLH) unit cells is represented. To evaluate the capacitance of a multi-layered IDC structures, conformal mapping and partial capacitance methods are utilized. Furthermore, the partial displacement method is utilized to calculate the electric fleld distribution and the its relation in the ferroelectric layer to applied voltage is obtained. Using this relation in a phenomenological model, dependency of the relative permittivity of ferroelectric on the applied voltage is obtained. The designed unit cell is comprised of IDCs and spiral inductors. To alter the propagation constant of the unit cell by varying the applied voltage, a thin layer of Ba0:5Sr0:5TiO3 (BST-0.5) ferroelectric is incorporated underneath an IDC, called BST-0.5 varactor. The periodic structure based on the designed unit cell leads to a CRLH LWA. The Tunability of the periodic structure with three unit cell is demonstrated by varying the relative permittivity of the ferroelectric layer.
Longitudinal Jerk Estimation for Identification of Driver Intention

We address the problem of estimating online the longitudinal jerk desired by a human driver piloting a car. This estimation is relevant in the context of suitable identification of driver intentions within modern Advanced Driver Assistance Systems (ADAS) such as the co-driver scheme proposed by some of the authors. The proposed architecture is based on suitably combining a Kalman filter with a scaling technique peculiar of the context of "high-gain" observers. The scaling is appealing because it allows for an easy tuning of the trade-off between phase lag and sensitivity to noise of the resulting estimate. Additionally, we show that using engine-related experimental measurements available in the CAN bus, it is possible to provide a more reliable estimate of the driver-intended jerk, especially in the presence of gear changes. The proposed scheme shows very desirable results on experimental data from a track test, also when compared to a brute force approach based on a mere kinematic model.
Effect of Growth Factors on Collagen Lattice Contraction by Human Keratocytes

A three-dimensional gel contraction model was used to evaluate interactions between human keratocytes and different kinds of collagen in the presence or absence of various growth factors. Bovine collagen type I or human placental copolymerized collagen type I/III was used to create the lattices. Normal keratocytes from neonatal, aged, and insulin-dependent diabetic donors, as well as abnormal keratocytes from a donor with macular corneal dystrophy, were cultured. Growth factors included epidermal growth factor (EGF), basic fibroblastic growth factor (FGF), insulin-like growth factor (IGF-I), and platelet-derived growth factor homodimer /? /? (PDGF). Gel area and optical transmittance were determined from computerized measurements. Dose-response experiments (0.01-100 ng/ml) demonstrated that PDGF at 10 ng/ml (P < 0.005) and EGF at 1 and 10 ng/ml (P < 0.0001) were the most effective in promoting gel contraction, compared to IGF-I and FGF. Comparison of cell strains revealed different dose-response profiles. Cells from insulin-dependent diabetics and cells from a donor with macular dystrophy contracted lattices more rapidly than cells from normal neonates (P < 0.0001). Lattices of copolymerized human collagen type III/I demonstrated significantly reduced contraction rates (P < 0.0001) and increased optical transmittance, compared to bovine collagen type I lattices. Ultrastructural studies revealed that keratocytes extend processes to form a network within the collagen lattice. Specialized intercellular junctional complexes were observed by transmission electron microscopy. This model provides a useful in vitro corneal stroma-equivalent for the study of keratocyte, extracellular matrix, and growth factor interactions. Invest Ophthalmol Vis Sci 33:1742-1755,1992
Topical Crawler based on multi-level vector space model and optimized hyperlink chosen strategy

In this study, through researching and analyzing the technology of Topical Crawler, we improve the critical algorithm, and present the Topic-Relevance judgment algorithm based on Multi-Level Vector Space Model and the Topical Search Strategy based on the content evaluation, which combine with the simple link structure analysis and link tags data analysis. Through the analysis of the experimental data, the algorithm and the strategy proposed in this research have higher accuracy and efficiency, which can improve the performance of the Traditional Topical Crawler greatly.
Constrained manipulation in unstructured environment utilizing hierarchical task specification for indirect force controlled robots

In this work, we reformulate our previously developed strategy for operating unknown constrained mechanisms, to fit our new task specification framework for indirect force controlled robots, which we presented recently. The main improvement is a significant reduction of erroneous forces, which is achieved by breaking the manipulation task down into a hierarchical set of subtasks instead of having interfering tasks. The improvement is evaluated by conducting a series of manipulation experiments using the old and new approach and comparing the average erroneous forces.
Separating hypervisor trusted computing base supported by hardware

In this paper we explore how recent advances in virtualisation support for commodity hardware could be utilised to reduce the Trusted Computing Base (TCB) and improve the code separation of a hypervisor. To achieve this, we reassess on the definition of the TCB and illustrate how segregation of different code blocks could be enforced by hardware protection mechanisms. We argue that many software-based efforts in TCB reduction and separation can benefit from utilising those hardware capabilities.
The variable structure multiple model GM-PHD filter based on likely-model set algorithm

The multiple model (MM) version of Gaussian mixture probability hypothesis density (GM-PHD) filter is an effective method for multiple maneuvering target tracking. However, the model set used in the MM version of GM-PHD (MM-GM-PHD) filter is the same for each target at each time step. In this paper, we present a variable structure MM-GM-PHD (VSMM-GM-PHD) filter. Different model sets at different time are used for each target, and the GM-PHD filter for variable structure MM (VSMM) is also developed. Then the likely-model set (LMS) algorithm is employed to determine the model sets used for the different targets at different time steps. In this paper, the VSMM-GM-PHD filter based on LMS is proposed. The simulation results show that the proposed algorithm can work more efficiently with better accuracy compared with the effective MM-GM-PHD filter.
China's New Diplomacy

The recent crisis over North Korea's nuclear weapons has had at least one unexpected aspect: the crucial -- and highly effective -- intervention of Beijing. China's steady diplomacy is a sign of how much things have changed in the country, which has long avoided most international affairs. Recently, China has begun to embrace regional and global institutions it once shunned and take on the responsibilities that come with great-power status. Just what the results of Beijing's new sophistication will be remains to be seen; but Asia, and the world, will never be the same
High-resolution, High-speed 3-D Dynamically Deformable Shape Measurement Using Digital Fringe Projection Techniques

With recent advancements of 3-D geometric shape analysis, acquiring 3-D dynamic scenes in real time becomes increasingly important in enormous fields, such as manufacturing, medical sciences, computer sciences, homeland security, and entertainment, etc. Over the last decades, 3-D shape measurement techniques have been improving dramatically rapidly. Numerous techniques have been developed including time of flight, stereo vision, structured light, and digital fringe projection. Because of the development of digital display technology, the structured-light-based methods have the potential to be the most important technology for 3-D shape measurement in both scientific research and industrial practices in the long run. Real-time 3-D shape measurement has recently emerged as a quickly expanding field with the enhancements of computation power of an ordinary personal computer. For real-time 3-D shapemeasurement, 3-D shapes have to be acquired rapidly, processed quickly, and displayed in real time (Zhang, 2010). In the past few years, a number of technologies have been developed. Among which, the optical method is one of the core techniques. However, due to its fundamentally difficult nature, capturing 3-D dynamic scenes with high quality remains challenging, and even fewer systems are capable of processing 3-D geometry in real time because of the complexity of the problem Our group has devoted a vast amount of effort in real-time 3-D shape measurement field. Over the past few years, we have been developing technologies using a technique called digital fringe projection and phase-shifting technique, a variation of the structured light technique with structured patterns being sinusoidally changing intensity. We have developed a number of algorithms to improve the processing speed, and taken advantage of the most advanced hardware technologies, graphics processing unit (GPU), to increase the speed of 3-D geometry reconstruction and rendering. With these technologies, we have successfully developed a high-resolution, real-time 3-D shape measurement that achieved simultaneous 3-D absolute shape acquisition, reconstruction, and display at a speed of faster than 26 frames / sec with 300K points per frame under an ordinary personal computer (Zhang et al., 2006). Experiments have demonstrated that the system can accurately capture dynamic changing 3-D scenes, such as human facial expressions. The data acquired by such a system have already been applied to 2
Uterine transplantation: a systematic review

Up to 15% of the reproductive population is infertile, and 3 to 5% of these cases are caused by uterine dysfunction. This abnormality generally leads women to consider surrogacy or adoption. Uterine transplantation, although still experimental, may be an option in these cases. This systematic review will outline the recommendations, surgical aspects, immunosuppressive drugs and reproductive aspects related to experimental uterine transplantation in women.
Transcriptional analysis of the 16s rRNA gene in Rickettsia prowazekii

The control of rRNA synthesis in the etiological agent of epidemic typhus, Rickettsia prowazekii, a slowly growing obligate intracytoplasmic bacterium, was investigated. Transcription of the rickettsial 16S rRNA gene (rrs), of which there is only a single copy, was controlled by a single promoter region, and the site for the initiation of transcription (base A) was found 117 bp upstream of the rrs coding region for the mature product. The promoter region contained an Escherichia coli promoter-like sequence, TTGACA-N17-TATAAC, centered 139 bp upstream of the coding region for the mature product. To investigate whether transcription of the rickettsial rrs responds to amino acid starvation conditions, total RNA was isolated from R. prowazekii-infected mouse L929 cells with or without methionine starvation. The level of newly synthesized 16S rRNA precursors in R. prowazekii, as analyzed by ribonuclease protection assays, decreased significantly after methionine starvation for 6 h and then recovered within 12 h after the addition of methionine. The chemical half-lives of the 16S rRNA precursors in the methionine-starved rickettsiae did not differ significantly from those in the normal rickettsiae. These results suggest that R. prowazekii regulates transcription of the rrs in response to amino acid starvation conditions.
Synthesis and Antimalarial Evaluation of Cyclicβ-Amino Acid-Containing Dipeptides

This paper describes an efficient synthesis and the antiparasitic evaluation of cyclic β-amino acid-containing dipeptides 3.1-3.6 and 4.1-4.5. The antimalarial properties of all these dipeptides have been evaluated in vitro against Plasmodium falciparum and in vivo against Plasmodium berghai. Compounds 4.4 and 4.5 have been found to be very effective in this respect, with IC50 values of 3.87 and 3.64 μg/mL in the in vitro test, while 4.5 has also been found to be active in the in vivo evaluation.
State and federal administrative law

State and Federal Administrative Law , Fourth Edition, contains thorough coverage of administrative law issues in both federal and state contexts. Although it can be used for a course that focuses primarily on federal law, its dual coverage allows instructors to highlight the insights that can emerge from a comparison between federal and state approaches to the same issues. The book exposes students to a broad sample of the federal, state, and local administrative agencies that they will encounter in their professional lives. The book also contains many short, concrete problems that enable instructors to make use of the problem method. A comprehensive teacher's manual accompanies the book.
The Regional Pattern of the U.S. House Price Bubble – An Application of SPC to City Level Data

Abstract The recent U.S. house price bubble and the subsequent deep financial crisis have renewed the interest in reliable identification methods for asset price bubbles. While there is a growing number of studies focussing on the detection of U.S. regional bubbles, estimations of the likely starting points in different local U.S. markets are still rare. Using regional data from 1990 to 2010 methods of Statistical Process Control (SPC) are used to test for house price bubbles in 17 major U.S. cities. Based on the EWMA control chart we also present estimations of the likely starting point of the regional bubbles. As a result, we find indications of house price bubbles in all 17 considered cities. Interestingly enough, the recent bubble was not a homogeneous event since regional starting points range from 1996 to 2002.
Is Economic Activity in the G7 Synchronized? Common Shocks Versus Spillover Effects

This Paper analyses the co-movement in activity, measured by GDP and industrial production, between the G7 countries for the period 1972-2002. For that purpose, a dynamic factor model is estimated using Kalman Filtering techniques. In addition to separating common and country-specific - idiosyncratic - developments of output, we try to identify the causes underlying the observed co-movement: to what extent is it driven by common shocks and to what extent can cross-country/cross-area spill-over effects account for the observed co-movement? We find that the output developments in G7 countries are driven to a substantial extent by common dynamics. A significant part of the co-movement, especially in the first half of the sample, can be explained by developments in the price of oil, an important and easily identifiable common shock. The analysis suggests that, in addition, area-specific common factors play an important role, separating the sample into a North American (US, Canada) and a continental European (France, Germany, Italy) area, with the UK and Japan being somewhat separate from these areas. We find that developments in the North American factor have a strong lagged impact on the continental European factor, while the reverse is not true. Furthermore, the strength of the cross-area spillovers from America to Europe appears to have become stronger over the sample period, suggesting that international linkages have increased in the process of globalization.
Assessing the Efficiency of Local Entities in the Provision of Public Sports Facilities

In recent years, Spanish municipal authorities have been devoting important amounts of their resources to financing the construction and maintenance of sports facilities. However, the current financial climate has led to a decrease in the resources available, while demand by citizens has continued to grow. Management must therefore become more efficient if quality services are to continue to be offered. Analysis of the factors that affect efficiency of local entities provides important strategic information. A twostage double bootstrap procedure was used to estimate the efficiency determinants of Spanish local entities in the provision of public sports facilities. In the first stage, robust efficiency estimates were obtained with a data envelopment analysis (DEA). We applied the nonparametric double bootstrap model by Simar and Wilson (2007), which is based on a truncated-regression. This estimated the effect of a group of environmental factors on robust DEA estimates. The results showed the existence of a significant relationship between efficiency and all of the analyzed variables. We also considered the influence of the political sign of the governing party.
Modeling Microblogs using Topic Models

As the popularity of micro-blogging increases, managing friends and followers and their tweets is becoming increasingly complex. In this project, we explore the usage of topic models in understanding both text and links in micro-blogs. On a data set of 21306 users, we find that LDA can find good topics that seem to capture meaningful topics of discussion in twitter. We also find that knowing whether two users tweet about similar topics is more useful in predicting links between them than standard network analysis metrics that ignore text.
Quantifying the costs and benefits of architectural decisions

The benefits of a software system are assessable only relative to the business goals the system has been developed to serve. In turn, these benefits result from interactions between the system's functionality and its quality attributes (such as performance, reliability and security). Its quality attributes are, in most cases, dictated by its architectural design decisions. Therefore, we argue that the software architecture is the crucial artifact to study in making design tradeoffs and in performing cost-benefit analyses. A substantial part of such an analysis is in determining the level of uncertainty with which we estimate both costs and benefits. We offer an architecture-centric approach to the economic modeling of software design decision making called CBAM (Cost Benefit Analysis Method), in which costs and benefits are traded off with system quality attributes. We present the CBAM, the early results from applying this method in a large-scale case study, and discuss the application of more sophisticated economic models to software decision making.