A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (Abstract)

Author(s):  
Peter Madden ◽  
Jane Hesketh ◽  
Ian Green ◽  
Alan Bundy
2017 ◽  
Vol 1 (3) ◽  
pp. 54
Author(s):  
BOUKELLOUZ Wafa ◽  
MOUSSAOUI Abdelouahab

Background: Since the last decades, research have been oriented towards an MRI-alone radiation treatment planning (RTP), where MRI is used as the primary modality for imaging, delineation and dose calculation by assigning to it the needed electron density (ED) information. The idea is to create a computed tomography (CT) image or so-called pseudo-CT from MRI data. In this paper, we review and classify methods for creating pseudo-CT images from MRI data. Each class of methods is explained and a group of works in the literature is presented in detail with statistical performance. We discuss the advantages, drawbacks and limitations of each class of methods. Methods: We classified most recent works in deriving a pseudo-CT from MR images into four classes: segmentation-based, intensity-based, atlas-based and hybrid methods. We based the classification on the general technique applied in the approach. Results: Most of research focused on the brain and the pelvis regions. The mean absolute error (MAE) ranged from 80 HU to 137 HU and from 36.4 HU to 74 HU for the brain and pelvis, respectively. In addition, an interest in the Dixon MR sequence is increasing since it has the advantage of producing multiple contrast images with a single acquisition. Conclusion: Radiation therapy field is emerging towards the generalization of MRI-only RT thanks to the advances in techniques for generation of pseudo-CT images. However, a benchmark is needed to set in common performance metrics to assess the quality of the generated pseudo-CT and judge on the efficiency of a certain method.


Author(s):  
Muhammad Attahir Jibril ◽  
Philipp Götze ◽  
David Broneske ◽  
Kai-Uwe Sattler

AbstractAfter the introduction of Persistent Memory in the form of Intel’s Optane DC Persistent Memory on the market in 2019, it has found its way into manifold applications and systems. As Google and other cloud infrastructure providers are starting to incorporate Persistent Memory into their portfolio, it is only logical that cloud applications have to exploit its inherent properties. Persistent Memory can serve as a DRAM substitute, but guarantees persistence at the cost of compromised read/write performance compared to standard DRAM. These properties particularly affect the performance of index structures, since they are subject to frequent updates and queries. However, adapting each and every index structure to exploit the properties of Persistent Memory is tedious. Hence, we require a general technique that hides this access gap, e.g., by using DRAM caching strategies. To exploit Persistent Memory properties for analytical index structures, we propose selective caching. It is based on a mixture of dynamic and static caching of tree nodes in DRAM to reach near-DRAM access speeds for index structures. In this paper, we evaluate selective caching on the OLAP-optimized main-memory index structure Elf, because its memory layout allows for an easy caching. Our experiments show that if configured well, selective caching with a suitable replacement strategy can keep pace with pure DRAM storage of Elf while guaranteeing persistence. These results are also reflected when selective caching is used for parallel workloads.


2005 ◽  
Vol 32 (7) ◽  
pp. 605 ◽  
Author(s):  
J. C. McIlroy ◽  
E. J. Gifford

Eight feral pigs (two boars, four sows and two piglets) were caught in traps using oestrous sows as lures during a control program on a remnant pig population in part of Namadgi National Park during spring, 1990. The program was mostly based on aerial baiting with warfarin. No pigs were caught in traps containing anoestrous sows or in traps containing bait only. Seven unmarked pigs (caught seven days after the cessation of baiting) did not appear to have eaten any warfarin bait. In an earlier pilot trial, two boars were caught at a trap containing an oestrous sow, one of these again in a trap baited only with fermented grain, but no pigs were caught at a trap containing an anoestrous sow. Although not cost-effective as a general technique, this method could be useful in specific circumstances, such as eradication campaigns on islands, if the last few pigs are, or have become bait shy, or are impossible to cull by other methods.


Author(s):  
C. W. Groetsch ◽  
Martin Hanke

Abstract A simple numerical method for some one-dimensional inverse problems of model identification type arising in nonlinear heat transfer is discussed. The essence of the method is to express the nonlinearity in terms of an integro-differential operator, the values of which are approximated by a linear spline technique. The inverse problems are mildly ill-posed and therefore call for regularization when data errors are present. A general technique for stabilization of unbounded operators may be applied to regularize the process and a specific regularization technique is illustrated on a model problem.


1989 ◽  
Vol 111 (2) ◽  
pp. 82-91 ◽  
Author(s):  
G. J. Lyons ◽  
M. H. Patel

This paper describes applications of an extension to a recently developed calculation method for vortex-induced response of risers and tethers. The vortex-induced vibration response for the excited modes is generated using a semi-empirical formulation which is applied within a time domain calculation. This makes it possible to take account of the variation of flow properties along the riser length, as well as in time. The calculation method has been verified by comparison with model test data for vortex-induced response to surface vessel motions in still water. This paper presents applications of the technique for vortex shedding due to the combined action of current, surface vessel motions and waves. The mathematics of the extended prediction technique is described and results are illustrated by presenting typical vortex-induced responses for single-tube risers. The results of the prediction method are used to highlight the relative magnitudes and nature of vortex-induced response excited by currents, surface vessel motions and waves.


Author(s):  
Dr. Govind Shah

Automatic license plate recognition is extracted from license plate of the vehicle. It is taken as an image or a continuous image taken in sequence. The extracted information can be with or without a database in many applications like electronic payment systems and freeway and arterial monitoring devices for traffic surveillance. ALPR employs CC camera, advanced camera or black and white, color camera to capture the image. ALPR is fruitful if the captured images are of good quality. ALPR is a real time application that processes the images of license plates in various conditions like dark or bright times in a day. A general technique should be identified to process images in many different countries or states. We should know that the license plate generally consists of various colors, languages, fonts and others have images in the background. Also, these plates are obstructed by mud, light, some accessories especially on a car. Here, we discuss about methods for ALPR. We classify ALPR based on the features they are used in each method and knowing their advantages, disadvantages, recognition accuracy and processing speed. Managing the timing in traffic controlling by calculating the density of an image.


Sign in / Sign up

Export Citation Format

Share Document