scholarly journals Learning Strictly Local Subsequential Functions

2014 ◽  
Vol 2 ◽  
pp. 491-504 ◽  
Author(s):  
Jane Chandlee ◽  
Rémi Eyraud ◽  
Jeffrey Heinz
Keyword(s):  
Learning Algorithm ◽  
Future Directions ◽  
Phonological Processes ◽  
Positive Data ◽  
Strict Locality ◽  
Non Local ◽  
Morphological Processes ◽  
Theoretic Characterization ◽  
Future Work

We define two proper subclasses of subsequential functions based on the concept of Strict Locality (McNaughton and Papert, 1971; Rogers and Pullum, 2011; Rogers et al., 2013) for formal languages. They are called Input and Output Strictly Local (ISL and OSL). We provide an automata-theoretic characterization of the ISL class and theorems establishing how the classes are related to each other and to Strictly Local languages. We give evidence that local phonological and morphological processes belong to these classes. Finally we provide a learning algorithm which provably identifies the class of ISL functions in the limit from positive data in polynomial time and data. We demonstrate this learning result on appropriately synthesized artificial corpora. We leave a similar learning result for OSL functions for future work and suggest future directions for addressing non-local phonological processes.

scholarly journals Learning Phonological Mappings by Learning Strictly Local Functions

2014 ◽  
Vol 1 (1) ◽  
Author(s):  
Jane Chandlee ◽  
Adam Jardine
Keyword(s):  
Learning Algorithm ◽  
Formal Languages ◽  
Proper Subset ◽  
Input Output ◽  
Phonological Processes ◽  
Local Functions ◽  
Output Mapping ◽  
Strict Locality ◽  
Computational Property ◽  
Theoretic Characterization

<p>In this paper we identify strict locality as a defining computational property of the input-output mapping that underlies local phonological processes. We provide an automata-theoretic characterization for the class of Strictly Local functions, which are based on the well-studied Strictly Local formal languages (McNaughton &amp; Papert 1971; Rogers &amp; Pullum 2011; Rogers et al. 2013), and show how they can model a range of phonological processes. We then present a learning algorithm, the SLFLA, which uses the defining property of strict locality as an inductive principle to learn these mappings from finite data. The algorithm is a modification of an algorithm developed by Oncina et al. (1993) (called OSTIA) for learning the class of subsequential functions, of which the SL functions are a proper subset. We provide a proof that the SLFLA learns the class of SL functions and discuss these results alongside previous studies on using OSTIA to learn phonological mappings (Gildea and Jurafsky 1996).</p>

scholarly journals A lattice-theoretic characterization of pure subgroups of Abelian groups

2021 ◽  
Author(s):  
M. Ferrara ◽  
M. Trombetti
Keyword(s):  
Abelian Group ◽  
Abelian Groups ◽  
Subgroup Lattice ◽  
General Definition ◽  
Short Paper ◽  
Theoretic Characterization ◽  
Definition Of

AbstractLet G be an abelian group. The aim of this short paper is to describe a way to identify pure subgroups H of G by looking only at how the subgroup lattice $$\mathcal {L}(H)$$ L ( H ) embeds in $$\mathcal {L}(G)$$ L ( G ) . It is worth noticing that all results are carried out in a local nilpotent context for a general definition of purity.

Information-theoretic characterization of eye-tracking signals with relation to cognitive tasks

2021 ◽  
Vol 31 (3) ◽  
pp. 033107
Author(s):  
F. R. Iaconis ◽  
A. A. Jiménez Gandica ◽  
J. A. Del Punta ◽  
C. A. Delrieux ◽  
G. Gasaneo
Keyword(s):  
Eye Tracking ◽  
Cognitive Tasks ◽  
Information Theoretic ◽  
Theoretic Characterization

A Module-theoretic Characterization of Algebraic Hypersurfaces

2018 ◽  
Vol 61 (1) ◽  
pp. 166-173
Author(s):  
Cleto B. Miranda-Neto
Keyword(s):  
Algebraic Variety ◽  
Characteristic Zero ◽  
Vector Fields ◽  
Exterior Power ◽  
Algebraic Hypersurfaces ◽  
Theoretic Characterization

AbstractIn this note we prove the following surprising characterization: if X ⊂ is an (embedded, non-empty, proper) algebraic variety deûned over a field k of characteristic zero, then X is a hypersurface if and only if the module of logarithmic vector fields of X is a reflexive -module. As a consequence of this result, we derive that if is a free -module, which is shown to be equivalent to the freeness of the t-th exterior power of for some (in fact, any) t ≤ n, then necessarily X is a Saito free divisor.

scholarly journals Experimental characterization of a non-local convertor for quantum photonic networks

