gebhart/patrepeval huggingface dataset:
Application Transparent Migration of Simulation Objects with Generic Memory Layout (2011)

This paper presents the design of a global memory management architecture supporting application transparent migration of simulation objects (or LPs) whose state is scattered across dynamically allocated memory chunks. Our approach is based on a non-intrusive background protocol that provides each instance of the simulation kernel with information on the current mapping of the virtual address space of all the other instances. Dynamic memory requests by the application layer are then locally mapped onto virtual-address ranges that maximize the likelihood of being portable onto the address space of a remote kernel instance. In this way, independently of the load-balancing trigger (or policy), we maximize the likelihood that a desirable migration across a specific couple of kernels can actually take place due to compliance of the corresponding source/destination address spaces. We have integrated the global memory manager within the ROme OpTimistic Simulator (ROOT-Sim), namely a run-time environment based on the optimistic synchronization paradigm which automatically and transparently parallelizes the execution of event-handler based simulation programs conforming to ANSI-C. Further, we provide a contribution in the direction of widening load balancing schemes for optimistic simulation systems by defining migration triggers and selection policies for the objects to be migrated on the basis of memory usage patterns. An experimental assessment of the architecture and of memory oriented load balancing is also provided.
Increasing storage capacity in multilevel memory cells by means of communications and signal processing techniques (2000)

Multilevel and analogue memory cells have the capability of storing considerably more than one bit of information per cell. The number of levels the memory cells can store is limited by noise and bit error probability. The authors propose using error correction coding and digital modulation techniques used in communication systems to increase the storage capacity of multilevel and analogue memory cells. They evaluate these techniques and find that compared to the methods that do not use coded modulation techniques, typically, one extra bit per cell (i.e. effectively doubling the number of levels per cell) in storage capacity can be achieved. The techniques can also be applied to improve readout bit-error probability and provide unequal error protection for the bits to be stored. The latter technique is important for the efficient storage of digitised multimedia signals such as speech, audio, image and video signals. One- and two-dimensional coded modulation schemes as well as uncoded multilevel digital modulation schemes are presented in detail. Complexity and speed issues are also considered.
Applications of Wireline Stress Measurements (1998)

Abstract This paper describes new developments of a wireline tool for stress measurements. The tool was initially designed for openhole tests and its application was limited to very low permeability formations (up to 50 µd). Since then the capabilities of the tool have been extended to handle both impermeable formations and permeable formations (currently up to 400 md). New testing and interpretation procedures make it possible to obtain reliable measurements of the minimum horizontal stress and also the maximum horizontal stress in an open-hole environment or to conduct tests in a cased hole environment. These new developments make detailed stress measurements possible in a wide range of formations, providing input to numerous applications: design of hydraulic stimulations, stability of deviated wells, screenless completions for sand control and enhanced recovery programs.
Approximating Expected Warranty Costs (1988)

In this paper, we survey a portion of the literature in the analysis of warranty costs. In order to compare the price of different warranty policies, we review a framework which leads to expressing the expected costs in terms of complex functions arising in renewal theory. These functions and several approximations are discussed. In particular, a straight line approximation performs well.
Experimental Approach To Optimize the Use of α-Amylases in Breadmaking (2001)

alpha-Amylases from different origins (wheat, malted barley, fungi, and bacteria) are used extensively to improve breadmaking. However, the enzyme activities, in addition to the differences associated with their origins, are strongly affected by the process conditions and the presence of other compounds in the medium. The activity of different alpha-amylases was tested under different conditions (pH and temperature), and in the presence of some bread ingredients (salt and sugar), some breadmaking additives (ascorbic acid and sodium propionate), and some metabolites (organic acids and saccharides) generated during the fermentation step, to envisage the behavior of these alpha-amylases during the breadmaking process. The alpha-amylase activities were affected to a different extent by the addition of these compounds depending on the enzyme origin. In general, the alpha-amylases from cereals (wheat and malted barley) were less sensitive to the presence of some ingredients, additives, and metabolites. These results show the great variation of the alpha-amylase activity with the process conditions and the importance of its knowledge in the selection of the appropriate alpha-amylase for a specific breadmaking process.
A COMPARATIVE STUDY OF FOUR MATERIALS IN LOCAL BURN CARE IN RABBIT MODEL (1976)

