Simulation-based Approach to Verification of Logical Descriptions with Functional Indeterminacy

A verification task of proving the equivalence of two descriptions of the same device is examined for the case, when one of the descriptions is partially defined. In this case, the verification task is reduced to checking out whether logical descriptions are equivalent on the domain of the incompletely defined one. Simulation-based approach to solving this task for different vector forms of description representations is proposed. Fast Boolean computations over Boolean and ternary vectors having big sizes underlie the offered methods.

Reasoning Methods for Designing and Surveying Relationships Described by Sets of Functional Constraints

This work is supported by the Hungarian Scientific Research Fund (OTKA), grant T042706.

Application of Artificial Intelligence Methods to Computer Design of Inorganic Compounds

In this paper the main problems for computer design of materials, which would have predefined properties, with the use of artificial intelligence methods are presented. The DB on inorganic compound properties and the system of DBs on materials for electronics with completely assessed information: phase diagram DB of material systems with semiconducting phases and DB on acousto-optical, electro-optical, and nonlinear optical properties are considered. These DBs are a source of information for data analysis. Using the DBs and artificial intelligence methods we have predicted thousands of new compounds in ternary, quaternary and more complicated chemical systems and estimated some of their properties (crystal structure type, melting point, homogeneity region etc.). The comparison of our predictions with experimental data, obtained later, showed that the average reliability of predicted inorganic compounds exceeds 80%. The perspectives of computational material design with the use of artificial intelligence methods are considered.

Labeled EF-Tus for rapid kinetic studies of pretranslocation complex formation

The universally conserved translation elongation factor EF-Tu delivers aminoacyl(aa)-tRNA in the form of an aa-tRNA·EF-Tu·GTP ternary complex (TC) to the ribosome where it binds to the cognate mRNA codon within the ribosomal A-site, leading to formation of a pretranslocation (PRE) complex. Here we describe preparation of QSY9 and Cy5 derivatives of the variant E348C-EF-Tu that are functional in translation elongation. Together with fluorophore derivatives of aa-tRNA and of ribosomal protein L11, located within the GTPase associated center (GAC), these labeled EF-Tus allow development of two new FRET assays that permit the dynamics of distance changes between EF-Tu and both L11 (Tu-L11 assay) and aa-tRNA (Tu-tRNA assay) to be determined during the decoding process. We use these assays to examine: (i) the relative rates of EF-Tu movement away from the GAC and from aa-tRNA during decoding, (ii) the effects of the misreading-inducing antibiotics streptomycin and paromomycin on tRNA selection at the A-site, and (iii) how strengthening the binding of aa-tRNA to EF-Tu affects the rate of EF-Tu movement away from L11 on the ribosome. These FRET assays have the potential to be adapted for high throughput screening of ribosomal antibiotics.

The Nonexistence of [132, 6, 86]3 Codes and [135, 6, 88]3 Codes

We prove the nonexistence of [g3(6, d), 6, d]3 codes for d = 86, 87, 88, where g3(k, d) = ∑⌈d/3i⌉ and i=0 ... k−1. This determines n3(6, d) for d = 86, 87, 88, where nq(k, d) is the minimum length n for which an [n, k, d]q code exists.

Optimum Chemical Balance Weighing Design under Certain Condition

2000 Mathematics Subject Classification: 62K05, 05B05.

PET/EPR blends properties in the presence of compatibilisers containing glycidyl methacrylite

