There are no commonly-agreed mathematical models for the inputoutput relationship of underwater acoustic channels. For each path in a time-varying multipath channel within a short period of time (e.g., one short data block), this paper proposes to use one polynomial to approximate the amplitude variation and another polynomial up to the first order to approximate the delay variation within a bl...

G4LTL-ST automatically synthesizes control code for industrial Programmable Logic Controls (PLC) from timed behavioral specifications of inputoutput signals. These specifications are expressed in a linear temporal logic (LTL) extended with non-linear arithmetic constraints and timing constraints on signals. G4LTL-ST generates code in IEC 61131-3-compatible Structured Text, which is compiled int...

In this paper, a cluster validity concept from an unsupervised to a supervised manner is presented. Most cluster validity criterions were established in an unsupervised manner, although many clustering methods performed in supervised and semi-supervised environments that used context information and performance results of the model. Context-based clustering methods can divide the input spaces u...

Reinforcement learning based on a new training method previously reported guarantees convergence and an almost complete set of rules. However, there are two shortcomings remained: first, the membership functions of the input sensor readings are determined manually and take the same form; and second, there are still a small number of blank rules needed to be manually inserted. To address these t...

In the paper we recover the static characteristic of Wiener-Hammerstein (sandwich) system from inputoutput data. The system is excited and disturbed by random processes with arbitrary distribution. Two kernel-based estimates are proposed and compared. It is shown that they can successfully recover the system characteristic under small amount of a priori information about the static characterist...

The excessive use of greenhouse gases (mainly carbon dioxide) causes a global emission gases. This has eventually brought climate change and warming, that will affect the human life standard. Also it several economical impacts such as increasing mitigation budget for anticipating problems by applying tax one strategies to reduce emissions. Carbon is additional economic instrument high possibili...

The aim of this study was to evaluate the long-term (16-years) nitrogenefficiency after the application of organic and mineral fertilizers at two sitesLukavec (S1) and Suchdol (S2) with different soil and climatic conditions in theCzech Republic (Central Europe) and to determine grain yield and nitrogen contentwith regard to the requirements of protein content for baking quality of wheat.After ...

The problem of learning automata from example traces (but no equivalence or membership queries) is fundamental in automata learning theory and practice. In this paper we study this problem for finite state machines with inputs and outputs, and in particular for Moore machines. We introduce three algorithms for solving this problem: (1) the PTAP algorithm, which transforms a set of inputoutput t...

Despite tremendous progress in outlier detection research in recent years, the majority of existing methods are designed only to detect unconditional outliers that correspond to unusual data patterns expressed in the joint space of all data attributes. Such methods are not applicable when we seek to detect conditional outliers that reflect unusual responses associated with a given context or co...

We present a new class of neural network models of reading aloud based on Sejnowski & Rosenberg’s NETtalk. Unlike previous models, they are not restricted to mono-syllabic words, require no complicated inputoutput representations such as Wickelfeatures and require no preprocessing to align the letters and phonemes in the training data. The best cases are able to achieve perfect performance on t...