Symbolic analysis of linear polyhedra

This paper concerns several analytical problems related to linear polyhedra in euclidean three-dimensional-space. Symbolic formulas for line, surface, and volume integration are given, and it is shown that domain integrals are computable in polynomial time. In particular, it is shown that mass, first and second moments, and products of inertia are computable inO(E) time, whereE is the number of edges of the boundary. Simple symbolic expressions for the normal derivatives of domain integrals are also derived. In particular, it is shown that they are closely linked to the topology of the integration domain, as well as that they are expressible as combinations of domain integrals over lower-order domains (faces, edges, and vertices). The symbolic results presented in this paper may lead to an easy incorporation of integral constraints, for example, concerning mass and inertia, in the engineering designing process of solid objects.     

Synthesis and Evaluation of Voltage-Gated Sodium Channel Blocking Pyrroline Derivatives Endowed with Both Antiarrhythmic and Antioxidant Activities

Under the hypothesis that cardioprotective agents might benefit from synergism between antiarrhythmic activity and antioxidant properties, a small series of mexiletine analogues were coupled with the 2,2,5,5-tetramethylpyrroline moiety, known for its antioxidant effect, in order to obtain dual-acting drugs potentially useful in the protection of the heart against post-ischemic reperfusion injury. The pyrroline derivatives reported herein were found to be more potent as antiarrhythmic agents than mexiletine and displayed antioxidant activity. The most interesting tetramethylpyrroline congener, a tert-butyl-substituted analogue, was at least 100 times more active as an antiarrhythmic than mexiletine.     

Lipofilling in Breast Oncological Surgery: A Safe Opportunity or Risk for Cancer Recurrence?

Lipofilling (LF) is a largely employed technique in reconstructive and esthetic breast surgery. Over the years, it has demonstrated to be extremely useful for treatment of soft tissue defects after demolitive or conservative breast cancer surgery and different procedures have been developed to improve the survival of transplanted fat graft. The regenerative potential of LF is attributed to the multipotent stem cells found in large quantity in adipose tissue. However, a growing body of pre-clinical evidence shows that adipocytes and adipose-derived stromal cells may have pro-tumorigenic potential. Despite no clear indication from clinical studies has demonstrated an increased risk of cancer recurrence upon LF, these observations challenge the oncologic safety of the procedure. This review aims to provide an updated overview of both the clinical and the pre-clinical indications to the suitability and safety of LF in breast oncological surgery. Cellular and molecular players in the crosstalk between adipose tissue and cancer are described, and heterogeneous contradictory results are discussed, highlighting that important issues still remain to be solved to get a clear understanding of LF safety in breast cancer patients.     

On requirement verification for evolving Statecharts specifications

Software development processes have been evolving from rigid, pre-specified, and sequential to incremental, and iterative. This evolution has been dictated by the need to accommodate evolving user requirements and reduce the delay between design decision and feedback from users. Formal verification techniques, however, have largely ignored this evolution and even when they made enormous improvements and found significant uses in practice, like in the case of model checking, they remained confined into the niches of safety-critical systems. Model checking verifies if a system’s model \(\mathcal{M}\) satisfies a set of requirements, formalized as a set of logic properties \(\Phi\) . Current model-checking approaches, however, implicitly rely on the assumption that both the complete model \(\mathcal{M}\) and the whole set of properties \(\Phi\) are fully specified when verification takes place. Very often, however, \(\mathcal{M}\) is subject to change because its development is iterative and its definition evolves through stages of incompleteness, where alternative design decisions are explored, typically to evaluate some quality trade-offs. Evolving systems specifications of this kind ask for novel verification approaches that tolerate incompleteness and support incremental analysis of alternative designs for certain functionalities. This is exactly the focus of this paper, which develops an incremental model-checking approach for evolving Statecharts. Statecharts have been chosen both because they are increasingly used in practice natively support model refinements.     

Effect of Enameling on the Strength and Dynamic Fatigue of Soda–Lime–Silica Float Glass