Blends of PET with the different commercial co(ter)polymer compatibilisers were prepared and the effect of their glycidyl methacrylate (GMA) content and viscosity on the blend properties was determined. The efficiency of compatibilisation of the commercial co(ter)polymer in the ternary blends was examined and compared. For all the ternary blends (PET/EPR/co(ter)polymer, the PET content was fixed at 70 wt% of the total weight of the blends. Higher compatibilisation effect was found in PET/EPR blends compatibilised with the commercial copolymer ethylene glycidyl methacrylate (E-GMA8(5)) containing 8% GMA and MFI = 5 (g/10min) was achieved as reflected in the observed higher elongation at break when compared to corresponding blends compatibilised with the methyl acrylate containing terpolymer ethylene methyl acrylate glycidyl methacrylate EM-GMA8(6) containing 8% GMA and MFI = 6 (g/10min). The presence of methyl acrylate ester groups in the commercial terpolymer EM-GMA (containing similar amount of GMA and same MFI) resulted in low level of compatibilisation due to the possibility of a higher extent of branching and crosslinking resulting from the presence of the ester groups and this would be responsible for the observed lower elongation, and the less favourable morphology observed. Further, the more bulky structure of the terpolymer compared to the copolymer would give rise to a more difficult migration to the interface, thus lowering the efficiency of compatibilisation. However, the morphology of both blends compatibilised with either the terpolymer or the copolymer were not significantly different.

Synthesis, characterization and study of physical properties of novel M(n+1)AX(n) compounds

Mn+1AXn compounds, the ternary layered nanolaminates have gathered momentum in the last decade since its advent because of their unusual but exciting properties. These technologically important compounds combine some of the best properties of metals and ceramics. Like ceramics they are refractory, oxidation resistant, elastically stiff and relatively light. They also exhibit metallic properties like excellent machinability, thermal and electrical conductivity. This dissertation concentrates on the synthesis of germanium-based 211 Mn+1AXn compounds. The main objective of the research was to synthesize predominantly single phase samples of Cr2GeC, V2GeC and Ti2GeC. Another goal was to study the effect of solid substitutions on the M-site of Mn+1AXn compounds with Ge as an A-element. This study is in itself the first to demonstrate the synthesis of (Cr0.5V0.5)2GeC a novel Mn+1AXn compound. Scanning electron microscopy coupled with energy dispersive spectroscopy, x-ray diffraction and electron probe microanalysis were employed to confirm the presence of predominantly single phase samples of M2GeC compounds where M = Ti, V, Cr and (Cr 0.5V0.5). A large part of the dissertation also focuses on the effect of the compressibility on the Ge-based 211 Mn+1AXn compounds with the aid of diamond anvil cell and high energy synchrotron radiation. This study also concentrates on the stability of these compounds at high temperature and thereby determines its suitability as high temperature structural materials. In order to better understand the effect of substitutions on A-site of 211 Mn+1 AXn compounds under high pressure and high temperature, a comparison is made with previously reported 211 Mn+1AXn compounds with Al, Ga and S as A-site elements.

Enhanced biocompatibility of Nitinol via surface treatment and alloying

It is projected that by 2020, there will be 138 million Americans over 45, the age at which the increased incidence of heart diseases is documented. Many will require stents. This multi-billion dollar industry, with over 2 million patients worldwide, 15% of whom use Nitinol stents have experienced a decline in sales recently, due in part to thrombosis. It is a sudden blood clot that forms inside stents. As a result, the Food and Drug Administration and American Heart Association are calling for a new generation of stents, new designs and different alloys that are more adaptable to the arteries. The future of Nitinol therefore depends on a better understanding of the mechanisms by which Nitinol surfaces can be rendered stable and inert. In this investigation, binary and ternary Nitinol alloys were prepared and subjected to various surface treatments such as electropolishing (EP), magnetoelectropolishing (MEP) and water boiling & passivation (W&P). In vitro corrosion tests were conducted on Nitinol alloys in accordance with ASTM F 2129-08. The metal ions released into the electrolyte during corrosion tests were measured by Inductively Coupled Plasma Mass Spectroscopy (ICP-MS). Biocompatibility was assessed by observing the growth of human umbilical vein endothelial cells (HUVEC) on the surface of Nitinol alloys. Static and dynamic immersion tests were performed by immersing the Nitinol alloys in cell culture media and measuring the amount of metal ions released in solution. Sulforhodamine B (SRB) assays were performed to elucidate the effect of metal ions on the growth of HUVEC cells. The surfaces of the alloys were studied using Scanning Electron Microscopy (SEM) and X-ray Photoelectron Spectroscopy (XPS) respectively. Finally, wettability and surface energy were measured by Contact Angle Meter, whereas surface roughness was measured by Atomic Force Microscopy (AFM). All the surface treated alloys exhibited high resistance to corrosion when compared with untreated alloys. SRB assays revealed that Ni and Cu ions exhibited greater toxicity than Cr, Ta and Ti ions on HUVEC cells. EP and MEP alloys possessed relatively smooth surfaces and some were composed of nickel oxides instead of elemental nickel as determined by XPS. MEP exhibited lowest surface energy and lowest surface roughness.

Biocompatibility assessment of biosorbable polymer coated nitinol alloys

Owing to an increased risk of aging population and a higher incidence of coronary artery disease (CAD), there is a need for more reliable and safer treatments. Numerous varieties of durable polymer-coated drug eluting stents (DES) are available in the market in order to mitigate in-stent restenosis. However, there are certain issues regarding their usage such as delayed arterial healing, thrombosis, inflammation, toxic corrosion by-products, mechanical stability and degradation. As a result, significant amount of research has to be devoted to the improvement of biodegradable polymer-coated implant materials in an effort to enhance their bioactive response. ^ In this investigation, magneto-electropolished (MEP) and a novel biodegradable polymer coated ternary Nitinol alloys, NiTiTa and NiTiCr were prepared to study their bio and hemocompatibility properties. The initial interaction of a biomaterial with its surroundings is dependent on its surface characteristics such as, composition, corrosion resistance, work of adhesion and morphology. In-vitro corrosion tests such as potentiodynamic polarization and electrochemical impedance spectroscopic (EIS) studies were conducted to determine the coating stability and longevity. In-vitro hemocompatibility studies and HUVEC cell growth was performed to determine their thrombogenic and biocompatibility properties. Critical delamination load of the polymer coated Nitinol alloys was determined using Nano-scratch analysis. Sulforhodamine B (SRB) assays were performed to elucidate the effect of metal ions leached from Nitinol alloys on the viability of HUVEC cells. Scanning Electron Microscopy (SEM), X-ray Photoelectron Spectroscopy (XPS), contact angle meter and X-ray diffraction (XRD) were used to characterize the surface of the alloys. ^ MEP treated and polymer coated (PC) Nitinol alloys displayed a corrosion resistant polymer coating as compared to uncoated alloys. MEP and PC has resulted in reduced Ni and Cr ion leaching from NiTi5Cr and subsequently low cytotoxicity. Thrombogenicity tests revealed significantly less platelet adhesion and confluent endothelial cell growth on polymer coated and uncoated ternary MEP Nitinol alloys. Finally, this research addresses the bio and hemocompatibility of MEP + PC ternary Nitinol alloys that could be used to manufacture blood contacting devices such as stents and vascular implants which can lead to lower U.S. healthcare spending.^

Enhanced Biocompatibility of NiTi (Nitinol) Via Surface Treatment and Alloying

It is projected that by 2020, there will be 138 million Americans over 45, the age at which the increased incidence of heart diseases is documented. Many will require stents. This multi-billion dollar industry, with over 2 million patients worldwide, 15% of whom use Nitinol stents have experienced a decline in sales recently, due in part to thrombosis. It is a sudden blood clot that forms inside stents. As a result, the Food and Drug Administration and American Heart Association are calling for a new generation of stents, new designs and different alloys that are more adaptable to the arteries. The future of Nitinol therefore depends on a better understanding of the mechanisms by which Nitinol surfaces can be rendered stable and inert. In this investigation, binary and ternary Nitinol alloys were prepared and subjected to various surface treatments such as electropolishing (EP), magnetoelectropolishing (MEP) and water boiling & passivation (W&P). In vitro corrosion tests were conducted on Nitinol alloys in accordance with ASTM F 2129-08. The metal ions released into the electrolyte during corrosion tests were measured by Inductively Coupled Plasma Mass Spectroscopy (ICP-MS). Biocompatibility was assessed by observing the growth of human umbilical vein endothelial cells (HUVEC) on the surface of Nitinol alloys. Static and dynamic immersion tests were performed by immersing the Nitinol alloys in cell culture media and measuring the amount of metal ions released in solution. Sulforhodamine B (SRB) assays were performed to elucidate the effect of metal ions on the growth of HUVEC cells. The surfaces of the alloys were studied using Scanning Electron Microscopy (SEM) and X-ray Photoelectron Spectroscopy (XPS) respectively. Finally, wettability and surface energy were measured by Contact Angle Meter, whereas surface roughness was measured by Atomic Force Microscopy (AFM). All the surface treated alloys exhibited high resistance to corrosion when compared with untreated alloys. SRB assays revealed that Ni and Cu ions exhibited greater toxicity than Cr, Ta and Ti ions on HUVEC cells. EP and MEP alloys possessed relatively smooth surfaces and some were composed of nickel oxides instead of elemental nickel as determined by XPS. MEP exhibited lowest surface energy and lowest surface roughness.

Desenvolvimento de material BaCexPr1-xO3 (0 ≤ X ≤ 1) com estrutura perovskita para oxidação catalítica do CO a CO2 em reator de leito fixo

Barium Cerate (BaCeO3) is perovskite type structure of ABO3, wherein A and B are metal cations. These materials, or doped, have been studied by having characteristics that make them promising for the application in fuel cells solid oxide, hydrogen and oxygen permeation, as catalysts, etc .. However, as the ceramic materials mixed conductivity have been produced by different synthesis methods, some conditions directly influence the final properties, one of the most important doping Site B, which may have direct influence on the crystallite size, which in turn directly influences their catalytic activity. In this study, perovskite-type (BaCexO3) had cerium gradually replaced by praseodymium to obtain ternary type materials BaCexPr1-xO3 and BaPrO3 binaries. These materials were synthesized by EDTA/Citrate complexing method and the material characterized via XRD, SEM and BET for the identification of their structure, morphology and surface area. Moreover were performed on all materials, catalytic test in a fixed bed reactor for the identification of that person responsible for complete conversion of CO to CO2 at low operating temperature, which step can be used as the subsequent production of synthesis gas (CO + H2) from methane oxidation. In the present work the crystalline phase having the orthorhombic structure was obtained for all compositions, with a morphology consisting of agglomerated particles being more pronounced with increasing praseodymium in the crystal structure. The average crystal size was between 100 nm and 142,2 nm. The surface areas were 2,62 m²g-1 for the BaCeO3 composition, 3,03 m²g-1 to BaCe0,5Pr0,5O3 composition and 2,37 m²g-1 to BaPrO3 composition. Regarding the catalytic tests, we can conclude that the optimal flow reactor operation was 50 ml / min and the composition regarding the maximum rate of conversion to the lowest temperature was BaCeO3 to 400° C. Meanwhile, there was found that the partially replaced by praseodymium, cerium, there was a decrease in the catalytic activity of the material.

Interações da trancinolona com ciclodextrinas em sistemas multicomponentes

Triamcinolone is a relevant anti-inflammatory costicosteroid drug, used mainly by injectable suspensions due its poor water solubility. The association of triamcinolone with cyclodextrins and co-solvents (triethanolamine TEA and N-methylpirrolidone NMP) was held to solubilize the drug and explain the involved interactions. Phase-solubility diagrams showed that triamcinolone was solubilized forming incredible stable complexes with cyclodextrins, in which bests results were observed applying randomyl-methylated-beta-cyclodextrin (RMβCD) (161 fold on increased solubility). The co-solvents TEA and NMP also enhanced drug solubility 1.4 and 6.7 fold, respectively. The association of both co-solvents with CDs seems decreased complexation stability, but enables higher amount of uncomplexed drug. Experimental magnetic resonance 2D-ROESY and theoretical molecular modeling studies demonstrated TRI-CDs interactions and elucidated the structure of formed complex, which occurred due to the inclusion of ring A of TRI on CDs cavity. Physicochemical aspects of solid binary and ternary complexes prepared by spray drying were assessed by using FTIR, X-ray diffraction and SEM photographs. Dissolution studies showed that binary and ternary associations presented higher dissolution efficacy in detrimental to pure drug system. In addition, the ternary complex containing TEA and RMβCD allowed drug dissolution faster than binary complex with RMβCD. Therefore, given the higher solubility and drug dissolution rate, binary and ternary complexes are new raw materials with great potential for pharmaceuticals containing triamcinolone.

Desenvolvimento biotecnológico de uma emulsão de uso tópico a base de óleo de rã-touro Rana catesbeiana Shaw

The skin is one of the largest organs of the human body and accounts for about 16% of body weight. The body protection against the external environment microorganisms is one of its most important functions, however is necessary that the skin remain intact for this function be exercised, so that when there is an injury on the skin, the process of restructuring needs to be starts, however this restructuration may also be compromised due to some diseases, justifying even more the need for the development of topical products that promote or accelerate the skin healing. Thus the aim of this study was to extract bullfrog oil and to develop a suitable topical emulsion. Two different oil samples were extracted by hot or organic solvent process. Titration techniques and gas chromatography- mass spectrometry were used to characterize the bullfrog oil. The required hydrophile-lipophile balance (HLBr) of bullfrog oil was determined and a pseudo-ternary phase diagram was constructed. The stability of the topical emulsion was evaluated. Then, cellular viability was determined by MTT assay using normal fibroblasts (3T3) and melanoma (B16F10) cells lines. The hot extraction yield was 60.6%. The major polyunsaturated compounds found were Eicosapentaenoic acid (17.6%) and Arachidonic acid (8.4%). HLBr study demonstrated the presence of stable systems with HLB ranging from 12.1 to 13.5 and the pseudo-ternary phase diagram showed mainly emulsion systems (62%). Topical emulsion showed 390 nm, polydispersity 0.05, zeta potential -25 mV and remained stable for ninety days. The bullfrog oil and topical emulsion did not showed citotoxicity in normal fibroblasts cells. However, these systems showed significantly inhibition of melanoma cells growth. In conclusion, the bullfrog oil presented desirable chemical characteristics required to be used for the development of a pharmaceutical and cosmetic products.

Fitting model-based psychometric functions to simultaneity and temporal-order judgment data: MATLAB and R routines

Research on temporal-order perception uses temporal-order judgment (TOJ) tasks or synchrony judgment (SJ) tasks in their binary SJ2 or ternary SJ3 variants. In all cases, two stimuli are presented with some temporal delay, and observers judge the order of presentation. Arbitrary psychometric functions are typically fitted to obtain performance measures such as sensitivity or the point of subjective simultaneity, but the parameters of these functions are uninterpretable. We describe routines in MATLAB and R that fit model-based functions whose parameters are interpretable in terms of the processes underlying temporal-order and simultaneity judgments and responses. These functions arise from an independent-channels model assuming arrival latencies with exponential distributions and a trichotomous decision space. Different routines fit data separately for SJ2, SJ3, and TOJ tasks, jointly for any two tasks, or also jointly for the three tasks (for common cases in which two or even the three tasks were used with the same stimuli and participants). Additional routines provide bootstrap p-values and confidence intervals for estimated parameters. A further routine is included that obtains performance measures from the fitted functions. An R package for Windows and source code of the MATLAB and R routines are available as Supplementary Files.