REALIZING PROFINITE REDUCED SPECIAL GROUPS

Special groups are an axiomatization of the algebraic theory of quadratic forms over fields. It is known that any finite reduced special group is the special group of some field. We show that any special group that is the projective limit of a projective system of finite reduced special groups is also the special group of some field.

SEMIPERFECT IPRI-RINGS AND RIGHT BEZOUT RINGS

We present a survey of some results on ipri-rings and right Bezout rings. All these rings are generalizations of principal ideal rings. From the general point of view, decomposition theorems are proved for semiperfect ipri-rings and right Bezout rings.

Preferential location of lidocaine and etidocaine in lecithin bilayers as determined by EPR, fluorescence and H-2 NMR

We have examined the effect of the uncharged species of lidocaine (LDC) and etidocaine (EDC) on the acyl chain moiety of egg phosphatidylcholine liposomes. Changes in membrane organization caused by both anesthetics were detected through the use of EPR spin labels (5, 7 and 12 doxyl stearic acid methyl ester) or fluorescence probes (4, 6, 10, 16 pyrene-fatty acids). The disturbance caused by the LA was greater when the probes were inserted in more external positions of the acyl chain and decreased towards the hydrophobic core of the membrane. The results indicate a preferential insertion of LDC at the polar interface of the bilayer and in the first half of the acyl chain, for EDC. Additionally, 2 H NMR spectra of multilamellar liposomes composed by acyl chain-perdeutero DMPC and EPC (1:4 mol%) allowed the determination of the segmental order (S-mol) and dynamics (T-1) of the acyl chain region. In accordance to the fluorescence and EPR results, changes in molecular orientation and dynamics are more prominent if the LA preferential location is more superficial, as for LDC while EDC seems to organize the acyl chain region between carbons 2-8, which is indicative of its positioning. We propose that the preferential location of LDC and EDC inside the bilayers creates a ""transient site"", which is related to the anesthetic potency since it could modulate the access of these molecules to their binding site(s) in the voltage-gated sodium channel. (C) 2007 Elsevier B.V. All rights reserved.

Multiple stages of detergent-erythrocyte membrane interaction-A spin label study

The various stages of the interaction between the detergent Triton X-100 (TTX-100) and membranes of whole red blood cells (RBC) were investigated in a broad range of detergent concentrations. The interaction was monitored by RBC hemolysis-assessed by release of intracellular hemoglobin (Hb) and inorganic phosphate- and by analysis of EPR spectra of a fatty acid spin probe intercalated in whole RBC suspensions, as well as pellets and supernatants obtained upon centrifugation of detergent-treated cells. Hemolysis finished at ca. 0.9 mM TTX-100. Spectral analysis and calculation of order parameters (S) indicated that a complex sequence of events takes place, and allowed the characterization of various structures formed in the different stages of detergent-membrane interaction. Upon reaching the end of cell lysis, essentially no pellet was detected, the remaining EPR signal being found almost entirely in the supernatants. Calculated order parameters revealed that whole RBC suspensions, pellets, and supernatants possessed a similar degree of molecular packing, which decreased to a small extent up to 2.5 mM detergent. Between 3.2 and 10 mM TTX-100, a steep decrease in S was observed for both whole RBC suspensions and supernatants. Above 10 mM detergent, S decreased in a less pronounced manner and the EPR spectra approached that of pure TTX-100 micelles. The data were interpreted in terms of the following events: at the lower detergent concentrations, an increase in membrane permeability occurs: the end of hemolysis coincides with the lack of pellet upon centrifugation. Up to 2.5 mM TTX-100 the supernatants consist of a (very likely) heterogeneous population of membrane fragments with molecular packing similar to that of whole cells. As the detergent concentration increases, mixed micelles are formed containing lipid and/or protein, approaching the packing found in pure TTX-100 micelles. This analysis is in agreement with the models proposed by Lasch (Biochim. Biophys Acta 1241 (1995) 269-292) and by Le Maire and coworkers (Biochim. Biophys. Acta 1508 (2000) 86-111). (C) 2010 Elsevier B.V. All rights reserved.

Relationship between structure and photoactivity of porphyrins derived from protoporphyrin IX

