Computers - Computer Science

Automatic fact retrieval from text documents is becoming one of the key technologies for the Information Age. One category of Intelligent Information Systems aims at supporting the user in search and retrieval of precious information from data resources like intranets or the World Wide...

Mobile ad hoc networks, also known as multihop or mesh networks, are gaining more and more attention these days. Originally designed for military applications, the idea of spontaneous communication using direct links to immediate neighbors has rapidly spread over to the civilian sector. This...

Verkehrstelematik ist eine der Schlusseltechnologien fur zukunftige Entwicklungen im Automobilsektor. Von besonderem Interesse sind dabei Fahrzeugnetze, die fur moderne Fahrzeuganwendungen zunehmend an Bedeutung gewinnen. Fur die Fahrzeug-Fahrzeug-Kommunikation konnen selbstorganisierende Ad-hoc-Netze zum Einsatz kommen, die den lokalen Austausch von Daten auch uber mehrere Fahrzeuge hinweg...

Using electrochemical sensors on a mobile robot is very promising for a broad range of applications. However, gas distribution mapping and localisation of a static gas source are intricate tasks, mainly due to the turbulent nature of gas transport under natural conditions. Regarding the...

This dissertation describes the design, implementation, and evaluation of an audio watermarking algorithm on the basis of a statistical mathematical model. The design of the basic audio watermarking method, relying on hypothesis testing, is motivated by a discussion of possible application scenarios determining algorithmic...

Mustererkennung befasst sich traditionell uberwiegend mit numerischenDaten, also mit Vektoren von reellwertigen Merkmalen. Seltenerwird eine symbolische Reprasentation verwendet.Eine spezielle Kategorie der Daten, namlich Symbolketten(Strings), wurde lange Zeit vernachlassigt, teilweise wegen derscheinbar nicht vorhandenen Notwendigkeit und teilweise wegendes damit verbundenen hohen Rechenaufwands. Erst in jungsterZeit,...

A distributed system consists of cooperating interactive components running concurrently and exchanging information by communication. The development of such systems needs a formal design process that step by step transforms an abstract specification into a concrete one by systematic refinement. The book provides definitions,...

Certain classes of partial differential equations generically give rise to solutions with strong directional features, e.g. with boundary layers. Such solutions are called anisotropic. Their discretization by means of the finite element method (for example) can favourably employ so-called anisotropic meshes. These meshes are...

In this thesis we see deductive systems for classical propositionaland predicate logic which use deep inference, i.e. inference rules apply arbitrarily deep inside formulas, and a certain symmetry, which provides an involution on derivations. Like sequent systems, they have a cut rule which is...

This dissertation shows that information assurance properties can be both specified within a formal model of systems to which the properties are applied using the same formal theory for modeling, specification, and reasoning and enforced in such a way that enforcement is performed consistently...

Biomimetic vision is a novel, interdisciplinary approach to machine vision. It is based on the observation that many natural organisms have evolved highly optimized visual strategies to control their behavior. These strategies are far superior to existing technical solutions, and can be used in...

Workflow-based Process Controlling Systems provide companies with the ability to measure the operational performance of their business processes in a timely and accurate fashion. The combination of workflow audit trails with data warehouse technology and operational business data allows for complex analyses that can...

Very often, efficient problem solving depends on the ability to construct, to shift between, and to coordinate different mental problem representations. The cognitive simulation program Sepia has been developed to investigate the complementary roles qualitative and quantitative mental domain representations play in physics problem...

This volume contains papers presented to the 14th meeting of the German Working Group Multicriteria Decision held on September 22-27, 1991 in Riezlern, Austria at the guesthouse of the Johann Wolfgang Goethe-University Frankfurt/Main. The papers mainly focus at applications in structural optimization problems in...

Lately some important scientific innovations have come from dialogues and discussions between human sciences and the more technically oriented fields of research. This especially applies to the border area of linguistics and artificial intelligence research work. The book gives a representative insight into the...

