Miracle-dz/UniFAR-FTUs huggingface dataset:
Fourier Reconstruction of Nonuniformly Sampled, Aliased Seismic Data

There are numerous methods for interpolating uniformly sampled, aliased seismic data, but few can handle the combination of nonuniform sampling and aliasing. We combine the principles of Fourier reconstruction of nonaliased, nonuni-formly sampled data with the ideas of frequency-wavenum-ber ͑ f-k͒ interpolation of aliased, uniformly sampled data in a new two-step algorithm. In the first step, we estimate the Fou-rier coefficients at the lower nonaliased temporal frequencies from the nonuniformly sampled data. The coefficients are then used in the second step as an a priori model to distinguish between aliased and nonaliased energy at the higher, aliased temporal frequencies. By using a nonquadratic model penalty in the inversion, both the artifacts in the Fourier domain from nonuniform sampling and the aliased energy are suppressed. The underlying assumption is that events are planar; therefore, the algorithm is applied to seismic data in overlapping spatiotemporal windows.
AGR2, an Endoplasmic Reticulum Protein, Is Secreted into the Gastrointestinal Mucus

The MUC2 mucin is the major constituent of the two mucus layers in colon. Mice lacking the disulfide isomerase-like protein Agr2 have been shown to be more susceptible to colon inflammation. The Agr2−/− mice have less filled goblet cells and were now shown to have a poorly developed inner colon mucus layer. We could not show AGR2 covalently bound to recombinant MUC2 N- and C-termini as have previously been suggested. We found relatively high concentrations of Agr2 in secreted mucus throughout the murine gastrointestinal tract, suggesting that Agr2 may play extracellular roles. In tissue culture (CHO-K1) cells, AGR2 is normally not secreted. Replacement of the single Cys in AGR2 with Ser (C81S) allowed secretion, suggesting that modification of this Cys might provide a mechanism for circumventing the KTEL endoplasmic reticulum retention signal. In conclusion, these results suggest that AGR2 has both intracellular and extracellular effects in the intestine.
Real-time disparity contrast combination for onboard estimation of the visibility distance

An atmospheric visibility measurement system capable of quantifying the most common operating range of onboard exteroceptive sensors is a key parameter in the creation of driving assistance systems. This information is then utilized to adapt sensor operations and processing or to alert the driver that his onboard assistance system is momentarily inoperative. Moreover, a system capable of either detecting the presence of fog or estimating visibility distances constitutes in itself a driving assistance. In this paper, the authors present a technique to estimate the mobilized visibility distance through a use of onboard charge-coupled device cameras. The latter represents the distance to the most distant object on the road surface having a contrast above 5%. This definition is very close to the definition of the meteorological visibility distance proposed by the International Commission on Illumination. The method combines the computations of local contrasts above 5% and of a depth map of the vehicle environment using stereovision within 60 ms on a current-day computer. In this paper, both methods are described separately. Then, their combination is detailed. The method is operative night and day in every kind of meteorological condition and is evaluated; thanks to video sequences under sunny weather and foggy weather.
Design and performance of LDPC codes extended with parity-check symbols from a larger alphabet

This paper describes a method for constructing a certain class of LDPC codes over mixed integer residue rings. These codes are essentially extended LDPC codes where the additional redundant symbols come from a larger alphabet. In particular, we address the effects that zero divisors as edge weights in the Tanner graph of LDPC codes over Z, have, from the pseudocodeword perspective. First, we show that weighting certain edges of a Tanner graph with zero divisors of Z, can reduce the number of pseudocodewords arising from its finite degree covers. Second, we prove that in adding a redundant row to a given parity-check matrix, the smaller the number of zero divisors it contains, the more effective it is in constricting the corresponding fundamental polytope. Moreover, we argue that cycles of length four are not bad provided at least one of the four corresponding edge weights is a zero divisor. The culmination of these findings is a procedure for judiciously adding redundant check nodes to the Tanner graph representation of a mixed- alphabet code such that significant performance improvements under iterative decoding may be obtained.
Design of a cache hierarchy for LogN and LogN+1 model for multi-level cache system for multi-core processors

After the successful implementation of the dual and quad core processors, the designers are now thinking to place hundreds or even thousand of cores on a single chip. But this practice may lead to many basic and fundamental restrictions like interconnection of cores, memory size and its access patterns, cache design, number of cache levels etc. To overcome the cache related problems for many core processors two new multi-level cache models, LogN and LogN+1, have been proposed. These models are based on binary tree data structure. In this paper two design approaches for defining multi-level cache hierarchy for these two models are discussed. These two approaches are based on use of arithmetic and geometric propagation. After analyzing both these approaches for both LogN and LogN+1 model, the geometric propagation approach found much better for defining cache hierarchy in terms of size, frequency and cost. Also, cache access time for a core in a cache hierarchy designed using geometric propagation found much lesser than a cache hierarchy designed using arithmetic propagation.
Nonlinear H 1 synchronization of Lur ' e systems : dynamic output feedback caseJohan