Protoporphyrin (Pp IX) derivatives were prepared to study the relationship between photosensitizer structure and photoactivity, with an emphasis on understanding the role of membrane interactions in the efficiency of photosensitizers used in photodynamic therapy (PDT). The synthetic strategies described here aimed at changing protoporphyrin periferic groups, varying overall charge and oil/water partition, while maintaining their photochemical properties. Three synthetic routes were used: (1) modification of Pp IX at positions 3(1) and 8(1) by addition of alkyl amine groups of different lengths (compounds 2-5), (2) change of Pp IX at positions 13(3) and 17(3), generating alkyl amines (compounds 6 and 7), a phosphate amine (compound 8), and quarternary ammonium compounds (compounds 9 and 10), and (3) amine-alkylation of Hematoporphyrin IX (Hp IX) at positions 3(1), 8(1), 13(3) and 17(3) (compound 12). Strategy 1 leads to hydrophobic compounds with low photocytotoxicity. Strategy 2 leads to compounds 6-10 that have high levels of binding/incorporation in vesicles, mitochondria and cells, which are indicative of high bioavailability. Addition of the phosphate group (compound 8), generates an anionic compound that has low liposome and cell incorporation, plus low photocytotoxicity. Compound 12 has intermediate incorporation and photocytotoxic properties. Compound modification is also associated with changes in their sub-cellular localization: 30% of 8 (anionic) is found in mitochondria as compared to 95% of compound 10 (cationic). Photocytotoxicity was shown to be highly correlated with membrane affinity, which depends on the asymmetrical and amphiphilic characters of sens, as well as with sub-cellular localization.

Application of Microelectrode Voltammetry to Study the Properties of Surfactant Solutions: Alkyltrimethylammonium Bromides

Microelectrode cyclic voltammetry (MV) has been employed to investigate the micellar properties of solutions of homologous alkyltrimethylammonium bromides, RMe(3)ABr, R = C(10), C(12), and C(14), in water and in the presence of added NaBr. The micellar self-diffusion coefficient was calculated from the limiting current for the reversible electron transfer of micelle-bound ferrocene. From the values of this property, other parameters were calculated, including the micellar hydrodynamic radius, RH, and aggregation number, N(agg); the latter was also theoretically calculated. We determined the values of the diffusion coefficient as a function of various experimental variables and observed the following trends: The diffusion coefficient decreases as a function of increasing surfactant concentration (no additional electrolyte added); it decreases as a function of increasing surfactant concentration at fixed NaBr concentration; and it shows a complex dependence (increase then decrease) on the NaBr concentration at a fixed RMe(3)ABr concentration. The value of the intermicellar interaction parameter decreases and then increases as a function of increasing NaBr concentration. These results are discussed in terms of intermicellar,interactions and the effect of NaBr on the micellar surface charge density and sphere-to-rod geometry change. The NaBr concentration required to induce the latter change increases rapidly as a function of decreasing the length of R: no geometry change was detected for C(10)Me(3)ABr. Values of N(agg) increase as I function of increasing the length of R and are in good agreement with both literature values and values that were calculated theoretically. Thus, MV is a convenient and simple technique for obtaining fundamental properties of surfactant solutions, including additive-induced changes of micellar parameters (N(agg)) and morphology changes.

Ion pair stabilization effects on a series of procaine structural analogs

In this work, a series of 10 structural procaine analogs have been synthesized in order to investigate the structural features affecting the stability of ion pair formation and its influence on the lipophilicity of ionizable compounds. The structural variation within this series was focused on the terminal nitrogen substituents and on the intermediate chain linkage nature. The hydrophobic parameters log P(n) and log P(i) (partition coefficient of the neutral and ionic species, respectively), as well as the ionization constants pK(a) and pK(a)(oct), were obtained from log D-pH profiles measured at pH values ranging from 2 to 12. The difference between log P(i) and log P(n) values (i.e. difflog P) of each prepared compound was considered a measure of the stability of ion pair formation. In this set, the difflog P values varied nearly over one log unit, ranging from -2.40 to -3.37. It has been observed that the presence of hydrogen bonding groups (especially donor) and low steric hindrance around the terminal amine ionizable group increases the relative lipophilicity of the ionic species as compared to the corresponding neutral species. These results were interpreted as due to the increased stability of ion pairs of the compounds bearing these structural features. (C) 2010 Elsevier B.V. All rights reserved.

A theoretical study on the XeF(2) molecule

