Security analysis of Australian and E.U. e-passport implementation

This paper makes a formal security analysis of the current Australian e-passport implementation using model checking tools CASPER/CSP/FDR. We highlight security issues in the current implementation and identify new threats when an e-passport system is integrated with an automated processing system like SmartGate. The paper also provides a security analysis of the European Union (EU) proposal for Extended Access Control (EAC) that is intended to provide improved security in protecting biometric information of the e-passport bearer. The current e-passport specification fails to provide a list of adequate security goals that could be used for security evaluation. We fill this gap; we present a collection of security goals for evaluation of e-passport protocols. Our analysis confirms existing security weaknesses that were previously identified and shows that both the Australian e-passport implementation and the EU proposal fail to address many security and privacy aspects that are paramount in implementing a secure border control mechanism. ACM Classification C.2.2 (Communication/Networking and Information Technology – Network Protocols – Model Checking), D.2.4 (Software Engineering – Software/Program Verification – Formal Methods), D.4.6 (Operating Systems – Security and Privacy Protection – Authentication)

Tactics of antifeminist backlash against the U. S. battered women's movement

Opposition to men’s violence against women who are their intimate partners has become politically popular in the United States. The Violence Against Women Act (VAWA) has enjoyed broad-based support for over 15 years. VAWA has been refined and expanded with each reauthorization. Resistance to the battered women’s movement is often overlooked in this political context. However, woman abuse and state responses to it are mired in cultural tensions about crime, law, gender, economics, scholarship, and the family. Based on interviews with 35 advocates in the United States, this paper outlines key tactics of antifeminist backlash against the battered women’s movement.

Stabilization of parametric roll resonance with active u-tanks via Lyapunov control design

Parametric ship roll resonance is a phenomenon where a ship can rapidly develop high roll motion while sailing in longitudinal waves. This effect can be described mathematically by periodic changes of the parameters of the equations of motion, which lead to a bifurcation. In this paper, the control design of an active u-tank stabilizer is carried out using Lyapunov theory. A nonlinear backstepping controller is developed to provide global exponential stability of roll. An extension of commonly used u-tank models is presented to account for large roll angles, and the control design is tested via simulation on a high-fidelity model of a vessel under parametric roll resonance.

Inductively coupled Ar/CH₄/H₂plasmas for low-temperature deposition of ordered carbon nanostructures

The study of inductively coupled Ar/CH 4/H 2 plasmas in the plasma enhanced chemical vapor deposition (PECVD) of self-assembled carbon nanostructures (CN) was presented. A spatially averaged (global) discharge model was developed to study the densities and fluxes of the radical neutrals and charged species, the effective electron temperature, and methane conversion factors under various conditions. It was found that the deposited cation fluxes in the PECVD of CNs generally exceed those of the radical neutrals. The agreement with the optical emission spectroscopy (OES) and quadrupole mass spectrometry (QMS) was also derived through numerical results.

The effects of low degree alteration on Sm-Nd and U-Pb isotope systematics in Eoarchean basalts from the Doolena Gap and Warralong Greenstone belts, Pilbara Craton, Western Australia

This research led to the discovery of one of the best preserved remnants of the Earth's surficial environment 3.47 billion years ago. These ancient volcanic and sedimentary rocks contain original minerals and textures that are rare in rocks of this age. The research concentrated on chemical analysis of volcanic rocks to differentiate secondary alteration from the primary magmatic signature. This study contributes to our understanding of melting processes and geochemical reservoirs in the early Earth, which is vital for forward modelling of Earth's geodynamic evolution.

Decomposition of toxic chemical substance management in three U.S. manufacturing sectors from 1991 to 2008

This study analyzes toxic chemical substance management in three U.S. manufacturing sectors from 1991 to 2008. Decomposition analysis applying the logarithmic mean Divisia index is used to analyze changes in toxic chemical substance emissions by the following five factors: cleaner production, end-of-pipe treatment, transfer for further management, mixing of intermediate materials, and production scale. Based on our results, the chemical manufacturing sector reduced toxic chemical substance emissions mainly via end-of-pipe treatment. In the meantime, transfer for further management contributed to the reduction of toxic chemical substance emissions in the metal fabrication industry. This occurred because the environmental business market expanded in the 1990s, and the infrastructure for the recycling of metal and other wastes became more efficient. Cleaner production is the main contributor to toxic chemical reduction in the electrical product industry. This implies that the electrical product industry is successful in developing a more environmentally friendly product design and production process.

Tests on price linkage between the U.S. and Japanese gold and silver futures markets

We tested the price linkage, the law of one price (LOP) condition, and the causality of the price linkage between the U.S. and Japanese gold and silver futures markets with consideration of structural breaks in the price series. The LOP condition did not hold for both the gold and silver markets when structural breaks were not considered but it sustained in some periods when it was tested for the break periods. We found from the causality test that the price linkage between the U.S. and Japanese gold and silver futures markets were led by the U.S. market.

The pollution release and transfer register system in the U.S. and Japan : an analysis of productivity

This study analyzes Total Factor Productivity (TFP), which includes all categories of productivity. Our measure investigates productivity in the context of the provision and dissemination of environmental information policies. We investigated data on the emission of toxic chemical substances for the U.S. and Japanese manufacturing firms, including 386 firms for the period 1999-2007 and 466 firms for the period 2001-2008. The results show that productivity improved in all nine industrial sectors and that pollution levels were high in the U.S. and Japan from 2001 to 2007. In particular, the electronics industry improved rapidly after 2002 in both countries, which may be attributed to the enforcement of RoHS and the REACH directive in Europe. As a result of these stringent policies on toxic chemical emissions, the U.S. and Japanese firms, many of which export to the European market, have strong incentives to reduce their toxic chemical emissions.

