Type checking cryptography implementations

Cryptographic software development is a challenging eld: high performance must be achieved, while ensuring correctness and com- pliance with low-level security policies. CAO is a domain speci c language designed to assist development of cryptographic software. An important feature of this language is the design of a novel type system introducing native types such as prede ned sized vectors, matrices and bit strings, residue classes modulo an integer, nite elds and nite eld extensions, allowing for extensive static validation of source code. We present the formalisation, validation and implementation of this type system

Automatic prebent customized prosthesis for pectus excavatum minimally invasive surgery correction

Pectus excavatum is the most common deformity of the thorax. A minimally invasive surgical correction is commonly carried out to remodel the anterior chest wall by using an intrathoracic convex prosthesis in the substernal position. The process of prosthesis modeling and bending still remains an area of improvement. The authors developed a new system, i3DExcavatum, which can automatically model and bend the bar preoperatively based on a thoracic CT scan. This article presents a comparison between automatic and manual bending. The i3DExcavatum was used to personalize prostheses for 41 patients who underwent pectus excavatum surgical correction between 2007 and 2012. Regarding the anatomical variations, the soft-tissue thicknesses external to the ribs show that both symmetric and asymmetric patients always have asymmetric variations, by comparing the patients’ sides. It highlighted that the prosthesis bar should be modeled according to each patient’s rib positions and dimensions. The average differences between the skin and costal line curvature lengths were 84 ± 4 mm and 96 ± 11 mm, for male and female patients, respectively. On the other hand, the i3DExcavatum ensured a smooth curvature of the surgical prosthesis and was capable of predicting and simulating a virtual shape and size of the bar for asymmetric and symmetric patients. In conclusion, the i3DExcavatum allows preoperative personalization according to the thoracic morphology of each patient. It reduces surgery time and minimizes the margin error introduced by the manually bent bar, which only uses a template that copies the chest wall curvature.

Eigenvalue computations in the context of data-sparse approximations of integral operators

In this work, we consider the numerical solution of a large eigenvalue problem resulting from a finite rank discretization of an integral operator. We are interested in computing a few eigenpairs, with an iterative method, so a matrix representation that allows for fast matrix-vector products is required. Hierarchical matrices are appropriate for this setting, and also provide cheap LU decompositions required in the spectral transformation technique. We illustrate the use of freely available software tools to address the problem, in particular SLEPc for the eigensolvers and HLib for the construction of H-matrices. The numerical tests are performed using an astrophysics application. Results show the benefits of the data-sparse representation compared to standard storage schemes, in terms of computational cost as well as memory requirements.

Error bounds for low-rank approximations of the first exponential integral kernel

A hierarchical matrix is an efficient data-sparse representation of a matrix, especially useful for large dimensional problems. It consists of low-rank subblocks leading to low memory requirements as well as inexpensive computational costs. In this work, we discuss the use of the hierarchical matrix technique in the numerical solution of a large scale eigenvalue problem arising from a finite rank discretization of an integral operator. The operator is of convolution type, it is defined through the first exponential-integral function and, hence, it is weakly singular. We develop analytical expressions for the approximate degenerate kernels and deduce error upper bounds for these approximations. Some computational results illustrating the efficiency and robustness of the approach are presented.

Automatic prebent customized prosthesis for pectus excavatum minimally invasive surgery correction

Pectus excavatum is the most common deformity of the thorax. A minimally invasive surgical correction is commonly carried out to remodel the anterior chest wall by using an intrathoracic convex prosthesis in the substernal position. The process of prosthesis modeling and bending still remains an area of improvement. The authors developed a new system, i3DExcavatum, which can automatically model and bend the bar preoperatively based on a thoracic CT scan. This article presents a comparison between automatic and manual bending. The i3DExcavatum was used to personalize prostheses for 41 patients who underwent pectus excavatum surgical correction between 2007 and 2012. Regarding the anatomical variations, the soft-tissue thicknesses external to the ribs show that both symmetric and asymmetric patients always have asymmetric variations, by comparing the patients’ sides. It highlighted that the prosthesis bar should be modeled according to each patient’s rib positions and dimensions. The average differences between the skin and costal line curvature lengths were 84 ± 4 mm and 96 ± 11 mm, for male and female patients, respectively. On the other hand, the i3DExcavatum ensured a smooth curvature of the surgical prosthesis and was capable of predicting and simulating a virtual shape and size of the bar for asymmetric and symmetric patients. In conclusion, the i3DExcavatum allows preoperative personalization according to the thoracic morphology of each patient. It reduces surgery time and minimizes the margin error introduced by the manually bent bar, which only uses a template that copies the chest wall curvature.

