Miracle-dz/UniFAR-FTUs huggingface dataset:
Neutrophil-Activating Protein Mediates Adhesion ofHelicobacter pylori to Sulfated Carbohydrates on High-Molecular-Weight Salivary Mucin

ABSTRACT The in vitro binding of surface-exposed material and outer membrane proteins of Helicobacter pylori to high-molecular-weight salivary mucin was studied. We identified a 16-kDa surface protein which adhered to high-molecular-weight salivary mucin. This protein binds specifically to sulfated oligosaccharide structures such as sulfo-Lewis a, sulfogalactose and sulfo-N-acetyl-glucosamine on mucin. Sequence analysis of the protein proved that it was identical to the N-terminal amino acid sequence of neutrophil-activating protein. Moreover, this adhesin was able to bind to Lewis x blood group antigen.
Skill Management : Searching Highly Skilled Employees for Teambuilding and Project Management Tasks

Efficient project planning from a human resource point of view requires projectoriented organization forms to take into account the permanent change of requirements and framework conditions during the duration of a project correctly. Skill management systems are an excellent management tool for this challenge, if in addition to default skill profiles the employees' competence and experience room is defined. This paper describes a best practice skill management model that takes into account compared with other approaches the attributes time and duration and builds up an experience tree of the employees by link technique. Further the factors are represented, which play a role during the conversion of the model in practice.
Effect of high-temperature exposure on matrix microstructure and fibre-matrix interface of all-oxide ceramic matrix composites

The effects of extended high-temperature exposure on the microstructure of an all-oxide ceramic matrix composite consisting of Nextel(TM) 610 fibres and a highly porous alumina matrix phase are outlined in this report. The microstructure evolution of the porous matrix phase after high-temperature exposure was investigated by scanning electron microscopy and bulk density measurements. The variation of the fibre-matrix interface was analysed by determining the length fractions of matrix particle segments sintered to the fibre contour from polished cross-sections. Specimens with both uni- and bidirectional fibre orientation were investigated to account for varying constraints on matrix densification during high-temperature exposure.
An Optimal Constraint Programming Approach to the Open-Shop Problem

This is a summary of the journal article published by Journal on Computing entitled "An Optimal Constraint Programming Approach to the Open-Shop Problem. " The article presents an optimal constraint programming approach for the Open-Shop scheduling problem, which integrates recent constraint propagation and branching techniques with new upper bound heuristics. Randomized restart policies combined with nogood recording allow to search diversification and learning from restarts. This approach is compared with the best-known metaheuristics and exact algorithms, and shows better results on a wide range of benchmark instances.
Multi-Vendor PayWord with Payment Approval

One of the most well known micropayment scheme is the PayWord scheme. It is designed to be onevendor, so if we apply it for multiple vendors, it does not protect against double spending. We extended the PayWord scheme, it supports shopping at multiple vendors without an on-line broker or an on-line secure database. The proposed credit-based system uses one hash chain, hence besides the secret signature key only the seed and a random value should be securely stored. Our scheme is analyzed in applied pi calculus, we prove that it fulfills payment approval, secure payment authorization, secrecy of payment information and
KRDB Research Centre Technical Report : Verification of Inconsistency-Aware Knowledge and Action Bases ( Extended Version )

Description Logic Knowledge and Action Bases (KABs) have been recently introduced as a mechanism that provides a semantically rich representation of the information on the domain of interest in terms of a DL KB and a set of actions to change such information over time, possibly introducing new objects. In this setting, decidability of verification of sophisticated temporal properties over KABs, expressed in a variant of first-order μ-calculus, has been shown. However, the established framework treats inconsistency in a simplistic way, by rejecting inconsistent states produced through action execution. We address this problem by showing how inconsistency handling based on the notion of repairs can be integrated into KABs, resorting to inconsistency-tolerant semantics. In this setting, we establish decidability and complexity of verification. We then show how in this approach the temporal properties can be enriched with meta-level requests about the sources of inconsistency, and we extend decidability and complexity of verification accordingly.
Physiology of diving of birds and mammals.

