158 research outputs found
Ontology based data warehousing for mining of heterogeneous and multidimensional data sources
Heterogeneous and multidimensional big-data sources are virtually prevalent in all business environments. System and data analysts are unable to fast-track and access big-data sources. A robust and versatile data warehousing system is developed, integrating domain ontologies from multidimensional data sources. For example, petroleum digital ecosystems and digital oil field solutions, derived from big-data petroleum (information) systems, are in increasing demand in multibillion dollar resource businesses worldwide. This work is recognized by Industrial Electronic Society of IEEE and appeared in more than 50 international conference proceedings and journals
Computer science: the hardware software and heart of IT
1st edition, 201
Multispace & Multistructure. Neutrosophic Transdisciplinarity (100 Collected Papers of Sciences), Vol. IV
The fourth volume, in my book series of “Collected Papers”, includes 100 published and unpublished articles, notes, (preliminary) drafts containing just ideas to be further investigated, scientific souvenirs, scientific blogs, project proposals, small experiments, solved and unsolved problems and conjectures, updated or alternative versions of previous papers, short or long humanistic essays, letters to the editors - all collected in the previous three decades (1980-2010) – but most of them are from the last decade (2000-2010), some of them being lost and found, yet others are extended, diversified, improved versions. This is an eclectic tome of 800 pages with papers in various fields of sciences, alphabetically listed, such as: astronomy, biology, calculus, chemistry, computer programming codification, economics and business and politics, education and administration, game theory, geometry, graph theory, information fusion, neutrosophic logic and set, non-Euclidean geometry, number theory, paradoxes, philosophy of science, psychology, quantum physics, scientific research methods, and statistics. It was my preoccupation and collaboration as author, co-author, translator, or cotranslator, and editor with many scientists from around the world for long time. Many topics from this book are incipient and need to be expanded in future explorations
Recommended from our members
Formalizing graphical notations
The thesis describes research into graphical notations for software engineering, with a principal interest in ways of formalizing them. The research seeks to provide a theoretical basis that will help in designing both notations and the software tools that process them.
The work starts from a survey of literature on notation, followed by a review of techniques for formal description and for computational handling of notations. The survey concentrates on collecting views of the benefits and the problems attending notation use in software development; the review covers picture description languages, grammars and tools such as generic editors and visual programming environments. The main problem of notation is found to be a lack of any coherent, rigorous description methods. The current approaches to this problem are analysed as lacking in consensus on syntax specification and also lacking a clear focus on a defined concept of notated expression.
To address these deficiencies, the thesis embarks upon an exploration of serniotic, linguistic and logical theory; this culminates in a proposed formalization of serniosis in notations, using categorial model theory as a mathematical foundation. An argument about the structure of sign systems leads to an analysis of notation into a layered system of tractable theories, spanning the gap between expressive pictorial medium and subject domain. This notion of 'tectonic' theory aims to treat both diagrams and formulae together.
The research gives details of how syntactic structure can be sketched in a mathematical sense, with examples applying to software development diagrams, offering a new solution to the problem of notation specification. Based on these methods, the thesis discusses directions for resolving the harder problems of supporting notation design, processing and computer-aided generic editing. A number of future research areas are thereby opened up. For practical trial of the ideas, the work proceeds to the development and partial implementation of a system to aid the design of notations and editors. Finally the thesis is evaluated as a contribution to theory in an area which has not attracted a standard approach
Studies related to the process of program development
The submitted work consists of a collection of publications arising from research carried out at Rhodes University (1970-1980) and at Heriot-Watt University (1980-1992). The theme of this research is the process of program development, i.e. the process of creating a computer program to solve some particular problem. The papers presented cover a number of different topics which relate to this process, viz. (a) Programming methodology programming. (b) Properties of programming languages. aspects of structured. (c) Formal specification of programming languages. (d) Compiler techniques. (e) Declarative programming languages. (f) Program development aids. (g) Automatic program generation. (h) Databases. (i) Algorithms and applications
A multi-agent crop production decision support system for technology transfer
The purpose of this research was to study agricultural crop production 'decision support systems' as a means of transferring agricultural technology from research labs and plots to producers, extension specialists, agriculture service agencies, and scientists, on the Western Canadian Prairies. A 'decision support system' is a computer program that analyses problems spanning several knowledge or problem areas producing results that aid the management decision-making process. The primary objective was to develop a computer application program that would fulfill the farm manager's decision support needs and be "open" to future enhancements. This interdisciplinary study has a strong agricultural presence in the application context of the resultant computerized agricultural decision support system, with agronomics being the foundation on which the system was built, and computer science being the toolbox used to build it. Farm Smart 2000 is the resultant decision support system, providing "single-window" access to three different tiers of decision support utilizing the Internet, ' expert systems' and integrated multiple heterogeneous 'reusable agents' in a cooperative problem-solving environment. An ' expert system' is a computer program that solves complicated problems, within a specific knowledge or problem area, that would otherwise require human expertise. Expert systems integrated with each other within a decision support system are called 'agents. Reusable agents' are modular computer programs (e.g. expert systems) which can be used in more than one computer application with little or no modification. Farm Smart 2000 provides support for most management aspects of crop production including variety selection, crop rotations, weed management, disease management, residue management, harvesting, soil conservation, and economics, for the crops of wheat, canola, barley, peas, and flax. Tier-3, the most sophisticated level of Farm Smart 2000, is the focus of this dissertation and utilizes multiple reusable agents, integrating them such that they cooperate together to solve complex interrelated crop production problems. A Global Control Expert achieves the required communication and coordination among the agents resulting in an "open system", enabling Farm Smart 2000 to extend its problem-solving capabilities by integrating additional agents and knowledge, without system re-engineering, thereby remaining an ongoing technology transfer vehicle
Blockchain-Based Digitalization of Logistics Processes—Innovation, Applications, Best Practices
Blockchain technology is becoming one of the most powerful future technologies in supporting logistics processes and applications. It has the potential to destroy and reorganize traditional logistics structures. Both researchers and practitioners all over the world continuously report on novel blockchain-based projects, possibilities, and innovative solutions with better logistic service levels and lower costs. The idea of this Special Issue is to provide an overview of the status quo in research and possibilities to effectively implement blockchain-based solutions in business practice. This Special Issue reprint contained well-prepared research reports regarding recent advances in blockchain technology around logistics processes to provide insights into realized maturity
- …