Lattice-based completely non-malleable PKE in the standard model

This paper presents ongoing work toward constructing efficient completely non-malleable public-key encryption scheme based on lattices in the standard (common reference string) model. An encryption scheme is completely non-malleable if it requires attackers to have negligible advantage, even if they are allowed to transform the public key under which the related message is encrypted. Ventre and Visconti proposed two inefficient constructions of completely non-malleable schemes, one in the common reference string model using non-interactive zero-knowledge proofs, and another using interactive encryption schemes. Recently, two efficient public-key encryption schemes have been proposed, both of them are based on pairing identity-based encryption.

Non-formal techniques for early assessment of design ideas for services

Designing systems for multiple stakeholders requires frequent collaboration with multiple stakeholders from the start. In many cases at least some stakeholders lack a professional habit of formal modeling. We report observations from student design teams as well as two case studies, respectively of a prototype for supporting creative communication to design objects, and of stakeholder-involvement in early design. In all observations and case studies we found that non-formal techniques supported strong collaboration resulting in deep understanding of early design ideas, of their value and of the feasibility of solutions.

Numerical estimation of 3D mechanical forces exerted by cells on non-linear materials

The exchange of physical forces in both cell-cell and cell-matrix interactions play a significant role in a variety of physiological and pathological processes, such as cell migration, cancer metastasis, inflammation and wound healing. Therefore, great interest exists in accurately quantifying the forces that cells exert on their substrate during migration. Traction Force Microscopy (TFM) is the most widely used method for measuring cell traction forces. Several mathematical techniques have been developed to estimate forces from TFM experiments. However, certain simplifications are commonly assumed, such as linear elasticity of the materials and/or free geometries, which in some cases may lead to inaccurate results. Here, cellular forces are numerically estimated by solving a minimization problem that combines multiple non-linear FEM solutions. Our simulations, free from constraints on the geometrical and the mechanical conditions, show that forces are predicted with higher accuracy than when using the standard approaches.

Non-linear refined finite element elastic analysis of steel frames with generalized transverse member loads

In the finite element modelling of steel frames, external loads usually act along the members rather than at the nodes only. Conventionally, when a member is subjected to these transverse loads, they are converted to nodal forces which act at the ends of the elements into which the member is discretised by either lumping or consistent nodal load approaches. For a contemporary geometrically non-linear analysis in which the axial force in the member is large, accurate solutions are achieved by discretising the member into many elements, which can produce unfavourable consequences on the efficacy of the method for analysing large steel frames. Herein, a numerical technique to include the transverse loading in the non-linear stiffness formulation for a single element is proposed, and which is able to predict the structural responses of steel frames involving the effects of first-order member loads as well as the second-order coupling effect between the transverse load and the axial force in the member. This allows for a minimal discretisation of a frame for second-order analysis. For those conventional analyses which do include transverse member loading, prescribed stiffness matrices must be used for the plethora of specific loading patterns encountered. This paper shows, however, that the principle of superposition can be applied to the equilibrium condition, so that the form of the stiffness matrix remains unchanged with only the magnitude of the loading being needed to be changed in the stiffness formulation. This novelty allows for a very useful generalised stiffness formulation for a single higher-order element with arbitrary transverse loading patterns to be formulated. The results are verified using analytical stability function studies, as well as with numerical results reported by independent researchers on several simple structural frames.

Proton-transfer and non-transfer compounds of the multi-purpose drug dapsone [4-(4-Aminophenylsulfonyl)aniline] with 3,5-dinitrosalicylic acid and 5-nitroisophthalic acid

