Chalmers Tekniska Hogskola

Approximation of Alternating Fixpoints: Short Cuts (2007)

A. Mader, M. Weichert, Chalmers Tekniska Hogskola

Many verification algorithms for finite transition systems are based on fixpoint approximation. This technique was introduced for model checking by Emerson and Lei [EmL86]. It was applied by Andersen...

A self-applicable partial evaluator for a subset of Haskell (2007)

Silvano Dal-Zilio, Director John Hughes, Chalmers Tekniska Hogskola

Partial evaluation is becoming very promising as a programming tool, as its practice is now well developed. But the theorical foundation are not equally well understood. In this paper, we report on...

The Relevance of Proof-Irrelevance A Meta-Theoretical Study of Generalised Calculi of Constructions (2007)

Gilles Barthe, Chalmers Tekniska Hogskola

Abstract. We propose a general technique, inspired from proof-irrelevance, to prove strong normalisation and consistency for extensions of the Calculus of Constructions. 1

On distribution control-by-wire systems for critical applications / (2005)

Johansson, Roger., Chalmers Tekniska Hogskola.

Other title page laid in.

Contributions to numerical solution of stochastic differential equations / (2005)

Muszta, Anders., Chalmers Tekniska Hogskola.

Other title page laid in.

Towards controlled growth and applications of carbon nanotubes / (2005)

Morjan, Raluca Elena., Chalmers Tekniska Hogskola.

Other title page laid in.

Biosensing and protein array design using lipid assemblies / (2005)

Larsson, Charlotte., Chalmers Tekniska Hogskola.

Other title page laid in.

Modeling and tuning security from a quality of service perspective / (2005)

Lindskog, Stefan., Chalmers Tekniska Hogskola.

Other title page laid in.

Studies of NOx storage catalysts : preparation, characterization sulfur deactivation and micro kinetic modelling / (2005)

Dawody, Jazaer., Chalmers Tekniska Hogskola.

Other title page laid in.

A parametric approach to yeast growth curve estimation and standardization / (2005)

Pylvanainen, Ilona., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2005.

Development and characterisation of oxygen-carrier materials for chemical-looping combustion / (2005)

Cho, Paul., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2005.

Modelling and intelligent climate control of buildings / (2005)

Soleimani-Mohseni, Mohsen., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2005.

Robust design methodology : a framework and supportive methods / (2005)

Gremyr, Ida., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2005.

Influence of channel estimation on wireless communication system performance / (2005)

Bohlin, Patrik., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2005.

Analysis, modeling and control of doubly-fed induction generators for wind turbines / (2005)

Petersson, Andreas., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2005.

Voltage dip (Sag) estimation in power systems based on stochastic assessment and optimal monitoring / (2005)

Olguin, Gabriel., Chalmers Tekniska Hogskola.

Thesis (Ph.D.)--Chalmers University of Technology, 2005.

Recognition of printed Sinhala characters by direction fields / (2005)

Premaratne, Hemakumar Lalith., Chalmers Tekniska Hogskola.

Other title page laid in.

Modelling of inelastic effects in metal sheets and identification of material parameters / (2005)

Omerspahic, Edin., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2005.

Industrial safety : principles for safety management based on empirical studies / (2005)

Willquist, Petra., Chalmers Tekniska Hogskola.

Other title page laid in.

Polymer-coated paper and board : role of substrate, polymer characteristics and additives / (2005)

Schuman, Thomas., Chalmers Tekniska Hogskola.

Other title page laid in.

Appearance characterisation of textured polymeric surfaces / (2005)

Arino, Ingrid., Chalmers Tekniska Hogskola.

Other title page laid in.

Novel microfluidic methods for studies of ion channel function / (2005)

Sinclair, Jon., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2005.

The EEG of the newborn brain : detection of hypoxia and prediction of outcome / (2005)

Lofgren, Nils., Chalmers Tekniska Hogskola.

Cover title.

Microwave breakdown : physics and applications / (2005)

Jordan, Ulf., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2005.

Heat and mass transfer effects in a ubend in pneumatic drying / (2005)

Hidayat, Muslikhin., Chalmers Tekniska Hogskola.

Other title page laid in.

On the hydrodynamics of a monohull ship in following and stern quartering seas / (2005)

Lundback, Olov., Chalmers Tekniska Hogskola.

Other title page laid in.

Surface active betaine esters / (2005)

Lundberg, Dan., Chalmers Tekniska Hogskola.

Other title page laid in.

