Semantics of logic programs with explicit negation

After a historical introduction, the bulk of the thesis concerns the study of a declarative semantics for logic programs. The main original contributions are: ² WFSX (Well–Founded Semantics with eXplicit negation), a new semantics for logic programs with explicit negation (i.e. extended logic programs), which compares favourably in its properties with other extant semantics. ² A generic characterization schema that facilitates comparisons among a diversity of semantics of extended logic programs, including WFSX. ² An autoepistemic and a default logic corresponding to WFSX, which solve existing problems of the classical approaches to autoepistemic and default logics, and clarify the meaning of explicit negation in logic programs. ² A framework for defining a spectrum of semantics of extended logic programs based on the abduction of negative hypotheses. This framework allows for the characterization of different levels of scepticism/credulity, consensuality, and argumentation. One of the semantics of abduction coincides with WFSX. ² O–semantics, a semantics that uniquely adds more CWA hypotheses to WFSX. The techniques used for doing so are applicable as well to the well–founded semantics of normal logic programs. ² By introducing explicit negation into logic programs contradiction may appear. I present two approaches for dealing with contradiction, and show their equivalence. One of the approaches consists in avoiding contradiction, and is based on restrictions in the adoption of abductive hypotheses. The other approach consists in removing contradiction, and is based in a transformation of contradictory programs into noncontradictory ones, guided by the reasons for contradiction.

Estudo de ovos de quatro espécies do gênero Meccus (Hemiptera, Reduviidae, Triatominae), vetores da doença de Chagas

The objective of this work was to analyze the morphological, morphometrical, and histological characteristics of eggs of four triatomine bugs species still not studied, in order to understand phylogenetic aspects and to facilitate parameters used in taxonomy, with the purpose of a specific and generic characterization of these vectors in public health. The eggs of each species had come from the collections of the Laboratory of Triatomine bugs and Culicid mosquitoes of the Faculdade de Saúde Pública - USP (Faculty of Public Health/USP). The morphologic studies were carried out through optic microscopy (OM) and scanning electronic microscopy (SEM). The eggs were measured with the help of the digital paquimeter Starrett® 727. In relation to histological measures, Microtome Leica RM 2145® was used. Similarities were evidenced in the exocorial architecture of the eggs when they were studied by OM and SEM. This similarity among the eggs suggests a recent speciation, probably derived from common ancestry, representing a monophyletic group. Some structures were also detected by the histological cuts. The study has contributed to the magnification and recognition in generic and specific terms of the Triatominae subfamily. These new data will be able to subsidize a better understanding to determine roles for each vector species and to facilitate parameters to be used in taxonomy.

Revision of Loboederus Guérin-Méneville (Coleoptera, Elateridae, Elaterinae, Ampedini)

The genus Loboederus Guérin-Méneville, 1831 formerly included three species: L. appendiculatus (Perty, 1830), L. fleutiauxi Lesne, 1940 and L. luederwaldti Costa-Andrade, 1935. L. fleutiauxi is considered as a junior synonym of L. luederwaldti. The generic characterization and the morphological analysis and redescriptions of both species are presented. The lectotype and paralectotypes of L. luederwaldti are designated and the geographical distribution of both species is widened.

Revision of the genus Blauta LeConte (Coleoptera, Elateridae, Elaterinae, Ampedini, Dicrepidiina)

The genus Blauta Leconte, 1853 is formed by two species, B. cribraria (Germar, 1844) and B. falli Brown, 1936, recorded from Southeast of United States. The generic characterization and the redescriptions and morphological illustrations, including mouthparts and genitalia, of both species are presented. A comparison of both species is also included.

Estudo de ovos de quatro espécies do gênero Meccus (Hemiptera, Reduviidae, Triatominae), vetores da doença de Chagas