Templated synthesis of carbon materials mediated by porous clay heterostructures

Mesoporous carbon materials were prepared through template method approach using porous clay heterostructures (PCHs) as matrix and furfuryl alcohol as carbon precursor. Three PCHs prepared using amines with 8, 10 and 12 carbon atoms were used. The effect of several impregnation-polymerization cycles of the carbon precursor, the carbonization temperature and the need of a previous surface alumination were evaluated. The presence of two porosity domains was identified in all the carbon materials. These two domains comprise pores resulting from the carbonization of the polymer film formed in the inner structure of the PCH (domain I) and larger pores created by the clay particles aggregation (domain II). The predominance of the porosity associated to domain I or II can be achieved by choosing a specific amine to prepare the PCH matrix. Carbonization at 700 C led to the highest development of pores of domain I. In general, the second impregnation-polymerization cycle of furfuryl alcohol resulted in a small decrease of both types of porosity domains. Furthermore the previous acidification of the surface to create acidic sites proved to be unnecessary. The results showed the potential of PCHs as matrices to tailor the textural properties of carbons prepared by template mediated synthesis.

Basis invariant conditions for supersymmetry in the two-Higgs-doublet model

The minimal supersymmetric standard model involves a rather restrictive Higgs potential with two Higgs fields. Recently, the full set of classes of symmetries allowed in the most general two-Higgs-doublet model was identified; these classes do not include the supersymmetric limit as a particular class. Thus, a physically meaningful definition of the supersymmetric limit must involve the interaction of the Higgs sector with other sectors of the theory. Here we show how one can construct basis invariant probes of supersymmetry involving both the Higgs sector and the gaugino-Higgsino-Higgs interactions.

Renormalization-group constraints on Yukawa alignment in multi-Higgs-doublet models

We write down the renormalization-group equations for the Yukawa-coupling matrices in a general multi-Higgs-doublet model. We then assume that the matrices of the Yukawa couplings of the various Higgs doublets to right-handed fermions of fixed quantum numbers are all proportional to each other. We demonstrate that, in the case of the two-Higgs-doublet model, this proportionality is preserved by the renormalization-group running only in the cases of the standard type-I, II, X, and Y models. We furthermore show that a similar result holds even when there are more than two Higgs doublets: the Yukawa-coupling matrices to fermions of a given electric charge remain proportional under the renormalization-group running if and only if there is a basis for the Higgs doublets in which all the fermions of a given electric charge couple to only one Higgs doublet.

Seasonal variation of total particulate matter and children respiratory diseases at Lisbon primary schools using passive methods

In this work, 14 primary schools of Lisbon city, Portugal, followed a questionnaire of the ISAAC - International Study of Asthma and Allergies in Childhood Program, in 2009/2010. The questionnaire contained questions to identify children with respiratory diseases (wheeze, asthma and rhinitis). Total particulate matter (TPM) was passively collected inside two classrooms of each of 14 primary schools. Two types of filter matrices were used to collect TPM: Millipore (IsoporeTM) polycarbonate and quartz. Three campaigns were selected for the measurement of TPM: Spring, Autumn and Winter. The highest difference between the two types of filters is that the mass of collected particles was higher in quartz filters than in polycarbonate filters, even if their correlation is excellent. The highest TPM depositions occurred between October 2009 and March 2010, when related with rhinitis proportion. Rhinitis was found to be related to TPM when the data were grouped seasonally and averaged for all the schools. For the data of 2006/2007, the seasonal variation was found to be related to outdoor particle deposition (below 10 μm).

Constraints on leptogenesis from a symmetry viewpoint

It is shown that type I seesaw models based on the standard model Lagrangian extended with three heavy Majorana right-handed fields do not have leptogenesis in leading order, if the symmetries of mass matrices are also the residual symmetry of the Lagrangian. In particular, flavor models that lead to a mass-independent leptonic mixing have a vanishing leptogenesis CP asymmetry. Based on symmetry arguments, we prove that in these models the Dirac-neutrino Yukawa coupling combinations relevant for leptogenesis are diagonal in the physical basis where the charged leptons and heavy Majorana neutrinos are diagonal.

Contact angle of a hemispherical bubble: An analytical approach