Food insecurity and physical activity among U.S. populations

Objectives: Examine the association between food insecurity (FI) and physical activity (PA) in the U.S. population. Methods: Accelerometry (PAM) and self-report PA (PAQ) data from NHANES 2003-2006 were used. Those aged less than six years or were older than 65 years, pregnant, with physical limitations, or with family income above 350% of the poverty line were excluded. FI was measured by the USDA Household Food Security Survey Module. Crude and adjusted odd ratios were calculated from logistic regression to identify the association between FI and adherence to the PA recommendation. Crude and adjusted coefficients were calculated from linear regression to identify the association between FI and both sedentary and activity minutes. Results: In children, FI was not associated with adherence to PA recommendation measured via PAM or PAQ (p>0.05) but was significantly associated with sedentary minutes (adjusted coefficient=10.74, one-sided p<0.05). Food-insecure children did less moderate-to-vigorous PA than did food-secure children (adjusted coefficient = -5.31, p = 0.032). In adults, FI was significantly associated with PA (adjusted OR=0.722 for PAM and OR=0.839 for PAQ, one-sided p<0.05) but not associated with sedentary minutes (p>0.05) Conclusions: FI children were more sedentary and FI adults were less likely to adhere to the PA recommendation than those without FI.

Household food insecurity is associated with less physical activity among children and adults in the U.S. population

Background Household food insecurity and physical activity are each important public-health concerns in the United States, but the relation between them was not investigated thoroughly. Objective We wanted to examine the association between food insecurity and physical activity in the U.S. population. Methods Physical activity measured by accelerometry (PAM) and physical activity measured by questionnaire (PAQ) data from the NHANES 2003–2006 were used. Individuals aged <6 y or >65 y, pregnant, with physical limitations, or with family income >350% of the poverty line were excluded. Food insecurity was measured by the USDA Household Food Security Survey Module. Adjusted ORs were calculated from logistic regression to identify the association between food insecurity and adherence to the physical-activity guidelines. Adjusted coefficients were obtained from linear regression to identify the association between food insecurity with sedentary/physical-activity minutes. Results In children, food insecurity was not associated with adherence to physical-activity guidelines measured via PAM or PAQ and with sedentary minutes (P > 0.05). Food-insecure children did less moderate to vigorous physical activity than food-secure children (adjusted coefficient = −5.24, P = 0.02). In adults, food insecurity was significantly associated with adherence to physical-activity guidelines (adjusted OR = 0.72, P = 0.03 for PAM; and OR = 0.84, P < 0.01 for PAQ) but was not associated with sedentary minutes (P > 0.05). Conclusion Food-insecure children did less moderate to vigorous physical activity, and food-insecure adults were less likely to adhere to the physical-activity guidelines than those without food insecurity.

U v U [2002] HCA 36: Commentary

This commentary offers a feminist analysis of relocation cases through the lens of U v U [2002] HCA 36, and with reference to the re-written judgment for the Australian Feminist Judgments project. First, the commentary considers the gendered nature of relocation cases, and analyses aspects of the reasoning and outcome of U v U that are of concern from a feminist perspective. Second, the commentary discusses how the re-written judgment addresses these concerns, thereby offering a feminist judgment on the issue of relocation in family law.

Health and prevention among East African women in the U.S.

African-born individuals in the U.S. face significant health challenges, including low utilization of preventive screening services. Using a community-based participatory research framework, we describe preliminary efforts at establishing a collaborative relationship with the East African communities of San Diego, identifying salient community health needs, and developing a framework for disseminating information and addressing identified health gaps. To this end, 40 East African-born women participated in focus groups with the purpose of eliciting community perspectives on U.S. health care services, beliefs about preventive screening, and to garner recommendations for future outreach. Qualitative analyses identified participants’ desire to engage in primary prevention techniques that incorporated best practices from their home countries and the U.S., and the need for health education programs to provide information on increasingly prevalent chronic diseases. The findings are discussed in connection with continued community-engaged efforts and the implications for health and resettlement policies to reduce inequities disfavoring resettled refugees.

Childhood-as-rescue in the emergence and spread of the U.S. public school

In this volume, the editors have brought together prominent international contributors to examine the relevance of Foucauldian thought on educational theory, practice and institutional life. The result is a diverse collection that offers broad and engaging analyses of how power and knowledge are configured in the practices and norms of schooling. This text not only provides a critical examination of the significance of Foucauldian thought for education, but also discusses how Foucault's theories are arrayed in the everyday life of schools.

Approximate solution of u'=-A2u using a relation between exp(-tA2) and exp(itA)

Let A be a positive definite operator in a Hilbert space and consider the initial value problem for u(t) = -A(2)u. Using a representation of the semigroup exp(-A(2)t) in terms of the group exp(iAt) we express u in terms of the solution of the standard heat equation w(t) = W-yy, with initial values v solving the initial value problem for v(y) = iAv. This representation is used to construct a method for approximating u in terms of approximations of v. In the case that A is a 2(nd) order elliptic operator the method is combined with finite elements in the spatial variable and then reduces the solution of the 4(th) order equation for u to that of the 2(nd) order equation for v, followed by the solution of the heat equation in one space variable.