This review concentrates on the physiological responses, and their control, in freely diving birds and mammals that enable them to remain submerged and sometimes quite active for extended periods of time. Recent developments in technology have provided much detailed information on the behavior of these fascinating animals. Unfortunately, the advances in technology have been insufficient to enable physiologists to obtain anything like the same level of detail on the metabolic rate and physiological adjustments that occur during natural diving. This has led to much speculation and calculations based on many assumptions concerning usable oxygen stores and metabolic rate during diving, in an attempt to explain the observed behavior. Despite their shortcomings, these calculations have provided useful insights into the degree of adaptations of various species of aquatic birds and mammals. Many of them, e.g., ducks, smaller penguins, fur seals, and Weddell seals, seem able to metabolize aerobically, when diving, at approximately the same (if not greater) rate as they do at the surface. Their enhanced oxygen stores are able to support aerobic metabolism, at what would not be considered unusually low levels, for the duration of the dives, although there are probably circulatory readjustments to ensure that the oxygen stores are managed judiciously. For other species, such as the larger penguins, South Georgian shag, and female elephant seals, there is a general consensus that they must either be reducing their aerobic metabolic rate when diving, possibly by way of regional hypothermia, and/or producing ATP, at least partly, by anaerobiosis and metabolizing the lactic acid when at the surface (although this is hardly likely in the case of the female elephant seals). Circulation is the proximate regulator of metabolism during aerobic diving, and heart rate is the best single indicator of circulatory adjustment. During voluntary dives, heart rates range from extreme bradycardia to well above resting, reflecting metabolic performance. Efferent cardiac control is largely parasympathetic. Reflex cardiorespiratory responses are modulated by conditioning and habituation, but reflexes predominate during extended dives and during recovery, when gas exchange is maximized.
A cost effective clustering based anonymization approach for storing PHR's in cloud

