Symbolic Knowledge Extraction from Trained Neural Networks Governed by Lukasiewicz Logics

This work describes a methodology to extract symbolic rules from trained neural networks. In our approach, patterns on the network are codified using formulas on a Lukasiewicz logic. For this we take advantage of the fact that every connective in this multi-valued logic can be evaluated by a neuron in an artificial network having, by activation function the identity truncated to zero and one. This fact simplifies symbolic rule extraction and allows the easy injection of formulas into a network architecture. We trained this type of neural network using a back-propagation algorithm based on Levenderg-Marquardt algorithm, where in each learning iteration, we restricted the knowledge dissemination in the network structure. This makes the descriptive power of produced neural networks similar to the descriptive power of Lukasiewicz logic language, minimizing the information loss on the translation between connectionist and symbolic structures. To avoid redundance on the generated network, the method simplifies them in a pruning phase, using the "Optimal Brain Surgeon" algorithm. We tested this method on the task of finding the formula used on the generation of a given truth table. For real data tests, we selected the Mushrooms data set, available on the UCI Machine Learning Repository.

Syntheses, Molecular Structures, Electrochemical Behavior, Theoretical Study, and Antitumor Activities of Organotin(IV) Complexes Containing 1-(4-Chlorophenyl)-1-cyclopentanecarboxylato Ligands

The organotin(IV) compounds [Me2Sn(L)(2)] (1), [Et(2)sn(L)(2)] (2), [(Bu2Sn)-Bu-n(L)(2)] (3), [(n)Oct(2)Sn(L)(2)] (4), [Ph2Sn(L)(2)] (5), and [PhOSnL](6) (6) have been synthesized from the reactions of 1-(4-chlorophenyl)-1-cyclopentanecarboxylic acid (HL) with the corresponding diorganotin(IV) oxide or dichloride. They were characterized by IR and multinuclear NMR spectroscopies, elemental analysis, cyclic voltammetry, and, for 2, 3, 4 and 6, single crystal X-ray diffraction analysis. While 1-5 are mononuclear diorganotin (IV) compounds, the X-ray diffraction of 6 discloses a hexameric drumlike structure with a prismatic Sn6O6 core. All these complexes undergo irreversible reductions and were screened for their in vitro antitumor activities toward HL-60, BGC-823, Bel-7402, and KB human cancer cell lines. Within the mononuclear compounds, the most active ones (3, 5) are easiest to reduce (least cathodic reduction potentials), while the least active ones (1, 4) are the most difficult to reduce. Structural rearrangements (i.e., Sn-O bond cleavages and trans-to-cis isomerization) induced by reduction, which eventually can favor the bioactivity, are disclosed by theoretical/electrochemical studies.

Synthesis and structural characterization of iron complexes with 2,2,2-tris(1-pyrazolyl)ethanol ligands: Application in the peroxidative oxidation of cyclohexane under mild conditions

The reactions of FeCl2 center dot 2H(2)O and 2,2,2-tris(1-pyrazolyl) ethanol HOCH2C(pz)(3) (1) (pz = pyrazolyl) afford [Fe{HOCH2C(pz)(3)}(2)][FeCl4]Cl (2), [Fe{HOCH2C(pz)(3)}(2)](2)[Fe2OCl6](Cl)(2)center dot 4H(2)O (3 center dot 4H(2)O), [Fe{HOCH2C(pz)(3)}(2)] [FeCl{HOCH2C(pz)(3)}(H2O)(2)](2)(Cl)(4) (4) or [Fe{HOCH2C(pz)(3)}(2)]Cl-2 (5), depending on the experimental conditions. Compounds 1-5 were isolated as air-stable crystalline solids and fully characterized, including (1-4) by single-crystal X-ray diffraction analyses. The latter technique revealed strong intermolecular H-bonds involving the OH group of the scorpionate 2 and 3 giving rise to 1D chains which, in 3, are further expanded to a 2D network with intercalated infinite and almost plane chains of H-interacting water molecules. In 4, intermolecular pi center dot center dot center dot pi interactions involving the pyrazolyl rings are relevant. Complexes 2-5 display a high solubility in water (S-25 degrees C ca. 10-12 mg mL(-1)), a favourable feature towards their application as catalysts (or catalyst precursors) for the peroxidative oxidation of cyclo-hexane to cyclohexanol and cyclohexanone, with aqueous H2O2/MeCN, at room temperature (TON values up to ca. 385). (C) 2011 Elsevier B. V. All rights reserved.