The objective of this work was to analyze the morphological, morphometrical, and histological characteristics of eggs of four triatomine bugs species still not studied, in order to understand phylogenetic aspects and to facilitate parameters used in taxonomy, with the purpose of a specific and generic characterization of these vectors in public health. The eggs of each species had come from the collections of the Laboratory of Triatomine bugs and Culicid mosquitoes of the Faculdade de Saúde Pública - USP (Faculty of Public Health/USP). The morphologic studies were carried out through optic microscopy (OM) and scanning electronic microscopy (SEM). The eggs were measured with the help of the digital paquimeter Starrett® 727. In relation to histological measures, Microtome Leica RM 2145® was used. Similarities were evidenced in the exocorial architecture of the eggs when they were studied by OM and SEM. This similarity among the eggs suggests a recent speciation, probably derived from common ancestry, representing a monophyletic group. Some structures were also detected by the histological cuts. The study has contributed to the magnification and recognition in generic and specific terms of the Triatominae subfamily. These new data will be able to subsidize a better understanding to determine roles for each vector species and to facilitate parameters to be used in taxonomy.

Efeito da solarização do solo sobre a população de Pseudomonas spp. fluorescente antagonista a Rhizoctonia solani Kuhn GA 4 HGI

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Larvae of Alaus myops, A. oculatus, Chalcolepidius porcatus, Hemirhipus apicalis and generic larval characterization (Elateridae, Agrypninae, Hemirhipini)

Larva of Hemirhipus Latreille, 1825 is herein described for the first time. Larvae of Chalcolepidius porcatus (Linnaeus, 1767), from Peru, and Hemirhipus apicalis Candèze, 1857, from Argentina, are described and of Alaus myops (Fabricius, 1801), from USA (Illinois and Maryland), and A. oculatus (Linnaeus, 1758), from USA (Illinois and Florida), are redescribed and illustrated. A comparison among the known larvae in each genus is presented. An historical review and the larval characterization of five genera and fourteen species of Hemirhipini genera are also included.

In vitro characterization of intra-generic inhibition of growth in Salmonella typhimurium

The intra-generic inhibition of bacterial growth observed previously in vivo and in vitro with strains of Salmonella, Citrobacter and E. coli was studied in vitro using S. typhimurium strain F98. There was complete inhibition of multiplication of S. typhimurium when it was added to stationary-phase broth cultures of different Salmonella serotypes, but only partial inhibition when added to broth cultures of E. coli. The degree of inhibition between different mutants of F98 was affected by the numbers of bacteria of the inhibiting strain, but this was not the only factor, since exponential-phase bacterial cells were less inhibitory than stationary-phase cells. The inhibitory effect was produced at temperatures between 20°C and 40°C. The complete inhibition of growth observed between F98 mutants was abolished by ampicillin, rifampicin and streptomycin, but not by nalidixic acid. Inhibition was also prevented by separating the two cultures by a dialysis membrane. A Tnpho A Insertion mutant of F98 was produced which did not show inhibition in vitro but was still inhibitory in vivo. It is suggested that this complete inhibition of bacterial multiplication between organisms of the same genus, which is greater than that produced between organisms from different genera, is mediated by a cell surface protein.

General unknown screening procedure for the characterization of human drug metabolites: application to loratadine phase I metabolism.

This article describes the application of a recently developed general unknown screening (GUS) strategy based on LC coupled to a hybrid linear IT-triple quadrupole mass spectrometer (LC-MS/MS-LIT) for the simultaneous detection and identification of drug metabolites following in vitro incubation with human liver microsomes. The histamine H1 receptor antagonist loratadine was chosen as a model compound to demonstrate the interest of such approach, because of its previously described complex and extensive metabolism. Detection and mass spectral characterization were based on data-dependent acquisition, switching between a survey scan acquired in the ion-trapping Q3 scan mode with dynamic subtraction of background noise, and a dependent scan in the ion-trapping product ion scan mode of automatically selected parent ions. In addition, the MS(3) mode was used in a second step to confirm the structure of a few fragment ions. The sensitivity of the ion-trapping modes combined with the selectivity of the triple quadrupole modes allowed, with only one injection, the detection and identification of 17 phase I metabolites of loratadine. The GUS procedure used in this study may be applicable as a generic technique for the characterization of drug metabolites after in vitro incubation, as well as probably in vivo experiments.

Seismic characterization of heterogeneous sedimentary and fractured rocks based on Biot's theory of poroelasticity

