Rewriting systems and biautomatic structures for Chinese, hypoplactic, and sylvester monoids

This paper studies complete rewriting systems and biautomaticity for three interesting classes of finite-rank homogeneous monoids: Chinese monoids, hypoplactic monoids, and sylvester monoids. For Chinese monoids, we first give new presentations via finite complete rewriting systems, using more lucid constructions and proofs than those given independently by Chen & Qui and Güzel Karpuz; we then construct biautomatic structures. For hypoplactic monoids, we construct finite complete rewriting systems and biautomatic structures. For sylvester monoids, which are not finitely presented, we prove that the standard presentation is an infinite complete rewriting system, and construct biautomatic structures. Consequently, the monoid algebras corresponding to monoids of these classes are automaton algebras in the sense of Ufnarovskij

Macroanatomy of cecum in german mast geese (Anser Anser) and investigation with scanning electron microscope (Sem)

Our study aimed to compare the cecum of German mast geese with other poultry species through macroanatomy and scanning electron microscope (SEM). Adult German geese were used as research material, which were obtained from its breeders and died of various causes. In the study, after determining the macroanatomical features of the German mast goose cecum, it was examined with a scanning electron microscope (JEOL JSM-5600LV) and the general structures were photographed. The craniodorsal of the rectum of German mast geese was shaped with two ceca, giving right and left arms to the cranial symmetrical to each other near the end of the ileum. The macroanatomy of the apex, corpus, and basis cecum parts was examined in the cecum divided into two. In the study, it was determined that villus extensions were sparse in the right and left apex ceci parts in the cecum SEM images of the German mast geese, while the number of the corpus and basis ceci parts was higher. As a result, the macroanatomy and scanning electron microscopic findings of German mast geese cecum were examined in detail and its differences from other poultry species were revealed

Comparison of the calculated absorption and the measured field strength of HF waves reflected from the ionosphere

The absorption (L) of the wave in the ionosphere has been calculated. The 5.47MHz wave is transmitted from Ercis, Turkey (39.03°N, 43.37°E)and received at Elazıg, Turkey (38.70°N, 39.20°E). The field strength of this wave is measured by ITU-Compliant HF Field Strength Monitoring Terminal, and the absorption L in the ionosphere has been calculated. It is observed that the field strength of the wave is least around noon time and it increases at night times at all seasons. The diurnal and seasonal variations of the calculated absorption L shows that the maximum absorption in the wave occurs around noon time. The behaviour of the diurnal and seasonal variations of the field strength of the wave can be explained with the diurnal and seasonal variations of the calculated absorption L in the ionosphere. Equation (22) in this paper can be used to obtain the imaginary part (β) of the refractive index of the ionospheric plasma, and it can be applied to the HF radio waves propagations in the ionosphere for absorption L

Scale development for pre-service mathematics teachers’ perceptions related to their pedagogical content knowledge

The purpose of this study is to develop a scale to determine pre-service mathematics teachers’ perceptions related to their pedagogical content knowledge. Firstly, a preliminary perception scale of pedagogical content knowledge was constructed and then administered to 112 pre-service mathematics teachers who were enrolled in a mathematics teacher education programme. Exploratory and confirmatory factor analysis, item analysis, correlation analysis, internal consistency and descriptive statistic techniques were used to analyse the data. Then validity and reliability of the scale were investigated. The analyses resulted in the development of a five-factor scale of 17 items that was proved valid and reliable. We contend that the scale developed has the merit to contribute to pre-service teachers’ self-awareness by revealing their perceptions regarding their pedagogical content knowledge.Keywords: pedagogical content knowledge, pre-service mathematics teachers,scale developmen

Ontology-based data access with a horn fragment of metric temporal logic

We advocate datalogMTL, a datalog extension of a Horn fragment of the metric temporal logic MTL, as a language for ontology-based access to temporal log data. We show that datalogMTL is EXPSPACE-complete even with punctual intervals, in which case MTL is known to be undecidable. Nonrecursive datalogMTL turns out to be PSPACE-complete for combined complexity and in AC0 for data complexity. We demonstrate by two real-world use cases that nonrecursive datalogMTL programs can express complex temporal concepts from typical user queries and thereby facilitate access to log data. Our experiments with Siemens turbine data and MesoWest weather data show that datalogMTL ontology-mediated queries are efficient and scale on large datasets of up to 11GB

Two solar eclipses observations in Turkey

In thispap er, the changesin the ionosphere over Turkey due to two solar eclipses are reported. TEC on the eclipse day (26 April 1976) and the intensity of an HF radio wave during itspropagation over 567 km between Ankara and Elazıˇg on the eclipse day (11 August 1999) exhibited a very marked decrease

Querying log data with Metric Temporal Logic

We propose a novel framework for ontology-based access to temporal log data using a datalog extension datalogMTL of a Horn fragment of the metric temporal logic MTL. We show that datalogMTL is ExpSpace-complete even with punctual intervals, in which case full MTL is known to be undecidable. We also prove that nonrecursive datalogMTL is PSpace-complete for combined complexity and in AC0 for data complexity. We demonstrate by two real-world use cases that nonrecursive datalogMTL programs can express complex temporal concepts from typical user queries and thereby facilitate access to temporal log data. Our experiments with Siemens turbine data and MesoWest weather data show that datalogMTL ontology-mediated queries are efficient and scale on large datasets of up to 8.3GB

Application of the linear principle for the strongly-correlated variables: Calculations of differences between spectra

In this paper the authors suggest a new method of detection of possible differences between similar near infrared (NIR) spectra based on the self-similar (fractal) property. This property is a general characteristic that belongs to a wide class of the strongly-correlated systems. As an example we take a set of NIR spectra measured for three systems: (1) glassy carbon (GC) electrodes, (2) GC electrodes affected by azobenzene (AB) substance and finally (3) films (AB-FILM). Besides the physical model that should describe the intrinsic properties of these substances we found the fitting function that follow from the linear principle for the strongly-correlated variables. This function expressed in the form of linear combination of 4 power-law functions describes with the high accuracy the integrated curves that were obtained from the averaged values of the initially measured spectra. The nine fitting parameters can be considered as the quantitative "finger prints" for detection of the differences between similar spectra. Besides this result we established the self-similar behavior of the remnant functions. In other words, the difference between the initially integrated function and its fitting function can be expressed in the form of linear combinations of periodical functions having a set of frequencies following to relationship ω(k)=ω0ξk, where the initial frequency ω0 and scaling factor ξ are determined by the eigen-coordinates method. This behavior in the NIR spectra was discovered in the first time and physical reasons of such behavior merit an additional research. © 2011

Two-dimensional rule language for querying sensor log data: a framework and use cases

Motivated by two industrial use cases that involve detecting events of interest in (asynchronous) time series from sensors in manufacturing rigs and gas turbines, we design an expressive rule language DslD equipped with interval aggregate functions (such as weighted average over a time interval), Allen’s interval relations and various metric constructs. We demonstrate how to model events in the uses cases in terms of DslD programs. We show that answering DslD queries in our use cases can be reduced to evaluating SQL queries. Our experiments with the use cases, carried out on the Apache Spark system, show that such SQL queries scale well on large real-world datasets

The virtual knowledge graph system Ontop

Ontop is a popular open-source virtual knowledge graph system that can expose heterogeneous data sources as a unified knowledge graph. Ontop has been widely used in a variety of research and industrial projects. In this paper, we describe the challenges, design choices, new features of the latest release of Ontop v4, summarizing the development efforts of the last 4 years