Search results for "Programming Language"
showing 10 items of 624 documents
TWO-DIMENSIONAL FINITE STATE RECOGNIZABILITY
1996
The purpose of this paper is to investigate about a new notion of finite state recognizability for two-dimensional (picture) languages. This notion takes as starting point the characterization of one-dimensional recognizable languages in terms of local languages and projections. Such notion can be extended in a natural way to the two-dimensional case. We first introduce a notion of local picture language and then we define,a recognizable picture language as a projection of a local picture language. The family of recognizable picture languages is denoted by REC. We study some combinatorial and language-theoretic properties of family REC. In particular we prove some closure properties with re…
Multi-letter reversible and quantum finite automata
2007
The regular language (a+b)*a (the words in alphabet {a, b} having a as the last letter) is at the moment a classical example of a language not recognizable by a one-way quantum finite automaton (QFA). Up to now, there have been introduced many different models of QFAs, with increasing capabilities, but none of them can cope with this language. We introduce a new, quite simple modification of the QFA model (actually even a deterministic reversible FA model) which is able to recognize this language. We also completely characterise the set of languages recognizable by the new model FAs, by finding a "forbidden construction" whose presence or absence in the minimal deterministic (not necessaril…
Did Pindar’s scheme really exist?
2017
Abstract: A Greek construction in which the verb is in the 3rd sg. form, while the subject is in the 3rd pl. and, in most cases, in post–verbal position, is called Pindar’s scheme inasmuch as it occurs most frequently in the poems of this author. Various explanations have been provided for this construction and it has also been interpreted as an error. The paper is an attempt at an overall syntactic explanation of the available data.
Sequential formula translation
1983
The syntax of an algorithmic language such as ALGOL is conveniently described as a sequence of states indicated by an element called cellar. Transitions are controlled by admissible state- s ymbol pairs which may be represented by a transition matrix. This description of syntax furnishes at the same time an extremely simple rule for translating into machine programs statements in the algorithmic language. Sequential treatment, however, is not feasible in the case of certain optimizing processes such as recursive address calculation.
Using ‘Ambient Intelligence’ for Compensating Intellectual Difficulties of People with Severe Learning Difficulties and/or Autistic Spectrum Disorders
2004
This paper describes a set of services and software created so that what is called ‘ambient intelligence’ would compensate for the ‘intellectual difficulties’ that people from this collective have. Existing concepts and standards of ambient intelligence are strongly reinforced through the use of the exact current user’s position as a key factor to calculate how the ‘digital home’ or any ‘digital environment’ behaves at every moment. This will be obtained using both Wi-Fi personal locators (embedded in necklaces or bracelets) and Wi-Fi communication from the PDA. This mix, together with individual capabilities and preferences, makes the development of a wide range of services possible when c…
Temperature dependence of the rate constant of hydrogen isotope interactions with a lithium capillary-porous system under reactor irradiation
2013
Abstract Experiments with a sample of a lithium capillary-porous system (CPS) were performed at the reactor IVG-1.M of the Institute of Atomic Energy NNC RK to study the effects of neutron irradiation on the parameters of hydrogen isotope interactions with a lithium CPS. The absorption technique was used during the experiments, and this technique allowed the temperature dependences of the hydrogen isotope interaction rate constants with the lithium CPS to be obtained under various reactor powers. The obtained dependencies were used to determine the main interaction parameters: the activation energies and the pre-exponents of the Arrhenius dependence of the hydrogen interaction rate constant…
Robust adaptive neural backstepping control for a class of nonlinear systems with dynamic uncertainties
2014
Published version of an article in the journal: Abstract and Applied Analysis. Also available from the publisher at: http://dx.doi.org/10.1155/2014/658671 Open Access This paper is concerned with adaptive neural control of nonlinear strict-feedback systems with nonlinear uncertainties, unmodeled dynamics, and dynamic disturbances. To overcome the difficulty from the unmodeled dynamics, a dynamic signal is introduced. Radical basis function (RBF) neural networks are employed to model the packaged unknown nonlinearities, and then an adaptive neural control approach is developed by using backstepping technique. The proposed controller guarantees semiglobal boundedness of all the signals in the…
Multilanguage Semantic Interoperability in Distributed Applications
2013
JOSI is a software framework that tries to simplify the development of such kinds of applications both by providing the possibility of working on models for representing such semantic information and by offering some implementations of such models that can be easily used by software developers without any knowledge about semantic models and languages. This software library allows the representation of domain models through Java interfaces and annotations and then to use such a representation for automatically generating an implementation of domain models in different programming languages (currently Java and C++). Moreover, JOSI supports the interoperability with other applications both by …
Artificial intelligence techniques for cancer treatment planning
1988
An artificial intelligence system, NEWCHEM, for the development of new oncology therapies is described. This system takes into account the most recent advances in molecular and cellular biology and in cell-drug interaction, and aims to guide experimentation in the design of new optimal protocols. Further work is being carried out, aimed to embody in the system all the basic knowledge of biology, physiopathology and pharmacology, to reason qualitatively from first principles so as to be able to suggest cancer therapies.
Challenges of automatic processing of large amount of skin lesion multispectral data
2020
This work will describe the challenges involved in setting up automatic processing for a large differentiated data set. In this study, a multispectral (skin diffuse reflection images using 526nm (green), 663nm (red), and 964nm (infrared) illumination and autofluorescence (AF) image using 405 nm excitation) data set with 756 lesions (3024 images) was processed. Previously, using MATLAB software, finding markers, correctly segmenting images with dark edges and image alignment were the main causes of the problems in automatic data processing. To improve automatic processing and eliminate the use of licensed software, the latter was substituted with the open source Python environment. For more …