Synthesis, Antimicrobial and Antiproliferative Activity of Novel Silver(I) Tris(pyrazolyl)methanesulfonateand 1,3,5-Triaza-7-phosphadamantane Complexes

Five new silver(I) complexes of formulas [Ag(Tpms)] (1), [Ag(Tpms)-(PPh3)] (2), [Ag(Tpms)(PCy3)] (3), [Ag(PTA)][BF4] (4), and [Ag(Tpms)(PTA)] (5) {Tpms = tris(pyrazol-1-yl)methanesulfonate, PPh3 = triphenylphosphane, PCy3 = tricyclohexylphosphane, PTA = 1,3,5-triaza-7-phosphaadamantane) have been synthesized and fully characterized by elemental analyses, H-1, C-13, and P-31 NMR, electrospray ionization mass spectrometry (ESI-MS), and IR spectroscopic techniques. The single crystal X-ray diffraction study of 3 shows the Tpms ligand acting in the N-3-facially coordinating mode, while in 2 and 5 a N2O-coordination is found, with the SO3 group bonded to silver and a pendant free pyrazolyl ring. Features of the tilting in the coordinated pyrazolyl rings in these cases suggest that this inequivalence is related with the cone angles of the phosphanes. A detailed study of antimycobacterial and antiproliferative properties of all compounds has been carried out. They were screened for their in vitro antimicrobial activities against the standard strains Enterococcus faecalis (ATCC 29922), Staphylococcus aureus (ATCC 25923), Streptococcus pneumoniae (ATCC 49619), Streptococcus pyogenes (SF37), Streptococcus sanguinis (SK36), Streptococcus mutans (UA1S9), Escherichia coli (ATCC 25922), and the fungus Candida albicans (ATCC 24443). Complexes 1-5 have been found to display effective antimicrobial activity against the series of bacteria and fungi, and some of them are potential candidates for antiseptic or disinfectant drugs. Interaction of Ag complexes with deoxyribonucleic acid (DNA) has been studied by fluorescence spectroscopic techniques, using ethidium bromide (EB) as a fluorescence probe of DNA. The decrease in the fluorescence of DNA EB system on addition of Ag complexes shows that the fluorescence quenching of DNA EB complex occurs and compound 3 is particularly active. Complexes 1-5 exhibit pronounced antiproliferative activity against human malignant melanoma (A375) with an activity often higher than that of AgNO3, which has been used as a control, following the same order of activity inhibition on DNA, i.e., 3 > 2 > 1 > 5 > AgNO3 >> 4.

Geometric picture of generalized-CP and Higgs-family transformations in the two-Higgs-doublet model

In the two-Higgs-doublet model (THDM), generalized-CP transformations (phi(i) -> X-ij phi(*)(j) where X is unitary) and unitary Higgs-family transformations (phi(i) -> U-ij phi(j)) have recently been examined in a series of papers. In terms of gauge-invariant bilinear functions of the Higgs fields phi(i), the Higgs-family transformations and the generalized-CP transformations possess a simple geometric description. Namely, these transformations correspond in the space of scalar-field bilinears to proper and improper rotations, respectively. In this formalism, recent results relating generalized CP transformations with Higgs-family transformations have a clear geometric interpretation. We will review what is known regarding THDM symmetries, as well as derive new results concerning those symmetries, namely how they can be interpreted geometrically as applications of several CP transformations.

The influence of curing conditions on the mechanical performance of concrete made with recycled concrete waste

