136 research outputs found

    Conference Program

    Get PDF
    Proceedings of the 17th Nordic Conference of Computational Linguistics NODALIDA 2009. Editors: Kristiina Jokinen and Eckhard Bick. NEALT Proceedings Series, Vol. 4 (2009), xi-xiv. © 2009 The editors and contributors. Published by Northern European Association for Language Technology (NEALT) http://omilia.uio.no/nealt . Electronically published at Tartu University Library (Estonia) http://hdl.handle.net/10062/9206

    Contents

    Get PDF
    Proceedings of the 17th Nordic Conference of Computational Linguistics NODALIDA 2009. Editors: Kristiina Jokinen and Eckhard Bick. NEALT Proceedings Series, Vol. 4 (2009), iii-vi. © 2009 The editors and contributors. Published by Northern European Association for Language Technology (NEALT) http://omilia.uio.no/nealt . Electronically published at Tartu University Library (Estonia) http://hdl.handle.net/10062/9206

    Forgotten Islands of Regularity in Phonology

    Get PDF
    Open access publication of this volume supported by National Research, Development and Innovation Office grant NKFIH #120145 `Deep Learning of Morphological Structure'.Giving birth to Finite State Phonology is classically attributed to Johnson (1972), and Kaplan and Kay (1994). However, there is an ear- lier discovery that was very close to this achievement. In 1965, Hennie presented a very general sufficient condition for regularity of Turing machines. Although this discovery happened chronologically before Generative Phonology (Chomsky and Halle, 1968), it is a mystery why its relevance has not been realized until recently (Yli-Jyrä, 2017). The antique work of Hennie provides enough generality to advance even today’s frontier of finite-state phonology. First, it lets us construct a finite-state transducer from any grammar implemented by a tightly bounded one- tape Turing machine. If the machine runs in o(n log n), the construction is possible, and this case is reasonably decidable. Second, it can be used to model the regularity in context-sensitive derivations. For example, the suffixation in hunspell dictionaries (Németh et al., 2004) corresponds to time-bounded two-way computations performed by a Hennie machine. Thirdly, it challenges us to look for new forgotten islands of regularity where Hennie’s condition does not necessarily hold.Hennie presented a very general sufficient condition for regularity of Turing machines. This happened chronologically before Generative Phonology (Chomsky & Halle 1968) and the related finite-state research (Johnson 1972; Kaplan & Kay 1994). Hennie’s condition lets us (1) construct a finite-state transducer from any grammar implemented by a linear-time Turing machine, and (2) to model the regularity in context-sensitive derivations. For example, the suffixation in hunspell dictionaries (Németh et al. 2004) corresponds to time-bounded two way computations performed by a Hennie machine. Furthermore, it challenges us to look for new forgotten islands of regularity where Hennie’s condition does not necessarily hold.Peer reviewe

    Quantum information dynamics

    Get PDF
    Presented is a study of quantum entanglement from the perspective of the theory of quantum information dynamics. We consider pairwise entanglement and present an analytical development using joint ladder operators, the sum of two single-particle fermionic ladder operators. This approach allows us to write down analytical representations of quantum algorithms and to explore quantum entanglement as it is manifested in a system of qubits.;We present a topological representation of quantum logic that views entangled qubit spacetime histories (or qubit world lines) as a generalized braid, referred to as a super-braid. The crossing of world lines may be either classical or quantum mechanical in nature, and in the latter case most conveniently expressed with our analytical expressions for entangling quantum gates. at a quantum mechanical crossing, independent world lines can become entangled. We present quantum skein relations that allow complicated superbraids to be recursively reduced to alternate classical histories. If the superbraid is closed, then one can decompose the resulting superlink into an entangled superposition of classical links. Also, one can compute a superlink invariant, for example the Jones polynomial for the square root of a knot.;We present measurement-based quantum computing based on our joint number operators. We take expectation values of the joint number operators to determine kinetic-level variables describing the quantum information dynamics in the qubit system at the mesoscopic scale. We explore the issue of reversibility in quantum maps at this scale using a quantum Boltzmann equation. We then present an example of quantum information processing using a qubit system comprised of nuclear spins. We also discuss quantum propositions cast in terms of joint number operators.;We review the well known dynamical equations governing superfluidity, with a focus on self-consistent dynamics supporting quantum vortices in a Bose-Einstein condensate (BEC). Furthermore, we review the mutual vortex-vortex interaction and the consequent Kelvin wave instability. We derive an effective equation of motion for a Fermi condensate that is the basis of our qubit representation of superfluidity.;We then present our quantum lattice gas representation of a superfluid. We explore aspects of our model with two qubits per point, referred to as a Q2 model, particularly its usefulness for carrying out practical quantum fluid simulations. We find that it is perhaps the simplest yet most comprehensive model of superfluid dynamics. as a prime application of Q2, we explore the power-law regions in the energy spectrum of a condensate in the low-temperature limit. We achieved the largest quantum simulations to date of a BEC and, for the first time, Kolmogorov scaling in superfluids, a flow regime heretofore only obtainably by classical turbulence models.;Finally, we address the subject of turbulence regarding information conservation on the small scales (both mesoscopic and microscopic) underlying the flow dynamics on the large hydrodynamic (macroscopic) scale. We present a hydrodynamic-level momentum equation, in the form of a Navier-Stokes equation, as the basis for the energy spectrum of quantum turbulence at large scales. Quantum turbulence, in particular the representation of fluid eddies in terms of a coherent structure of polarized quantum vortices, offers a unique window into the heretofore intractable subject of energy cascades

    Digital Morphometry : A Taxonomy Of Morphological Filters And Feature Parameters With Application To Alzheimer\u27s Disease Research

    Get PDF
    In this thesis the expression digital morphometry collectively describes all those procedures used to obtain quantitative measurements of objects within a two-dimensional digital image. Quantitative measurement is a two-step process: the application of geometrical transformations to extract the features of interest, and then the actual measurement of these features. With regard to the first step the morphological filters of mathematical morphology provide a wealth of suitable geometric transfomations. Traditional radiometric and spatial enhancement techniques provide an additional source of transformations. The second step is more classical (e.g. Underwood, 1970; Bookstein, 1978; and Weibull, 1980); yet here again mathematical morphology is applicable - morphologically derived feature parameters. This thesis focuses on mathematical morphology for digital morphometry. In particular it proffers a taxonomy of morphological filters and investigates the morphologically derived feature parameters (Minkowski functionals) for digital images sampled on a square grid. As originally conceived by Georges Matheron, mathematical morphology concerns the analysis of binary images by means of probing with structuring elements [typically convex geometric shapes] (Dougherty, 1993, preface). Since its inception the theory has been extended to grey-level images and most recently to complete lattices. It is within the very general framework of the complete lattice that the taxonomy of morphological filters is presented. Examples are provided to help illustrate the behaviour of each type of filter. This thesis also introduces DIMPAL (Mehnert, 1994) - a PC-based image processing and analysis language suitable for researching and developing algorithms for a wide range of image processing applications. Though DIMPAL was used to produce the majority of the images in this thesis it was principally written to provide an environment in which to investigate the application of mathematical morphology to Alzheimer\u27s disease research. Alzheimer\u27s disease is a form of progressive dementia associated with the degeneration of the brain. It is the commonest type of dementia and probably accounts for half the dementia of old age (Forsythe, 1990, p. 21 ). Post mortem examination of the brain reveals the presence of characteristic neuropathologic lesions; namely neuritic plaques and neurofibrillary tangles. They occur predominantly in the cerebral cortex and hippocampus. Quantitative studies of the distribution of plaques and tangles in normally aged and Alzheimer brains are hampered by the enormous amount of time and effort required to count and measure these lesions. Here in a morphological algorithm is proposed for the automatic segmentation and measurement of neuritic plaques from light micrographs of post mortem brain tissue

    Modeling and Optimization of Renewable Energy Systems

    Get PDF
    This book includes solar energy, wind energy, hybrid systems, biofuels, energy management and efficiency, optimization of renewable energy systems and much more. Subsequently, the book presents the physical and technical principles of promising ways of utilizing renewable energies. The authors provide the important data and parameter sets for the major possibilities of renewable energies utilization which allow an economic and environmental assessment. Such an assessment enables us to judge the chances and limits of the multiple options utilizing renewable energy sources. It will provide useful insights in the modeling and optimization of different renewable systems. The primary target audience for the book includes students, researchers, and people working on renewable energy systems

    Megascopic Quantum Phenomena. A Critical Study of Physical Interpretations

    Full text link
    A megascopic revalidation is offered providing responses and resolutions of current inconsistencies and existing contradictions in present-day quantum theory. As the core of this study we present an independent proof of the Goldstone theorem for a quantum field formulation of molecules and solids. Along with phonons two types of new quasiparticles appear: rotons and translons. In full analogy with Lorentz covariance, combining space and time coordinates, a new covariance is necessary, binding together the internal and external degrees of freedom, without explicitly separating the centre-of-mass, which normally applies in both classical and quantum formulations. The generally accepted view regarding the lack of a simple correspondence between the Goldstone modes and broken symmetries, has significant consequences: an ambiguous BCS theory as well as a subsequent Higgs mechanism. The application of the archetype of the classical spontaneous symmetry breaking, i.e. the Mexican hat, as compared to standard quantum relations, i.e. the Jahn-Teller effect, superconductivity or the Higgs mechanism, becomes a disparity. In short, symmetry broken states have a microscopic causal origin, but transitions between them have a teleological component. The different treatments of the problem of the centre of gravity in quantum mechanics and in field theories imply a second type of Bohr complementarity on the many-body level opening the door for megascopic representations of all basic microscopic quantum axioms with further readings for teleonomic megascopic quantum phenomena, which have no microscopic rationale: isomeric transitions, Jahn-Teller effect, chemical reactions, Einstein-de Haas effect, superconductivity-superfluidity, and brittle fracture.Comment: 117 pages, 17 sections, final revised version from 20 May 2019 but uploaded after the DOI was know

    Ising Graphical Model

    Get PDF
    The Ising model is an important model in statistical physics, with over 10,000 papers published on the topic. This model assumes binary variables and only local pairwise interactions between neighbouring nodes. Inference for the general Ising model is NP-hard; this includes tasks such as calculating the partition function, finding a lowest-energy (ground) state and computing marginal probabilities. Past approaches have proceeded by working with classes of tractable Ising models, such as Ising models defined on a planar graph. For such models, the partition function and ground state can be computed exactly in polynomial time by establishing a correspondence with perfect matchings in a related graph. In this thesis we continue this line of research. In particular we simplify previous inference algorithms for the planar Ising model. The key to our construction is the complementary correspondence between graph cuts of the model graph and perfect matchings of its expanded dual. We show that our exact algorithms are effective and efficient on a number of real-world machine learning problems. We also investigate heuristic methods for approximating ground states of non-planar Ising models. We show that in this setting our approximative algorithms are superior than current state-of-the-art methods
    corecore