Miracle-dz/UniFAR-FTUs huggingface dataset:
Approximation of Unorganized Point Set with Composite Implicit Surface

We propose a new approach for surface reconstruction from any unorganized point set, with a fixed amount of parameters. First, we consider some local approximations by compactly supported radial basis functions (CSRBFs), then blend them by a partition of unity method (PU). In our scheme, we start by selecting CSRBFs centers, then construct partitions, finally parameters are calculated in order to minimize, on each sub-domain, the mean square error with a regularization constraint. We demonstrate the effectiveness of our approach on several models with different points distributions.
Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes

Probabilistic models are widely deployed in various systems. To ensure their correctness, verification techniques have been developed to analyze probabilistic systems. We propose the first sound and complete learning-based compositional verification technique for probabilistic safety properties on concurrent systems where each component is an Markov decision process. Different from previous works, weighted assumptions are introduced to attain completeness of our framework. Since weighted assumptions can be implicitly represented by multiterminal binary decision diagrams (MTBDDs), we give an >i/i<*-based learning algorithm for MTBDDs to infer weighted assumptions. Experimental results suggest promising outlooks for our compositional technique.
Modelling, simulation and implementation of a quadrotor UAV

This paper presents modelling, simulation and implementation of a quadrotor Unmanned Ariel Vehicle (UAV) Focus of this work is to gain in-depth understanding of quadrotor dynamics to develop a simulator and a laboratory platform to facilitate future development of control algorithms, automatic navigation systems, and trajectory planning for quadrotors. Quadrotor dynamics is modeled using Newton-Euler method. The model predicts the effects of the forces and torques generated by the four propellers on the quadrotor motion. Based on the model, a quadrotor simulator was developed in MATLAB® Simulink, on which various control algorithms can be developed and tested. A quadrotor prototype was built on which some of the control algorithms were tested experimentally in different environments to evaluate the stability and controllability of the platform. Experimental flight data and simulation results were compared to validate the accuracy of the dynamic model.
Reciprocal Estimation of Pedestrian Location and Motion State toward a Smartphone Geo-Context Computing Solution

The rapid advance in mobile communications has made information and services ubiquitously accessible. Location and context information have become essential for the effectiveness of services in the era of mobility. This paper proposes the concept of geo-context that is defined as an integral synthesis of geographical location, human motion state and mobility context. A geo-context computing solution consists of a positioning engine, a motion state recognition engine, and a context inference component. In the geo-context concept, the human motion states and mobility context are associated with the geographical location where they occur. A hybrid geo-context computing solution is implemented that runs on a smartphone, and it utilizes measurements of multiple sensors and signals of opportunity that are available within a smartphone. Pedestrian location and motion states are estimated jointly under the framework of hidden Markov models, and they are used in a reciprocal manner to improve their estimation performance of one another. It is demonstrated that pedestrian location estimation has better accuracy when its motion state is known, and in turn, the performance of motion state recognition can be improved with increasing reliability when the location is given. The geo-context inference is implemented simply with the expert system principle, and more sophisticated approaches will be developed.
RADICAL SCAVENGING CAPACITY OF ETHYLENE-TREATED KIWIFRUIT

The aim of this investigation was to compare the content of the polyphenols and ascorbic acid and the radical scavenging capacity of ethylene-treated and nontreated kiwifruit. It was found that the contents of these bioactive compounds determined by UV spectroscopy and fluorometry were higher in ethylene-treated kiwifruit than in the nontreated ones. In order to support the obtained data, two different antioxidant assays were used. Antioxidant capacity in total polyphenol extracts of treated kiwifruit measured by ferric-reducing/antioxidant power (FRAP) and Trolox equivalent antioxidant capacity (TEAC) assays were significantly higher than that of nontreated. Higher correlation coefficients were obtained with polyphenols and antioxidant activity than with ascorbic acid. FRAP produced the most consistent measurements for ethylene-treated kiwifruit. The investigated samples showed similar protein bands during the whole period of treatment. Main protein bands appeared in the range of 20–35 kDa. The radical scavenging capacity of the kiwifruit can be used for the determination of the ripening. PRACTICAL APPLICATIONS It is an established fact that supplementation of diet with fruits prevents atherosclerosis and other diseases. A new method was developed and applied for estimation of the duration of kiwifruit ethylene treatment, which is based on the comparison of the radical scavenging capacity and polyphenols in treated and nontreated fruits. Radical scavenging capacity can be determined by different antioxidant tests, which makes such application easy to use practically. The results of this research showed that the bioactivity of kiwifruit increased during the ethylene treatment and its maximum was registered at the sixth day. This is the maximum of the treatment of the fruit, and the bioactive compounds achieved the peak amounts. The main bioactive compounds in kiwifruit with high antioxidant activity prevent the oxidation of low density cholesterol, and can be recommended as a supplementation to the diet and as a part in functional foods.
Temporal Pattern Predictor for Virtual Characters