The virtual simulation of Radiotherapy Treatment Planning (RTP) replaces the real Simulator machine with a virtual one. In this book, two major planning concepts, visualized and collaborative planning are presented. The interactive volume visualization techniques related to the visualized planning are introduced in detail,...

Nowadays, it is widely accepted that CAL/CBT can be used effectively. However, there are still several drawbacks and shortages existing such as the overall low quality of the courseware. As a step towards improved quality courseware, this study presents a list of basic instructional...

Recent developments in information science and technology have been possible due to original and timely research contributions containing new results in various fields of applied mathematics. It is also true that advances in information science create opportunities for developing mathematical models further. Mathematics Applied...

This book attempts to understand the multiple advancements and researches being conducted across the globe under the umbrella of reconfigurable computing. It also discusses how such research can be integrated into practical applications. The various projects that are constantly contributing towards advancing technologies and...

This book attempts to understand the multiple advancements and researches being conducted across the globe under the umbrella of reconfigurable computing. It also discusses how such research can be integrated into practical applications. The various projects that are constantly contributing towards advancing technologies and...

Computer science is an interdisciplinary field of study and it is advancing at a rapid pace. Over the past few years, the applications of computers have grown in every sector. This book attempts to understand the multiple branches and their applications, that fall under...

Computer science is an interdisciplinary field of study and it is advancing at a rapid pace. Over the past few years, the applications of computers have grown in every sector. This book attempts to understand the multiple branches and their applications, that fall under...

The development, design, and implementation of mobile communications technologies significantly impacts innovative networked applications and information services. The Handbook of Research on Mobile Software Engineering: Design Implementation and Emergent Applications offers a compendium of state-of-the-art research on the key issues surrounding current and future...

Ubiquitous and Pervasive Computing: Concepts, Methodologies, Tools, and Applications covers the latest innovative research findings involved with the incorporation of technologies into everyday aspects of life from a collaboration of accomplished field experts. Providing an enriched compilation of authoritative industry solutions in ubiquitous and...

Examining the ideas and approaches necessary in deciding to outsource services and functions is a crucial assessment for any company. This book covers a range of topics involved in the outsourcing of information technology. It covers technological discoveries and research theories, and is suitable...

The past decade has witnessed a fruitful proliferation of increasingly high performance scalable computing systems mainly due to the availability of enabling technologies in hardware, software, and networks. The Handbook of Research on Scalable Computing Technologies presents ideas, results, and experiences in significant advancements...

Author: Antonio GulliISBN-10: 1519327544ISBN-13: 9781519327543Publisher: Createspace Independent Publishing PlatformLanguage: EnglishPublished: 12/05/2015Pages: 226Format: PaperbackWeight: 0.94lbsSize: 9.00h x 6.00w x 0.59d

Digital Economics is an innovative anthology that explores the intersection of economics and the digital reality of everyday life. Through a collection of carefully curated readings, the volume examines the impact of consumer information, e-commerce, and information and communication technology on the economy and...

It has never been more important to have the ability to locate, comprehend, evaluate, and organize information using digital technology than it is in today's world. By understating and knowing how to utilize this technology, individuals can communicate and work more effectively and more...

China's Path to Education Modernization, Vol. 1: Innovations in Education Concepts: From Correction to Creation summarizes a set of socialist education development systems with Chinese characteristics from scratch in the past 40 years of reform and opening up in China. From the change of...

Written for educators and professionals, this book examines the cultural challenges Latinos/as encounter as they move from one social setting to the next. Problem solving is presented as a skill, strategy, and protective factor in the development of resiliency and self-efficacy. Author: Yolanda Medina,Norma...

Informative reference on the state of the art in cybersecurity and how to achieve a more secure cyberspace AI for Cybersecurity presents the state of the art and practice in AI for cybersecurity with a focus on four interrelated defensive capabilities of deter, protect,...