As there is an increasing need to share the medical information for public health research, enormous amount of Personal Health Records (PHR's) are periodically collected and shared between two or many sources for research purpose. Sharing medical information about an individual without revealing sensitive information is the biggest challenge. Privacy and security are the two biggest obstacles for this process. Since medical information is related to human subjects, it is essential to preserve the privacy of the patients and ensure security to the medical information stored in cloud. In this paper, privacy of the shared PHR's is preserved through data anonymization and encryption algorithm. PHR's can be anonymized using various techniques such as generalization, suppression, truncation, etc., This paper focuses to provide efficient analysis of the shared PHR's by the proposed Efficient K-Means Clustering (EKMC) algorithm and to reduce the cost of data storage by the proposed Data Aggregation and Deduplication (DAD) algorithm. The EKMC algorithm is efficient and consumes less time when compared to the traditional k-means clustering algorithm. A set of performance analysis showing the effectiveness of our approach using synthetic data sets is presented.
Recycled concrete aggregate/municipal glass blends as a low-carbon resource material for footpaths

Construction and Demolition (C&D) materials comprising recycled concrete aggregate (RCA), fine recycled glass (FRG) and a blend comprising 85% RCA with 15% FRG (85RCA/15FRG) were evaluated for their viability as footpath base layers. The geotechnical laboratory evaluation assessed the performance of the C&D materials in footpath bases and included particle size distribution, particle density, water absorption, pH, organic content, modified Proctor compaction, Los Angeles Abrasion and California bearing ratio (CBR) tests. Total concentrations and Australian standard leaching procedure tests were performed on several heavy metals to assess the leaching potentials of contaminants released from the recycled materials. Following the completion of the geotechnical and environmental laboratory evaluation, a footpath was constructed to demonstrate the performance of the 85RCA/15FRG blend as a footpath base material. Field tests comprising nuclear gauges for density and moisture measurements and Clegg hammer tests for field CBR measurements were undertaken to assess the performance of the base materials in the field. The 85RCA/15FRG blend was found to be an optimum one in the laboratory and field evaluation works, as the blend provided adequate bearing strength and furthermore enhanced the workability of RCA, through the introduction of glass fines. Energy savings assessment demonstrated that the use of 85RCA/15FRG blend as footpath base material furthermore has the potential for saving embodied energy. This research indicates that this low carbon concept, utilizing RCA and FRG blends as base materials, is a viable alternative engineering material for future footpaths.
An analysis of breadth-first beam search using uniform cost trees

In this paper, we present a probabilistic analysis of breadth-(cid:2)rst beam search on trees. The work is divided into two parts. First, we introduce a ranking model to characterize the nodes in a search space and discuss the condition for provable optimality of beam search in terms of the ranking model. We also formulate a method to compute the probability of optimal termination of beam search for a speci(cid:2)c beam width. Next, we analyze the node expansion properties of beam search using a uniform cost tree model and establish a relationship between the probability of optimal termination and the search space con(cid:2)guration. The analysis explains certain interesting characteristics of beam search including the possibility of non-monotonic progress with increasing search efforts.
Vestibular Signals in Macaque Extrastriate Visual Cortex Are Functionally Appropriate for Heading Perception

Visual and vestibular signals converge onto the dorsal medial superior temporal area (MSTd) of the macaque extrastriate visual cortex, which is thought to be involved in multisensory heading perception for spatial navigation. Peripheral otolith information, however, is ambiguous and cannot distinguish linear accelerations experienced during self-motion from those resulting from changes in spatial orientation relative to gravity. Here we show that, unlike peripheral vestibular sensors but similar to lobules 9 and 10 of the cerebellar vermis (nodulus and uvula), MSTd neurons respond selectively to heading and not to changes in orientation relative to gravity. In support of a role in heading perception, MSTd vestibular responses are also dominated by velocity-like temporal dynamics, which might optimize sensory integration with visual motion information. Unlike the cerebellar vermis, however, MSTd neurons also carry a spatial orientation-independent rotation signal from the semicircular canals, which could be useful in compensating for the effects of head rotation on the processing of optic flow. These findings show that vestibular signals in MSTd are appropriately processed to support a functional role in multisensory heading perception.
Tet-Mediated Formation of 5-Carboxylcytosine and Its Excision by TDG in Mammalian DNA

Evidence for a possible route for DNA demethylation in animals is suggested. The prevalent DNA modification in higher organisms is the methylation of cytosine to 5-methylcytosine (5mC), which is partially converted to 5-hydroxymethylcytosine (5hmC) by the Tet (ten eleven translocation) family of dioxygenases. Despite their importance in epigenetic regulation, it is unclear how these cytosine modifications are reversed. Here, we demonstrate that 5mC and 5hmC in DNA are oxidized to 5-carboxylcytosine (5caC) by Tet dioxygenases in vitro and in cultured cells. 5caC is specifically recognized and excised by thymine-DNA glycosylase (TDG). Depletion of TDG in mouse embyronic stem cells leads to accumulation of 5caC to a readily detectable level. These data suggest that oxidation of 5mC by Tet proteins followed by TDG-mediated base excision of 5caC constitutes a pathway for active DNA demethylation.
Revisiting routing in multi-hop wireless networks: Spatial reusability-aware routing

In this paper, we argue that by carefully considering spatial reusability of the wireless communication media, we can tremendously improve the end-to-end throughput in multi-hop wireless networks. To support our argument, we propose spatial reusability-aware single-path routing (SASR) and anypath routing (SAAR) protocols, and compare them with existing single-path routing and anypath routing protocols, respectively. Our evaluation results show that our protocols significantly improve the end-to-end throughput compared with existing protocols. Specifically, for single-path routing, the throughput gain is up to 2.9× for anypath routing, the throughput gain is up to 62.7%.
Front object recognition system for vehicles based on sensor fusion using stereo vision and laser range finder

This paper proposes a front object recognition system for the safety of driving, which is based on sensor fusion with laser range finder and stereo vision. The study utilizes a stereo vision system for objects detection. Since the calculation time of the stereo vision algorithm is too long, in order to detect objects immediately, a laser range finder is integrated to improve the calculation time and detection accuracy. On the completion of the detection stage, the support vector machine is used to recognize the objects. The experimental results show that the objects detection system yields an accuracy rate of 95%.
A method of extracting embedded binary data from JPEG bitstreams using standard JPEG decoder

We proposed a method for embedding binary data into JPEG bitstreams and extracting embedded data from JPEG bitstreams using the standard JPEG decoder. In the proposed method, we can decode the image from the embedded binary data JPEG bitstreams first using the traditional standard JPEG decoder, and then we can extract the embedded binary data perfectly by the post-processing from the decoded JPEG image. For the post-processing, we use only the decoded image data to extract the embedded binary data. Namely, we do not need any kind of particular parameters, which are used for JPEG decoding, such as quantization table value. Thus, we can use the traditional standard JPEG decoder for the pre-processing of extracting binary data. Furthermore, we address the effect of the calculation bit accuracy of the DCT and inverse discrete cosine transform (IDCT) for extracting embedded binary data perfectly as post-processing. Simulations using extracting embedded binary data as post-processing are presented to quantify some performance factors of concern. We confirmed that the proposed method could be of practical use.
Steno: automatic optimization of declarative queries

Declarative queries enable programmers to write data manipulation code without being aware of the underlying data structure implementation. By increasing the level of abstraction over imperative code, they improve program readability and, crucially, create opportunities for automatic parallelization and optimization. For example, the Language Integrated Query (LINQ) extensions to C# allow the same declarative query to process in-memory collections, and datasets that are distributed across a compute cluster. However, our experiments show that the serial performance of declarative code is several times slower than the equivalent hand-optimized code, because it is implemented using run-time abstractions---such as iterators---that incur overhead due to virtual function calls and superfluous instructions. To address this problem, we have developed Steno, which uses a combination of novel and well-known techniques to generate code for declarative queries that is almost as efficient as hand-optimized code. Steno translates a declarative LINQ query into type-specialized, inlined and loop-based imperative code. It eliminates chains of iterators from query execution, and optimizes nested queries. We have implemented Steno for uniprocessor, multiprocessor and distributed computing platforms, and show that, for a real-world distributed job, it can almost double the speed of end-to-end execution.
Analysis of the cause by Pre Exposure Tube Voltage and Actual Exposure Tube Voltage deviation in Mammography Examination

The purpose of this study is to investigate the cause analysis according to the difference between the pre exposure tube voltage and actual exposure tube voltage in mammography in connection with breast pressure thickness, breast size and body mass index and to find the improvement. The study tracked 377 women age 40 and older among the mammography examiners conducted by the National Health Insurance Corporation. It was analyzed that breast pressure thickness, breast size and body mass index according to the difference between the pre exposure tube voltage and actual exposure tube voltage among the parameters of dose report been sent to the picture archiving communication system with reference to the image with cranio-caudal projection in mammography. As are result, it shows that the thicker the breast thickness, smaller the breast size and lower body mass index, the higher the difference of tube voltage. In conclusion, the minimum tube voltage of mammography machine should be reset in order to set the tube voltage according to breast pressure thickness and breast size that are suitable for our country in mammography, in addition, it was considered that radiologist should make an effort to reduce radiation exposure and make a good quality image with reducing the difference of mammography condition by making a correct exposure condition in case of examining the patients with thin breast pressure and small breast size.
Energy-efficient data organization and query processing in sensor networks

Recent sensor networks research has produced a class of data storage and query processing techniques called data-centric storage that leverages locality-preserving distributed indexes to efficiently answer multi-dimensional range and range-aggregate queries. These distributed indexes offer a rich design space of a) logical decompositions of sensor relation schema into indexes, as well as b) physical mappings of these indexes onto sensors. In this paper, we explore this space for energy-efficient data organizations (logical and physical mappings of tuples and attributes to sensor nodes) and devise purely local query optimization techniques for processing queries that span such decomposed relations.
A practical algorithm for constructing oblivious routing schemes

