|
|
|
|
|
Farshad Badie and Luis M. Augusto
Formal thought disorder (FTD) is a clinical mental condition that is typically diagnosable by the speech productions of patients. However, this has been a vexing condition for the clinical community, as it is not at all easy to determine what ?formal? me...
ver más
|
|
|
|
|
|
|
|
|
|
|
Jorge Fandinno, David Pearce, Concepción Vidal and Stefan Woltran
Answer Set Programming (ASP) is a well established logical approach in artificial intelligence that is widely used for knowledge representation and problem solving. Equilibrium logic extends answer set semantics to more general classes of programs and th...
ver más
|
|
|
|
|
|
|
|
|
|
|
Muzamil Hussain Syed, Tran Quoc Bao Huy and Sun-Tae Chung
With the rapid growth of internet data, knowledge graphs (KGs) are considered as efficient form of knowledge representation that captures the semantics of web objects. In recent years, reasoning over KG for various artificial intelligence tasks have rece...
ver más
|
|
|
|
|
|
|
|
|
|
|
Alberto Nicolau
Pág. 175 - 179
A design concept can be considered as a logical proposition formed by different elements, related to one another. The structure of the concept depends not only on the elements that make it up, but also on the order established among them. Hence, an alter...
ver más
|
|
|
|
|
|
|
|
|
|
|
Siti Dhalila Mohd Satar, Masnida Hussin, Zurina Mohd Hanapi and Mohamad Afendee Mohamed
Managing and controlling access to the tremendous data in Cloud storage is very challenging. Due to various entities engaged in the Cloud environment, there is a high possibility of data tampering. Cloud encryption is being employed to control data acces...
ver más
|
|
|
|
|
|
|
|
|
|
|
Nikita Nazarov
Pág. 91 - 97
The subject of study in the article is the process of socio-economic conflict management. The purpose of the work is to substantiate the theoretical provisions and methodological approaches in the management of labor conflicts as a form of social and lab...
ver más
|
|
|
|
|
|
|
|
|
|
|
Svitlana Shapovalova
Pág. 77 - 85
The subject of research in the article are test tasks to determine the performance of logical inference engines based on rules. The purpose of the work is to create a method of forming a database of rules and a set of data for analyzing the performance o...
ver más
|
|
|
|
|
|
|
|
|
|
|
P.D. Basalin,?.?. Timofeev
Pág. 49 - 55
A modification of the hybrid intellectual learning environment based on the concept of a knowledge based system of the production type, (analytical component) and neural network technologies for learning scenario planning (a synthetic component) is propo...
ver más
|
|
|
|
|
|
|
|
|
|
|
Gennadiy V. Averin,Anna V. Zviagintseva,Igor S. Konstantinov,Angela A. Shvetsova
It is proposed to use the principle of corresponding states and the principle of distance invariance in multidimensional phase spaces to create models of systems of various nature based on experimental or statistical information presented in the form of ...
ver más
|
|
|
|
|
|
|
|
|
|
|
Oleg Grinko,Vasily Kupriyanovsky,Oleg Pokusaev,Yuri Volokitin,Igor Ponkin,Dmitry Namiot,Alena Redkina
Pág. 65 - 84
This article continues the series of papers on the use of formal ontologies. Today, in the overwhelming majority of cases, much of the world's information exists in textual form: business documents, etc. It was in this historical form that a person kept ...
ver más
|
|
|
|
|
|
|
|
|
|
|
Maria Irina Dromereschi
Creativity as producing new information system, you can put in what seems unconnected connection, after so many forms of the unfold plan and in content. An entrepreneur will think and do new things or old things in a new form trying to transform ideas in...
ver más
|
|
|
|
|
|
|
|
|
|
|
Hof?e Lemmer
Pág. 13 - 34
The purpose of this paper is to present a summary of batting and bowling performance measures that have been developed over a period of eight years. The measure of batting performance (BP) consists of three components. Firstly, an exponentially we...
ver más
|
|
|
|
|
|
|
|
|
|
|
Hof?e Lemmer
Pág. 13 - 34
The purpose of this paper is to present a summary of batting and bowling performance measures that have been developed over a period of eight years. The measure of batting performance (BP) consists of three components. Firstly, an exponentially we...
ver más
|
|
|
|
|
|
|
|
|
|
|
Vasyl Martsenyuk, Andriy Sverstiuk
Pág. 75 - 84
The subject matter of the study is a model of cyber-physical immunosensory systems. The goal of the work is to create and to study the stability of the cyber-physical model of the immunosensory system at the hexagonal lattice using difference equations. ...
ver más
|
|
|
|
|
|
|
|
|
|
|
Francisco Miguel García-Olmedo, Jesús García-Miranda and Pedro González-Rodelas
The conjunctive normal form (CNF) algorithm is one of the best known and most widely used algorithms in classical logic and its applications. In its algebraic approach, it makes use in a loop of a certain well-defined operation related to the ?distributi...
ver más
|
|
|
|
|
|
|
|
|
|
|
Christian Muise
Pág. 67 - 74
Dead-end detection is a key challenge in automated planning, and it is rapidly growing in popularity. Effective dead-end detection techniques can have a large impact on the strength of a planner, and so the effective computation of dead-ends is central t...
ver más
|
|
|
|
|
|
|
|
|
|
|
Sonali Kudva and Xinyue Ye
Media convergence has changed relationships between existing technologies, industries, markets, and audiences. Smart cities are seen as the logical outcome of media convergence. Big Data form the basis and the output of smart technologies. In the last tw...
ver más
|
|
|
|
|
|
|
|
|
|
|
Sonali Kudva and Xinyue Ye
Media convergence has changed relationships between existing technologies, industries, markets, and audiences. Smart cities are seen as the logical outcome of media convergence. Big Data form the basis and the output of smart technologies. In the last tw...
ver más
|
|
|
|
|
|
|
|
|
|
|
Milton Segal,Warren Maroun
AbstractThe South African Revenue Service has been exploring the possibility of implementing a form of taxation on gambling winnings since the Minister of Finance?s Budget Speech in 2010. On a superficial level it seems a logical mechanism for broadening...
ver más
|
|
|
|
|
|
|
|
|
|
|
Piet Human
Pág. 303 - 318
Three forms of mathematics education at school level are distinguished: direct expository teaching with an emphasis on procedures, with the expectation that learners will at some later stage make logical and functional sense of what they have lear...
ver más
|
|
|
|
|
|