The effect of a glass enamel coating on the strength and fatigue behavior of float glass was investigated. Commercially available enamel that was comprised of Cu₂Cr₂O₄ pigment particles in a bismuth-zinc borosilicate glass matrix was applied to a soda–lime–silica float glass via screen printing, followed by fusion at elevated temperature. Strengths of the enameled specimens were evaluated in biaxial flexure using a ring-on-ring (ROR) test geometry, and the data were analyzed using a conventional two-parameter Weibull distribution. Enameling was found to significantly degrade the strength of the float glass. There was no statistical difference in the characteristic strengths of samples enameled on the air side (66 MPa) compared with samples enameled on the tin side (61 MPa) of the float glass. Fractographic analysis revealed that the failures in the enameled float glass samples initiated at pores and pigment aggregates in the enamel, whereas failures in float glass samples initiated solely from surface flaws. Dynamic fatigue tests were performed on enameled float glass and indented float glass samples to determine the effect of the enamel on the stress corrosion behavior of the enameled components. There was no statistically significant difference between the stress corrosion exponents for the float glass and enameled float glass specimens.     

Practical and theoretical molecular weights in polyaddition reactions of ethylene and propylene oxide

The addition reactions of ethylene oxide and/or propylene oxide catalyzed by KOH and initiated with compounds containing free hydroxyls are followed by secondary reactions which vary the expected molecular weight. By using ethylene oxide, diols are formed and by using propylene oxide, both diols and unsaturated monofunctional compounds are formed. These products are usually characterized by their hydroxyl number. The average molecular weight is found by taking into consideration the starter functionality only. There are often some behavioral differences among similar products owing to the different quantity and chain length of the secondary products contained therein. The secondary products are analyzed and the quantity of the secondary products were determined from the hydroxyl number values and from the unsaturation of reagents and products. In the case of monofunctional adducts using the calculation method, the results have been experimentally confirmed.     

Catalytic performance of Co3O4/CeO2 and Co3O4/CeO2–ZrO2 composite oxides for methane combustion: Influence of catalyst pretreatment temperature and oxygen concentration in the reaction mixture

The influence of catalyst pre-treatment temperature (650 and 750 °C) and oxygen concentration (λ = 8 and 1) on the light-off temperature of methane combustion has been investigated over two composite oxides, Co₃O₄/CeO₂ and Co₃O₄/CeO₂–ZrO₂ containing 30 wt.% of Co₃O₄. The catalytic materials prepared by the co-precipitation method were calcined at 650 °C for 5 h (fresh samples); a portion of them was further treated at 750 °C for 7 h, in a furnace in static air (aged samples).

Tests of methane combustion were carried out on fresh and aged catalysts at two different WHSV values (12 000 and 60 000 mL g⁻¹ h⁻¹). The catalytic performance of Co₃O₄/CeO₂ and Co₃O₄/CeO₂–ZrO₂ were compared with those of two pure Co₃O₄ oxides, a sample obtained by the precipitation method and a commercial reference. Characterization studies by X-ray diffraction (XRD), BET and temperature-programmed reduction (TPR) show that the catalytic activity is related to the dispersion of crystalline phases, Co₃O₄/CeO₂ and Co₃O₄/CeO₂–ZrO₂ as well as to their reducibility. Particular attention was paid to the thermal stability of the Co₃O₄ phase in the temperature range of 750–800 °C, in both static (in a furnace) and dynamic conditions (continuous flow). The results indicate that the thermal stability of the phase Co₃O₄ heated up to 800 °C depends on the size of the cobalt oxide crystallites (fresh or aged samples) and on the oxygen content (excess λ = 8, stoichiometric λ = 1) in the reaction mixture. A stabilizing effect due to the presence of ceria or ceria–zirconia against Co₃O₄ decomposition into CoO was observed.

Moreover, the role of ceria and ceria–zirconia is to maintain a good combustion activity of the cobalt composite oxides by dispersing the active phase Co₃O₄ and by promoting the reduction at low temperature.     

Lecithin-protein interaction in the GTP-dependent acyl-CoA synthase

The enzymic activity of the GTP-dependent acyl-CoA synthase isolated from rat liver mitochondria is affected by removal and addition of lecithin (3). Purified preparations of this enzyme contain bound lecithin. In this presentation the nature of the lecithin-protein interaction is examined. From binding measurements at different temperatures it is possible to postulate which type of secondary valence bonds is holding the protein and lecithin together. Presented at AOCS Meeting, Chicago, October 1967.