Dipotassium [N,N '-(propane-1,3-diyl)dioxamato-kappa O-4,N,N ',O ']copper(II) trihydrate: redetermination at 100 K

Redetermination of the structure of the title compound, K-2[Cu(C7H6N2O6)]center dot 3H(2)O,at 100 K reveals conformational disorder in the almost planar copper-containing molecular dianions and clarifies the complex hydrogen-bonded network involving the water molecules. The asymmetric unit contains two independent formula units. In one of the [Cu(C7H6N2O6)](2-) dianions, the propyl chain is disordered over two orientiations, with site-occupancy factors of 0.852 (5) and 0.148 (5)

Helping with Domestic Violence: Legal Barriers to Serving Teens in Illinois

In the spring of 1999 the Center for Impact Research (CIR) and the Illinois Caucus for Adolescent Health conducted a study looking at the prevalence of domestic violence among teen mothers receiving Temporary Assistance for Needy Families in Chicago.1 In a sample of 474 teen mothers on the south and west sides of Chicago, CIR found that 55% of the young women had experienced some level of domestic violence at the hands of their boyfriends in the previous 12 months. The study also found a strong association between domestic violence and birth control sabotage, where teen girls' attempts to use birth control were undermined or thwarted by their partners.In qualitative interviews it became apparent that many of these low-income teen mothers were experiencing severe difficulties with escaping domestic violence due to a lack of temporary or permanent housing opportunities. CIR subsequently began to conduct research with the goal of identifying the legal and regulatory barriers to serving teen victims of domestic violence

CSL model checking of Deterministic and Stochastic Petri Nets

Deterministic and Stochastic Petri Nets (DSPNs) are a widely used high-level formalism for modeling discrete-event systems where events may occur either without consuming time, after a deterministic time, or after an exponentially distributed time. The underlying process dened by DSPNs, under certain restrictions, corresponds to a class of Markov Regenerative Stochastic Processes (MRGP). In this paper, we investigate the use of CSL (Continuous Stochastic Logic) to express probabilistic properties, such a time-bounded until and time-bounded next, at the DSPN level. The verication of such properties requires the solution of the steady-state and transient probabilities of the underlying MRGP. We also address a number of semantic issues regarding the application of CSL on MRGP and provide numerical model checking algorithms for this logic. A prototype model checker, based on SPNica, is also described