Fermentation of undetoxified dilute acid lignocellulose hydrolysate for fuel ethanol production / (2005)

Brandberg, Tomas., Chalmers Tekniska Hogskola.

Thesis (Ph.D.)--Chalmers University of Technology, 2005.

Flow processing and gel formation for producing biopolymer drops with functional shapes and diffusion properties / (2005)

Walther, Bernhard., Chalmers Tekniska Hogskola.

Other title page laid in.

Environmental life-cycle assessment in microelectronics packaging / (2005)

Andra, Anders S. G., Chalmers Tekniska Hogskola.

Other title page laid in.

Development of manufacturing systems : a methodology based on systems engineering and design theory / (2005)

Almstrom, Peter., Chalmers Tekniska Hogskola.

Thesis (Ph.D.)--Chalmers University of Technology, 2005.

Hydrodynamics and flocculation in stirred square tanks / (2005)

Kilander, Jesper., Chalmers Tekniska Hogskola.

Thesis (Ph.D.)--Chalmers University of Technology, 2005.

Urban evolution / (2005)

Andersson, Claes., Chalmers Tekniska Hogskola.

Other title page laid in.

Carbon dioxide : the unknown factor in the atmospheric corrosion of light metals : a laboratory study / (2005)

Blucher, Daniel Bengtsson., Chalmers Tekniska Hogskola.

Thesis (Ph.D.)--Chalmers University of Technology, 2005.

Characterization of terminal antennas for diversity and MIMO systems by theory, simulations and measurements in reverberation chamber / (2005)

Rosengren, Kent., Chalmers Tekniska Hogskola.

Other title page laid in.

Segmentation and tracking algorithms for in vitro cell migration analysis / (2005)

Althoff, Karin., Chalmers Tekniska Hogskola.

Thesis (Ph.D.)--Chalmers University of Technology, 2005.

Dynamics of quality attributes over life cycles of goods and services / (2005)

Fundin, Anders., Chalmers Tekniska Hogskola.

Thesis (Ph.D.)--Chalmers University of Technology, 2005.

Gear tribology : friction and surface topography / (2005)

Xiao, Li., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2005.

Symmetry filters applied to fingerprints : representation, feature extraction, and rregistration / (2005)

Nilsson, Kenneth., Chalmers Tekniska Hogskola.

Thesis (Ph.D.)--Chalmers University of Technology, 2005.

Deposit induced corrosion in biofuel combustion / (2004)

Andersson, Petter., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Information retrieval using Krylov subspace methods / (2004)

Blom, Katarina., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

New thinking, management control, & instrumental rationality : managaing organizational creativity in pharmaceutical R & D / (2004)

Sundgren, Mats., Chalmers Tekniska Hogskola., Fenix Research Program.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

The chemistry of plutonium solubility / (2004)

Nilsson, Hans., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Conditions and constraints for waste management : collection, characterisation and producer responsibility in Sweden / (2004)

Petersen, Cecilia Mattsson., Chalmers Tekniska Hogskola.

Errata page laid in.

Constitutive behaviour and fracture of adhesive layers : inverse methods and energetic balance / (2004)

Alfredsson, Svante., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

HAM-Tools : an integrated simulation tool for heat, air and moisture transfer analyses in building physics / (2004)

Kalagasidis, Angela Sasic., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Photodetachment of negative ions : experimental investigations of threshold and continuum structures / (2004)

Sandstrom, Joakim., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Hard turning of bearing steels : controlling residual stress and improving fatigue life / (2004)

Jacobson, Michael., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Whiplash associated disorders in frontal and rear-end car impacts : biomechanical guidelines and evaluation criteria based on accident data and occupant modelling / (2004)

Jakobsson, Lotta., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Dectection and removal of traps at the SiO₂/SiC interface / (2004)

Olafsson, Halldor Orn., Chalmers Tekniska Hogskola.

Abstract sheet laid in.

Applications in surface enhanced Raman spectroscopy / (2004)

Eliasson, Charlotte., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Quantitative surface enhanced Raman spectroscopy / (2004)

Loren, Anders., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2003.

Organizing technology planning : a contingent approach / (2004)

Karlsson, Martin., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Intramolecular electron transfer in DNA and ruthenium(II) systems / (2004)

Olofsson, Johan., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

COMBITEST : a new test method for thermal stores used in solar combisystems / (2004)

Bales, Chris., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Sounds unheard of : evolutionary algorithms as creative tools for the contemporary composer / (2004)

Dahlstedt, Palle., Chalmers Tekniska Hogskola.