We have calculated the equilibrium shape of the axially symmetric Plateau border along which a spherical bubble contacts a flat wall, by analytically integrating Laplace's equation in the presence of gravity, in the limit of small Plateau border sizes. This method has the advantage that it provides closed-form expressions for the positions and orientations of the Plateau border surfaces. Results are in very good overall agreement with those obtained from a numerical solution procedure, and are consistent with experimental data. In particular we find that the effect of gravity on Plateau border shape is relatively small for typical bubble sizes, leading to a widening of the Plateau border for sessile bubbles and to a narrowing for pendant bubbles. The contact angle of the bubble is found to depend even more weakly on gravity. (C) 2009 Elsevier Inc. All rights reserved.

Leptonic CP violation

Several topics on CP violation in the lepton sector are reviewed. A few theoretical aspects concerning neutrino masses, leptonic mixing, and CP violation will be covered, with special emphasis on seesaw models. A discussion is provided on observable effects which are manifest in the presence of CP violation, particularly, in neutrino oscillations and neutrinoless double beta decay processes, and their possible implications in collider experiments such as the LHC. The role that leptonic CP violation may have played in the generation of the baryon asymmetry of the Universe through the mechanism of leptogenesis is also discussed.

Macrociclos tetrapirrólicos e produtos de contraste iodados: uma nova abordagem

O trabalho descrito no presente documento reporta a preparação de derivados tetrapirrólicos iodados de tipo porfirina tornando-os potenciais veículos a meio de contraste iodado, usado em radiodiagnóstico. Com os resultados deste trabalho irá ser realizado um pedido de patente das moléculas e portanto, o acesso a este trabalho será restrito nos termos do Código da Propriedade Industrial, aprovado pelo Decreto de Lei nº 36/2003 de 5 de Março. Na primeira fase do trabalho, foi sintetizado o derivado porfirínico simétrico, meso-substituído, contendo um total de 8 iodos. Este foi preparado por condensação do pirrol e do aldeído iodado em meio ácido e na presença de nitrobenzeno. Foram ainda preparados as respetivas metaloporfirinas contendo os iões metálicos de manganês e gadolínio. Posteriormente foi avaliada a capacidade destes derivados atenuarem o feixe de raio-X, através da mediação das Unidades de Hounsfield, após serem adquiridas imagens por Tomografia Computorizada. Na segunda fase do trabalho procedeu-se ao estudo da influência destes compostos na diferenciação celular, usando como modelo as células de pré-adipócitos 3T3-L1. Foi avaliada a diferenciação celular, através da quantificação de lípidos das células maduras, marcados com Red Oil O, por espectrofotometria de Visível 3 e 10 dias após a administração dos derivados em estudo.

Abelian symmetries in the two-Higgs-doublet model with fermions

We classify all possible implementations of an Abelian symmetry in the two-Higgs-doublet model with fermions. We identify those symmetries which are consistent with nonvanishing quark masses and a Cabibbo-Kobayashi-Maskawa quark-mixing matrix (CKM), which is not block-diagonal. Our analysis takes us from a plethora of possibilities down to 246 relevant cases, requiring only 34 distinct matrix forms. We show that applying Z(n) with n >= 4 to the scalar sector leads to a continuous U(1) symmetry in the whole Lagrangian. Finally, we address the possibilities of spontaneous CP violation and of natural suppression of the flavor-changing neutral currents. We explain why our work is relevant even for non-Abelian symmetries.

Copper Bis(oxazoline) Encapsulated in Zeolites and Its Application as Heterogeneous Catalysts for the Cyclopropanation of Styrene

A copper C(2)-symmetric bis(oxazoline), CuBox, was introduced in two forms of commercial Y zeolite: a sodium form (NaY) and an ultrastable form (NaUSY). CuBox was introduced by first partially exchanging the sodium cations of both zeolites for copper and then by refluxing the obtained materials with a solution of bis(oxazoline) (Box). Two different loadings were prepared for each form of zeolite. The materials were characterized by copper ICP-AES, elemental analysis, XPS, FTIR, TG, and nitrogen adsorption isotherms at -196 degrees C. Evidence for Box ligand location in the supercages of NaY and NaUSY zeolites and its coordination to the exchanged copper(II) was obtained by the several techniques used. The materials were all active in the cyclopropanation of styrene with ethyldiazoacetate at room temperature and diastereoselective toward trans cydopropanes. Although the materials containing Box showed low enantioselectivities, their catalytic activities were higher than the parent copper exchanged zeolites, and did not decrease with reuse, at least during three consecutive cycles.