This paper discusses a prototype of a temporal pattern predictor, which was built on specifications derived from the descriptions of the “Ergotrix” temporal memory network in Valentino Braitenberg’s “Vehicles” (Braitenberg, 1984). The prototype was developed as a component for a control architecture for virtual characters.
Hardware-accelerated implementation of EMD

Hilbert Huang Transform (HHT) is an empirical time-frequency analysis method firstly proposed by N. E. Huang in 1998. This method is suitable for nonlinear and non-stationary signal processing and thus employed for bioelectrical signal processing and analysis in recent years. However, the large computation cost of HHT restricts its applications for real-time signal processing. This paper presents a hardware accelerated HHT system based on Field Programmable Gate Array (FPGA), which employs hardware and software co-design techniques to effectively improve the processing speed.
Towards a Better VIEW : Visual Information Exploration on the Web

Given common search interfaces, it is difficult to gain orientation within large information spaces and explore information along conceptual dimensions such as time, location, and topics. In this thesis, I develop the idea of visual information exploration on the Web (VIEW) that aims to support a more active way of finding and exploring information by the means of coordinated visualizations. Drawing from both visual information seeking and exploratory search, I present the design of interactive visualization widgets called VisGets. VisGets provide the information seeker with visual overviews of multiple aspects of Web resources and a way to pose a search query visually within the Web-browser. This facilitates the construction of combined queries with temporal, spatial, and semantic constraints. A prototype VIEW system was implemented featuring three linked VisGets— time slider, geographic map, and tag cloud—that are used to visually explore news items aggregated from RSS feeds. Preliminary evaluations have shown positive reactions from information seekers and revealed possible applications for VisGets. Directions for future research on visual information exploration are outlined.
Medium and transition in mobile projected interfaces

Two advantages of mobile projectors as compared to other display technologies are that they can offer adjustable screen sizes and can transform a great variety surfaces in the physical environment into displays. Mediums, such as concrete, glass, water, or fog could be employed to present information. Many displays are created to suit a specific application context while a single projection enabled device could adapt to multiple environments. For example, moving from an interactive projected desktop surface to an automobile head-up-display. We suggest that the design of projected interfaces should harness key advantages of this technology and create a smooth transition between the different mediums and application contexts.
Tunable Collagen I Hydrogels for Engineered Physiological Tissue Micro-Environments

Collagen I hydrogels are commonly used to mimic the extracellular matrix (ECM) for tissue engineering applications. However, the ability to design collagen I hydrogels similar to the properties of physiological tissues has been elusive. This is primarily due to the lack of quantitative correlations between multiple fabrication parameters and resulting material properties. This study aims to enable informed design and fabrication of collagen hydrogels in order to reliably and reproducibly mimic a variety of soft tissues. We developed empirical predictive models relating fabrication parameters with material and transport properties. These models were obtained through extensive experimental characterization of these properties, which include compression modulus, pore and fiber diameter, and diffusivity. Fabrication parameters were varied within biologically relevant ranges and included collagen concentration, polymerization pH, and polymerization temperature. The data obtained from this study elucidates previously unknown fabrication-property relationships, while the resulting equations facilitate informed a priori design of collagen hydrogels with prescribed properties. By enabling hydrogel fabrication by design, this study has the potential to greatly enhance the utility and relevance of collagen hydrogels in order to develop physiological tissue microenvironments for a wide range of tissue engineering applications.
Scalable similarity-based neighborhood methods with MapReduce

Similarity-based neighborhood methods, a simple and popular approach to collaborative filtering, infer their predictions by finding users with similar taste or items that have been similarly rated. If the number of users grows to millions, the standard approach of sequentially examining each item and looking at all interacting users does not scale. To solve this problem, we develop a MapReduce algorithm for the pairwise item comparison and top-N recommendation problem that scales linearly with respect to a growing number of users. This parallel algorithm is able to work on partitioned data and is general in that it supports a wide range of similarity measures. We evaluate our algorithm on a large dataset consisting of 700 million song ratings from Yahoo! Music.
Using Genetic Algorithms with Lexical Chains for Automatic Text Summarization