The structures of the compounds from the reaction of the drug dapsone [4-(4-aminophenylsulfonyl)aniline] with 3,5-dinitrosalicylic acid, the salt hydrate [4-(4-aminohenylsulfonyl)anilinium 2-carboxy-4,6-dinitrophenolate monohydrate] (1) and the 1:1 adduct with 5-nitroisophthalic acid [4-(4-aminophenylsulfonyl)aniline 5-nitrobenzene-1,3-dicarboxylic acid] (2) have been determined. Crystals of 1 are triclinic, space group P-1, with unit cell dimensions a = 8.2043(3), b = 11.4000(6), c = 11.8261(6)Å, α = 110.891(5), β = 91.927(3), γ = 98.590(4)deg. and Z = 4. Compound 2 is orthorhombic, space group Pbcn, with unit cell dimensions a = 20.2662(6), b = 12.7161(4), c = 15.9423(5)Å and Z = 8. In 1, intermolecular analinium N-H…O and water O-H…O and O-H…N hydrogen-bonding interactions with sulfone, carboxyl, phenolate and nitro O-atom and aniline N-atom acceptors give a two-dimensional layered structure. With 2, the intermolecular interactions involve both aniline N-H…O and carboxylic acid O-H…O and O-H…N hydrogen bonds to sulfone, carboxyl, nitro and aniline acceptors, giving a three-dimensional network structure. In both structures π--π aromatic ring associations are present.

Comparison of high sensitivity troponin T and I assays in the diagnosis of non-ST elevation acute myocardial infarction in emergency patients with chest pain

Objectives: Concentrations of troponin measured with high sensitivity troponin assays are raised in a number of emergency department (ED) patients; however many are not diagnosed with acute myocardial infarction (AMI). Clinical comparisons between the early use (2 h after presentation) of high sensitivity cardiac troponin T (hs-cTnT) and I (hs-cTnI) assays for the diagnosis of AMI have not been reported. Design and methods: Early (0 h and 2 h) hs-cTnT and hs-cTnI assay results in 1571 ED patients with potential acute coronary syndrome (ACS) without ST elevation on electrocardiograph (ECG) were evaluated. The primary outcome was diagnosis of index MI adjudicated by cardiologists using the local cTnI assay results taken ≥6 h after presentation, ECGs and clinical information. Stored samples were later analysed with hs-cTnT and hs-cTnI assays. Results: The ROC analysis for AMI (204 patients; 13.0%) for hs-cTnT and hs-cTnI after 2 h was 0.95 (95% CI: 0.94–0.97) and 0.98 (95% CI: 0.97–0.99) respectively. The sensitivity, specificity, PLR, and NLR of hs-cTnT and hs-cTnI for AMI after 2 h were 94.1% (95% CI: 90.0–96.6) and 95.6% (95% CI: 91.8–97.7), 79.0% (95% CI: 76.8–81.1) and 92.5% (95% CI: 90.9–93.7), 4.48 (95% CI: 4.02–5.00) and 12.86 (95% CI: 10.51–15.31), and 0.07 (95% CI: 0.04–0.13) and 0.05 (95% CI:0.03–0.09) respectively. Conclusions: Exclusion of AMI 2 h after presentation in emergency patients with possible ACS can be achieved using hs-cTnT or hs-cTnI assays. Significant differences in specificity of these assays are relevant and if using the hs-cTnT assay, further clinical assessment in a larger proportion of patients would be required.

Non-monotonic Reasoning and the Reversibility of Belief Change

Traditional approaches to nonmonotonic reasoning fail to satisfy a number of plausible axioms for belief revision and suffer from conceptual difficulties as well. Recent work on ranked preferential models (RPMs) promises to overcome some of these difficulties. Here we show that RPMs are not adequate to handle iterated belief change. Specifically, we show that RPMs do not always allow for the reversibility of belief change. This result indicates the need for numerical strengths of belief.

Non-formal techniques for requirements elicitation, modeling, and early assessment for services

Designing systems for multiple stakeholders requires frequent collaboration with multiple stakeholders from the start. In many cases at least some stakeholders lack a professional habit of formal modeling. We report observations from two case studies of stakeholder-involvement in early design where non-formal techniques supported strong collaboration resulting in deep understanding of requirements and of the feasibility of solutions.

A visual profile of Queensland indigenous and non-indigenous school children, and the association between vision and reading