Research on the use of Construction and Demolition Waste (CDW) as recycled aggregate (in particular crushed concrete) for the production of new concrete has by now established the feasibility of this environmentally-friendly use of otherwise harmful waste. However, contrary to conventional concrete (CC), no large applications of concrete made with recycled concrete have been made and there is still a lack of knowledge in some areas of production and performance of recycled aggregate concrete (RAC). One issue concerns curing conditions: these greatly affect the performance of concrete made on site and some potential users of RAC wonder how RAC is affected by far-from-ideal curing conditions. This paper shows the main results of experiments to determine the influence of different curing conditions on the mechanical performance of concrete made with coarse recycled aggregate from crushed concrete. The properties analyzed include compressive strength, splitting tensile strength, modulus of elasticity, and abrasion resistance. The general conclusion in terms of mechanical performance is that RAC is affected by curing conditions roughly in the same way as CC. (C) 2011 Elsevier Ltd. All rights reserved.

Transient analysis of variable-speed wind turbines at wind speed disturbances and a pitch control malfunction

As wind power generation undergoes rapid growth, new technical challenges emerge: dynamic stability and power quality. The influence of wind speed disturbances and a pitch control malfunction on the quality of the energy injected into the electric grid is studied for variable-speed wind turbines with different power-electronic converter topologies. Additionally, a new control strategy is proposed for the variable-speed operation of wind turbines with permanent magnet synchronous generators. The performance of disturbance attenuation and system robustness is ascertained. Simulation results are presented and conclusions are duly drawn. (C) 2010 Elsevier Ltd. All rights reserved.

Trends in properties of para-substituted 3-(phenylhydrazo)pentane-2,4-diones

Trends between the Hammett's sigma(p) and related normal sigma(n)(p), inductive sigma(I), resonance sigma(R), negative sigma(-)(p) and positive sigma(+)(p) polar conjugation and Taft's sigma(o)(p) substituent constants and the N-H center dot center dot center dot O distance, delta(N-H) NMR chemical shift, oxidation potential (E-p/2(ox), measured in this study by cyclic voltammetry (CV)) and thermodynamic parameters (pK, Delta G(0), Delta H-0 and Delta S-0) of the dissociation process of unsubstituted 3-(phenylhydrazo)pentane-2,4-dione (HL1) and its para-substituted chloro (HL2), carboxy (HL3), fluoro (HL4) and nitro (HL5) derivatives were recognized. The best fits were found for sigma(p) and/or sigma(-)(p) in the cases of d(N center dot center dot center dot O), delta(N-H) and E-p/2(ox), showing the importance of resonance and conjugation effects in such properties, whereas for the above thermodynamic properties the inductive effects (sigma(I)) are dominant. HL2 exists in the hydrazo form in DMSO solution and in the solid state and contains an intramolecular H-bond with the N center dot center dot center dot O distance of 2.588(3)angstrom. It was also established that the dissociation process of HL1-5 is non-spontaneous, endothermic and entropically unfavourable, and that the increase in the inductive effect (sigma(I)) of para-substitutents (-H < -Cl < -COOH < -F < -NO2) leads to the corresponding growth of the N center dot center dot center dot O distance and decrease of the pK and of the changes of Gibbs free energy, of enthalpy and of entropy for the HL1-5 acid dissociation process. The electrochemical behaviour of HL1-5 was interpreted using theoretical calculations at the DFT/HF hybrid level, namely in terms of HOMO and LUMO compositions, and of reactivities induced by anodic and cathodic electron-transfers. Copyright (C) 2010 John Wiley & Sons, Ltd.

Undulation Instabilities in the Meniscus of Smectic Membranes

Using optical microscopy, phase shifting interferometry, and atomic force microscopy, we characterize the undulated structures which appear in the meniscus of freestanding ferroelectric smectic-C* films. We demonstrate that these periodic structures correspond to undulations of the smectic-air interface. The resulting striped pattern disappears in the untilted smectic-A phase. The modulation amplitude and wavelength of the instability both depend on meniscus thickness. We study the temperature evolution and propose a model that qualitatively accounts for the observations.

