960 resultados para description logics
Resumo:
This paper describes the application of vector spaces over Galois fields, for obtaining a formal description of a picture in the form of a very compact, non-redundant, unique syntactic code. Two different methods of encoding are described. Both these methods consist in identifying the given picture as a matrix (called picture matrix) over a finite field. In the first method, the eigenvalues and eigenvectors of this matrix are obtained. The eigenvector expansion theorem is then used to reconstruct the original matrix. If several of the eigenvalues happen to be zero this scheme results in a considerable compression. In the second method, the picture matrix is reduced to a primitive diagonal form (Hermite canonical form) by elementary row and column transformations. These sequences of elementary transformations constitute a unique and unambiguous syntactic code-called Hermite code—for reconstructing the picture from the primitive diagonal matrix. A good compression of the picture results, if the rank of the matrix is considerably lower than its order. An important aspect of this code is that it preserves the neighbourhood relations in the picture and the primitive remains invariant under translation, rotation, reflection, enlargement and replication. It is also possible to derive the codes for these transformed pictures from the Hermite code of the original picture by simple algebraic manipulation. This code will find extensive applications in picture compression, storage, retrieval, transmission and in designing pattern recognition and artificial intelligence systems.
Resumo:
Novel species of fungi described in the present study include the following from South Africa: Alanphillipsia aloeicola from Aloe sp., Arxiella dolichandrae from Dolichandra unguiscati, Ganoderma austroafricanum from Jacaranda mimosifolia, Phacidiella podocarpi and Phaeosphaeria podocarpi from Podocarpus latifolius, Phyllosticta mimusopisicola from Mimusops zeyheri and Sphaerulina pelargonii from Pelargonium sp. Furthermore, Barssia maroccana is described from Cedrus atlantica (Morocco), Codinaea pini from Pinus patula (Uganda), Crucellisporiopsis marquesiae from Marquesia acuminata (Zambia), Dinemasporium ipomoeae from Ipomoea pes-caprae (Vietnam), Diaporthe phragmitis from Phragmites australis (China), Marasmius vladimirii from leaf litter (India), Melanconium hedericola from Hedera helix (Spain), Pluteus albotomentosus and Pluteus extremiorientalis from a mixed forest (Russia), Rachicladosporium eucalypti from Eucalyptus globulus (Ethiopia), Sistotrema epiphyllum from dead leaves of Fagus sylvatica in a forest (The Netherlands), Stagonospora chrysopyla from Scirpus microcarpus (USA) and Trichomerium dioscoreae from Dioscorea sp. (Japan). Novel species from Australia include: Corynespora endiandrae from Endiandra introrsa, Gonatophragmium triuniae from Triunia youngiana, Penicillium coccotrypicola from Archontophoenix cunninghamiana and Phytophthora moyootj from soil. Novelties from Iran include Neocamarosporium chichastianum from soil and Seimatosporium pistaciae from Pistacia vera, Xenosonderhenia eucalypti and Zasmidium eucalyptigenum are newly described from Eucalyptus urophylla in Indonesia. Diaporthe acaciarum and Roussoella acacia are newly described from Acacia tortilis in Tanzania. New species from Italy include Comoclathris spartii from Spartium junceum and Phoma tamaricicola from Tamarix gallica. Novel genera include (Ascomycetes): Acremoniopsis from forest soil and Collarina from water sediments (Spain), Phellinocrescentia from a Phellinus sp. (French Guiana), Neobambusicola from Strelitzia nicolai (South Africa), Neocladophialophora from Quercus robur (Germany), Neophysalospora from Cotymbia henryi (Mozambique) and Xenophaeosphaeria from Grewia sp. (Tanzania). Morphological and culture characteristics along with ITS DNA barcodes are provided for all taxa.
Resumo:
Malli on logiikassa käytetty abstraktio monille matemaattisille objekteille. Esimerkiksi verkot, ryhmät ja metriset avaruudet ovat malleja. Äärellisten mallien teoria on logiikan osa-alue, jossa tarkastellaan logiikkojen, formaalien kielten, ilmaisuvoimaa malleissa, joiden alkioiden lukumäärä on äärellinen. Rajoittuminen äärellisiin malleihin mahdollistaa tulosten soveltamisen teoreettisessa tietojenkäsittelytieteessä, jonka näkökulmasta logiikan kaavoja voidaan ajatella ohjelmina ja äärellisiä malleja niiden syötteinä. Lokaalisuus tarkoittaa logiikan kyvyttömyyttä erottaa toisistaan malleja, joiden paikalliset piirteet vastaavat toisiaan. Väitöskirjassa tarkastellaan useita lokaalisuuden muotoja ja niiden säilymistä logiikkoja yhdistellessä. Kehitettyjä työkaluja apuna käyttäen osoitetaan, että Gaifman- ja Hanf-lokaalisuudeksi kutsuttujen varianttien välissä on lokaalisuuskäsitteiden hierarkia, jonka eri tasot voidaan erottaa toisistaan kasvavaa dimensiota olevissa hiloissa. Toisaalta osoitetaan, että lokaalisuuskäsitteet eivät eroa toisistaan, kun rajoitutaan tarkastelemaan äärellisiä puita. Järjestysinvariantit logiikat ovat kieliä, joissa on käytössä sisäänrakennettu järjestysrelaatio, mutta sitä on käytettävä siten, etteivät kaavojen ilmaisemat asiat riipu valitusta järjestyksestä. Määritelmää voi motivoida tietojenkäsittelyn näkökulmasta: vaikka ohjelman syötteen tietojen järjestyksellä ei olisi odotetun tuloksen kannalta merkitystä, on syöte tietokoneen muistissa aina jossakin järjestyksessä, jota ohjelma voi laskennassaan hyödyntää. Väitöskirjassa tutkitaan minkälaisia lokaalisuuden muotoja järjestysinvariantit ensimmäisen kertaluvun predikaattilogiikan laajennukset yksipaikkaisilla kvanttoreilla voivat toteuttaa. Tuloksia sovelletaan tarkastelemalla, milloin sisäänrakennettu järjestys lisää logiikan ilmaisuvoimaa äärellisissä puissa.
Resumo:
Novel species of fungi described in the present study include the following from Australia: Neoseptorioides eucalypti gen. & sp. nov. from Eucalyptus radiata leaves, Phytophthora gondwanensis from soil, Diaporthe tulliensis from rotted stem ends of Theobroma cacao fruit, Diaporthe vawdreyi from fruit rot of Psidium guajava, Magnaporthiopsis agrostidis from rotted roots of Agrostis stolonifera and Semifissispora natalis from Eucalyptus leaf litter. Furthermore, Neopestalotiopsis egyptiaca is described from Mangifera indica leaves (Egypt), Roussoella mexicana from Coffea arabica leaves (Mexico), Calonectria monticola from soil (Thailand), Hygrocybe jackmanii from littoral sand dunes (Canada), Lindgomyces madisonensis from submerged decorticated wood (USA), Neofabraea brasiliensis from Malus domestica (Brazil), Geastrum diosiae from litter (Argentina), Ganoderma wiiroense on angiosperms (Ghana), Arthrinium gutiae from the gut of a grasshopper (India), Pyrenochaeta telephoni from the screen of a mobile phone (India) and Xenoleptographium phialoconidium gen. & sp. nov. on exposed xylem tissues of Gmelina arborea (Indonesia). Several novelties are introduced from Spain, namely Psathyrella complutensis on loamy soil, Chlorophyllum lusitanicum on nitrified grasslands (incl. Chlorophyllum arizonicum comb. nov.), Aspergillus citocrescens from cave sediment and Lotinia verna gen. & sp. nov. from muddy soil. Novel foliicolous taxa from South Africa include Phyllosticta carissicola from Carissa macrocarpa, Pseudopyricularia hagahagae from Cyperaceae and Zeloasperisporium searsiae from Searsia chirindensis. Furthermore, Neophaeococcomyces is introduced as a novel genus, with two new combinations, N. aloes and N. catenatus. Several foliicolous novelties are recorded from La Réunion, France, namely Ochroconis pandanicola from Pandanus utilis, Neosulcatispora agaves gen. & sp. nov. from Agave vera-cruz, Pilidium eucalyptorum from Eucalyptus robusta, Strelitziana syzygii from Syzygium jambos (incl. Strelitzianaceae fam. nov.) and Pseudobeltrania ocoteae from Ocotea obtusata (Beltraniaceae emend.). Morphological and culture characteristics along with ITS DNA barcodes are provided for all taxa.
Resumo:
Digital image
Resumo:
The project aimed to detect exotic C"11coides species recently established in northern Australia and to map the distribution of Cullcoid"' bi'e\, nth'sis and C. 1.1-, oddiill Western Australia and NT. Between February 1990 and June 1992, collections were Inade throughout Cape York Peninsula, Nortlierii Territory and northern and central Western Australia. Six previously unreported species were collected. These species an'e considered unlikely to be recent jininigrants and seein to pose little threat as potential arboviiT. Is vectors. C. woddi was restricted to coastal 1101tlierii Qld, the northernmost areas of NT and the northern Kiinberley region in WA. 111 NT C. bi'evitai'sis was collected as far soutli as Katlierine. In WA it was collected throughout the Kiinberley and in the Pilbara region ill all area bounded by Nullagine, KanTatha and 300km nortli of Carnalvon. C. bi'evilcii'sis reinains tlie only Guncoide. s species of known 11npoitance as a vector of livestock an'boviruses to extend into Inajor sheep-grazing areas. Generally, CUIicoides distributions in northern Australia between 1990 and 1992 were coinparable but not identical to those defined ill surveys conducted ill tlie 1970's and 1980's. Species distributions were not static and will continue to fluctuate witli variation ill rainfall. . .
Resumo:
A serological survey of cattle from throughout Queensland and sheep from cattle/sheep interface areas was conducted to determine the distribution and prevalence of antibodies to Bluetongue virus serotypes. This information allowed preliminary designation of arbovirusfree zones and identification of livestock populations at greatest risk to introduction of exotic Bluetongue viruses. Throughout the state antibodies were detected to only serotypes I and 21. In cattle prevalence decreased with increasing distance from the coast ringing from 73% in the far north to less than I% in the southwest. In sheep, prevalence of bluetongue antibodies in the major cattle/sheep interface areas in the north-west and central Queensland ranged from O% to 5%. A system of strategically placed sentinel herds of 10 young serologically negative cattle was established across northern Australia to monitor the distribution and seasonality of bluetongue viruses. Initially 23 herds were located in Queensland, 4 in Northern Territory and 2 in Western Australia but by the completion of the project the number of herds in Queensland had been reduced to 12. No bluetongue virus activity was detected in Western Australia or Northern Territory herds throughout the project although testing of one herd in Northern Territory with a history of bluetongue activity was not done after June 1991. In Queensland, activity to bluetongue serotypes I and 21 was detected in all years of the project. Transmissions occurred predominantly in the period April to September and were more widespread in wetter years' The pathogenic bluetongue setotypes previously isolated from the Northern Territory have not spread to adjoining States.
Resumo:
Abstract is not available.
Resumo:
We study the energetics of the accretion-induced outflow and then plausible jet around black holes/compact objects using a newly developed disc-outflow coupled model. Inter-connecting dynamics of outflow and accretion essentially upholds the conservation laws. The energetics depend strongly on the viscosity parameter α and the cooling factor f which exhibit several interesting features. The bolometric luminosities of ultra-luminous X-ray binaries (e.g. SS433) and family of highly luminous AGNs and quasars can be reproduced by the model under the super-Eddington accretion flows. Under appropriate conditions, low-luminous AGNs (e.g. Sagittarius A*) also fit reasonably well with the luminosity corresponding to a sub-Eddington accretion flow with f→1.
Resumo:
We extend some of the classical connections between automata and logic due to Büchi (1960) [5] and McNaughton and Papert (1971) [12] to languages of finitely varying functions or “signals”. In particular, we introduce a natural class of automata for generating finitely varying functions called View the MathML source’s, and show that it coincides in terms of language definability with a natural monadic second-order logic interpreted over finitely varying functions Rabinovich (2002) [15]. We also identify a “counter-free” subclass of View the MathML source’s which characterise the first-order definable languages of finitely varying functions. Our proofs mainly factor through the classical results for word languages. These results have applications in automata characterisations for continuously interpreted real-time logics like Metric Temporal Logic (MTL) Chevalier et al. (2006, 2007) [6] and [7].
Resumo:
We discuss two temperature accretion disk flows around rotating black holes. As we know that to explain observed hard X-rays the choice of Keplerian angular momentum profile is not unique, we consider the sub-Keplerian regime of the disk. Without any strict knowledge of the magnetic field structure, we assume the cooling mechanism is dominated by bremsstrahlung process. We show that in a range of Shakura-Sunyaev viscosity parameter 0.2 greater than or similar to alpha greater than or similar to 0.0005, flow behavior varies widely, particularly by means of the size of disk, efficiency of cooling and corresponding temperatures of ions and electrons. We also show that the disk around a rotating black hole is hotter compared to that around a Schwarzschild black hole, rendering a larger difference between ion and electron temperatures in the former case. With all the theoretical solutions in hand, finally we reproduce the observed luminosities (L) of two extreme cases-the under-fed AGNs and quasars (e.g. Sgr A') with L greater than or similar to 10(33) erg/s to ultra-luminous X-ray sources with L similar to 10(41) erg/s, at different combinations of mass accretion rate, ratio of specific heats, Shakura-Sunyaev viscosity parameter and Kerr parameter, and conclude that Sgr A' may be an intermediate spinning black hole.
Resumo:
We investigate viscous two-temperature accretion disc flows around rotating black holes. We describe the global solution of accretion flows with a sub-Keplerian angular momentum profile, by solving the underlying conservation equations including explicit cooling processes self-consistently. Bremsstrahlung, synchrotron and inverse Comptonization of soft photons are considered as possible cooling mechanisms. We focus on the set of solutions for sub-Eddington, Eddington and super-Eddington mass accretion rates around Schwarzschild and Kerr black holes with a Kerr parameter of 0.998. It is found that the flow, during its infall from the Keplerian to sub-Kepleria transition region to the black hole event horizon, passes through various phases of advection: the general advective paradigm to the radiatively inefficient phase, and vice versa. Hence, the flow governs a much lower electron temperature similar to 10(8)-10(9.5) K, in the range of accretion rate in Eddington units 0.01 less than or similar to (M) over dot less than or similar to 100, compared to the hot protons of temperature similar to 10(10.2)-10(11.8) K. Therefore, the solution may potentially explain the hard X-rays and gamma-rays emitted from active galactic nuclei (AGNs) and X-ray binaries. We then compare the solutions for two different regimes of viscosity. We conclude that a weakly viscous flow is expected to be cooling dominated, particularly at the inner region of the disc, compared to its highly viscous counterpart, which is radiatively inefficient. With all the solutions in hand, we finally reproduce the observed luminosities of the underfed AGNs and quasars (e. g. Sgr A*) to ultraluminous X-ray sources (e. g. SS433), at different combinations of input parameters, such as the mass accretion rate and the ratio of specific heats. The set of solutions also predicts appropriately the luminosity observed in highly luminous AGNs and ultraluminous quasars (e. g. PKS 0743-67).
Resumo:
The polyamidoamide (PAMAM) class of dendrimers was one of the first dendrimers synthesized by Tomalia and co-workers at Dow. Since its discovery the PAMAMs have stimulated many discussions on the structure and dynamics of such hyperbranched polymers. Many questions remain open because the huge conformation disorder combined with very similar local symmetries have made it difficult to characterize experimentally at the atomistic level the structure and dynamics of PAMAM dendrimers. The higher generation dendrimers have also been difficult to characterize computationally because of the large size (294852 atoms for generation 11) and the huge number of conformations. To help provide a practical means of atomistic computational studies, we have developed an atomistically informed coarse-grained description for the PAMAM dendrimer. We find that a two-bead per monomer representation retains the accuracy of atomistic simulations for predicting size and conformational complexity, while reducing the degrees of freedom by tenfold. This mesoscale description has allowed us to study the structural properties of PAMAM dendrimer up to generation 11 for time scale of up to several nanoseconds. The gross properties such as the radius of gyration compare very well with those from full atomistic simulation and with available small angle x-ray experiment and small angle neutron scattering data. The radial monomer density shows very similar behavior with those obtained from the fully atomistic simulation. Our approach to deriving the coarse-grain model is general and straightforward to apply to other classes of dendrimers.