The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
R-unions and R-intersections of T-external (Iexternal, F-external) neutrosophic cubic sets are considered. Examples to show that the R-intersection and R-union of Texternal (I-external, F-external) neutrosophic cubic sets may not be a T-external (I-external, F-external) neutrosophic cubic set are provided. Conditions for the R-union and R-intersection of T-external (I-external, F-external) neutrosophic...
Event-B is a formal method which uses first-order logic and set theory as the underlying mathematical notation for specifying and reasoning about discrete systems. Rod in is an Eclipse plug-in that offers a good tool support for Event-B. The aim of this paper consists in applying Event-B and Rod in to prove the non-starvation property of satisfying requests for services in a multi-agent system.
Historical data provide valuable information for the nderstanding of human interactions through time. However, mining this data is challenging as the available records are generally noise digitized handwritten, typewritten or press printed documents. In this research proposal, we plan to develop tools and techniques for pre-processing and extracting information from documents of the military dictatorship...
In everyday life, our brains integrate various kinds of information from different modalities to perceive our complex environment. Temporal synchrony of audiovisual stimuli is required for audiovisual integration. Many studies have shown that temporal asynchrony of visual-auditory stimuli can influence the interaction between visual and auditory stimulus, however, the multisensory mechanisms of asynchrony...
In this paper we describe work-in-progress to develop a description of the ways by which intelligence analysts engage in the thinking and reasoning processes when engaged in the intelligence analysis task. Such a model will be used to inform the design the interactive visual interfaces for a next generation intelligence analysis system. We introduce the concepts of fluidity and rigour as key characteristics...
Extension knowledge can be used to solve the problem of the objective world. Using extension strategy to improve the ESGS generation system, human intelligence has important significance, Conduction transform and conduction problem solving contradiction is ESGS involves important issues. This paper analyzes the problem of solving the contradiction between conduction steps, discusses the application...
The increased access of information enables a greater awareness of people with environmental and social problems, which leads to perform daily activities with less effort that requires a greater demand on the condition of the pedestrian locomotion. Planning, engineering, operation, maintenance and development of the public places are critical elements in the improvement of the people locomotion. Therefore,...
The calculus of positively constructed formulas (PCF) is a first-order formalism that has many features useful for solving problems of dynamic systems control. This formalism is used as a basis for automatic theorem proving (ATP) systems. Many problems in the field of ATP can be formalized only with the use of equality predicate. Using this predicate will require adding extra axioms into the problem...
This talk will summarize the University of Arizona Artificial Intelligence Lab's Dark Web research and discuss current and future development of a new GeoPolitical Web research program, which aims to study the emerging geopolitical events using advanced social media analytics techniques. The GeoPolital Web project is collecting longitudinal multilingual social media contents (forums, twitters, videos)...
The study on artificial intelligence (AI) is highly interdisplinary, which involves increasing number of researchers from different academic fields. In order to provide an overview for the researchers on recent publications in related fields, we conducted a statistic analysis using bibliometric methods. Using the data source from Web of Science (ISI), we have studied the articles published in the...
This paper presents a design of a 5-bit 2Gsamples/s digital-to-analog converter (DAC) in 90-nm CMOS technology for DS-CDMA UWB transceivers applications. The proposed DAC was designed with a current binary weighted architecture for high frequency sampling rate. For low glitches, optimized deglitch circuit is adopted for the selection of current sources. The measured integral nonlinearity (INL) is...
Students' self-regulation ability is an important component for a successful emotionally intelligent tutoring system. Emotion-focused and problem-focused strategies have been recognized as the commonly used strategies by individuals for self-regulation. However, very little work has been done to model self-regulation strategies in affective tutoring system. Thus, this paper presents a qualitative...
An intelligent suitcase is designed, which can move automatically or can be artificially dragged. With the device of differential mechanism, the suitcase can decelerate, obtain different velocity of the two wheels and sheer off according to the signal of the motor driver. Meanwhile, the transform of automatic control and artificial drag is achieved through the clutch. Electron magnetic brake is equipped...
This paper attention to at present some occasions the liquid filling machine (such as water machine) container size changeful, requirements "installed" full and do not focus on the filling capacity of the situation, this paper has pointed special design and discusses a structure and its principle which can make ordinary water machine smart update filling liquid surface used the intelligent...
Based on control system of the belt intelligent transmission system analysis and research, the choice of the principles of PLC of intelligent transport systems and the circuit and the control procedures of control part have been. They meet the system's functionality.
Different search strategies, like Boolean satisfiability (SAT), constraint programming (CP), and integer programming (IP) have been developed to solve classes of combinatorial search problems like the quasi-group completion problem (QCP). This paper proposes a new effective algorithm developed for solving the classic QCP — the Latin-square completion problem. The method is demonstrated by solving...
As a comprehensive computer science and technology in the field of new technologies, the virtual reality technology is a hot computer simulation applied research, involving many development and application areas, and greatly enriches our lives. In this paper, it describes the necessary overview of virtual reality technology and the applications status; According to the authors' recent work, the paper...
Business process reengineering (BPR) is a hotspot both in academic field and in modern enterprises. Aimed to explore a process reengineering model for manufacturing enterprises in China, studied BPR and its development, analyzed the problems existed in manufacturing enterprises as well as the deficiency in implementing BPR, an integrated BPR system based on AI and J2EE is proposed. Finally, the plan...
Prolog is a declarative language that describes problems by facts and rules and solves problems by searching, matching and backtracking mechanism, which is particularly applied to symbol reasoning. This paper firstly introduces the main features and basic structure of Prolog and then presents the expression of three kind of control structure in structured programming language by interior predicate...
Machine vision based on image processing, pattern recognition, computer technology and physiology, exploit computer simulation human brain to process, understanding, description visual the information extracted, is an important branch of artificial intelligence. This paper Proposes a object recognition and centroid detection method based on the machine vision, send the centroid of each extracted object...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.