A relativistic four-component study was performed for the XeF(2) molecule by using the Dirac-Coulomb (DC) Hamiltonian and the relativistic adapted Gaussian basis sets (RAGBSs). The comparison of bond lengths obtained showed that relativistic effects on this property are small (increase of only 0.01 angstrom) while the contribution of electron correlation, obtained at CCSD(T) or CCSD-T levels, is more important (increase of 0.05 angstrom). Electron correlation is also dominant over relativistic effects for dissociation energies. Moreover, the correlation-relativity interaction is shown to be negligible for these properties. The electron affinity, the first ionization potential and the double ionization potential are obtained by means of the Fock-space coupled cluster (FSCC) method, resulting in DC-CCSD-T values of 0.3 eV, 12.5 eV and 32.3 eV, respectively. Vibrational frequencies and some anharmonicity constants were also calculated under the four-component formalism by means of standard perturbation equations. All these molecular properties are, in general, ill satisfactory agreement with available experimental results. Finally, a partition in terms of charge-charge flux-dipole flux (CCFDF) contributions derived by means of the quantum theory of atoms in molecules (QTAIM) in non-relativistic QCISD(FC)/3-21G* calculations was carried out for XeF(2) and KrF(2). This analysis showed that the most remarkable difference between both molecules lies on the charge flux contribution to the asymmetric stretching mode, which is negligible in KrF(2) but important in XeF(2). (c) 2008 Elsevier B.V. All rights reserved.

Artificial Neural Networks and the Study of the Psychoactivity of Cannabinoid Compounds

