The Portuguese version of the Psychological Adjustment to Separation Test-Part A (PAST-A): a study with recently and non-recently divorced adults

Past research has demonstrated that divorced adults show more health problems and psychological distress than married adults. Considering the high prevalence rates of divorce among Western countries, new and robust measures should be developed to measure psychological distress after this specific transition in adulthood. The aim of this study was to adapt and validate a Portuguese version of the Psychological Adjustment to Separation Test-Part A (PAST-A; Sweeper and Halford in J Family Psychol 20(4):632–640, 2006). PAST-A is a self-report measure that assesses two key dimensions of separation adjustment problems: lonely-negativity and former partner attachment. Psychometric properties of the Portuguese version of PAST-A were assessed in terms of factor structure, internal consistency, and convergent and divergent validity, in an online convenience sample with divorced adults (N = 460). The PAST-A two-factor structure was confirmed by exploratory and confirmatory factor analyses, with each factor demonstrating very satisfactory internal consistency and good convergence. In terms of discriminant validity, the Portuguese PAST-A reveals a distinct factor from psychological growth after divorce. The results provided support for the use of the Portuguese PAST-A with divorced adults and also suggested that the explicative factors of the psychological adjustment to divorce may be cross-cultural stable. The non-existence of validated divorce-related well-being measures and its implications for divorce research are also discussed.

Separation by thermal diffusion in a rotary column

A rotary thermal diffusion column with the inner cylinder rotating and the outer cylinder static was used to separate n-heptane-benzene mixtures at different speeds of rotation. The results show that the column efficiency depends on the speed of rotation. For the optimum speed the increase in efficiency relative to the static column was of the order of 8%. The role of the geometric irregularities in the annulus width on performance of the rotary column is also discussed.

Some observations on asymmetrical separation in thermal diffusion columns

Data have been obtained in steady-state batch operated thermogravitational separation columns using different binary mixtures to test the theory recently published by Morgado et al. The experimental results confirm that separations by thermal diffusion are asymmetrical except when the initial concentration is 0.5 and that the asymmetry is larger as the initial concentration deviates from 0.5 and as the separation potential increases.

Métodos para el análisis de programas probabilistas y no-deterministas utilizando probadores de teoremas. Methods for the analysis of probabilistic and nondeterministic programs using theorem provers.

La verificación y el análisis de programas con características probabilistas es una tarea necesaria del quehacer científico y tecnológico actual. El éxito y su posterior masificación de las implementaciones de protocolos de comunicación a nivel hardware y soluciones probabilistas a problemas distribuidos hacen más que interesante el uso de agentes estocásticos como elementos de programación. En muchos de estos casos el uso de agentes aleatorios produce soluciones mejores y más eficientes; en otros proveen soluciones donde es imposible encontrarlas por métodos tradicionales. Estos algoritmos se encuentran generalmente embebidos en múltiples mecanismos de hardware, por lo que un error en los mismos puede llegar a producir una multiplicación no deseada de sus efectos nocivos.Actualmente el mayor esfuerzo en el análisis de programas probabilísticos se lleva a cabo en el estudio y desarrollo de herramientas denominadas chequeadores de modelos probabilísticos. Las mismas, dado un modelo finito del sistema estocástico, obtienen de forma automática varias medidas de performance del mismo. Aunque esto puede ser bastante útil a la hora de verificar programas, para sistemas de uso general se hace necesario poder chequear especificaciones más completas que hacen a la corrección del algoritmo. Incluso sería interesante poder obtener automáticamente las propiedades del sistema, en forma de invariantes y contraejemplos.En este proyecto se pretende abordar el problema de análisis estático de programas probabilísticos mediante el uso de herramientas deductivas como probadores de teoremas y SMT solvers. Las mismas han mostrado su madurez y eficacia en atacar problemas de la programación tradicional. Con el fin de no perder automaticidad en los métodos, trabajaremos dentro del marco de "Interpretación Abstracta" el cual nos brinda un delineamiento para nuestro desarrollo teórico. Al mismo tiempo pondremos en práctica estos fundamentos mediante implementaciones concretas que utilicen aquellas herramientas.

Mass transfer effects on reactive separation processes - discovery of reactive arrheotropes

Membrane reactor, reactive membrane separation, arrheotrope, azeotrope, dusty gas model, esterification, residue curve map, distillation, kinetics, singular point, bifurcation

Theory and application of nonlinear wave propagation phenomena in combined reaction/separation processes

Reaction separation processes, reactive distillation, chromatographic reactor, equilibrium theory, nonlinear waves, process control, observer design, asymptoticaly exact input/output-linearization

Neurochemical consequences of juvenile separation stress: studies in the limbic structures of trumpet-tailed rat (Octodon degus)

Serotonin, dopamine, parental separation, microdialysis, methylphenidate

Non-classical error bounds in the central limit theorem

The classical central limit theorem states the uniform convergence of the distribution functions of the standardized sums of independent and identically distributed square integrable real-valued random variables to the standard normal distribution function. While first versions of the central limit theorem are already due to Moivre (1730) and Laplace (1812), a systematic study of this topic started at the beginning of the last century with the fundamental work of Lyapunov (1900, 1901). Meanwhile, extensions of the central limit theorem are available for a multitude of settings. This includes, e.g., Banach space valued random variables as well as substantial relaxations of the assumptions of independence and identical distributions. Furthermore, explicit error bounds are established and asymptotic expansions are employed to obtain better approximations. Classical error estimates like the famous bound of Berry and Esseen are stated in terms of absolute moments of the random summands and therefore do not reflect a potential closeness of the distributions of the single random summands to a normal distribution. Non-classical approaches take this issue into account by providing error estimates based on, e.g., pseudomoments. The latter field of investigation was initiated by work of Zolotarev in the 1960's and is still in its infancy compared to the development of the classical theory. For example, non-classical error bounds for asymptotic expansions seem not to be available up to now ...

Virtual separation of concerns : toward preprocessors 2.0 /von Christian Kästner

Software product line, variability, virtual separation, ifdef, preprocessor, cpp, annotative approaches, annotations

Preparative chromatographic separation of ternary mixtures : analysis of fractionation times and novel concepts

Magdeburg, Univ., Fak. für Verfahrens- und Systemtechnik, Diss., 2010

Formation and crystallization based separation of diastereomeric salts

Magdeburg, Univ., Fak. für Verfahrens- und Systemtechnik, Diss., 2012

Postnatal maternal separation affects hippocampal longterm potentiation in adult stressed rats : molecular and hormonal mechanisms

Magdeburg, Univ., Fak. für Naturwiss., Diss., 2013

Designing crystallization based-enantiomeric separation for chiral compound-forming systems in consideration of polymorphism and solvate formation

Magdeburg, Univ., Fak. für Verfahrens- und Systemtechnik, Diss., 2014

Asymptotics of orthogonal polynomials via the Koosis theorem

The main aim of this short paper is to advertize the Koosis theorem in the mathematical community, especially among those who study orthogonal polynomials. We (try to) do this by proving a new theorem about asymptotics of orthogonal polynomi- als for which the Koosis theorem seems to be the most natural tool. Namely, we consider the case when a SzegÄo measure on the unit circumference is perturbed by an arbitrary measure inside the unit disk and an arbitrary Blaschke sequence of point masses outside the unit disk.

Diophantine approximation on projective varieties I: algebraic distance and metric Bézout theorem

"Vegeu el resum a l'inici del document del fitxer adjunt."