In rabbits, a second-degree burn model with partial tangenitial excision of necrotic tissue was used to compare four dressing materials for effectiveness of promoting wound healing. The time of complete epithelization of the 2 X 4 cm large defect, changes in wound area, adherence of the dressings to the wound, and histology of the wound bed and dressings were measured. Dressings were changed twice weekly. Experiments showed that as a local dressing for burns, non-laminated collagen sponge was significantly better than pigskin or xeroform. Infection did not occur under it. It was very adherent to the burn wound and was actively permeated by inflammatory cells. This factor allowed early debridement of the wound. Effective debridement was probably responsible for the shorter healing time shown. Laminated collagen sponge was the poorest of the four dressings tested.
Material choice for optimum stress memorization in SOI CMOS processes (2007)

Stress engineering has become the sine qua non of any advanced CMOS technology since the 90nm technology node. In this paper, we focus on the influence of material properties and anneal sequences on the benefit of the stress-memorization technique for SOI CMOS transistors. We distinguish between low- and high-temperature stress memorization. Film hardness, stress level, and the order of anneals are found to play an important and partially very different role for these two improvement mechanisms.
A Hybrid TCAM + SRAM Scheme for Multi-match Packet Classification (2012)

Modern network routers provide differentiated services for incoming network packets based on classification, where the packet header is compared against a rule set for matching. Traditional packet classification only reports a single matched rule with the highest priority in case of multiple matched ones. With the emergence of new applications such as network intrusion detection system (NDIS), all matched rules need to be reported. This multi-match problem is more challenging and is getting higher attention in recent years. Because of the stringent time budget on classification, architectural solutions using Ternary Content Addressable Memory (TCAM) attract more attention than software solutions for backbone network routers. However, despite its advantage on search speed, TCAM is much more expensive than SRAM, and is notorious for its extraordinarily high power consumption. These problems limit the application and scalability of TCAM solutions. This paper presents a novel tree-based hybrid TCAM+SRAM solution for the purposes of both TCAM space reduction and power saving. The experiments show that the proposed solution achieves significantly more savings on both memory space and power consumption on packet matching than existing solutions.
Automatic generation of provably correct parallelizing compilers (2002)

We show how parallelizing compilers can be automatically derived from denotational definitions of programming languages. In our approach, the denotational definition is expressed using definite clause grammars (syntax specification) and Horn Logic or Constraint Logic (semantic specification). The conditions for executing two or more statements in parallel (e.g. GCD test, Banerjee test, or exact test) are included as part of the parallel denotational semantics of the language. Solutions of Diophantine equations, needed for parallelizing DO loops, can be expressed in constraint logic as well, and are thus easily incorporated in our denotational framework. This parallel denotational specification of the language is executable, and thus automatically yields a parallel interpreter. This interpreter can be partially evaluated with respect to a given program to automatically obtain (provably correct) parallel compiled code. In addition, the various syntactic and semantic restructuring transformations that have been proposed to expose more parallelism in sequential programs can also be expressed in our denotational framework.
Registering Landsat images by point matching (1989)

Image registration of Landsat Thematic Mapper scenes with translational and rotational differences is studied. Two major steps of image registration, control-point selection and control-point matching, are emphasized. In control-point selection, the properties that a good control point should satisfy are defined. Several potential control-point candidates are suggested, and methods are discussed for extracting them from the input image. In control-point matching, a relaxation algorithm proposed in the literature is improved by reducing its time complexity from O(n/sup 4/) to O(n/sup 3/), where n is the number of control points. The matching algorithm also uses a two-way matching concept which utilizes the inherent symmetry property of the point-matching problem. The robustness of the proposed algorithm was demonstrated through simulation experiments by evaluating a matching index. Experimental results on Landsat images show that the proposed method produces results comparable to those obtained by an experienced photointerpreter.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">&gt;</ETX>
Gas Pipeline Monitoring by Acoustic Method (1993)