Understanding and quantifying seismic energy dissipation, which manifests itself in terms of velocity dispersion and attenuation, in fluid-saturated porous rocks is of considerable interest, since it offers the perspective of extracting information with regard to the elastic and hydraulic rock properties. There is increasing evidence to suggest that wave-induced fluid flow, or simply WIFF, is the dominant underlying physical mechanism governing these phenomena throughout the seismic, sonic, and ultrasonic frequency ranges. This mechanism, which can prevail at the microscopic, mesoscopic, and macroscopic scale ranges, operates through viscous energy dissipation in response to fluid pressure gradients and inertial effects induced by the passing wavefield. In the first part of this thesis, we present an analysis of broad-band multi-frequency sonic log data from a borehole penetrating water-saturated unconsolidated glacio-fluvial sediments. An inherent complication arising in the interpretation of the observed P-wave attenuation and velocity dispersion is, however, that the relative importance of WIFF at the various scales is unknown and difficult to unravel. An important generic result of our work is that the levels of attenuation and velocity dispersion due to the presence of mesoscopic heterogeneities in water-saturated unconsolidated clastic sediments are expected to be largely negligible. Conversely, WIFF at the macroscopic scale allows for explaining most of the considered data while refinements provided by including WIFF at the microscopic scale in the analysis are locally meaningful. Using a Monte-Carlo-type inversion approach, we compare the capability of the different models describing WIFF at the macroscopic and microscopic scales with regard to their ability to constrain the dry frame elastic moduli and the permeability as well as their local probability distribution. In the second part of this thesis, we explore the issue of determining the size of a representative elementary volume (REV) arising in the numerical upscaling procedures of effective seismic velocity dispersion and attenuation of heterogeneous media. To this end, we focus on a set of idealized synthetic rock samples characterized by the presence of layers, fractures or patchy saturation in the mesocopic scale range. These scenarios are highly pertinent because they tend to be associated with very high levels of velocity dispersion and attenuation caused by WIFF in the mesoscopic scale range. The problem of determining the REV size for generic heterogeneous rocks is extremely complex and entirely unexplored in the given context. In this pilot study, we have therefore focused on periodic media, which assures the inherent self- similarity of the considered samples regardless of their size and thus simplifies the problem to a systematic analysis of the dependence of the REV size on the applied boundary conditions in the numerical simulations. Our results demonstrate that boundary condition effects are absent for layered media and negligible in the presence of patchy saturation, thus resulting in minimum REV sizes. Conversely, strong boundary condition effects arise in the presence of a periodic distribution of finite-length fractures, thus leading to large REV sizes. In the third part of the thesis, we propose a novel effective poroelastic model for periodic media characterized by mesoscopic layering, which accounts for WIFF at both the macroscopic and mesoscopic scales as well as for the anisotropy associated with the layering. Correspondingly, this model correctly predicts the existence of the fast and slow P-waves as well as quasi and pure S-waves for any direction of wave propagation as long as the corresponding wavelengths are much larger than the layer thicknesses. The primary motivation for this work is that, for formations of intermediate to high permeability, such as, for example, unconsolidated sediments, clean sandstones, or fractured rocks, these two WIFF mechanisms may prevail at similar frequencies. This scenario, which can be expected rather common, cannot be accounted for by existing models for layered porous media. Comparisons of analytical solutions of the P- and S-wave phase velocities and inverse quality factors for wave propagation perpendicular to the layering with those obtained from numerical simulations based on a ID finite-element solution of the poroelastic equations of motion show very good agreement as long as the assumption of long wavelengths remains valid. A limitation of the proposed model is its inability to account for inertial effects in mesoscopic WIFF when both WIFF mechanisms prevail at similar frequencies. Our results do, however, also indicate that the associated error is likely to be relatively small, as, even at frequencies at which both inertial and scattering effects are expected to be at play, the proposed model provides a solution that is remarkably close to its numerical benchmark. -- Comprendre et pouvoir quantifier la dissipation d'énergie sismique qui se traduit par la dispersion et l'atténuation des vitesses dans les roches poreuses et saturées en fluide est un intérêt primordial pour obtenir des informations à propos des propriétés élastique et hydraulique des roches en question. De plus en plus d'études montrent que le déplacement relatif du fluide par rapport au solide induit par le passage de l'onde (wave induced fluid flow en anglais, dont on gardera ici l'abréviation largement utilisée, WIFF), représente le principal mécanisme physique qui régit ces phénomènes, pour la gamme des fréquences sismiques, sonique et jusqu'à l'ultrasonique. Ce mécanisme, qui prédomine aux échelles microscopique, mésoscopique et macroscopique, est lié à la dissipation d'énergie visqueuse résultant des gradients de pression de fluide et des effets inertiels induits par le passage du champ d'onde. Dans la première partie de cette thèse, nous présentons une analyse de données de diagraphie acoustique à large bande et multifréquences, issues d'un forage réalisé dans des sédiments glaciaux-fluviaux, non-consolidés et saturés en eau. La difficulté inhérente à l'interprétation de l'atténuation et de la dispersion des vitesses des ondes P observées, est que l'importance des WIFF aux différentes échelles est inconnue et difficile à quantifier. Notre étude montre que l'on peut négliger le taux d'atténuation et de dispersion des vitesses dû à la présence d'hétérogénéités à l'échelle mésoscopique dans des sédiments clastiques, non- consolidés et saturés en eau. A l'inverse, les WIFF à l'échelle macroscopique expliquent la plupart des données, tandis que les précisions apportées par les WIFF à l'échelle microscopique sont localement significatives. En utilisant une méthode d'inversion du type Monte-Carlo, nous avons comparé, pour les deux modèles WIFF aux échelles macroscopique et microscopique, leur capacité à contraindre les modules élastiques de la matrice sèche et la perméabilité ainsi que leur distribution de probabilité locale. Dans une seconde partie de cette thèse, nous cherchons une solution pour déterminer la dimension d'un volume élémentaire représentatif (noté VER). Cette problématique se pose dans les procédures numériques de changement d'échelle pour déterminer l'atténuation effective et la dispersion effective de la vitesse sismique dans un milieu hétérogène. Pour ce faire, nous nous concentrons sur un ensemble d'échantillons de roches synthétiques idéalisés incluant des strates, des fissures, ou une saturation partielle à l'échelle mésoscopique. Ces scénarios sont hautement pertinents, car ils sont associés à un taux très élevé d'atténuation et de dispersion des vitesses causé par les WIFF à l'échelle mésoscopique. L'enjeu de déterminer la dimension d'un VER pour une roche hétérogène est très complexe et encore inexploré dans le contexte actuel. Dans cette étude-pilote, nous nous focalisons sur des milieux périodiques, qui assurent l'autosimilarité des échantillons considérés indépendamment de leur taille. Ainsi, nous simplifions le problème à une analyse systématique de la dépendance de la dimension des VER aux conditions aux limites appliquées. Nos résultats indiquent que les effets des conditions aux limites sont absents pour un milieu stratifié, et négligeables pour un milieu à saturation partielle : cela résultant à des dimensions petites des VER. Au contraire, de forts effets des conditions aux limites apparaissent dans les milieux présentant une distribution périodique de fissures de taille finie : cela conduisant à de grandes dimensions des VER. Dans la troisième partie de cette thèse, nous proposons un nouveau modèle poro- élastique effectif, pour les milieux périodiques caractérisés par une stratification mésoscopique, qui prendra en compte les WIFF à la fois aux échelles mésoscopique et macroscopique, ainsi que l'anisotropie associée à ces strates. Ce modèle prédit alors avec exactitude l'existence des ondes P rapides et lentes ainsi que les quasis et pures ondes S, pour toutes les directions de propagation de l'onde, tant que la longueur d'onde correspondante est bien plus grande que l'épaisseur de la strate. L'intérêt principal de ce travail est que, pour les formations à perméabilité moyenne à élevée, comme, par exemple, les sédiments non- consolidés, les grès ou encore les roches fissurées, ces deux mécanismes d'WIFF peuvent avoir lieu à des fréquences similaires. Or, ce scénario, qui est assez commun, n'est pas décrit par les modèles existants pour les milieux poreux stratifiés. Les comparaisons des solutions analytiques des vitesses des ondes P et S et de l'atténuation de la propagation des ondes perpendiculaires à la stratification, avec les solutions obtenues à partir de simulations numériques en éléments finis, fondées sur une solution obtenue en 1D des équations poro- élastiques, montrent un très bon accord, tant que l'hypothèse des grandes longueurs d'onde reste valable. Il y a cependant une limitation de ce modèle qui est liée à son incapacité à prendre en compte les effets inertiels dans les WIFF mésoscopiques quand les deux mécanismes d'WIFF prédominent à des fréquences similaires. Néanmoins, nos résultats montrent aussi que l'erreur associée est relativement faible, même à des fréquences à laquelle sont attendus les deux effets d'inertie et de diffusion, indiquant que le modèle proposé fournit une solution qui est remarquablement proche de sa référence numérique.

Characterization of the unfolding of a weak focus and modulus of analytic classification

La thèse présente une description géométrique d’un germe de famille générique déployant un champ de vecteurs réel analytique avec un foyer faible à l’origine et son complexifié : le feuilletage holomorphe singulier associé. On montre que deux germes de telles familles sont orbitalement analytiquement équivalents si et seulement si les germes de familles de difféomorphismes déployant la complexification de leurs fonctions de retour de Poincaré sont conjuguées par une conjugaison analytique réelle. Le “caractère réel” de la famille correspond à sa Z2-équivariance dans R^4, et cela s’exprime comme l’invariance du plan réel sous le flot du système laquelle, à son tour, entraîne que l’expansion asymptotique de la fonction de Poincaré est réelle quand le paramètre est réel. Le pullback du plan réel après éclatement par la projection monoidal standard intersecte le feuilletage en une bande de Möbius réelle. La technique d’éclatement des singularités permet aussi de donner une réponse à la question de la “réalisation” d’un germe de famille déployant un germe de difféomorphisme avec un point fixe de multiplicateur égal à −1 et de codimension un comme application de semi-monodromie d’une famille générique déployant un foyer faible d’ordre un. Afin d’étudier l’espace des orbites de l’application de Poincaré, nous utilisons le point de vue de Glutsyuk, puisque la dynamique est linéarisable auprès des points singuliers : pour les valeurs réels du paramètre, notre démarche, classique, utilise une méthode géométrique, soit un changement de coordonée (coordonée “déroulante”) dans lequel la dynamique devient beaucoup plus simple. Mais le prix à payer est que la géométrie locale du plan complexe ambiante devient une surface de Riemann, sur laquelle deux notions de translation sont définies. Après avoir pris le quotient par le relèvement de la dynamique nous obtenons l’espace des orbites, ce qui s’avère être l’union de trois tores complexes plus les points singuliers (l’espace résultant est non-Hausdorff). Les translations, le caractère réel de l’application de Poincaré et le fait que cette application est un carré relient les différentes composantes du “module de Glutsyuk”. Cette propriété implique donc le fait qu’une seule composante de l’invariant Glutsyuk est indépendante.

Actinomycete Isolates from Arabian Sea and Bay of Bengal: Biochemical, Molecular and Functional Characterization

The thesis is comprised of seven chapters. Chapter 1 gives a general introduction to marine actinomycetes; Chapter 2 gives an account on the morphological, biochemical and physiological characterization of marine actinomycetes. Comprehensive description of molecular identification and phylogenetic analysis of actinomycetes is dealt with in Chapter 3. The antimicrobial property with special reference to antivibrio activity is described in Chapter 4. Chapter 5 explores the melanin production ability of marine actinomycetes, characterization of melanin and evaluation of its bioactivity. Chapter 6 illustrates the study on chitinolytic Streptomyces as antifungal and insecticidal agents. Summary and Conclusion of the study is presented in Chapter 7, followed by References and Appendices.The present study provides an insight into the various actinomycetes occurring in the sediments of Arabian Sea and Bay of Bengal. Streptomyces was found to be the dominant group followed by Nocardiopsis. Eventhough generic level identification is possible by traditional phenotypic methods, species level identification necessitate a polyphasic approach including both phenotypic and genotypic characterization. Antibiotic production coupled with biogranulation property helped in the effective utilization of the actinomycetes for the control of vibrios. Melanin from Streptomyces bikiniensis was proved to be a promising antioxidant and photoprotectant. Marine actinomycetes were found to be a good source of hydrolytic enzymes and the chitinolytic isolates could be explored as biocontrol agents in terms of antifungal and insecticidal property. The present study explored the potential of marine actinomycetes especially Streptomycetes as a promising source of bioactive molecules for application in aquaculture and pharmaceutical industry.

Nanoparticular iron complex drugs for parenteral administration - physicochemical characterization, biological distribution and pharmacological safety

Iron deficiency is the most common deficiency disease worldwide with many patients who require intravenous iron. Within the last years new kind of parenteral iron complexes as well as generic preparations entered the market. There is a high demand for methods clarifying benefit to risk profiles of old and new iron complexes. It is also necessary to disclose interchangeability between originator and intended copies to avoid severe anaphylactic and anaphylactoid side reaction and assure equivalence of therapeutic effect.rnrnThe investigations presented in this work include physicochemical characterization of nine different parenteral iron containing non-biological complex drugs. rnWe developed an in-vitro assay, which allows the quantification of labile iron in the different complexes and thus it is a useful tool to estimate the pharmaclogical safety regarding iron related adverse drug events. This assay additionally allowed the estimation of complex stability by evaluation of degradation kinetics at the applied conditions.rnrnAn in-ovo study was performed to additionally compare different complexes in respect to body distribution. This in combination with complex stability information allowed the risk estimation of potential local acute and chronic reactions to iron overload.rnrnInformation obtained by the combination of the methods within this work are helpful to estimate the safety and efficacy profile of different iron containing non-biological complex drugs. rnrnPhysicochemical differences between the complexes were demonstrated in respect to size of the inorganic fraction, size and size distribution of the complete particles, structure of the inorganic iron fraction, morphology of the complexes and charge of the complexes. And furthermore significant differences in the biological behavior of different complexes were demonstrated. rnrnThe combination of complex stability and biodistribution as well as the combination of structure, size and stability represent helpful tools for the physicochemical characterization of iron containing non-biological complex drugs and for the estimation of pharmacological safety. This work thus represents an up to date summary of some relevant methods for the characterization of intravenous iron complex drugs in respect to pharmaceutical quality, pharmacological safety and aspects of efficacy. rnrnProspectively, it is worthwhile that the methods within this work will contribute to the development and/or characterization of iron containing nanoparticular formulations with beneficial efficacy and safety profiles.rn

Scalp field maps and their characterization

The present chapter gives a comprehensive introduction into the display and quantitative characterization of scalp field data. After introducing the construction of scalp field maps, different interpolation methods, the effect of the recording reference and the computation of spatial derivatives are discussed. The arguments raised in this first part have important implications for resolving a potential ambiguity in the interpretation of differences of scalp field data. In the second part of the chapter different approaches for comparing scalp field data are described. All of these comparisons can be interpreted in terms of differences of intracerebral sources either in strength, or in location and orientation in a nonambiguous way. In the present chapter we only refer to scalp field potentials, but mapping also can be used to display other features, such as power or statistical values. However, the rules for comparing and interpreting scalp field potentials might not apply to such data. Generic form of scalp field data Electroencephalogram (EEG) and event-related potential (ERP) recordings consist of one value for each sample in time and for each electrode. The recorded EEG and ERP data thus represent a two-dimensional array, with one dimension corresponding to the variable “time” and the other dimension corresponding to the variable “space” or electrode. Table 2.1 shows ERP measurements over a brief time period. The ERP data (averaged over a group of healthy subjects) were recorded with 19 electrodes during a visual paradigm. The parietal midline Pz electrode has been used as the reference electrode.

A characterization of conserved quantities in non-equilibrium thermodynamics

The well-known Noether theorem in Lagrangian and Hamiltonian mechanics associates symmetries in the evolution equations of a mechanical system with conserved quantities. In this work, we extend this classical idea to problems of non-equilibrium thermodynamics formulated within the GENERIC (General Equations for Non-Equilibrium Reversible-Irreversible Coupling) framework. The geometric meaning of symmetry is reviewed in this formal setting and then utilized to identify possible conserved quantities and the conditions that guarantee their strict conservation. Examples are provided that demonstrate the validity of the proposed definition in the context of finite and infinite dimensional thermoelastic problems.