"Innovative design."

Methanol masers as signposts of star formation : and VLBI observations of coronal emission from young stars / (2004)

Pestalozzi, Michele R., Chalmers Tekniska Hogskola., Onsala Rymdobservatorium.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Developing managerial work : a system and work-flow approach / (2004)

Mikaelsson, Jon., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

The influence of water vapour on the oxidation behaviour of high temperature materials : microstructure investigation using analytical electron microscopy / (2004)

Tang, Jun Eu., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Organic reactions in self-organized surfactant systems / (2004)

Currie, Fredrik., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2003.

Fluid dynamics and mass transfer in bubble columns with and without packing / (2004)

Therning, Peter., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Enabling the user : exploring methodological effects on user requirements elicitation / (2004)

Engelbrektsson, Pontus., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Efficient and practical non-blocking data structures / (2004)

Sundell, Hakan., Chalmers Tekniska Hogskola.

Abstract sheet laid in.

Framing social interaction in shared virtual environments : the influence of technical and social factors / (2004)

Axelsson, Ann-Sofie., Chalmers Tekniska Hogskola.

Errata page laid in.

NMR diffusometry and dynamic NMR microscopy studies of colloidal systems / (2004)

Wassenius, Helena., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Measurement and control of metal vapours during fluidized bed combustion of biomass fuels / (2004)

Tran, Khanh-Quang., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Adaptive concatenated coding for wireless real-time communications / (2004)

Uhlemann, Elisabeth., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Excitation of tyre vibrations due to tyre/road interaction / (2004)

Wullens, Frederic., Chalmers Tekniska Hogskola.

"October 2004, Report F04-03."

Development and application of differential optical absorption spectroscopy (DOAS) for Asian urban air monitoring and atmospheric research / (2004)

Yu, Yong., Chalmers Tekniska Hogskola.

Abstract sheet laid in.

Designdialoger i tidiga skeden : arbetssatt och verktyg for kundengagerad arbetsplatsutformning / (2004)

Frost, Peter., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Aging and characterization of semiconductor glazes / (2004)

Ullrich, Heike., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Synthesis and structural characterization of copper (I) complexes with hard donor ligands / (2004)

Gustafsson, Bjorn., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Expansions, omitting types, and standard systems / (2004)

Engstrom, Fredrik., Chalmers Tekniska Hogskola.

Abstract sheet laid in.

A methodology for the design of cost effective hybrid and fuel cell powertrains / (2004)

Hellgren, Jonas., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Anaemia and iron deficiency in children and women in Tanzania : effects of dietary iron intake, low iron bioavailability and supplementation with multiple micronutrient beverage / (2004)

Tatala, Simon Rupia., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Transient phenomena in co and hydrocarbon oxidation over supported platinum catalysts / (2004)

Carlsson, Per-Anders., Chalmers Tekniska Hogskola.

Abstract sheet laid in.

Dispersion and flocculation in a dry mat--forming process / (2004)

Runqvist, Robert., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

High temperature corrosion of cast irons and steels / (2004)

Tholence, Frederic., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2003.

On defect generation and the appearance of injection-moulded polymers / (2004)

Pisciotti, Francesco., Chalmers Tekniska Hogskola.

Abstract sheet laid in.

On the design of electrical architectures for safety-critical automotive systems / (2004)

Johannessen, Per., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Experimental approaches to powder filling and lubrication in powder die pressing / (2004)

Hjortsberg, Erik., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Ergonomic workplace design analysis : development of a practitioner's tool for enhanced productivity / (2004)

Laring, Jonas., Chalmers Tekniska Hogskola.

Abstract sheet laid in.

Urban processes and global competition : enabling factors for mutual urban and economic development at Norra Alvstranden in Goteborg / (2004)

Ohrstrom, Bo., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Automation of computational mathematical modeling / (2004)

Logg, Anders., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

A study of active-passive damping treatments / (2004)

Illaire, Helene., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Nagra inomhusvaxters formaga att paverka luftkvaliteten / (2004)

Larsson, Tord., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Computer modeling of HCCI combustion / (2004)

Ogink, Roy., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Node-level fault tolerance for embedded real-time systems / (2004)

Aidemark, Joakim., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Virtual sensing of combustion quality in SI engines using the ion current / (2004)

Wickstrom, Nicholas., Chalmers Tekniska Hogskola.

Abstract sheet laid in.

The role of hexose transport on glycolytic flux and glucose induced responses in saccharomyces cerevisiae / (2004)