In this letter we introduce a new master-slave synchronization scheme for Lur'e systems, which makes use of vector eld modulation and dynamic output feedback in order to recover a message signal. The synchronization scheme is represented in standard plant form according to modern control theory. I/O properties of the scheme are analyzed using a dissipativity approach with a quadratic storage function and a supply rate with nite L2-gain. The method avoids transmission of the full state vector. The controller design is based on a matrix inequality, corresponding to nonlinear H1 synchronization. The new scheme is illustrated on Chua's circuit.
Interferometric Observations of IRC +10011 and IRC +10420 in the Mid-Infrared

The 11 μm fringe visibilities of IRC +10011 (= CIT3) and IRC +10420 have been measured at baselines ranging from 2 to 14 m with a two-telescope interferometer. The visibility data provide one-dimensional profiles of these two stars and their immediate surroundings with higher resolution in this spectral range than is presently possible with a single-aperture telescope. Spherically symmetric radiative transfer models suggest that IRC +10011 is surrounded by a dust shell with an inner radius subtending 0. ″033, which falls off in density as r-1.5, slightly slower than the r-2 expected for constant dust outflow. IRC +10420 appears to have a dust shell of inner radius 0. ″12, the density of which drops very slowly compared with that in a constant outflow. This implies decreasing outflow or a significant emission in the past.
Securing UML Information Flow Using FlowUML

FlowUML is a logic-based system to validate information flow policies at the requirements specification phase of UML based designs. It uses Horn clauses to specify information flow polices that can be checked against flow information extracted from UML sequence diagrams. FlowUML policies can be written at a coarse grain level of caller-callee relationships or at a finer level involving passed attributes.
A Novel Approach to Improve the Security of P2P File-Sharing Systems

The recent and unprecedented surge of public interest in peer-to-peer (P2P) file-sharing systems has led to a variety of interesting research questions. How to minimize threats in such an open community is an important research topic. Trust models have been widely used in estimating the trustworthiness of peers in P2P file-sharing systems where peers can transact with each other without prior experience. However, current P2P trust models almost take no consideration for the nature of trust, fuzzy, complex and dynamic, which results in low efficiency in resisting the attacks of malicious nodes. In this paper, a new trust model named NatureTrust that can alleviate the shortage brought by the nature of trust is proposed. In order to cope with the fuzzy characteristic of trust, linguistic terms are used to express trust. Additionally, fuzzy inference rules are employed to evaluate trust of each transaction so as to handle the complex characteristic of trust. Furthermore, risk factor is deployed into NatureTrust to represent and reason with the dynamic characteristic of trust. Both risk and trust factors are considered in evaluating the trustworthiness of each peer. Experimental results show that the trust model analyzed here thus stands against malicious act effectively.
Assessment of Interactions of Diverse Ternary Mixtures in an Estrogen Receptor-α Reporter Assay

This study used an MCF-7 cell based ER-alpha reporter gene assay to assess chemical interactions within the following ternary mixtures: (1) three synthetic pesticides, methoxychlor (MXC), o,p-DDT, and dieldrin; (2) three polyaromatic hydrocarbons, benzo[a]pyrene (BAP), 1,2-benzanthracene (BENZ), and chrysene (CHRY); and (3) an endogenous estrogen, [17beta-estradiol, (E(2))]; a phytoestrogen, genistein (GEN); and a synthetic estrogen, o,p-DDT. A full factorial design in which four concentrations of each chemical were assessed in all possible combinations (64 treatment groups) was utilized. In addition, mixtures were tested in both a low range (concentrations near the individual chemical response thresholds) and a high range ( approximately 2-10x higher) experiment. A response surface was estimated using a nonlinear mixed model, and the cumulative response in each mixture was evaluated for departure from additivity. The mixture of E(2), GEN, and DDT exhibited antagonistic interactions (p < 0.001) in both concentration ranges. However, specific interactions between E(2)/GEN and E(2)/DDT differed between the low and high range concentrations. The BAP/BENZ/CHRY mixture did not depart significantly from additivity (p = 0.66) in either concentration range, although response levels were generally low. The MXC/DDT/dieldrin mixture did not depart significantly from additivity in either the high (p = 0.065), or low dose range (p = 0.506), with generally minimal responses dominated by MXC and DDT. This methodology has allowed for a rigorous statistical evaluation of potential departures from additive interactions in endocrine active mixtures. In no case was a significantly greater-than-additive (synergistic) interaction observed.
Vehicle based waveform laser scanning in a coastal environment

