Chalmers University of Technology

About: Chalmers University of Technology is a education organization based out in Gothenburg, Sweden. It is known for research contribution in the topics: Population & Combustion. The organization has 17191 authors who have published 53951 publications receiving 1520592 citations. The organization is also known as: Chalmers Tekniska Högskola & Chalmers.

Two decades of array signal processing research: the parametric approach

Abstract: The quintessential goal of sensor array signal processing is the estimation of parameters by fusing temporal and spatial information, captured via sampling a wavefield with a set of judiciously placed antenna sensors. The wavefield is assumed to be generated by a finite number of emitters, and contains information about signal parameters characterizing the emitters. A review of the area of array processing is given. The focus is on parameter estimation methods, and many relevant problems are only briefly mentioned. We emphasize the relatively more recent subspace-based methods in relation to beamforming. The article consists of background material and of the basic problem formulation. Then we introduce spectral-based algorithmic solutions to the signal parameter estimation problem. We contrast these suboptimal solutions to parametric methods. Techniques derived from maximum likelihood principles as well as geometric arguments are covered. Later, a number of more specialized research topics are briefly reviewed. Then, we look at a number of real-world problems for which sensor array processing methods have been applied. We also include an example with real experimental data involving closely spaced emitters and highly correlated signals, as well as a manufacturing application example.

A standardised static in vitro digestion method suitable for food – an international consensus

Abstract: Simulated gastro-intestinal digestion is widely employed in many fields of food and nutritional sciences, as conducting human trials are often costly, resource intensive, and ethically disputable. As a consequence, in vitro alternatives that determine endpoints such as the bioaccessibility of nutrients and non-nutrients or the digestibility of macronutrients (e.g. lipids, proteins and carbohydrates) are used for screening and building new hypotheses. Various digestion models have been proposed, often impeding the possibility to compare results across research teams. For example, a large variety of enzymes from different sources such as of porcine, rabbit or human origin have been used, differing in their activity and characterization. Differences in pH, mineral type, ionic strength and digestion time, which alter enzyme activity and other phenomena, may also considerably alter results. Other parameters such as the presence of phospholipids, individual enzymes such as gastric lipase and digestive emulsifiers vs. their mixtures (e.g. pancreatin and bile salts), and the ratio of food bolus to digestive fluids, have also been discussed at length. In the present consensus paper, within the COST Infogest network, we propose a general standardised and practical static digestion method based on physiologically relevant conditions that can be applied for various endpoints, which may be amended to accommodate further specific requirements. A frameset of parameters including the oral, gastric and small intestinal digestion are outlined and their relevance discussed in relation to available in vivo data and enzymes. This consensus paper will give a detailed protocol and a line-by-line, guidance, recommendations and justifications but also limitation of the proposed model. This harmonised static, in vitro digestion method for food should aid the production of more comparable data in the future.

The formation, properties and impact of secondary organic aerosol: current and emerging issues

Abstract: Secondary organic aerosol (SOA) accounts for a significant fraction of ambient tropospheric aerosol and a detailed knowledge of the formation, properties and transformation of SOA is therefore required to evaluate its impact on atmospheric processes, climate and human health. The chemical and physical processes associated with SOA formation are complex and varied, and, despite considerable progress in recent years, a quantitative and predictive understanding of SOA formation does not exist and therefore represents a major research challenge in atmospheric science. This review begins with an update on the current state of knowledge on the global SOA budget and is followed by an overview of the atmospheric degradation mechanisms for SOA precursors, gas-particle partitioning theory and the analytical techniques used to determine the chemical composition of SOA. A survey of recent laboratory, field and modeling studies is also presented. The following topical and emerging issues are highlighted and discussed in detail: molecular characterization of biogenic SOA constituents, condensed phase reactions and oligomerization, the interaction of atmospheric organic components with sulfuric acid, the chemical and photochemical processing of organics in the atmospheric aqueous phase, aerosol formation from real plant emissions, interaction of atmospheric organic components with water, thermodynamics and mixtures in atmospheric models. Finally, the major challenges ahead in laboratory, field and modeling studies of SOA are discussed and recommendations for future research directions are proposed.

An Extensible SAT-solver

Abstract: In this article, we present a small, complete, and efficient SAT-solver in the style of conflict-driven learning, as exemplified by Chaff. We aim to give sufficient details about implementation to enable the reader to construct his or her own solver in a very short time.This will allow users of SAT-solvers to make domain specific extensions or adaptions of current state-of-the-art SAT-techniques, to meet the needs of a particular application area. The presented solver is designed with this in mind, and includes among other things a mechanism for adding arbitrary boolean constraints. It also supports solving a series of related SAT-problems efficiently by an incremental SAT-interface.