The hydrolysis of cadmium nitrate was studied spectrophotometrically at different ionic strengthsof sodium perchlorate in a wide pH range, 1-12, and at 25 C. Least squares calculations areconsistent with the formation of M(OH)+, M(OH)2, M(OH)3- and M(OH)42- species, which M isCd2+. The dependency on ionic strength in the background electrolyte solutions was taken intoaccount by using a Debye-Hu...

Given a model M and a temporal logic formula φ[?], where ? is a placeholder, the query checking problem, as defined for the case of CTL by Chan in 2000, is to find the strongest propositional formula f such that M |= φ[? ← f ]. The motivation for solving this problem is, among other things, to get insight on the model. We consider various objectives to the LTL query-checking problem, and study ...

M. Pujo-Pay, P. Conan, L. Oriol, V. Cornet-Barthaux, C. Falco, J.-F. Ghiglione, C. Goyet, T. Moutin, and L. Prieur CNRS, UMR 7621, Laboratoire d’Océanographie Microbienne, Observatoire Océanologique de Banyuls-sur-Mer, 66650 Banyuls-sur-Mer, France Université Pierre et Marie Curie-Paris 6 (UPMC), UMR 7621, 66650 Banyuls-sur-Mer, France Université de la Méditerranée (Aix-Marseille II), CNRS, UMR...

Waiting in long queue is undesirable due to which in some practical situations customers become impatient and leave the system. In such cases providing additional servers can reduce long queue. This investigation deals with multi-server queueing system with additional servers and discouragement. The customers arrive in poisson fashion and are served exponentially by a pool of permanent and addi...

BACKGROUND Diverse socioeconomic and cultural developments between geographic regions and cities/counties have resulted in different physical availability and socio-cultural acceptability of certain methods of suicide. This study examined the changes in distribution of the leading methods of suicide across cities/counties in Taiwan between 2002-04 and 2006-08. METHODS Mortality data for all d...

In the presence of rst-class continuations, shallow maintenance of dynamic bindings requires more than the traditional stack-based techniques. This paper provides correctness criteria for such dynamic environments, along with contrasting implementations. A store semantics provides the framework for our correctness criteria and presentation of deepand shallow-binding implementations. The latter ...

Aim. To adapt and validate the PERMA Profiler Scale (Butler & Kern, 2016) for Argentinian adolescents. Method. The items werereviewed by 6 expert judges 21 sample consisted of 421 adolescents (M = 14.9; SD 1.75). content validity andthe discrimination capacity were assessed. Afterwards, structure scale was analyzed, as well internal consistency concurrent validity. Results. All obtained an ...

Traditional question answering systems typically employ a single pipeline architecture, consisting roughly of three components: question analysis, search, and answer selection (see e.g., (Clarke et al., 2001a; Hovy et al., 2000; Moldovan et al., 2000; Prager et al., 2000)). The knowledge sources utilized by these systems to date primarily focus on the corpus from which answers are to be retriev...

We show that the class of weak equivalences of a combinatorial model category can be detected by an accessible functor into simplicial sets. The purpose of this short note is to prove the following result that was conjectured by J.H. Smith in [[2],p. 460]. 0.1. Theorem. For every combinatorial model categoryM, there is an accessible functor F :M→ SSet that detects the weak equivalences, i.e., a...