This paper presents the results of an investigation into the use of a waveform lidar system from a ground based vehicle. Data was collected using a Riegl LMS Q560 laser scanner mounted on the roof of a Landrover driven along a 7 km stretch of coastline at Filey Bay, North Yorkshire, UK. An IMU and differential GPS unit, part of IGI’s AeroControl system, were used to provide measurement of sensor orientation and position. Data with an average spatial resolution of 20 cm was collected. The coastline and intertidal zone are notoriously difficult to monitor given the limitations on activity imposed by the tide, extent of coastline, and the limited availability of reliable permanent control. Despite this, the coastal environment is an important asset, the condition of which often needs to be carefully monitored so as to improve the understanding of coastal processes and mechanisms which ultimately leads to improved management decisions and policies. Importantly, not only does the changing topography of coastal cliffs need to be monitored, but so does the profile of the beach and extent and type of vegetation. In many cases, the use of scattered, periodic measurements of coastal change has, therefore, been replaced with airborne survey using photography and/or airborne lidar which provide higher density geometric data. However, despite this, access to data with a high spatial and temporal resolution is still limited. A ground based rapid mapping survey solution may provide a more responsive solution and given the highly dynamic nature of the coastal environment, help to improve the understanding of coastal zone dynamics. Data collection took around 15 minutes, emphasising the appropriateness of the technique to the survey of the coastal zone. This is substantially quicker than the time that would be required to collect comparable data from multiple scans using a conventional static terrestrial laser scanner. The acquired data was quantifiably compared against ground truth data collected within one day of the lidar survey, and also against existing airborne lidar and photogrammetric datasets from previous survey campaigns. The project also considered the potential advantages of using the full laser waveform to improve analysis, in particular in dealing with vegetation along the soft rock cliffs. While the Filey Bay coastline was relatively well suited to the application of such a mobile mapping system, it is recognised that not all coastal sites would be the same. However, there are many other applications where the use of a ground based waveform lidar may be more useful than regular lidar alone, such as in the survey of vegetation along transport routes. This paper, therefore, contributes to the discussion on new methodologies for the rapid survey of linear features, helping to provide managers and engineers with a clearer view of dynamic environments in which it has previously been very difficult to survey using ground based surveying technology.
Efficient log authentication for forensic computing

In this paper, an efficient log authentication scheme for forensic computing is proposed. To conduct reliable forensic computing, it is required that the logs as digital evidences be verified. To verify them, digital signatures issued by authorities are needed. However, if many logging hosts connect to the server that issues the signatures, the traffic of the server will increase. Therefore, the authors proposed an efficient log authentication scheme for forensic computing. The scheme reduces the traffic of the sign server, which signs the logs of the logging hosts, by using distributed Merkle tree algorithm among the logging hosts. The scheme's effectiveness was shown through evaluation experiments.
From Local to Global Coherence: A Bottom-Up Approach to Text Planning

We present a new, data-driven approach to text planning, which can be used not only to map full knowledge pools into natural language texts, but also to generate texts that satisfy multiple, high-level communicative goals. The approach explains how global coherence can be achieved by exploiting the local coherence constraints of rhetorical relations. The local constraints were derived from a corpus analysis.
UG R EJECTION WITH THEIR I MPACT O VER T ESTING E FFICIENCY

A significant percentage of software bugs reported during test cycles falls in a category of Invalid bug reports also known as rejected bugs. This research presents the actual percentage of bugs rejection based on data collected from bug tracking system. This paper provides a list of reasons behind bug rejection, their relation with severity level and possible threats that can affect software testing efficiency with reference to the life of a rejected bug.
Comparing Search Techniques and Genetic Programming in the Application of Agent Based Game Playing : A Problem Analysis

In this paper, various AI programming techniques will be considered in determining which is the most suitable for game playing in a specific domain. The domain is a style of game which involves creating an agent which engages in competition with other agents. In this style of game, a human player will implement a strategy for an agent which will operate within the guidelines of the particular game. There is no luck or probability involved in the games rule system. All advantage is gained through the ability of an agents strategy to choose actions during the competition based on the information available to it. The goal of the computer is to do something analogous to what the human player is
The comparison of Health-Related Quality of Life (HRQL) in patients with GERD, peptic ulcer disease and ulcerative colitis.