This research investigated the prevalence of vision disorders in Queensland Indigenous primary school children, creating the first comprehensive visual profile of Indigenous children. Findings showed reduced convergence ability and reduced visual information processing skills were more common in Indigenous compared to non-Indigenous children. Reduced visual information processing skills were also associated with reduced reading outcomes in both groups of children. As early detection of visual disorders is important, the research also reviewed the delivery of screening programs across Queensland and proposed a model for improved coordination and service delivery of vision screening to Queensland school children.

CTCombine : rotating and combining CT data with an accurate detector model to simulate radiotherapy portal imaging at non-zero beam angles

Established Monte Carlo user codes BEAMnrc and DOSXYZnrc permit the accurate and straightforward simulation of radiotherapy experiments and treatments delivered from multiple beam angles. However, when an electronic portal imaging detector (EPID) is included in these simulations, treatment delivery from non-zero beam angles becomes problematic. This study introduces CTCombine, a purpose-built code for rotating selected CT data volumes, converting CT numbers to mass densities, combining the results with model EPIDs and writing output in a form which can easily be read and used by the dose calculation code DOSXYZnrc...

Physical activity and determinants of physical activity in obese and non-obese children

OBJECTIVE To compare the physical activity (PA) patterns and the hypothesized psychosocial and environmental determinants of PA in an ethnically diverse sample of obese and non-obese middle school children. DESIGN Cross-sectional study. SUBJECTS One-hundred and thirty-three non-obese and 54 obese sixth grade children (mean age of 11.4 +/-0.6). Obesity status determined using the age-, race- and gender-specific 95th percentile for BMI from NHANES-1. MEASUREMENTS Objective measurements were collected of PA over a 7-day period using the CSA 7164 accelerometer: total daily counts; daily moderate (3-5.9 METs) physical activity (MPA); daily vigorous physical activity (greater than or equal to 6 METs; VPA); and weekly number of 5, 10 and 20 min bouts of moderate-to-vigorous physical activity (greater than or equal to 3 METs, MVPA). Self-report measures were collected of PA self-efficacy; social influences regarding PA, beliefs about PA outcomes; perceived PA levels of parents and peers, access to sporting and/or fitness equipment at home, involvement in community-based PA organizations; participation in community sports teams; and hours spent watching television or playing video games. RESULTS Compared to their non-obese counterparts, obese children exhibited significantly lower daily accumulations of total counts, MPA and VPA as well as significantly fewer 5, 10 and 20 min bouts of MVPA. Obese children reported significantly lower levels of PA self-efficacy, were involved in significantly fewer community organizations promoting PA and were significantly less likely to report their father or male guardian as physically active. CONCLUSIONS The results are consistent with the hypothesis that physical inactivity is an important contributing factor in the maintenance of childhood obesity. Interventions to promote PA in obese children should endeavor to boost self-efficacy perceptions regarding exercise, increase awareness of, and access to, community PA outlets, and increase parental modeling of PA.

A transient assay for recombination demonstrates that Arabidopsis SNM1 and XRCC3 enhance non-homologous recombination

Replacement of endogenous genes by homologous recombination is rare in plants; the majority of genetic modifications are the result of transforming DNA molecules undergoing random genomic insertion by way of non-homologous recombination. Factors that affect chromatin remodeling and DNA repair are thought to have the potential to enhance the frequency of homologous recombination in plants. Conventional tools to study the frequencies of genetic recombination often rely on stable transformation-based approaches, with these systems being rarely capable of high-throughput or combinatorial analysis. We developed a series of vectors that use chemiluminescent (LUC and REN) reporter genes to assay the relative frequency of homologous and non-homologous recombination in plants. These transient assay vectors were used to screen 14 candidategenes for their effects on recombination frequencies in Nicotiana benthamiana plants. Over-expression of Arabidopsis genes with sequence similarity to SNM1 from yeast and XRCC3 from humans enhanced the frequency of non-homologous recombination when assayed using two different donor vectors. Transient N. benthamiana leaf systems were also used in an alternative assay for preliminary measurements of homologous recombination frequencies, which were found to be enhanced by over-expression of RAD52, MIM and RAD51 from yeast, as well as CHR24 from Arabidopsis. The findings for the assays described here are in line with previous studies that analyzed recombination frequencies using stable transformation. The assays we report have revealed functions in non-homologous recombination for the Arabidopsis SNM1 and XRCC3 genes, so the suppression of these genes' expression offers a potential means to enhance the gene targeting frequency in plants. Furthermore, our findings also indicate that plant gene targeting frequencies could be enhanced by over-expression of RAD52, MIM, CHR24, and RAD51 genes.