Automatic text summarization takes an input text and extracts the most important content in the text. Determining the importance of information depends on several factors. In this paper, we combine two different approaches that have been used in the text summarization domain. The first one is using genetic algorithms to learn the patterns in the documents that lead to the summaries. The other one is using lexical chains as a representation of the lexical cohesion that exists throughout the text. We propose a novel approach that incorporates lexical chains into the model as a feature and learns the feature weights using genetic algorithms. The experiments performed on the CAST corpus showed that combining different classes of features and also including lexical chains outperform the classical approaches.
Assessing the Economic Impacts of Incorporating Romania's Agricultural and Food Sectors into EU's Customs Union: An Applied General Equilibrium Approach

Joining the European Union club implies, among many other policy changes, full integration of Romania's economy into EU's customs union. This is expected to have significant implications for domestic farmers and food processors. The paper constructs a single-country Applied General Equilibrium (AGE) model to investigate the impact of tariff border adjustments on changes in relative prices, production and trade patterns associated with fifteen local agro-food activities. Moreover, the modelling work identifies those agro-food sectors that have the potential to benefit the most from EU enlargement in terms of output effects given that Romanian producers are capable of fully responding to the incentives provided with integration. These mainly include (bovine) live animals and meat products, sugar, and cereal grains. Agro-food trade with EU intensifies in particular for those commodities for which trade restrictions are still substantial prior to accession. However, the magnitude of changes is relatively small due to the weak integration of domestic agro-food sectors into international trade structures. The AGE model also predicts static welfare gains of 0.65 percent of GDP equivalent variation. These seem to be more associated with better access to EU markets and increased export prices, and less with the preferential unilateral elimination of tariffs or their adjustment to EU's external levels. The model assumptions are highly theoretical and the model structure does not reflect with fidelity the workings of an economy in transition. Nonetheless, it does represent a solid base upon which further improvements could be added and structural transitional issues could be attached to more accurately predict potential outcomes.
Facilitating benign deceit in mediated communication

This research explores how to communicate an individuals' self-reported emotional state to members of their personal social network, through automatic, computer-generated, personalised updates. Results of two qualitative studies are described where participants were unwilling to disclose their emotional state fully to all of their network members, choosing to deceive selected members instead. Further, participants indicated that they would want automatic personalised updates for network members to incorporate these deceits.
A new convective adjustment scheme. Part II: Single column tests using GATE wave, BOMEX, ATEX and arctic air‐mass data sets

The schemes proposed in part I are tested using single-column data sets from tropical field experiments (GATE, BOMEX, ATEX) and an arctic air-mass transformation. Both the deep and shallow schemes perform well. The sensitivity of the schemes to adjustable parameters is also studied. Preliminary global forecasts show significant improvements in the global surface fluxes and mean tropical temperature tendency over the operational Kuo convection scheme.
Supporting sensory transduction: cochlear fluid homeostasis and the endocochlear potential

The exquisite sensitivity of the cochlea, which mediates the transduction of sound waves into nerve impulses, depends on the endocochlear potential and requires a highly specialized environment that enables and sustains sensory function. Disturbance of cochlear homeostasis is the cause of many forms of hearing loss including the most frequently occurring syndromic and non‐syndromic forms of hereditary hearing loss, Pendred syndrome and Cx26‐related deafness. The occurrence of these and other monogenetic disorders illustrates that cochlear fluid homeostasis and the generation of the endocochlear potential are poorly secured by functional redundancy. This review summarizes the most prominent aspects of cochlear fluid homeostasis. It covers cochlear fluid composition, the generation of the endocochlear potential, K+ secretion and cycling and its regulation, the role of gap junctions, mechanisms of acid–base homeostasis, and Ca2+ transport.
The death of FR II radio sources and their connection with radio relics

Radio relic sources in galaxy clusters are often described as the remnants of powerful radio galaxies. Here we develop a model for the evolution of such relics after the jets cease to supply energy to the lobes. This includes the treatment of a relic overpressured with respect to its gaseous surroundings even after the jets switch off. We also determine the radio emission of relics for a large variety of assumptions. We take into account the evolution of the strength of the magnetic field during the phase of relativistic particle injection into the lobes. The resulting spectra show mild steepening at around 1 GHz but avoid any exponential spectral cut-offs. The model calculations are used to fit the observed spectra of seven radio relics. The quality of the fits is excellent for all models discussed. Unfortunately, this implies that it is virtually impossible to determine any of the important source parameters from the observed radio emission alone.
Elastic Wave Transmission at an Abrupt Junction in a Thin Plate, with Application to Heat Transport and Vibrations in Mesoscopic Systems

