The use of liquid membrane-based extractions is increasingly seen as offering an alternative to conventional sample preparation procedures in analysis of chemical species in both environmental and biological media. In this article, emphasis is placed on the attractiveness of liquid membrane-based extraction techniques to a variety of analytical applications such as speciation of metal ions in b...

In everyday life, people get lost even when they have the map: they simply may not know where they are in the map. However, when moving forward they may have new observations which can help to locate themselves by reasoning. In this paper, we propose and develop a semantic-driven dynamic epistemic framework to handle epistemic reasoning in such navigation scenarios. Our framework can be viewed ...

Enjoying the power of SAT and SMT solvers in the Coq proof assistant without compromising soundness requires more than a yes/no answer from them. SAT and SMT solvers should also return a proof witness that can be checked by an external tool. We propose a fully certified checker for such witnesses written in Coq. It can currently check witnesses from the SAT solvers ZChaff and MiniSat and from t...

during endodontic treatment, clinicians may face endodontic procedural mishaps such as broken instruments, which is a complex situation especially when the file breaks beyond the apex. this condition is associated with potential risk of contamination, which compromises the healing process. management of a broken instrument beyond the apex is difficult and time consuming and requires creativity ...

This paper establishes a theoretical and empirical link between the use of aggressive mortgage lending instruments, such as interest only, negative amortization or subprime, mortgages and the underlying house price volatility. Such instruments, which come into existence through innovation or financial deregulation, allow more borrowing than otherwise would occur. Within the context of a theoret...

The goal of this paper is the construction of measures μ on R(n)enjoying three conflicting but fortunately compatible properties: (i) μ is a sum of weighted Dirac masses on a locally finite set, (ii) the Fourier transform μ f μ is also a sum of weighted Dirac masses on a locally finite set, and (iii) μ is not a generalized Dirac comb. We give surprisingly simple examples of such measures. These...

Modern Turkey has achieved rapid success in areas such as reducing infant and child mortality and protecting women in childbirth. As the burdens of infectious disease have fallen, important opportunities have emerged for early action against the chronic, mainly non-communicable, conditions which cause death and disability in middle and later life. Effective intervention in this field will permi...

Disproportionate representation of males and females in science courses and careers continues to be of concern. This article explores gender differences in Australian high school students’ perceptions of school science and their intentions to study university science courses. Nearly 3800 15year-old students responded to a range of 5-point Likert items relating to intentions to study science at ...