Lindström, Per 19362009Overview
Publication Timeline
Most widely held works by
Per Lindström
Aspects of incompleteness
by Per Lindström
(
Book
)
19 editions published between 1997 and 2003 in English and held by 275 WorldCat member libraries worldwide This book presents some of the main areas and results of general metamathematics. In addition to standard results of Gödel et al. on incompleteness, (non)finite axiomatizability, interpretability, etc., it contains a thorough treatment of partial conservativity and degrees of interpretability. The method of arithmetization plays an all important role in the book. The reader is assumed to be acquainted with this method and with the elements of recursion theory. The book will be useful as a textbook for a graduate student course  there are many exercises  and as a reference text for researchers
Logic and abstraction : essays dedicated to Per Lindström on his fiftieth birthday
(
Book
)
7 editions published in 1986 in English and Multiple languages and held by 82 WorldCat member libraries worldwide
Some results in the theory of models of first order languages
by Per Lindström
(
Book
)
8 editions published in 1966 in English and Swedish and held by 27 WorldCat member libraries worldwide
Firstorder logic
by Per Lindström
(
Book
)
2 editions published in 2011 in English and held by 14 WorldCat member libraries worldwide
Representation of the electric field of longitudinal waves in a plasma
by Per Lindström
(
Book
)
2 editions published in 1973 in English and held by 10 WorldCat member libraries worldwide The use of electroacoustic probes to determine the electron density in the boundary layer of reentry flow fields constitutes one of the many applications of the phenomenon of longitudinal wave propagation in plasmas. The interaction of intense laser radiation with plasmas can excite longitudinal waves, create instabilities, and thereby lead to an anomalous plasma resistivity. Collisionless (Landau) damping and electronneutral collisions are two mechanisms responsible for the attenuation of longitudinal waves. The dispersion relation for longitudinal waves is derivable from Maxwell's equations and the linearized Boltzmann equation in which electronneutral collisions are represented by a BhatnagarGrossKrook (BGK) model that conserves particles. The dispersion relation predicts that for a given signal frequency an infinite number of complex wavenumbers can exist. Using several theorems from complex variable theory, an explicit representation of the electric field can be derived in terms of an infinite sum of confluent hypergeometric functions. (Modified author abstract)
Attenuation of longitudinal electroacoustic waves in a plasma
by Robert Papa
(
Book
)
2 editions published in 1973 in English and held by 8 WorldCat member libraries worldwide Longitudinal waves that can be readily excited in a plasma are associated with a large number of important physical applications. One of these applications includes the use of electroacoustic probes to determine the electron density in the boundary layer of reentry flow fields. Also, the interaction of intense laser radiation with plasmas can excite longitudinal wave instabilities and produce an anomalous resistivity of a plasma. Two mechanisms responsible for the attentuation of longitudinal waves are collisionless (Landau) damping and electronneutral collisions. The paper is devoted to an analytical study of the spatial decay of these longitudinal waves using an explicit representation for the electric field vector. (Modified author abstract)
Remarks on provability and interpretability
by Per Lindström
(
Book
)
2 editions published in 1981 in English and held by 4 WorldCat member libraries worldwide
Trial and error relations and their guessing functions
by Per Lindström
(
Book
)
3 editions published in 1978 in English and held by 4 WorldCat member libraries worldwide
Some results on relative interpretability
by Per Lindström
(
Book
)
3 editions published in 1978 in English and Undetermined and held by 4 WorldCat member libraries worldwide
More on partially conservative sentences and interpretability
by Per Lindström
(
Book
)
3 editions published in 1982 in English and held by 4 WorldCat member libraries worldwide
Notes on partially conservative sentences and interpretability
by Per Lindström
(
Book
)
2 editions published in 1980 in English and held by 3 WorldCat member libraries worldwide
On faithful interpretability
by Per Lindström
(
Book
)
2 editions published in 1980 in English and held by 3 WorldCat member libraries worldwide
Omitting uncountable types and extensions of elementary logic
by Per Lindström
(
Book
)
2 editions published in 1978 in Undetermined and English and held by 3 WorldCat member libraries worldwide
Optimal varmeproduktion
(
Book
)
2 editions published in 1995 in Danish and held by 3 WorldCat member libraries worldwide Resume på engelsk
Streaming Compression of Tetrahedral Volume Meshes
(
)
1 edition published in 2005 in English and held by 2 WorldCat member libraries worldwide Geometry processing algorithms have traditionally assumed that the input data is entirely in main memory and available for random access. This assumption does not scale to large data sets, as exhausting the physical memory typically leads to IOinefficient thrashing. Recent works advocate processing geometry in a 'streaming' manner, where computation and output begin as soon as possible. Streaming is suitable for tasks that require only local neighbor information and batch process an entire data set. We describe a streaming compression scheme for tetrahedral volume meshes that encodes vertices and tetrahedra in the order they are written. To keep the memory footprint low, the compressor is informed when vertices are referenced for the last time (i.e. are finalized). The compression achieved depends on how coherent the input order is and how many tetrahedra are buffered for local reordering. For reasonably coherent orderings and a buffer of 10,000 tetrahedra, we achieve compression rates that are only 25 to 40 percent above the stateoftheart, while requiring drastically less memory resources and less than half the processing time
Spectral Predictors
(
)
1 edition published in 2006 in English and held by 2 WorldCat member libraries worldwide Many scientific, imaging, and geospatial applications produce large highprecision scalar fields sampled on a regular grid. Lossless compression of such data is commonly done using predictive coding, in which weighted combinations of previously coded samples known to both encoder and decoder are used to predict subsequent nearby samples. In hierarchical, incremental, or selective transmission, the spatial pattern of the known neighbors is often irregular and varies from one sample to the next, which precludes prediction based on a single stencil and fixed set of weights. To handle such situations and make the best use of available neighboring samples, we propose a local spectral predictor that offers optimal prediction by tailoring the weights to each configuration of known nearby samples. These weights may be precomputed and stored in a small lookup table. We show that predictive coding using our spectral predictor improves compression for various sources of highprecision data
Implicit Occluders
(
)
1 edition published in 2004 in English and held by 2 WorldCat member libraries worldwide In this paper we propose a novel visibilityculling technique for optimizing the computation and rendering of opaque isosurfaces. Given a continuous scalar field f (x) over a domain D and an isovalue w, our technique exploits the continuity of f to determine conservative visibility bounds implicitly, i.e., without the need for actually computing the isosurface f{sup 1}(w). We generate Implicit Occluders based on the change in sign of f *(x) = f (x)w, from positive to negative (or vice versa) in the neighborhood of the isosurface. Consider, for example, the sign of f * along a ray r cast from the current viewpoint. The first change in sign of f * within D must contain an intersection of r with the isosurface. Any additional intersection of the isosurface with r is not visible. Implicit Occluders constitute a general concept that can be exploited algorithmically in different ways depending on the framework adopted for visibility computations. In this paper, we propose a simple frompoint approach that exploits wellknown hardware occlusion queries
An Improved NBit to NBit Reversible HaarLike Transform
(
)
1 edition published in 2004 in English and held by 2 WorldCat member libraries worldwide We introduce the PiecewiseLinear Haar (PLHaar) transform, a reversible nbit to nbit transform that is based on the Haar wavelet transform. PLHaar is continuous, while all current nbit to nbit methods are not, and is therefore uniquely usable with both lossy and lossless methods (e.g. image compression). PLHaar has both integer and continuous (i.e. nondiscrete) forms. By keeping the coefficients to n bits PLHaar is particularly suited for use in hardware environments where channel width is limited, such as digital video channels and graphics hardware
Investigating Lossy Image Coding Using the PLHaar Transform
(
)
1 edition published in 2004 in English and held by 2 WorldCat member libraries worldwide We developed the PiecewiseLinear Haar (PLHaar) transform, an integer waveletlike transform. PLHaar does not have dynamic range expansion, i.e. it is an nbit to nbit transform. To our knowledge PLHaar is the only reversible nbit to nbit transform that is suitable for lossy and lossless coding. We are investigating PLHaar's use in lossy image coding. Preliminary results from thresholding transform coefficients show that PLHaar does not produce objectionable artifacts like prior nbit to nbit transforms, such as the transform of Chao et al. (CFH). Also, at lower bitrates PLHaar images have increased contrast. For a given set of CFH and PLHaar coefficients with equal entropy, the PLHaar reconstruction is more appealing, although the PSNR may be lower
Strategisk produktplanering : en långsiktig överlevnadsfråga
by Per Lindström
(
Book
)
1 edition published in 1997 in Swedish and held by 1 WorldCat member library worldwide more
fewer
Audience Level
Related Identities

Alternative Names
Lindstrom, P.
Languages
Covers