Unified min-max and interlacing theorems for linear operators

There exist striking analogies in the behaviour of eigenvalues of Hermitian compact operators, singular values of compact operators and invariant factors of homomorphisms of modules over principal ideal domains, namely diagonalization theorems, interlacing inequalities and Courant-Fischer type formulae. Carlson and Sa [D. Carlson and E.M. Sa, Generalized minimax and interlacing inequalities, Linear Multilinear Algebra 15 (1984) pp. 77-103.] introduced an abstract structure, the s-space, where they proved unified versions of these theorems in the finite-dimensional case. We show that this unification can be done using modular lattices with Goldie dimension, which have a natural structure of s-space in the finite-dimensional case, and extend the unification to the countable-dimensional case.

Wind turbines equipped with fractional-order controllers: Stress on the mechanical drive train due to a converter control malfunction

This paper is on variable-speed wind turbines with permanent magnet synchronous generator (PMSG). Three different drive train mass models and three different topologies for the power-electronic converters are considered. The three different topologies considered are respectively a matrix, a two-level and a multilevel converter. A novel control strategy, based on fractional-order controllers, is proposed for the wind turbines. Simulation results are presented to illustrate the behaviour of the wind turbines during a converter control malfunction, considering the fractional-order controllers. Finally, conclusions are duly drawn. Copyright (C) 2010 John Wiley & Sons, Ltd.

Wrinkling Labyrinth Patterns on Elastomeric Janus Particles

We describe a novel, low-cost and low-tech method for the fabrication of elastomeric Janus particles with diameters ranging from micrometers to millimeters. This consists of UV-irradiating soft urethane/urea elastomer spheres, which are then extracted in toluene and dried. The spheres are thus composed of a single material: no coating or film deposition steps are required. Furthermore, the whole procedure is carried out at ambient temperature and pressure. Long, labyrinthine corrugations ("wrinkles") appear on the irradiated portions of the particles' surfaces, the spatial periodicity of which can be controlled by varying the sizes of particles. The asymmetric morphology of the resulting Janus particles has been confirmed by scanning electron microscopy, atomic force microscopy, and optical microscopy. We have also established that the spheres behave elastically by performing bouncing tests with dried and swollen spheres. Results can be interpreted by assuming that each sphere consists of a thin, stiff surface layer ("skin") lying atop a thicker, softer substrate ("bulk"). The skin's higher stiffness is hypothesized to result from the more extensive cross-linking of the polymer chains located near the surface by the UV radiation. Textures then arise from competition between the effects of bending the skin and compressing the bulk, as the solvent evaporates and the sphere shrinks.

O programa de formação dos mentores: conceção e planeamento

Este texto define e enquadra teoricamente as principais finalidades e orientações metodológicas do programa de formação dos mentores que acompanharam os professores em período probatório. O referencial de formação dos mentores construiu-se em torno das diferentes dimensões do ato de ensinar. A metodologia de formação organizou-se a partir do conceito de desenvolvimento profissional, considerando o mentor como objeto e sujeito da formação e procurando articular o processo formativo e o trabalho de supervisão desenvolvido pelos mentores, no terreno. As sessões de formação foram planeadas estrategicamente a partir de questões orientadoras às quais se procurou dar resposta através de um conjunto de atividades e materiais. Durante a implementação do período probatório foi produzido pelos intervenientes um conjunto considerável de documentos que foram trabalhados durante a formação. - Abstract This article defines and frames theoretically the main purposes and the methodological guidelines of the training program of mentors who have accompanied teachers on the probationary period. Those guidelines were constructed around the different dimensions of the act of teaching. The training methodology was organized from the concept of professional development, considering the mentor as object and subject of training and seeking to articulate the formative process and supervision work developed by mentors on the field. Training sessions have been strategically planned from guiding questions which sought to respond through a range of activities and materials. During the implementation of the probationary period, the participants delivered a considerable set of documents, which were worked on during training.- Resumen Este texto define y enfoca teóricamente las principales finalidades y orientaciones metodológicas del programa de formación de los mentores que acompañaron a los profesores en el periodo probatorio. La referencia formativa de los mentores se construyó en torno de las distintas dimensiones del hecho de enseñar. La metodología formativa se organizó a partir del concepto de desarrollo profesional, considerando al mentor como objeto y sujeto de la formación y buscando articular el proceso formativo y el trabajo de supervisión desarrollado por los mentores, en el terreno. Las sesiones de formación se proyectaron estratégicamente a partir de planteos orientadores, a los cuales se les dio respuesta a través de un conjunto de actividades y materiales. Durante la implementación del periodo probatorio, los participantes produjeron un considerable conjunto de documentos que se elaboraron durante la formación.

