Correcting flaws in Mitchell’s analysis of EPBC

Efficient error-Propagating Block Chaining (EPBC) is a block cipher mode intended to simultaneously provide both confidentiality and integrity protection for messages. Mitchell’s analysis pointed out a weakness in the EPBC integrity mechanism that can be used in a forgery attack. This paper identifies and corrects a flaw in Mitchell’s analysis of EPBC, and presents other attacks on the EPBC integrity mechanism.

Understanding the behavior of workshop facilitators in systems analysis and design projects: Developing theory from process modeling projects

Organizational and technological systems analysis and design practices such as process modeling have received much attention in recent years. However, while knowledge about related artifacts such as models, tools, or grammars has substantially matured, little is known about the actual tasks and interaction activities that are conducted as part of analysis and design acts. In particular, key role of the facilitator has not been researched extensively to date. In this paper, we propose a new conceptual framework that can be used to examine facilitation behaviors in process modeling projects. The framework distinguishes four behavioral styles in facilitation (the driving engineer, the driving artist, the catalyzing engineer, and the catalyzing artist) that a facilitator can adopt. To distinguish between the four styles, we provide a set of ten behavioral anchors that underpin facilitation behaviors. We also report on a preliminary empirical exploration of our framework through interviews with experienced analysts in six modeling cases. Our research provides a conceptual foundation for an emerging theory for describing and explaining different behaviors associated with process modeling facilitation, provides first preliminary empirical results about facilitation in modeling projects, and provides a fertile basis for examining facilitation in other conceptual modeling activities.

In-situ carbon control in the preparation of precursors to boron carbide by a non-aqueous solution technique

Synthesis of high quality boron carbide (B4C) powders is achieved by carbothermal reduction of boron oxide (B2O3) from a condensed boric acid (H3BO3)/polyvinyl acetate (PVAc) product. Precursor solutions are prepared via free radical polymerisation of vinyl acetate (VA) monomer in methanol in the presence of dissolved H3BO3. A condensed product is then formed by flash evaporation under vacuum. As excess VA monomer is removed at the evaporation step, the polymerisation time is used to manage availability of carbon for reaction. This control of carbon facilitates dispersion of H3BO3 in solution due to the presence of residual VA monomer. B4C powders with very low residual carbon are formed at temperatures as low as 1,250 °C with a 4 hour residence time.

Scalable Bayesian Computation for intractable likelihoods in image analysis

The inverse temperature hyperparameter of the hidden Potts model governs the strength of spatial cohesion and therefore has a substantial influence over the resulting model fit. The difficulty arises from the dependence of an intractable normalising constant on the value of the inverse temperature, thus there is no closed form solution for sampling from the distribution directly. We review three computational approaches for addressing this issue, namely pseudolikelihood, path sampling, and the approximate exchange algorithm. We compare the accuracy and scalability of these methods using a simulation study.

Missing in space: An evaluation of imputation methods for missing data in spatial analysis of risk factors for type II diabetes

Background Spatial analysis is increasingly important for identifying modifiable geographic risk factors for disease. However, spatial health data from surveys are often incomplete, ranging from missing data for only a few variables, to missing data for many variables. For spatial analyses of health outcomes, selection of an appropriate imputation method is critical in order to produce the most accurate inferences. Methods We present a cross-validation approach to select between three imputation methods for health survey data with correlated lifestyle covariates, using as a case study, type II diabetes mellitus (DM II) risk across 71 Queensland Local Government Areas (LGAs). We compare the accuracy of mean imputation to imputation using multivariate normal and conditional autoregressive prior distributions. Results Choice of imputation method depends upon the application and is not necessarily the most complex method. Mean imputation was selected as the most accurate method in this application. Conclusions Selecting an appropriate imputation method for health survey data, after accounting for spatial correlation and correlation between covariates, allows more complete analysis of geographic risk factors for disease with more confidence in the results to inform public policy decision-making.

Significant deterioration in nanomechanical quality occurs through incomplete extrafibrillar mineralization in rachitic bone: Evidence from in-situ synchrotron X-ray scattering and backscattered electron imaging