The desire for low-cost reliable computing is increasing. Most current fault tolerant computing solutions are not very flexible, i.e., they cannot adapt to reliability requirements of newly emerging applications in business, commerce, and manufacturing. It is important that users have a flexible, reliable platform...

Reliable Multicast Protocol (RMP) is a communication protocol that provides an atomic, totally ordered, reliable multicast service on top of unreliable IP Multicasting. In this paper, we develop formal models for R.W using existing automatic verification systems, and perform verification-based analysis on the formal...

The Office of Scientific & Technical Information (OSTI), is a part of the U.S. Department of Energy (DOE) that houses research and development results from projects funded by the DOE. The information is generally an article, technical document, conference paper or dissertation. This is...

Cooperative agent systems are designed so that each is working toward the same common good. The problem is that software systems are complex and can be subverted by an adversary to either break the system or potentially worse, create sneaky agents who are willing...

This thesis will research, model, and propose options to enhance command and control in for communication networks. My goal is to research the viability of combing past research in the areas of network prediction, context-aware routing, and QoSbased routing optimization in order to create...

In criminal investigations, it is not uncommon for investigators to obtain a photograph or image that shows a crimebeing committed. Additionally, thousands of pictures may exist of a location, taken from the same or varying viewpoints.Some of these images may even include a criminal...

A hybrid mobile ad hoc network (H-MANET) consists of a group of communicating hosts that form an arbitrary network topology by means of any of several wireless communication media - E.g., free space optics (i.e., infrared laser light), or directional radio frequency technology. H-MANET...

There are two major trends that are driving the nature of GNSS receiver development today. First, there is a growing number of Global Navigation Satellite Systems(GNSS) that exist or are under development, so that in the near future, users will potentially have access to...

In 2003, Gartner, Inc., predicted the inevitable demise of the intrusion detection (ID) market, a major player in the computer security technology industry. In light of this prediction, IT executives need to know if intrusion detection technologies serve a strategic purpose within the framework...

This research focuses on reducing computational time in parameter optimization by using multiple surrogates and subprocess CPU times without compromising the quality of the results. This is motivated by applications that have objective functions with expensive computational times at high delity solutions. Applying, matching,...

Scheduling an air campaign is a time and labor intensive task. Exacerbating this task is the fact that combat planners still make use of manual methods to accomplish much of this daunting but critical effort. While some work has been done to automate the...

The United States Air Force relies heavily on computer networks for many day-to-day activities. Many of these networks are affected by various types of attacks that can be launched from anywhere on the globe. The rising prominence of organizations such as the AFCERT and...

Computer viruses remain a tangible threat to the systems on which the Department of Defense increasingly depends. This threat is exacerbated continually, as new viruses are introduced at an alarming rate by the growing collection of connected machines. Unfortunately, current antivirus solutions are ill-equipped...

The question of whether to use thin-client computing architecture has been rendered an academic question by private industry. Deployments have begun to happen across academic, government, and industry boundaries. Vendors are now developing for this architecture in a variety of methods for client, database,...

The traditional approach to parallel processing has been to use Massively Parallel Processors (MPPs). An alternative design is commercial-off-the-shelf (COTS) workstations connected to high-speed networks. These networks of workstations (NOWs) typically have faster processors, heterogeneous environments, and most importantly, offer a lower per node...

In this research, we provide a new meta-heuristic, a jump search / tabu search hybrid, for addressing the vehicle routing problem with real-life constraints. A tour construction heuristic creates candidate solutions or jump points for the problem. A tabu search algorithm uses these jump...

This research examines the performance of a spectrally encoded, multi-carrier, phase shift keying communications system in a frequency-selective, slowly-fading multipath channel. The specific communications system modeled is the transform domain communication system (TDCS) originally researched as an interference avoidance technique. Previous TDCS research assumed...

Interest in finding methods of improving TCP performance over satellite and wireless networks is high. This has been an active area of research within the networking community. This research develops an algorithm, CETEN-R for TCP to determine if a particular packet is lost due...