In a (randomized) oblivious routing scheme the path chosen for a request between a source s and a target t is independent from the current traffic in the network. Hence, such a scheme consists of probability distributions over s-t paths for every source-target pair s,t in the network.In a recent result [11] it was shown that for any undirected network there is an oblivious routing scheme that achieves a polylogarithmic competitive ratio with respect to congestion. Subsequently, Azar et al. [4] gave a polynomial time algorithm that for a given network constructs the best oblivious routing scheme, i.e. the scheme that guarantees the best possible competitive ratio. Unfortunately, the latter result is based on the Ellipsoid algorithm; hence it is unpractical for large networks.In this paper we present a combinatorial algorithm for constructing an oblivious routing scheme that guarantees a competitive ratio of O(log4n) for undirected networks. Furthermore, our approach yields a proof for the existence of an oblivious routing scheme with competitive ratio O(log3n), which is much simpler than the original proof from [11].
Strategies of seedlings to overcome their sessile nature: auxin in mobility control

Plants are sessile organisms that are permanently restricted to their site of germination. To compensate for their lack of mobility, plants evolved unique mechanisms enabling them to rapidly react to ever changing environmental conditions and flexibly adapt their postembryonic developmental program. A prominent demonstration of this developmental plasticity is their ability to bend organs in order to reach the position most optimal for growth and utilization of light, nutrients, and other resources. Shortly after germination, dicotyledonous seedlings form a bended structure, the so-called apical hook, to protect the delicate shoot meristem and cotyledons from damage when penetrating through the soil. Upon perception of a light stimulus, the apical hook rapidly opens and the photomorphogenic developmental program is activated. After germination, plant organs are able to align their growth with the light source and adopt the most favorable orientation through bending, in a process named phototropism. On the other hand, when roots and shoots are diverted from their upright orientation, they immediately detect a change in the gravity vector and bend to maintain a vertical growth direction. Noteworthy, despite the diversity of external stimuli perceived by different plant organs, all plant tropic movements share a common mechanistic basis: differential cell growth. In our review, we will discuss the molecular principles underlying various tropic responses with the focus on mechanisms mediating the perception of external signals, transduction cascades and downstream responses that regulate differential cell growth and consequently, organ bending. In particular, we highlight common and specific features of regulatory pathways in control of the bending of organs and a role for the plant hormone auxin as a key regulatory component.
Electrically-Pumped Metal-Organic-Metal Plasmonic Emitter

A metal-organic-metal (MOM) plasmonic emitter with the p-type Si substrate and the active layer of Alq3: DCM is reported. The device structure is p-Si/Au/V2O5/NPB/Alq3:DCM/Sm/Au. The optical image of edge emission indicates that most of the light is well confined to the MOM waveguide. Light is collected with a confocal μ-Raman spectrometer. The TM mode is more intense than the TE mode by a factor of 2, which can be attributed to the contribution of surface plasmon polariton (SPP). The power dissipation spectrum is computed based on a simplified MOM structure of Au/organic/Au. By integrating the power of the SPP modes in the spectrum, the fraction of the total power coupled to SPP modes is 65%. The electric-field-intensity distribution and the loss coefficients are computed by finite-different time-domain (FDTD) method.