This paper describes an acoustic method to monitor the state of the inside of gas pipeline based on the acoustic propagation in the pipelie. The proposed method can monitor the inside of the pipeline from only one terminal of the pipeline.
Deep learning based symbol recognition for the visually impaired (2016)

최근 시각장애인 및 교통약자의 자유로운 보행을 보장하기 위한 많은 기술들이 연구되고 있다. 자유로운 보행을 위한 장치로는 영상카메라, 초음파센서 및 가속도 센서 등을 이용하는 스마트 지팡이와 스마트 안경 관련 기술이 있다. 대표적인 기술로는 물체를 식별하여 장애물을 검출하고 보행 가능 영역을 추출하는 기술, 랜드마크 심볼 정보를 인식하여 주위 환경 정보를 주는 기술 등 여러 가지 기술이 개발되고 있다. 본 논문에서는 시각장애인에게 필요한 시설의 대표 심볼을 선정하여 착용한 영상 장치의 정보로부터 심볼을 인식하는 알고리즘을 딥러닝 기술을 이용하여 연구하였다. 그 결과로 딥러닝 영상처리 분야에서 사용되는 CNN(Convolutional Neural Network)기법을 사용하여 서로 다른 딥러닝 구조를 실험을 통하여 비교하고 분석하였다. Recently, a number of techniques to ensure the free walking for the visually impaired and transportation vulnerable have been studied. As a device for free walking, there are such as a smart cane and smart glasses to use the computer vision, ultrasonic sensor, acceleration sensor technology. In a typical technique, such as techniques for finds object and detect obstacles and walking area and recognizes the symbol information for notice environment information. In this paper, we studied recognization algorithm of the selected symbols that are required to visually impaired, with the deep learning algorithm. As a results, Use CNN(Convolutional Nueral Network) technique used in the field of deep-learning image processing, and analyzed by comparing through experimentation with various deep learning architectures.
Implementation and performance analysis of smartphone-based 3D PDR system with hybrid motion and heading classifier (2014)

In this paper, we present a motion recognition based pedestrian dead reckoning (PDR) system. The difference of smartphone-based PDR system and inertial measurement unit (IMU)-based PDR is that axes of smartphone sensor are changed dependently by pedestrian motions, but IMU-based PDR does not that. To solve this issue, we firstly detect a performed motion and operate a proper PDR algorithm according to the detected motion. We apply this system to many persons to identify its applicability. Especially, a heading classifier having 45 degree resolution is applied. We performed a real field test and analyzed a performance of this system.
Water Soluble Graphene Synthesis (2012)

Graphite oxide (GO) was effectively prepared by Hummers and Offeman method and it possesses different types of oxygen functionalities which allows GO to interact with organic and inorganic materials in covalent, noncovalent or ionic manner. The GO was reduced by hydrazine hydrate and sodium borohydride as reducing agents to obtain graphene as end product. Characterization of both GO and G was carried out by SEM, TEM, UV-Vis spectroscopy and FTIR. Due to this the sp 3 hybridization of GO will convert to sp 2 hybridizaton by removing oxygen from GO. Graphene has various applications, however water soluble graphene could be better option for biomedical applications.
Gamma-Ray Widths in<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline"><mml:mrow><mml:msup><mml:mrow><mml:mi mathvariant="normal">C</mml:mi></mml:mrow><mml:mrow><mml:mn>13</mml:mn></mml:mrow></mml:msup></mml:mrow></mml:math>,<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline"><mml:mrow><mml:msup><mml:mrow><mml:mi mathvariant="normal">Li</mml:mi></mml:mrow><mml:mrow><mml:mn>6</mml:mn></mml:mrow></mml:msup></mml:mrow></mml:math>, and<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline"><mml:mrow><mml:msup><mml:mrow><mml:mi mathvariant="normal">P</mml:mi></mml:mrow><mml:mrow><mml:mn>31</mml:mn></mml:mrow></mml:msup></mml:mrow></mml:math> (1969)