2017 ◽  
Vol 25 (7) ◽  
pp. 7839 ◽  
Author(s):  
Michal Mičuda ◽  
Robert Stárek ◽  
Petr Marek ◽  
Martina Miková ◽  
Ivo Straka ◽  
...  
Keyword(s):  
Experimental Characterization ◽  
Photonic Networks ◽  
Non Local

scholarly journals GALOIS THEORY OF THE CANONICAL THETA STRUCTURE

2011 ◽  
Vol 07 (01) ◽  
pp. 173-202
Author(s):  
ROBERT CARLS
Keyword(s):  
Galois Theory ◽  
Theoretical Foundation ◽  
Abelian Varieties ◽  
Geometric Mean ◽  
Null Point ◽  
Point Counting ◽  
Characteristic 2 ◽  
Theoretic Characterization ◽  
Generalized Arithmetic

In this article, we give a Galois-theoretic characterization of the canonical theta structure. The Galois property of the canonical theta structure translates into certain p-adic theta relations which are satisfied by the canonical theta null point of the canonical lift. As an application, we prove some 2-adic theta identities which describe the set of canonical theta null points of the canonical lifts of ordinary abelian varieties in characteristic 2. The latter theta relations are suitable for explicit canonical lifting. Using the theory of canonical theta null points, we are able to give a theoretical foundation to Mestre's point counting algorithm which is based on the computation of the generalized arithmetic geometric mean sequence.

Nondestructive Photoelastic and Machine Learning Characterization of Surface Cracks and Prediction of Weibull Parameters for Photovoltaic Silicon Wafers

2021 ◽  
pp. 1-40
Author(s):  
Logan Rowe ◽  
Alexander J. Kaczkowski ◽  
Tung-Wei Lin ◽  
Gavin Horn ◽  
Harley Johnson
Keyword(s):  
Machine Learning ◽  
Learning Algorithm ◽  
Tensile Load ◽  
Silicon Wafers ◽  
Uniaxial Tensile ◽  
Support Vector ◽  
Weibull Parameters ◽  
Bulk Stress ◽  
Wire Motion

Abstract A nondestructive photoelastic method is presented for characterizing surface microcracks in monocrystalline silicon wafers, calculating the strength of the wafers, and predicting Weibull parameters under various loading conditions. Defects are first classified from through thickness infrared photoelastic images using a support vector machine learning algorithm. Characteristic wafer strength is shown to vary with the angle of applied uniaxial tensile load, showing greater strength when loaded perpendicular to the direction of wire motion than when loaded along the direction of wire motion. Observed variations in characteristic strength and Weibull shape modulus with applied tensile loading direction stem from the distribution of crack orientations and the bulk stress field acting on the microcracks. Using this method it is possible to improve manufacturing processes for silicon wafers by rapidly, accurately, and nondestructively characterizing large batches in an automated way.

scholarly journals Characterization of pesticide consumption in the county of Santarém, Pará, Brazil

2000 ◽  
Vol 30 (4) ◽  
pp. 615-615 ◽  
Author(s):  
Nicolas SOUMIS ◽  
Marc ROULET ◽  
Marc LUCOTTE
Keyword(s):  
Methyl Parathion ◽  
Synthetic Pyrethroids ◽  
Toxic Substances ◽  
Organophosphate Insecticide ◽  
Pesticide Contamination ◽  
Annual Consumption ◽  
Per Capita ◽  
Future Work ◽  
Pesticide Usage

Many potentially harmful pesticides for both human health and the environment are used in Brazilian Amazon. However, no scientific datum on pesticide usage is presently available for this region. Consequently, it is difficult to assess which substances arc used and in which quantities. As an important premise for future work on pesticide contamination in the county of Santarém (State of Pará, Brazil), a survey was conducted in order to qualify and quantify the use of some pesticides in this region. This investigation was made between January and March 1997 and August and October 1998 and revealed use of several organophosphates, synthetic pyrethroids and carbamates insecticides. Furthermore, many herbicides and fungicides were listed. These pesticides are used for agriculture, domestic, and sanitary programs. This paper also provides a first estimation of quantities of some insecticides commonly used in agriculture (chlorpyrifos, malathion, metamidophos and methyl-parathion). The annual consumption for these four compounds is estimated at ca. 1 910 kg. Organophosphate insecticide consumption in the county of Santarém seems to be lower than the Brazilian average in terms of «per capita» and «per agricultural area» consumptions. Nevertheless, this county uses toxic substances on sensitive environments such as floodplains (várzeas), making relevant a thorough study on the potential contamination of this environment and its biota.

Sign in / Sign up

Export Citation Format

Share Document