Object tracking via non-Euclidean geometry : a Grassmann approach

A robust visual tracking system requires an object appearance model that is able to handle occlusion, pose, and illumination variations in the video stream. This can be difficult to accomplish when the model is trained using only a single image. In this paper, we first propose a tracking approach based on affine subspaces (constructed from several images) which are able to accommodate the abovementioned variations. We use affine subspaces not only to represent the object, but also the candidate areas that the object may occupy. We furthermore propose a novel approach to measure affine subspace-to-subspace distance via the use of non-Euclidean geometry of Grassmann manifolds. The tracking problem is then considered as an inference task in a Markov Chain Monte Carlo framework via particle filtering. Quantitative evaluation on challenging video sequences indicates that the proposed approach obtains considerably better performance than several recent state-of-the-art methods such as Tracking-Learning-Detection and MILtrack.

Competitive charge-remote and anion-induced fragmentations of the non-8-enoate anion. A charge-remote reaction which co-occurs with hydrogen scrambling

The non-8-enoate anion undergoes losses of the elements of C3H6, C4H8 and C6H12 on collisional activation, The mechanisms of these processes have been elucidated by a combination of product ion and labelling (H-2 and C-13) studies, together with a neutralisation reionisation mass spectrometric study. These studies allow the following conclusions to be made. (i) The loss of C3H6 involves cyclisation of the enolate anion of non-8-enoic acid to yield the cyclopentyl carboxylate anion and propene. (ii) The loss of 'C4H8' is a charge-remote process (one which proceeds remote from the charged centre) which yields the pent-4-enoate anion, butadiene and dihydrogen. This process co-occurs and competes with complex H scrambling. (iii) The major loss of 'C6H12' occurs primarily by a charge-remote process yielding the acrylate anion, hexa-1,5-diene and dihydrogen, but in this case no H scrambling accompanies the process. (iv) It is argued that the major reason why the two charge-remote processes occur in preference to anion-induced losses of but-l-ene and hex-l-ene from the respective 4- and 2-anions is that although these anions are formed, they have alternative and lower energy fragmentation pathways than those involving the losses of but-l-ene and hex-l-ene; viz. the transient 4-anion undergoes facile proton transfer to yield a more stable anion, whereas the 2-(enolate) anion undergoes preferential cyclisation followed by elimination of propene [see (i) above].

Magnetic convection heat transfer in an open ended enclosure filled with paramagnetic fluids

Numerical simulations of thermomagnetic convection of paramagnetic fluids placed in a micro-gravity condition (g nearly 0) and under a uniform vertical gradient magnetic field in an open ended square enclosure with ramp heating temperature condition applied on a vertical wall is investigated in this study. In presence of the strong magnetic gradient field thermal convection of the paramagnetic fluid might take place even in a zero-gravity environment as a direct consequence of temperature differences occurring within the fluid. The thermal boundary layer develops adjacent to the hot wall as soon as the ramp temperature condition is applied on it. There are two scenario that can be observed based on the ramp heating time. The steady state of the thermal boundary layer can be reached before the ramp time is finished or vice versa. If the ramp time is larger than the quasi-steady time then the thermal boundary layer is in a quasi-steady mode with convection balancing conduction after the quasi-steady time. Further increase of the heat input simply accelerates the flow to maintain the proper thermal balance. Finally, the boundary layer becomes completely steady state when the ramp time is finished. Effects of magnetic Rayleigh number, Prandtl number and paramagnetic fluid parameter on the flow pattern and heat transfer are presented.