PURPOSE The aim of the study was to compare HRQL in patients with three common gastroenterological chronic conditions: gastroesophageal reflux disease (GERD), peptic ulcer disease (PUD) and ulcerative colitis (UC), as well as to assess the correlation between HRQL scores and the disease activity in patients with ulcerative colitis. MATERIAL AND METHODS The study group comprised of 45 patients with GERD, 35--with PUD and 30--with UC. Among patients with UC, 7 were in remission, 13--in mild active and 10--with severe phase of the disease, according to Rachmilewitz. HRQL was assessed using 8 domains of Polish version of 36-Item Short Form Survey (SF-36). RESULTS The highest mean HRQL scores in all groups were obtained in physical and social functioning SF-36 domains. Among patients with GERD and PUD the worst HRQL results were noted in bodily pain subscale; in patients with UC--in general health perception subscale. UC patients with remission showed significantly higher HRQL scores compared with those with mild active and severe phase of the disease; especially in social functioning, mental health and vitality (p < 0.001). Patients with severe UC clinical course had mean HRQL scores statistically lower than those with mild active disease only in vitality and social functioning domains. Mean SF-36 bodily pain parameters were significantly lower in GERD and PUD compared with UC. CONCLUSIONS All the evaluated diseases have a significant negative impact on patients' HRQL parameters, which needs to be considered in those diseases management. The severity of UC clinical course contributes to impaired HRQL.
Informal definitions for the development of a storage structure definition language

Intr oduc tion A storage structure definition can be defined informally as a description of a collection of data which is sufficient to enable a person or system other than the one creating the data to use the data in a meaningful way. Examples of meaningful use are the translation of the data from its original form to a form usable in another installation, and direct access to the data by a system not specifically designed to accept the data. A storage structure definition language can then be defined as a language for expressing storage structure definitions. The development of such a language is the goal of the SSDLTG. The approach presently being followed by the SSDLTG is to consider that a storage structure definition of a collection of data consists of three parts: I) a data structure definition, i.e. , a definition of the logical characteristics of the data collection; 2) a storage structure class definition, i.e., a definition of a class of physical data structures; and 3) a mapping definition, i.e. , a definition of the manner in which the data structure defined in (1) is mapped into the class of storage structures defined in (Z). The purpose of this paper is to elaborate on these components of a storage structure definition, and to provide some informal definitions and examples which we have found useful in developing a storage structure definition language. Specifically, the following are provided: * One of a set of papers presented by members of the Storage Structure Definition
Elastic phase response of silica nanoparticles buried in soft matter

Tracking the uptake of nanomaterials by living cells is an important component in assessing both potential toxicity and in designing future materials for use in vivo. We show that the difference in the local elasticity at the site of silica (SiO2) nanoparticles confined within a macrophage enables functional ultrasonic interactions. By elastically exciting the cell, a phase perturbation caused by the buried SiO2 nanoparticles was detected and used to map the subsurface populations of nanoparticles. Localization and mapping of stiff chemically synthesized silica nanoparticles within the cellular structures of a macrophage are important in basic as well as applied studies.
Interrupt handler migration and direct interrupt scheduling for rapid scheduling of interrupt-driven tasks

In this article, we propose two techniques that aim to minimize the scheduling latency of high-priority interrupt-driven tasks, named the Interrupt Handler Migration (IHM) and Direct Interrupt Scheduling (DIS). The IHM allows the interrupt handler to be migrated from the interrupt handler thread to the corresponding target process so that additional context switch can be avoided and the cache hit ratio with respect to the data generated by the interrupt handler can be improved. In addition, the DIS allows the shortest path reserved for urgent interrupt-process pairs to be laid between the interrupt arrival and target process by dividing a series of interrupt-driven operations into nondeferrable and deferrable operations. Both the IHM and DIS can be combined in a natural way and can operate concurrently. These techniques can be applied to all kinds of interrupt handlers with no modification to them. The proposed techniques not only reduce the scheduling latency, but also resolve the interrupt-driven priority inversion problem. We implemented a prototype in the Linux 2.6. 19 kernel after adding real-time patches. Experimental results show that the scheduling latency is significantly reduced by up to 84.2% when both techniques are applied together. When the Linux OS runs on an ARM-based embedded CPU running at 200MHz, the scheduling latency can become as low as 30μs, which is much closer to the hardware-specific limitations. By lowering the scheduling latency, the limited CPU cycles can be consumed more for user-level processes and less for system-level tasks, such as interrupt handling and scheduling.