O processo de desenvolvimento profissional visto pelos professores mentores

Neste artigo apresentam-se e discutem-se os resultados da análise de 74 reflexões realizadas pelos mentores relativamente à oficina de formação em que participaram. Os resultados permitem concluir que os professores mentores consideraram que a formação contribuiu para o seu desenvolvimento profissional e, através deles, para o desenvolvimento profissional dos professores em período probatório que supervisionavam. No entanto, os professores mentores referem-se consideravelmente menos ao contributo da formação para o desenvolvimento organizacional das escolas e preveem escassas repercussões a esse nível. Quanto ao processo de formação, consideram-no útil e de qualidade, valorizando essencialmente os documentos trabalhados nas sessões e as estratégias utilizadas. - Abstract In this paper we present and discuss the results of 74 reflections made by mentors regarding the training workshops in which they took part. The results show that teachers mentors consider that the training contributed to their professional development and, through them, to the professional development of teachers who they supervised during the probation period. However teachers mentors refer considerably less to the contribution of training towards the organizational development of schools and foresee little impact at this level. Asfor the training process, they consider it useful and of quality, valuing mainly the documents worked on during sessions and the strategies used. - Resumen En este artículo se presentan los resultados del análisis realizado sobre 74 reflexiones hechas por los mentores sobre el taller de formación en el que participaron. Los resultados concluyen que los profesores mentores consideraron que la formación contribuyó para su desarrollo profesional, y a través de ello, para el desarrollo profesional de los profesores en periodo probatorio que supervisaban. Los profesores mentores se refieren poco a la contribución de la formación para el desarrollo organizacional de las escuelas y consideran que habrá escasa repercusión a ese nivel. En cuanto al proceso de formación, lo consideran útil y de calidad, valorando esencialmente los documentos elaborados en las sesiones y las estrategias utilizadas.

Cell-specific regulation of acetylcholinesterase expression under inflammatory conditions

Acetylcholine (ACh) has been shown to exert an anti-inflammatory function by down-modulating the expression of pro-inflammatory cytokines. Its availability can be regulated at different levels, namely at its synthesis and degradation steps. Accordingly, the expression of acetylcholinesterase (AChE), the enzyme responsible for ACh hydrolysis, has been observed to be modulated in inflammation. To further address the mechanisms underlying this effect, we aimed here at characterizing AChE expression in distinct cellular types pivotal to the inflammatory response. This study was performed in the human acute leukaemia monocytyc cell line, THP-1, in human monocyte-derived primary macrophages and in human umbilical cord vein endothelial cells (HUVEC). In order to subject these cells to inflammatory conditions, THP-1 and macrophage were treated with lipopolysaccharide (LPS) from E.coli and HUVEC were stimulated with the tumour necrosis factor α (TNF-α). Our results showed that although AChE expression was generally up-regulated at the mRNA level under inflammatory conditions, distinct AChE protein expression profiles were aurprisingly observed among the distinct cellular types studied. Altogether, these results argue for the existence of cell specific mechanisms that regulate the expression of acetylcholinesterase in inflammation.