WorldCat Identities

Lindström, Per 1936-2009

Overview
Works: 26 works in 71 publications in 4 languages and 461 library holdings
Roles: Honoree, Other
Classifications: QA9.65, 511.3
Publication Timeline
Key
Publications about  Per Lindström Publications about Per Lindström
Publications by  Per Lindström Publications by Per Lindström
posthumous Publications by Per Lindström, published posthumously.
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
First-order 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 electron-neutral 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 electron-neutral collisions are represented by a Bhatnagar-Gross-Krook (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 re-entry 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 electron-neutral 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 IO-inefficient 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 state-of-the-art, 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 high-precision 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 high-precision 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 visibility-culling 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 from-point approach that exploits well-known hardware occlusion queries
An Improved N-Bit to N-Bit Reversible Haar-Like Transform ( )
1 edition published in 2004 in English and held by 2 WorldCat member libraries worldwide
We introduce the Piecewise-Linear Haar (PLHaar) transform, a reversible n-bit to n-bit transform that is based on the Haar wavelet transform. PLHaar is continuous, while all current n-bit to n-bit 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. non-discrete) 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 Piecewise-Linear Haar (PLHaar) transform, an integer wavelet-like transform. PLHaar does not have dynamic range expansion, i.e. it is an n-bit to n-bit transform. To our knowledge PLHaar is the only reversible n-bit to n-bit 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 n-bit to n-bit 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
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.84 (from 0.00 for Optimal va ... to 1.00 for An Improve ...)
Alternative Names
Lindstrom, P.
Languages
Covers