The transmission coefficient for vibrational waves crossing an abrupt junction between two thin elastic plates of different widths is calculated. These calculations are relevant to ballistic phonon thermal transport at low temperatures in mesoscopic systems and the Q for vibrations in mesoscopic oscillators. Complete results are derived in a simple scalar model of the elastic waves, and results for long-wavelength modes are obtained using full elasticity theory. We suggest that thin-plate elasticity theory provides a useful and tractable approximation to the three-dimensional geometry.
Symbiotic general-purpose and domain-specific languages

Domain-Specific Modeling Languages (DSMLs) have received great attention in recent years and are expected to play a big role in the future of software engineering as processes become more view-centric. However, they are a “two-edged sword”. While they provide strong support for communication within communities, allowing experts to express themselves using concepts tailored to their exact needs, they are a poor vehicle for communication across communities because of their lack of common, transcending concepts. In contrast, General-Purpose Modeling Languages (GPMLs) have the opposite problem - they are poor at the former but good at the latter. The value of models in software engineering would therefore be significantly boosted if the advantages of DSMLs and GPMLs could be combined and models could be viewed in a domain-specific or general-purpose way depending on the needs of the user. In this paper we present an approach for achieving such a synergy based on the orthogonal classification architecture. In this architecture model elements have two classifiers: a linguistic one representing their “general-purpose” and an ontological one representing their “domain-specific” type. By associating visualization symbols with both classifiers it is possible to support two concrete syntaxes at the same time and allow the domain-specific and general-purpose notation to support each other - that is, to form a symbiotic relationship.
Power allocation in heterogeneous networks: Limited spectrum-sensing ability and combined protection

In this paper, we investigate the problem of power allocation in a heterogeneous network that is composed of a pair of cognitive users (CUs) and an infrastructure-based primary network. Since CUs have only limited effective spectrum-sensing ability and primary users (PUs) are not active all the time in all locations and licensed bands, we set up a new multi-area model to characterize the heterogeneous network. A novel combined interference-avoidance policy corresponding to different PU-appearance situations is introduced to protect the primary network from unacceptable disturbance and to increase the spectrum secondary-reuse efficiency. We use dual decomposition to transform the original power allocation problem into a two-layer optimization problem. We propose a low-complexity joint power-optimizing method to maximize the transmission rate between CUs, taking into account both the individual power-transmission constraints and the combined interference power constraint of the PUs. Numerical results show that for various values of the system parameters, the proposed joint optimization method with combined PU protection is significantly better than the opportunistic spectrum access mode and other heuristic approaches.
Phonon dispersions of cluster crystals

We analyze the ground states and the elementary collective excitations (phonons) of a class of systems, which form cluster crystals in the absence of attractions. Whereas the regime of moderate-to-high temperatures in the phase diagram has been analyzed in detail by means of density functional considerations (Likos et al 2007 J. Chem. Phys. 126 224502), the present approach focuses on the complementary regime of low temperatures. We establish the existence of an infinite cascade of isostructural transitions between crystals with different lattice site occupancies at T = 0 and we quantitatively demonstrate that the thermodynamic instabilities are bracketed by mechanical instabilities arising from long-wavelength acoustical phonons. We further show that all optical modes are degenerate and flat, giving rise to almost perfect realizations of Einstein crystals. We calculate analytically the complete phonon spectrum for the whole class of models as well as the Helmholtz free energy of the systems. On the basis of the latter, we demonstrate that the aforementioned isostructural phase transitions must terminate at an infinity of critical points at low temperatures, brought about by the anharmonic contributions in the Hamiltonian and the hopping events in the crystals.
The Immediate Present Train Model Time Production and Representation for Cognitive Agents

Time perception and inferences there from are of critical importance to many autonomous agents. But time is not perceived directly by any sensory organ. We argue that time is constructed by cognitive processes. Here we present a model for time perception that concentrates on succession and duration, and that generates these concepts and others, such as continuity, immediate present duration, and lengths of time. These concepts are grounded through the perceptual process itself. The LIDA cognitive model is used to illustrate these ideas.
Projective Normality of Special Scrolls

We study the projective normality of a linearly normal special scroll R of degree d and speciality i over a smooth curve X of genus g. We relate it with the Clifford index of the base curve X. If d ≥ 4g− 2i−Cliff(X)+1, i ≥ 3 and R is smooth, we prove that the projective normality of the scroll is equivalent to the projective normality of its directrix curve of minimum degree. Mathematics Subject Classifications (2000): Primary, 14J26; secondary, 14H51, 14H60.