The width of the 3.68-MeV level of ${\mathrm{C}}^{13}$ has been measured and found to be $\ensuremath{\Gamma}=0.44\ifmmode\pm\else\textpm\fi{}0.04$ eV. After correction for the ${E}^{3}$ dependence, this is 0.59 times as strong as the mirror transition in ${\mathrm{N}}^{13}$, in agreement with Morpurgo's prediction of approximate equality for $M1$, $\ensuremath{\Delta}T=0$ transitions in mirror nuclei. The ${\mathrm{C}}^{13}$ width was obtained from a comparison of the resonant scattering of bremsstrahlung by ${\mathrm{C}}^{13}$ with that by the 3.51-MeV level of ${\mathrm{P}}^{31}$ and the 3.56-MeV level of ${\mathrm{Li}}^{6}$. The widths of the ${\mathrm{P}}^{31}$ and ${\mathrm{Li}}^{6}$ levels were measured in self-absorption experiments, and found to be 52\ifmmode\pm\else\textpm\fi{}8 meV and 8.1\ifmmode\pm\else\textpm\fi{}0.5 eV, respectively. A limit on the energetically allowed but spin- and parity-forbidden decay of the ${\mathrm{Li}}^{6}$ level to $\ensuremath{\alpha}+d$ was established as ${\ensuremath{\Gamma}}_{\ensuremath{\alpha}d}&lt;1.3$ eV.
Spinopelvic mobility and acetabular component position for total hip arthroplasty (2017)

In all, 145 of 160 hips (90%) were considered safe from impingement. Patients with highest risk are those with biological or surgical spinal fusion; patients with dangerous spinal imbalance can be safe with correct acetabular component position. The clinical relevance of the study is that it correlates acetabular component position to spinal pelvic mobility which provides guidelines for total hip arthroplasty. Cite this article: Bone Joint J 2017;99-B(1 Supple A):37-45.
Character of Hydration of 3CaO.Al <sub>2</sub> O <sub>3</sub> (1966)

The C 3 A compacts were hydrated and the reaction was studied by DTA, X‐ray diffraction, mercury porosimetry, and volume change analysis. The hexagonal hydroaluminates C 2 AH 8 and C 4 AH 19 formed at 2°, 12°, and 23°C by a direct mechanism between C 3 A and H 2 O. The hydration reaction at 52° and 80°C was stopped by formation of C 3 AH 6 around the C 3 A grains. The rate of conversion of the hexagonal hydrates to cubic C 3 AH 6 increased with temperature. Volume change analysis confirmed that C 3 AH 6 grows epitaxially on the surface of the C 3 A grain. The reaction at this surface and the passage of water through the layer of hexagonal hydroaluminates control the overall reaction rate. The conversion of the hexagonal hydrates to C 3 AH 6 accelerates the reaction by removing the layer of products from around the C 3 A grain by a solution mechanism. At 52° and 80°C, C 3 AH 6 may form without the intermediate formation of the hexagonal hydrate.
Residual stress mapping in a steam turbine disk using the L{sub CR} ultrasonic technique (1996)

Circumferential residual stresses in the rim of a steam turbine disk are evaluated using the L{sub CR} (critically refracted longitudinal wave) technique. Further development of the technique will enable an inspector to nondestructively determine the presence of unfavorable circumferential stresses in turbine disks. The effectiveness of the technique was evaluated with stresses mechanically induced in the disk by transverse loading and by removing a rim section. Strain gage and X-ray diffraction data confirmed the character of the stress fields evaluated by the L{sub CR} technique. Differences between L{sub CR} results and those from the other techniques are attributed to the X-ray diffraction and strain gage techniques being surface measurements, while the L{sub CR} wave speeds are affected by the stress gradient below the surface of the part.
Study of the Hybrid CU-CL Cycle for Nuclear Hydrogen Production (2006)

AECL is collaborating with Argonne National Laboratory in the development of the Hybrid Cu-Cl Cycle for hydrogen production using nuclear energy. This cycle is well suited for integration with the Supercritical Heavy Water Cooled Reactor (SCWR) under development by AECL as part of the fourth generation Advanced CANDU® Technology.
Mobile multimedia DRM (digital rights management) for hand-held devices (2005)

