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.

Redundant or essential? How politics shaped the outcome of the 1967 Protocol

The 1967 Protocol Relating to the Status of Refugees has been described as an unnecessary addendum to the 1951 Convention Relating to the Status of Refugees. However, if the 1967 Protocol was superfluous, why did the United Nations High Commissioner for Refugees in the early 1960s insist on its development? This article seeks to establish that the 1967 Protocol was originally intended to encompass the broader concerns of African and Asian states concerning refugee populations in their region. However, the political influence upon the development of international refugee law radically altered the UNHCR's endeavour to make the 1951 Convention universally accessible.

Model for internal porosity development of different shaped foods

Three particular geometrical shapes of foods were prepared from food materials. Cuboidal (aspect ratio = 1:1, 2:1, 3:1) , cylindrical (length: dameter = 1:1, 2:1, 3:1) and spheres were selected from potato, beans and peas respectively. Internal porosity was determined from solid density (theoretical)and particle density (experimental) during fluidised bed drying at different moisture contents. Solid density was calculated using formulae (conservation of mass and volume) already published in the literature by previous researchers. Determined porosity values were correlated with moisture ratio for different geometrical shapes.

Characterization of a DC-driven microplasma between a capillary tube and water surface

A microplasma generated between a stainless-steel capillary and water surface in ambient air with flowing argon as working gas appears as a bright spot at the tube orifice and expands to form a larger footprint on the water surface, and the dimensions of the bell-shaped microplasma are all below 1 mm. The electron density of the microplasma is estimated to be ranging from 5.32 × 109 cm−3 to 2.02 × 1014 cm−3 for the different operating conditions, which is desirable for generating abundant amounts of reactive species. A computational technique is adopted to fit the experimental emission from the N2 second positive system with simulation results. It is concluded that the vibrational temperature (more than 2000 K) is more than twice the gas temperature (more than 800 K), which indicates the non-equilibrium state of the microplasma. Both temperatures showed dependence on the discharge parameters (i.e., gas flow and discharge current). Such a plasma device could be arranged in arrays for applications utilizing plasmainduced liquid chemistry.

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.

Which industry is greener? An empirical study of nine industries in OECD countries

This study analyzed the relationship between the CO2 emissions of different industries and economic growth in OECD countries from 1970 to 2005. We tested an environmental Kuznets curve (EKC) hypothesis and found that total CO2 emissions from nine industries show an N-shaped trend instead of an inverted U or monotonic increasing trend with increasing income. The EKC hypothesis for sector-level CO2 emissions was supported in the (1) paper, pulp, and printing industry; (2) wood and wood products industry; and (3) construction industry. We also found that emissions from coal and oil increase with economic growth in the steel and construction industries. In addition, the non-metallic minerals, machinery, and transport equipment industries tend to have increased emissions from oil and electricity with economic growth. Finally, the EKC turning point and the relationship between GDP per capita and sectoral CO2 emissions differ among industries according to the fuel type used. Therefore, environmental policies for CO2 reduction must consider these differences in industrial characteristics. © 2013 Elsevier Ltd.

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.

Natural convection due to differential heating of inclined walls and heat source placed on bottom wall of an attic shaped space

Numerical investigation of free convection heat transfer in an attic shaped enclosure with differentially heated two inclined walls and filled with air is performed in this study. The left inclined surface is uniformly heated whereas the right inclined surface is uniformly cooled. There is a heat source placed on the right side of the bottom surface. Rest of the bottom surface is kept as adiabatic. Finite volume based commercial software ANSYS 15 (Fluent) is used to solve the governing equations. Dependency of various flow parameters of fluid flow and heat transfer is analyzed including Rayleigh number, Ra ranging from 103 to 106, heater size from 0.2 to 0.6, heater position from 0.3 to 0.7 and aspect ratio from 0.2 to 1.0 with a fixed Prandtl number of 0.72. Outcomes have been reported in terms of temperature and stream function contours and local Nusselt number for various Ra, heater size, heater position, and aspect ratio. Grid sensitivity analysis is performed and numerically obtained results have been compared with those results available in the literature and found good agreement.