Formal description, compression and transformation of digital pictures

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.

Fungal Planet description sheets: 281-319

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.

Dependence Logic: Investigations into Higher-Order Semantics Defined on Teams

This thesis is a study of a rather new logic called dependence logic and its closure under classical negation, team logic. In this thesis, dependence logic is investigated from several aspects. Some rules are presented for quantifier swapping in dependence logic and team logic. Such rules are among the basic tools one must be familiar with in order to gain the required intuition for using the logic for practical purposes. The thesis compares Ehrenfeucht-Fraïssé (EF) games of first order logic and dependence logic and defines a third EF game that characterises a mixed case where first order formulas are measured in the formula rank of dependence logic. The thesis contains detailed proofs of several translations between dependence logic, team logic, second order logic and its existential fragment. Translations are useful for showing relationships between the expressive powers of logics. Also, by inspecting the form of the translated formulas, one can see how an aspect of one logic can be expressed in the other logic. The thesis makes preliminary investigations into proof theory of dependence logic. Attempts focus on finding a complete proof system for a modest yet nontrivial fragment of dependence logic. A key problem is identified and addressed in adapting a known proof system of classical propositional logic to become a proof system for the fragment, namely that the rule of contraction is needed but is unsound in its unrestricted form. A proof system is suggested for the fragment and its completeness conjectured. Finally, the thesis investigates the very foundation of dependence logic. An alternative semantics called 1-semantics is suggested for the syntax of dependence logic. There are several key differences between 1-semantics and other semantics of dependence logic. 1-semantics is derived from first order semantics by a natural type shift. Therefore 1-semantics reflects an established semantics in a coherent manner. Negation in 1-semantics is a semantic operation and satisfies the law of excluded middle. A translation is provided from unrestricted formulas of existential second order logic into 1-semantics. Also game theoretic semantics are considerd in the light of 1-semantics.

Fungal Planet description sheets: 371-399

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.

Description of Beth Haim, Newport, and copy of deed

Digital image

Description of vectors of arboviruses of livestock in Northern Australia

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. . .

"Description of blue tongue and other arboviruses in Northern Australia"

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.

Static RAM cell for ternary logic

A novel CMOS static RAM cell for ternary logic systems is described. This cell is based on the lambda diode. The operation of the cell has been simulated using the SPICE 2G program. The results of the simulation are given.

A Note on Easily Testable Realizations for Logic Functions

It is shown that at most, n + 3 tests are required to detect any single stuck-at fault in an AND gate or a single faulty EXCLUSIVE OR (EOR) gate in a Reed-Muller canonical form realization of a switching function.

Reed-Muller Canonical Forms in Multivalued Logic

Canonical forms for m-valued functions referred to as m-Reed-Muller canonical (m-RMC) forms that are a generalization of RMC forms of two-valued functions are proposed. m-RMC forms are based on the operations ?m (addition mod m) and .m (multiplication mod m) and do not, as in the cases of the generalizations proposed in the literature, require an m-valued function for m not a power of a prime, to be expressed by a canonical form for M-valued functions, where M > m is a power of a prime. Methods of obtaining the m-RMC forms from the truth vector or the sum of products representation of an m-valued function are discussed. Using a generalization of the Boolean difference to m-valued logic, series expansions for m-valued functions are derived.

A New Type of Dihedral Angle for the Description of Bimolecular Structures

Abstract is not available.

The logic of data-sense: Thinking through Learning Personalisation

Big Data and Learning Analytics’ promise to revolutionise educational institutions, endeavours, and actions through more and better data is now compelling. Multiple, and continually updating, data sets produce a new sense of ‘personalised learning’. A crucial attribute of the datafication, and subsequent profiling, of learner behaviour and engagement is the continual modification of the learning environment to induce greater levels of investment on the parts of each learner. The assumption is that more and better data, gathered faster and fed into ever-updating algorithms, provide more complete tools to understand, and therefore improve, learning experiences through adaptive personalisation. The argument in this paper is that Learning Personalisation names a new logistics of investment as the common ‘sense’ of the school, in which disciplinary education is ‘both disappearing and giving way to frightful continual training, to continual monitoring'.