Mobile multimedia streaming applications have been widely propagated with the rapid evolution of mobile handsets, especially MPEG-4 video streams over wireless communication networks. We propose an efficient encryption scheme on the media data that are encoded with MPEG-4 video format. We constructed 4 methods, namely the encryption of I-, P-, B-VOPs (video object planes) and a combination of these three types of encryption. They are designed for DRM services on a mobile multimedia streaming system without performance degradation that could be a burden to a mobile handset. We report the competitiveness of these methods from the perspective of performance evaluation with respect to plain MPEG-4 files.
Energy-Aware Partitioned Fixed-Priority Scheduling for Chip Multi-processors (2011)

Energy management is becoming an increasingly important problem in application domains ranging from embedded devices to data centers. In many such systems, multi-core processors are projected as a promising technology to achieve improved performance with a lower power envelope. Managing the application power consumption under timing constraints poses significant challenges in these emerging platforms. In this paper, we study the energy-efficient scheduling of periodic real time tasks with implicit deadlines on chip multi-core processors (CMPs). We specifically consider processors with a single voltage and clock frequency domain, such as the state-of-the-art embedded multi-core NVIDIA Tegra 2processor and enterprise-class processors such as Intel'sItanium 2, i5, i7 and IBM's Power 6 and Power 7series. The major contributions of this work are (i)we prove that Worst-Fit-Decreasing (WFD) task partitioning when Rate-Monotonic Scheduling (RMS) is used has an approximation ratio of 1.71 for the problem of minimizing the schedulable operating frequency with partitioned fixed-priority scheduling, (ii) we illustrate the major shortcoming of WFD with RMS resulting from not considering task periods during allocation, and(iii) we propose a Single-clock domain multi-processor Frequency Assignment Algorithm (SFAA) that determines a globally energy-efficient frequency while including task period relationships. Our evaluation results show that SFAA provides significant energy gains when compared to WFD. In fact SFAA is shown to save up to 55% more power compared to WFD for an octa-core processor.
Apoptotic signaling during initiation of detachment-induced apoptosis ("anoikis") of primary human intestinal epithelial cells. (2001)

Apoptosis after the loss of cell anchorage--"anoikis"--plays an important role in the life cycle of adherent cells. Furthermore, loss of anchorage dependency is believed to be a critical step in metastatic transformation. The aim of this study was to further characterize the sequence of intracellular events during anoikis in a nontransformed population of human intestinal epithelial cells (IECs). Purified human IECs were kept in suspension to induce anoikis in over 90% of IECs within 3 h. Two initiator caspases, caspase-2 and -9, are activated within 15 min, followed by the hierarchical activation of downstream caspases within 1 h. The activation of the caspase FLICE (caspase-8) does not contribute to the initiation of anoikis, and massive release of cytochrome c from mitochondria cannot be detected before 60 min, indicating that cytochrome c release does not play a role during initiation of anoikis. This study delineates the signaling cascade during anoikis of nontransformed cells. Future studies may identify alterations of this cascade in neoplastic cells, thereby possibly gaining insight into carcinogenesis and metastatic transformation.
Generalized Multiclass AdaBoost and Its Applications to Multimedia Classification (2006)

AdaBoost has received considerable attention in the vision and multimedia research community in recent years. It is originally designed for two-class classification problems. To handle multiple classes, many AdaBoost extensions have been developed primarily based on various schemes for reducing multiclass classification to multiple two-class problems. From a statistical prospective, AdaBoost can be viewed as a forward stepwise additive model using an exponential loss function. In this paper, we derive a generalized form of AdaBoost for multiclass classification based on a multiclass exponential loss function. To prove its effectiveness, we benchmarked a number of multimedia problems of different nature. Experimental results show that the new boosting algorithm outperforms other multiclass alternatives. In addition, the generalized boosting algorithm can be used to either boost a multiclass classifier, or build a multiclass classifier from a binary one.