Non-associative Lambek Categorial Grammar in Polynomial Time

We present a new axiomatization of the non-associative Lambek calculus. We prove that it takes polynomial time to reduce any non-associative Lambek categorial grammar to an equivalent context-free grammar. Since it is possible to recognize a sentence generated by a context-free grammar in polynomial time, this proves that a sentence generated by any non-associative Lambek categorial grammar can be recognized in polynomial time.     

A necessary condition forBSI-stability

This paper gives a negative result onBSI-stability for the Lobatto IIIC-methods with more than two stages. We also give a necessary condition forBSI-stability.     

Intra‐laser‐cavity microparticle sensing with a dual‐wavelength distributed‐feedback laser

An integrated intra‐laser‐cavity microparticle sensor based on a dual‐wavelength distributed‐feedback channel waveguide laser in ytterbium‐doped amorphous aluminum oxide on a silicon substrate is demonstrated. Real‐time detection and accurate size measurement of single micro‐particles with diameters ranging between 1 µm and 20 µm are achieved, which represent the typical sizes of many fungal and bacterial pathogens as well as a large variety of human cells. A limit of detection of ∼500 nm is deduced. The sensing principle relies on measuring changes in the frequency difference between the two longitudinal laser modes as the evanescent field of the dual‐wavelength laser interacts with micro‐sized particles on the surface of the waveguide. Improvement in sensitivity far down to the nanometer range can be expected upon stabilizing the pump power, minimizing back reflections, and optimizing the grating geometry to increase the evanescent fraction of the guided modes.     

Basis- and partition identification for quadratic programming and linear complementarity problems

Optimal solutions of interior point algorithms for linear and quadratic programming and linear complementarity problems provide maximally complementary solutions. Maximally complementary solutions can be characterized by optimal partitions. On the other hand, the solutions provided by simplex–based pivot algorithms are given in terms of complementary bases. A basis identification algorithm is an algorithm which generates a complementary basis, starting from any complementary solution. A partition identification algorithm is an algorithm which generates a maximally complementary solution (and its corresponding partition), starting from any complementary solution. In linear programming such algorithms were respectively proposed by Megiddo in 1991 and Balinski and Tucker in 1969. In this paper we will present identification algorithms for quadratic programming and linear complementarity problems with sufficient matrices. The presented algorithms are based on the principal pivot transform and the orthogonality property of basis tableaus. Received April 9, 1996 / Revised version received April 27, 1998? Published online May 12, 1999     

Artifact Reduction Based on Sinogram Interpolation for the 3D Reconstruction of Nanoparticles Using Electron Tomography

Electron tomography is a well‐known technique providing a 3D characterization of the morphology and chemical composition of nanoparticles. However, several reasons hamper the acquisition of tilt series with a large number of projection images, which deteriorate the quality of the 3D reconstruction. Here, an inpainting method that is based on sinogram interpolation is proposed, which enables one to reduce artifacts in the reconstruction related to a limited tilt series of projection images. The advantages of the approach will be demonstrated for the 3D characterization of nanoparticles using phantoms and several case studies.     

Proficiency testing in analytical chemistry, microbiology and laboratory medicine: working discussions on current practice and future directions

A summary of the working group (WG) discussions on proficiency testing (PT) and external quality assessment (EQA) held at the Eurachem Workshop, Rome, 5–7 October 2008 is provided. The eight WG’s covered a range of issues concerned with current practice and future directions; how frequently should laboratories participate in PT/EQA? (WG1); developments in PT/EQA within the EU—what is required in future? (WG2); what issues do developing countries face with regards to PT/EQA? (WG3), what issues are specific to microbiology PT/EQA? (WG4); what new fields are emerging for PT/EQA? (WG5); what will be the impact of the new ISO/IEC 17043 standard? (WG6); do current PT/EQA schemes meet the needs of participants? (WG7); and what are the issues that affect the quality of proficiency test items? (WG8). Delegates with different backgrounds were on each WG in order to capture a range of views and experience from a number of different sectors. Working group representatives included PT/EQA providers, participants in PT/EQA schemes and end users of PT results such as accreditation bodies and regulatory authorities, from countries around the world.