Bone diseases such as rickets and osteoporosis cause significant reduction in bone quantity and quality, which leads to mechanical abnormalities. However, the precise ultrastructural mechanism by which altered bone quality affects mechanical properties is not clearly understood. Here we demonstrate the functional link between altered bone quality (reduced mineralization) and abnormal fibrillar-level mechanics using a novel, real-time synchrotron X-ray nanomechanical imaging method to study a mouse model with rickets due to reduced extrafibrillar mineralization. A previously unreported N-ethyl-N-nitrosourea (ENU) mouse model for hypophosphatemic rickets (Hpr), as a result of missense Trp314Arg mutation of the phosphate regulating gene with homologies to endopeptidase on the X chromosome (Phex) and with features consistent with X-linked hypophosphatemic rickets (XLHR) in man, was investigated using in situ synchrotron small angle X-ray scattering to measure real-time changes in axial periodicity of the nanoscale mineralized fibrils in bone during tensile loading. These determine nanomechanical parameters including fibril elastic modulus and maximum fibril strain. Mineral content was estimated using backscattered electron imaging. A significant reduction of effective fibril modulus and enhancement of maximum fibril strain was found in Hpr mice. Effective fibril modulus and maximum fibril strain in the elastic region increased consistently with age in Hpr and wild-type mice. However, the mean mineral content was ∼21% lower in Hpr mice and was more heterogeneous in its distribution. Our results are consistent with a nanostructural mechanism in which incompletely mineralized fibrils show greater extensibility and lower stiffness, leading to macroscopic outcomes such as greater bone flexibility. Our study demonstrates the value of in situ X-ray nanomechanical imaging in linking the alterations in bone nanostructure to nanoscale mechanical deterioration in a metabolic bone disease. Copyright

In situ reaction furnace for real-time XRD studies

The new furnace at the Materials Characterization by X-ray Diffraction beamline at Elettra has been designed for powder diffraction measurements at high temperature (up to 1373 K at the present state). Around the measurement region the geometry of the radiative heating element assures a negligible temperature gradient along the capillary and can accommodate either powder samples in capillary or small flat samples. A double capillary holder allows flow-through of gas in the inner sample capillary while the outer one serves as the reaction chamber. The furnace is coupled to a translating curved imaging-plate detector, allowing the collection of diffraction patterns up to 2[theta] [asymptotically equal to] 130°.

In situ investigation of explosive crystallization in a-Ge: Experimental determination of the interface response function using dynamic transmission electron microscopy

The crystallization of amorphous semiconductors is a strongly exothermic process. Once initiated the release of latent heat can be sufficient to drive a self-sustaining crystallization front through the material in a manner that has been described as explosive. Here, we perform a quantitative in situ study of explosive crystallization in amorphous germanium using dynamic transmission electron microscopy. Direct observations of the speed of the explosive crystallization front as it evolves along a laser-imprinted temperature gradient are used to experimentally determine the complete interface response function (i.e., the temperature-dependent front propagation speed) for this process, which reaches a peak of 16 m/s. Fitting to the Frenkel-Wilson kinetic law demonstrates that the diffusivity of the material locally/immediately in advance of the explosive crystallization front is inconsistent with those of a liquid phase. This result suggests a modification to the liquid-mediated mechanism commonly used to describe this process that replaces the phase change at the leading amorphous-liquid interface with a change in bonding character (from covalent to metallic) occurring in the hot amorphous material.

In situ transmission electron microscopy study of deformation of an aluminum alloy tribolayer

Nanoscale deformation in the tribolayer of an Al–Mg alloy is studied using an in situ mechanical probe in a transmission electron microscope. The sample is strained locally at room temperature and the deformation is observed in real time. It is observed that when the tungsten probe comes into contact with the tribolayer, the material exhibits further hardening followed by material removal.

Study of Ion Transport in Lithium Perchlorate-Succinonitrile Plastic Crystalline Electrolyte via Ionic Conductivity and in Situ Cryo-Crystallography

Ion transport mechanism in lithium perchlorate (LiClO4)-succinonitrile (SN), a prototype of plastic crystalline soft matter electrolyte is discussed in the context of solvent configurational isomerism and ion solvation. Contributions of both solvent configurational isomerism and ion solvation are reflected in the activation energy for ion conduction in 0-1 M LiClO4-SN samples. Activation energy due to solvent configurational changes, that is, trans-gauche isomerism is observed to be a function of salt content and decreases in presence of salt (except at high salt concentrations, e.g. 1 M LiClO4-SN). The remnant contribution to activation energy is attributed to ion-association. The X-ray diffraction of single crystals obtained using in situ cryo-crystallography confirms directly the observations of the ionic conductivity measurements. Fourier transform infrared spectroscopy and NMR line width measurements provide additional support to our proposition of ion transport in the prototype plastic crystalline electrolyte.

On the nature of power flow equations in security analysis

The power system network is assumed to be in steady-state even during low frequency transients. However, depending on generator dynamics, and toad and control characteristics, the system model and the nature of power flow equations can vary The nature of power flow equations describing the system during a contingency is investigated in detail. It is shown that under some mild assumptions on load-voltage characteristics, the power flow equations can be decoupled in an exact manner. When the generator dynamics are considered, the solutions for the load voltages are exact if load nodes are not directly connected to each other