Cannabinoid compounds have widely been employed because of its medicinal and psychotropic properties. These compounds are isolated from Cannabis sativa (or marijuana) and are used in several medical treatments, such as glaucoma, nausea associated to chemotherapy, pain and many other situations. More recently, its use as appetite stimulant has been indicated in patients with cachexia or AIDS. In this work, the influence of several molecular descriptors on the psychoactivity of 50 cannabinoid compounds is analyzed aiming one obtain a model able to predict the psychoactivity of new cannabinoids. For this purpose, initially, the selection of descriptors was carried out using the Fisher`s weight, the correlation matrix among the calculated variables and principal component analysis. From these analyses, the following descriptors have been considered more relevant: E(LUMO) (energy of the lowest unoccupied molecular orbital), Log P (logarithm of the partition coefficient), VC4 (volume of the substituent at the C4 position) and LP1 (Lovasz-Pelikan index, a molecular branching index). To follow, two neural network models were used to construct a more adequate model for classifying new cannabinoid compounds. The first model employed was multi-layer perceptrons, with algorithm back-propagation, and the second model used was the Kohonen network. The results obtained from both networks were compared and showed that both techniques presented a high percentage of correctness to discriminate psychoactive and psychoinactive compounds. However, the Kohonen network was superior to multi-layer perceptrons.

Use Multilevel Graph Partitioning Scheme to solve traveling salesman problem

The traveling salesman problem is although looking very simple problem but it is an important combinatorial problem. In this thesis I have tried to find the shortest distance tour in which each city is visited exactly one time and return to the starting city. I have tried to solve traveling salesman problem using multilevel graph partitioning approach.Although traveling salesman problem itself very difficult as this problem is belong to the NP-Complete problems but I have tried my best to solve this problem using multilevel graph partitioning it also belong to the NP-Complete problems. I have solved this thesis by using the k-mean partitioning algorithm which divides the problem into multiple partitions and solving each partition separately and its solution is used to improve the overall tour by applying Lin Kernighan algorithm on it. Through all this I got optimal solution which proofs that solving traveling salesman problem through graph partition scheme is good for this NP-Problem and through this we can solved this intractable problem within few minutes.Keywords: Graph Partitioning Scheme, Traveling Salesman Problem.

Forensisk undersökning av Amazon Kindle

Detta arbete har genomförts i samarbete med Försvarsmakten och behandlar vilka möjligheter som finns för forensiska undersökningar av e-boksläsaren Amazon Kindle. I arbetets litteraturstudie beskrivs hur tidigare forskning inom ämnet är kraftigt begränsad. Arbetet syftar därför till att besvara hur data kan extraheras från en Kindle, vilka data av forensiskt intresse en Kindle kan innehålla, var denna information lagras och om detta skiljer sig åt mellan olika modeller och firmware-versioner samt om det är nog att undersöka endast den del av minnet som är tillgänglig för användaren eller om ytterligare privilegier för att komma åt hela minnesarean bör införskaffas. För att göra detta fylls tre olika modeller av Kindles med information. Därefter tas avbilder på dem, dels på endast användarpartitionen och dels på dess fullständiga minnesarea efter att en privilegie-eskalering har utförts. Inhämtad data analyseras och resultatet presenteras. Resultatet visar att information av forensiskt intresse så som anteckningar, besökta webbsidor och dokument kan återfinnas, varför det finns ett värde i att utföra forensiska undersökningar på Amazon Kindles. Skillnader råder mellan vilken information som kan återfinnas och var den lagras på de olika enheterna. Enheterna har fyra partitioner varav endast en kan kommas åt utan privilegie-eskalering, varför det finns en fördel med att inhämta avbilder av hela minnesarean. Utöver ovanstående presenteras en metod för att förbipassera en enhets kodlås och därigenom få fullständig åtkomst till den även om den är låst.

Protocols between programs and proofs

In this paper we describe a new protocol that we call the Curry-Howard protocol between a theory and the programs extracted from it. This protocol leads to the expansion of the theory and the production of more powerful programs. The methodology we use for automatically extracting “correct” programs from proofs is a development of the well-known Curry-Howard process. Program extraction has been developed by many authors, but our presentation is ultimately aimed at a practical, usable system and has a number of novel features. These include 1. a very simple and natural mimicking of ordinary mathematical practice and likewise the use of established computer programs when we obtain programs from formal proofs, and 2. a conceptual distinction between programs on the one hand, and proofs of theorems that yield programs on the other. An implementation of our methodology is the Fred system. As an example of our protocol we describe a constructive proof of the well-known theorem that every graph of even parity can be decomposed into a list of disjoint cycles. Given such a graph as input, the extracted program produces a list of the (non-trivial) disjoint cycles as promised.

Evidence Algorithm and Processing Formalized Mathematical Texts

The goal of a research programme Evidence Algorithm is a development of an open system of automated proving that is able to accumulate mathematical knowledge and to prove theorems in a context of a self-contained mathematical text. By now, the first version of such a system called a System for Automated Deduction, SAD, is implemented in software. The system SAD possesses the following main features: mathematical texts are formalized using a specific formal language that is close to a natural language of mathematical publications; a proof search is based on special sequent-type calculi formalizing natural reasoning style, such as application of definitions and auxiliary propositions. These calculi also admit a separation of equality handling from deduction that gives an opportunity to integrate logical reasoning with symbolic calculation.

Caracterização do beneficiamento de carvão por jigagem no Brasil

Em função da importância do processo de jigagem no beneficiamento de carvão no Brasil, onde 95% da produção bruta, ROM, é beneficiada em jigues para a obtenção de carvão energético ou carvão pré-lavado, e da inexistência de um trabalho sistemático de caracterização deste processo, esta dissertação apresenta um estudo detalhado do desempenho de jigues no beneficiamento de carvão nacional, através do levantamento dos critérios de avaliação de performance dependentes e independentes derivados das curvas de partição e análises densimétricas dos diversos produtos. São desenvolvidos "softwares" para o processamento dos diversos dados levantados "in situ", com aplicação nas áreas de cálculo de balanços de massas e metalúrgico, processamento de análises densimétricas, cálculo de coeficientes de partição, modelamento matemático de curvas de partição e cálculo dos critérios de avaliação de performance. Conclue-se que, de um modo geral, o processo de jigagem é mal empregado no Brasil, conduzindo obtenção de produtos de baixa recuperação. Isto ocorre basicamente em função das características peculiares do carvão nacional e do fato que, no Brasil, utiliza-se jigues de fabricação estrangeira, dimensionados para outros tipos de carvões de melhor qualidade. Este trabalho pretende alertar aos profissionais da área e oferece algumas sugestões com o objetivo de melhorar a baixa eficiência do beneficiamento de carvão observada em diversos lavadores.

On choice of technique in the Robinson-Solow-Srinivasan model

We report results on the optimal \choice of technique" in a model originally formulated by Robinson, Solow and Srinivasan (henceforth, the RSS model) and further discussed by Okishio and Stiglitz. By viewing this vintage-capital model without discounting as a speci c instance of the general theory of intertemporal resource allocation associated with Brock, Gale and McKenzie, we resolve longstanding conjectures in the form of theorems on the existence and price support of optimal paths, and of conditions suÆcient for the optimality of a policy rst identi ed by Stiglitz. We dispose of the necessity of these conditions in surprisingly simple examples of economies in which (i) an optimal path is periodic, (ii) a path following Stiglitz' policy is bad, and (iii) there is optimal investment in di erent vintages at di erent times. (129 words)