Page 3
Page 3
Leveraging Applications of Formal Methods ; 1st International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, held in Paphos, Cyprus in October/November 2004. The 12 revised full papers presented were carefully selected from more than 70 submissions. The papers discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems. In particular, by discussing common problems, requirements, algorithms, methodologies, and practices, ISoLA aims at supporting researchers in their quest to improve the utility, reliability, flexibility, and efficiency of tools for building systems, and users in their search for adequate solutions to their problems.
Iterated Function Systems for Real-Time Image Synthesis
Natural phenomena can be visually described with fractal-geometry methods, where iterative procedures rather than equations are used to model objects. With the development of better modelling algorithms, the efficiency of rendering, the realism of computer-generated scenes and the interactivity of visual stimuli are reaching astonishing levels. Iterated Function Systems for Real-Time Image Synthesis gives an explanation of iterated function systems and how to use them in generation of complex objects.
Biometric Authentication ; International ECCV 2002 Workshop Copenhagen, Denmark, June 1, 2002 Proceedings
Biometric authentication refers to identifying an individual based on his or her distinguishing physiological and/or behavioral characteristics. It associates an individual with a previously determined identity based on that individual s appearance or behavior. Because many physiological or behavioral characteristics (biometric indicators) are distinctive to each person, biometric identifiers are inherently more reliable and more capable than knowledge-based (e.g., password) and token-based (e.g., a key) techniques in differentiating between an authorized person and a fraudulent impostor. For this reason, more and more organizations are looking to automated identity authentication systems to improve customer satisfaction, security, and operating efficiency as well as to save critical resources.
Biodiesel : A realistic fuel alternative for diesel engines
Environmental and political concerns are generating a growing interest in alternative engine fuels such as biodiesel. Biodiesel is a renewable energy source produced from natural oils and fats, which can be used as a substitute for petroleum diesel without the need for diesel engine modification. In addition to being biodegradable and non-toxic, biodiesel is also essentially free of sulfur and aromatics, producing lower exhaust emissions than conventional gasoline whilst providing similar properties in terms of fuel efficiency.
Artificial intelligence for multimedia signal processing
Artificial intelligence technologies are also actively applied to broadcasting and multimedia processing technologies. A lot of research has been conducted in a wide variety of fields, such as content creation, transmission, and security, and these attempts have been made in the past two to three years to improve image, video, speech, and other data compression efficiency in areas related to MPEG media processing technology. Additionally, technologies such as media creation, processing, editing, and creating scenarios are very important areas of research in multimedia processing and engineering. This book contains a collection of some topics broadly across advanced computational intelligence algorithms and technologies for emerging multimedia signal processing as: Computer vision field, speech/sound/text processing, and content analysis/information mining.
Artificial Intelligence for a better future : An ecosystem perspective on the ethics of AI and emerging digital technologies
This book proposes a novel approach to Artificial Intelligence (AI) ethics. AI offers many advantages: better and faster medical diagnoses, improved business processes and efficiency, and the automation of boring work.
Applied mathematics and machine learning
The simultaneous availability of large datasets and high-performance computing capability in recent years has enabled the rapid development of powerful machine learning algorithms. On the one hand, state-of-the-art machine learning techniques have transformed many areas of science and engineering; on the other hand, theoretical discoveries in mathematical algorithms, differential equations, and statistical inferences, to name a few, have provided the foundation for the exploration of new multidisciplinary models for solving practical problems. This Special Issue endeavors to continue the journey that started in our previous Special Issue (Applied Mathematics and Computational Physics) by providing a platform for researchers from both academia and industry, as well as government, to present their new computational methods that have engineering and physics applications.
An Introduction to Optical Wireless Mobile Communications
Discusses existing conventional radio frequency (RF)-based wireless access technology and presents the challenges that can impact the requirements of the future wave of new wireless services in the context of artificial intelligence (AI) driven autonomous systems and machine-type communications. The relationship between visible light communications (VLC) and light fidelity (LiFi), is explored, and the major advantages of VLC and LiFi such as security and data density, and discuss existing research challenges are also introduced. Channel modeling techniques are provided for mobile multiuser scenarios, and will introduce key building blocks to achieve LiFi cellular networks achieving orders of magnitude improvements of area spectral efficiency compared to state-of-the-art. Challenges that arise from moving from a static point-to-point visible light link to a LiFi network that is capable of serving hundreds of mobile and fixed nodes are discussed. An overview of recent standardization activities and the commercialization challenges of this disruptive technology is also provided.
Algorithmic Aspects of Wireless Sensor Networks ; 3rd International Workshop, ALGOSENSORS 2007, Wroclaw, Poland, July 14, 2007, Revised Selected Papers
This book contains the proceedings of the Third International Workshop on Algorithmic Aspects of Wireless Sensor Networks. Coverage includes abstract models, complexity-theoretic results, and the design and analysis of algorithms for wireless sensor networks.
AI, data, and digitalization : First International Symposium, SAIDD 2023, Sogndal, Norway, May 9–10, 2023, Revised Selected Papers
Artificial Intelligence, Big Data and Digitalization allow us more than ever beforeto make use of the data our society and public and private sectors generate every day.Institutions around the world are increasingly turning to such methods and technologiesto help them solve complex problems, promote efficiency and improve performance anddecision-making.
AI journal submitting = تقديم المقالات بالذكاء الصنعي
Aims to develop a comprehensive platform to support academic writers in preparing their research papers in word file format, adhering to the Damascus University template. The platform leverages advanced artificial intelligence techniques to offer services such as grammatical and spelling correction, plagiarism detection, and citation analysis. It also provides comprehensive evaluation tools for peer reviewers, facilitating accurate and reliable feedback.The platform consists of four main components: • User Interface for Creating and Formatting Papers: Simplifies the entry and automatic formatting of texts according to the Damascus University template. / • Intelligent Language Correction System: Utilizes natural language processing techniques to enhance language quality and clarity. / • Citation Analysis and Plagiarism Detection Tool: Identifies improper citations and provides detailed reports on copied sections. / • Peer Review Support System: Offers advanced evaluation tools and AI-driven analytical reports for reviewers.This platform aims to improve the quality and integrity of academic research, streamline the formatting process, and enhance the efficiency of the peer review process, thereby elevating the level of scientific output at Damascus University.
Advances in information retrieval ; 29th European Conference on IR Research, ECIR 2007, Rome, Italy, April 2-5, 2007, Proceedings
This book presented evaluation, recommendation, optimization, semantics, aggregation, queries, mining social media, digital libraries, efficiency, and information retrieval theory. Also included are 3 tutorial and 4 workshop presentations.
Advances in Artificial Economics : The Economy as a Complex Dynamic System
Perceiving the economy as a complex dynamic system, generates a need for new tools for its study. As a constructive simulation method, Agent-Based Computational Economics (ACE) has in recent years proven its strength and extensive applicability. Fields of study are widely spread within economics, with a cluster around financial markets. This book is based on communications given at AE’2006 (Aalborg, Denmark) – the second symposium on Artificial Economics, and covers both wellknown questions of economics, like the existence of market efficiency, as well as new questions raised by the new tools, for example questions related to networks of social interaction.
Advances in Ad Hoc and Sensor Networks
This volume provides a complete survey of the state-of-the-art research that encompasses all areas of ad hoc and sensor networks. These chapters focus on the theoretical and experimental study of advanced research topics involving security and trust, broadcasting and multicasting, power control and energy efficiency, and QoS provisioning.
Advanced Web and Network Technologies, and Applications ; APWeb 2006 International Workshops : XRA, IWSN, MEGA, and ICSE, Harbin, China, January 16-18, 2006, Proceedings
The QOS evaluating model for computational grid nodes put forward can help greatly improving the self-adaptability of resource management and accelerating the appli- tion and development of Computational Grid. Now this model has been applied in NPU Campus Computational Grid. And the good effect brought by it has effectively proved its function. References 1. Foster, I. and C. Kesselman, eds. The Grid: Blueprint for a New Computing Infrastructure. Morgan Kaufmann, 1999. 2. Liu Liang, Zhou Xing-she, and Gu Jian-hua: A Multi-Agent System for Grid Computing. The Second International Conference on Active Media Technology, 2003 3. Yao Wang, Julita Vassileva: Trust and Reputation Model in Peer-to-Peer Networks. Farag Azzedin and Muthucumaru Maheswaran: Integrating Trust into Grid Resource M- agement Systems.
Advanced driver assistance system (ADAS)
The purpose of Advanced Driver Assistance Systems (ADAS) is to reduce or eliminate driver errors, and to enhance efficiency in traffic and transportation. Our project is a means and a great contribution to safe driving, and the user does not need to install sensors or hard tools to the vehicle, and through it, the cost can be reduced and maintenance cost can be eliminated. The images are processed and segmented to find different features in the image. Segmented images are used for identification and classification based on various machine learning algorithms and neural networks. The main focus of ADAS technologies is to contribute to factors such as safety management and automated, stress-free driving for the driver
Ad-Hoc, mobile, and wireless networks ; Vol.3738 ; 4th International conference, ADHOC-NOW 2005, Cancun, Mexico, October 6-8, 2005, Proceedings
This book constitutes the refereed proceedings of the 4th International Conference on Ad-Hoc Networks and Wireless, ADHOiNOW 2005, The papers discuss architectures, protocols, and algorithms for: access control, scheduling, ad hoc and sensor networks analytic methods and modelling for performance evaluation, characterization, optimization, auto-configuration, incentives and pricing, location awareness, discovery, dependence, and management, mesh networks, new applications, power management, power control, and energy-efficiency, quality-of-service, resource allocation, multimedia, routing (unicast, multicast, etc.), security and privacy, service discovery, systems and testbeds, wireless internet, and data management.
Abstraction, refinement and proof for probabilistic systems
Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency in sequential algorithms, enable otherwise nonfunctional distribution applications, and allow quantification of risk and safety in general. This makes operational models of how they work, and logics for reasoning about them, extremely important. Abstraction, Refinement and Proof for Probabilistic Systems presents a rigorous approach to modeling and reasoning about computer systems that incorporate probability. Its foundations lie in traditional Boolean sequential-program logic—but its extension to numeric rather than merely true-or-false judgments takes it much further, into areas such as randomized algorithms, fault tolerance, and, in distributed systems, almost-certain symmetry breaking. The presentation begins with the familiar "assertional" style of program development and continues with increasing specialization: Part I treats probabilistic program logic, including many examples and case studies; Part II sets out the detailed semantics; and Part III applies the approach to advanced material on temporal calculi and two-player games.
Abstract Computing Machines : A Lambda Calculus Perspective
The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic mechanisms and runtime structures necessary to execute them using machines. It completely abstracts from concrete programming languages and machine architectures, taking instead the lambda calculus as the basic programming and program execution model to design various abstract machines for its correct implementation. The emphasis is on fully normalizing machines based on full-fledged beta-reductions as essential prerequisites for symbolic computations that treat functions and variables truly as first-class objects. Their weakly normalizing counterparts are shown to be functional abstract machines that sacrifice the flavors of full beta-reductions for decidedly simpler runtime structures and improved runtime efficiency. Further downgrading of the lambda calculus leads to classical imperative machines that permit side-effecting operations on the runtime environment.
A Graph-Theoretic Approach to Enterprise Network Dynamics
This monograph treats the application of numerous graph-theoretic algorithms to a comprehensive analysis of dynamic enterprise networks. Network dynamics analysis yields valuable information about network performance, efficiency, fault prediction, cost optimization, indicators and warnings.