Ebling, Karin., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Control and estimation of automotive powertrains with backlash / (2004)

Lagerberg, Adam., Chalmers Tekniska Hogskola.

Abstract sheet laid in.

Mixing and stagnation in drinking water storage tanks / (2004)

Nordblom, Ola., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Increasing the usability of medical technology : methodological considerations for evaluation / (2004)

Liljegren, Erik., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Modelling and design of high-power HBV multipliers / (2004)

Ingvarson, Mattias., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Concrete structures subjected to fragment impacts : dynamic behaviour and material modelling / (2004)

Leppanen, Joosef., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Time domain methods for load identification of linear and nonlinear systems / (2004)

Nordberg, T. Patrik., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Fatigue limit, inclusion and finite lives : a statistical point of view / (2004)

Loren, Sara., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Ambulatory monitoring and analysis of surface electromyographic signals in ergonomic field studies : methods and applications / (2004)

Sandsjo, Leif., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Ultrafine particles in indoor air : measurements and modelling / (2004)

Matson, Uve., Chalmers Tekniska Hogskola.

"Building services engineering."

Characterization of gasoline spray-wall interactions / (2004)

Lindgren, Ronny., Chalmers Tekniska Hogskola.

Abstract sheet laid in.

Higher order finite elements and adaptivity in computational electromagnetics / (2004)

Ingelstrom, Par., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Process industry energy projects in a climate change conscious economy / (2004)

Adahl, Anders., Chalmers Tekniska Hogskola.

Abstract sheet laid in.

Managing distributed product development : an information and knowledge perspective / (2004)

Fagerstrom, Bjorn., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

On the formation of supported phospholipid bilayers / (2004)

Reimhult, Erik., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Computational techniques for turbulence generated noise / (2004)

Billson, Mattias., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Biomaterial components prepared by titanium powder technology / (2004)

Eriksson, Mikael., Chalmers Tekniska Hogskola.

"Ceramic technology."

Leaching of hazardous substances from concrete constituents and painted wood panels / (2004)

Togero, Ase., Chalmers Tekniska Hogskola.

Abstract sheet laid in.

Water at surfaces and interfaces from first-principles studies / (2004)

Meng, Sheng., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Diagnostic methods for composite insulators with biological growth / (2004)

Dernfalk, Andreas., Chalmers Tekniska Hogskola.

Abstract sheet laid in.

Four proposals for enterprise modeling / (2004)

Eriksson, Darek M., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Carbon fibres and carbonaceous fillers in engineering thermosets / (2004)

Voigt, Bjorn L., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Mixture effects in shell-and-tube condensers : theory and calculations / (2004)

Karlsson, Tord., Chalmers Tekniska Hogskola.

"Heat and power technology."

Fluid dynamics of a Wurster-type fluidized bed : a numerical and experimental study / (2004)

Magnusson, Anna., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2003.

Prediction of traffic noise shielding by city street canyons / (2004)

Ogren, Mikael., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2003.

Heat balance modeling of a stationary fluidized-bed furnace burning biomass / (2004)

Niklasson, Fredrik., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Approximation of topology optimization problems using sizing optimization problems / (2004)

Evgrafov, Anton., Chalmers Tekniska Hogskola.

Abstract sheet laid in.

Some non-linear geometric and kinetic evolutions and their approximations / (2004)

Grzibovskis, Ricards., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Iterative detection, decoding and channel parameter : estimation for orthogonally modulated DS-CDMA systems / (2004)

Xiao, Pei., Chalmers Tekniska Hogskola.

Errata leaf laid in.

Fermentation inhibitors in the production of bio-ethanol : detoxification of lignocellulose hydrolyzates and physiological effects of furfural on yeast / (2004)

Horvath, Ilona Sarvari., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Managing requirements in a design support system : a product modelling approach / (2004)

Nilsson, Patrik., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Computer modelling of electrophysical phenomena in high voltage insulalation / (2004)

Serdyuk, Yuriy V., Chalmers Tekniska Hogskola.

Errata leaf laid in.

Edge correction and regression models for quantifying single-tree influence on understory vegetation / (2004)

Kuhlmann-Berenzon, Sharon., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, Goteborg University, 2004.

Spectroscopic measurements and fluorescence imaging for treatment and diagnosis of skin cancer / (2004)

Ericson, Marcia B., Chalmers Tekniska Hogskola.

"Physics and engineering physics."

Towards low-complexity vector quantization / (2004)

Shabestary, Turaj Zakizadeh., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Novel process integration opportunities in existing kraft pulp mills with low water consumption / (2004)

Bengtsson, Cecilia., Chalmers Tekniska Hogskola.

"Heat and power technology."

Wave splitting and effective boundary conditions for structural elements / (2004)

Johansson, Martin., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Permutation patterns, continued fraction, and a group determined by an ordered set / (2004)

Claesson, Anders., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Flow and mixing of pulp suspensions / (2004)

Pettersson, Johan., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2003.

Exploring massively parallel models and architectures for efficient computation of evolutionary algorithms / (2004)

Eklund, Sven E., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2003.

Ferroelectric thin films on si-substrate for tunable microwave applications / (2004)

Abadei, Saeed., Chalmers Tekniska Hogskola.

Thesis (Ph. D.)--Chalmers University of Technology, 2004.

Flow boiling heat transfer and pressure drop : experiments and model development for complex geometries / (2004)

Wellsandt, Sven., Chalmers Tekniska Hogskola.

"Heat and power technology."

Affect as a component of perceived sound and vibration quality in aircraft / (2003)

Vastfjall, Daniel., Chalmers Tekniska Hogskola.

Thesis (doctoral)--Chalmers University of Technology, 2003.

GaN, AIGaN, GaNAs and related heterostructures grown by molecular beam epitaxy / (2003)

Kim, Hyonju., Chalmers Tekniska Hogskola.

Series numbered incorrectly by publisher.

How to prove properties of recursively defined circuits using Stalmarck's method (1998)

Mary Sheeran, Arne Borälv, Chalmers Tekniska Hogskola

. We present a technique for proving properties of recursively defined circuits using Stalmarck's method. We consider instances of circuits defined according to a particular inductive scheme and...

Mixed Volumes and Slices of the Cube (1998)

R. Ehrenborg, M. Readdy, Chalmers Tekniska Hogskola

ent of the Eulerian numbers. The Minkowski sum of two subsets K and L of R is the set K+L=[x+y : x # K, y # L]. For * a real number, the dilation of K by * is the set * } K=[* } x: x#K]. A convex...

Experimental Validation of a Fault-Tolerant System Using Physical Fault Injection,” Licenciate of Eng (1996)

Peter Folkesson, Peter Folkesson, Chalmers Tekniska Hogskola

This thesis describes and compares three physical fault injection techniques—heavy-ion radiation, pin-level fault injection and electromagnetic interference—and their use in the validation of the...

Playing Nim on a simplicial complex (1996)

Richard Ehrenborg, Chalmers Tekniska Hogskola

We introduce a generalization of the classical game of Nim by placing the piles on the vertices of a simplicial complex and allowing a move to affect the piles on any set of vertices that forms a...

Playing Nim on a simplicial complex (1996)

Richard Ehrenborg, Einar Steingrimsson, Chalmers Tekniska Hogskola

We introduce a generalization of the classical game of Nim by placing the piles on the vertices of a simplicial complex and allowing a move to affect the piles on any set of vertices that forms a...

Experimental Validation of a Fault-Tolerant System Using Physical Fault Injection,” Licenciate of Eng (1996)

Peter Folkesson, Peter Folkesson, Chalmers Tekniska Hogskola

This thesis describes and compares three physical fault injection techniques—heavy-ion radiation, pin-level fault injection and electromagnetic interference—and their use in the validation of the...

Multi-rate performance in DS/CDMA systems (1995)

Tony Ottosson, Arne Svensson, Chalmers Tekniska Hogskola

Different modulation schemes supporting multiple data rates in a Direct Sequence Code Division Multiple Access (DS/CDMA) system are studied. Both AWGN and multipath Rayleigh fading channels are...

Quadratic Convexity (1993)

Jörgen Boo, Chalmers Tekniska Hogskola

. We define quadratically convex sets in C n to be those, whose complement is a union of quadratic hypersurfaces. Some geometric properties of quadratically convex sets are investigated; in...

A Certain Loss of Identity (1992)

Geraint Jones, Mary Sheeran, Chalmers Tekniska Hogskola

For pragmatic reasons it is useful to exclude the identity relation from the `implementable subset' of Ruby. However there are many expressions in the relational calculus whose natural meaning...

A Loop-detecting Interpreter for Lazy, Higher-order Programs (1992)

John Hughes, Chalmers Tekniska Hogskola, Alex Ferguson

Interpreters that detect some forms of non-termination have a variety of applications, from abstract interpretation to partial evaluation. A simple and often used strategy is to test for a repeated...