الصفحة 31
الصفحة 31
Developments in language theory ; 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, Proceedings
Basic Notions of Reaction Systems / A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms / Algebraic and Topological Models for DNA Recombinant Processes / Contributed Papers : Regular Expressions for Two-Dimensional Languages Over One-Letter Alphabet / On Competence in CD Grammar Systems / The Dot-Depth and the Polynomial Hierarchy Correspond on the Delta Levels, and other
Developing metaverse for AIU
Metaverse is the virtual world in which humans can see each other in the form of 3D and communicate with each other in a virtual place that looks exactly like the real world, but the developers of metaverse so far used these virtual worlds for profit purposes only, this is what prompted us to build a virtual world that basicly contain the university, which can help students communicate with each other, see teachers and obtain the information they need from university employees without having to travel long distances, this project provides a distance education service without dispensing the idea of interacting with teachers directly and seeing others. Our virtual world has the ability to connect with any virtual world because of it’s base structure, It’s scalable as much as we need because it’s connected to the blockchain.
Deterministic and statistical methods in Machine Learning ; 1st International Workshop, Sheffield, UK, September 7-10, 2004. Revised Lectures
This book consitutes the refereed proceedings of the First International Workshop on Machine Learning held in Sheffield, UK, in September 2004. The 19 revised full papers presented were carefully reviewed and selected for inclusion in the book. They address all current issues in the rapidly maturing field of machine learning that aims to provide practical methods for data discovery, categorisation and modelling. The particular focus of the workshop was advanced research methods in machine learning and statistical signal processing.
Designing virtual reality systems : The structured approach
Virtual Reality (VR) is a field of study that aims to create a system that provides a synthetic experience for its users. Developing and maintaining a VR system is a very difficult task, requiring in-depth knowledge in many different disciplines, such as sensing and tracking technologies, stereoscopic displays, multimodal interaction and processing, computer graphics and geometric modeling, dynamics and physical simulation, performance tuning, etc. The difficulty lies in the complexity of having to simultaneously consider many system goals, some of which are conflicting.
Designing machine learning systems : An iterative process for production-ready applications
Machine learning systems are both complex and unique. Each design decision--such as how to process and create training data, which features to use, how often to retrain models, and what to monitor--in the context of how it can help your system as a whole achieve its objectives. The iterative framework in this book uses actual case studies backed by ample references. The book will help you tackle scenarios such as: Engineering data and choosing the right metrics to solve a business problem Automating the process for continually developing, evaluating, deploying, and updating models Developing a monitoring system to quickly detect and address issues your models might encounter in production Architecting an ML platform that serves across use cases Developing responsible ML systems
Designing and evaluating e-management decision tools : The integration of decision and negotiation models into internet-multimedia technologies
Presents the most relevant concepts for designing intelligent decision tools in an Internet-based multimedia environment and assessing the tools using concepts of statistical design of experiments. The book covers : Decision modeling paradigms , Visual interactive decision modeling , Online preference elicitation , collaborative decision making , negotiation and conflict resolution , marketing decision optimization , and guidelines for designing and evaluating decision support tools. This book is designed for the following uses: 1) for researchers and engineers, who are seeking recent advances and who are developing e-management systems; 2) for practitioners and managers, who seek insights about ICT potential and using ICT for business intelligence management; and 3) for students, who seek theoretical and practical concepts of building and evaluating prototype decision tools.
Design of Embedded Control Systems : Models for Capacity Planning in Advanced Manufacturing Systems
A set of original results in the ?eld of high-level design of logical control devices and systems is presented in this book
Design of advanced manufacturing systems : Models for capacity planning in advanced manufacturing systems
The aim of this book is to provide a framework and speci?c methods and tools for the selection and con?guration of capacity of Advanced Manufacturing Systems (AMS). In particular this book de?nes an - chitecture where the multidisciplinary aspects of the designofAMSare properly organized and addressed. The tool will support the decisi- maker in the de?nition of the con?guration of the system which is best suited for the particular competitive context where the ?rm operates or wants tooperate. Thisbookisofinterest for academic researchers in the ?eldofind- trial engineering and particularly indicated in the areas of operations and manufacturing strategy.
Design for Manufacturability and Yield for Nano-Scale CMOS
This book presented aspects of manufacturability and yield in a nano-CMOS process and how to address each aspect at the proper design step starting with the design and layout of standard cells and how to yield-grade libraries for critical area and lithography artifacts through place and route, CMP model based simulation and dummy-fill insertion, mask planning, simulation and manufacturing, and through statistical design and statistical timing closure of the design. It alerts the designer to the pitfalls to watch for and to the good practices that can enhance a design’s manufacturability and yield. This book is a must read book the serious practicing IC designer and an excellent primer for any graduate student intent on having a career in IC design or in EDA tool development.
Deployment and operation of complex software in heterogeneous execution environments : The SODALITE approach
This book provides an overview of the work developed within the SODALITE project, which aims at facilitating the deployment and operation of distributed software on top of heterogeneous infrastructures, including cloud, HPC and edge resources. The experts participating in the project describe how SODALITE works and how it can be exploited by end users. While multiple languages and tools are available in the literature to support DevOps teams in the automation of deployment and operation steps, still these activities require specific know-how and skills that cannot be found in average teams. The SODALITE framework tackles this problem by offering modelling and smart editing features to allow those we call Application Ops Experts to work without knowing low level details about the adopted, potentially heterogeneous, infrastructures. The framework offers also mechanisms to verify the quality of the defined models, generate the corresponding executable infrastructural code, automatically wrap application components within proper execution containers, orchestrate all activities concerned with deployment and operation of all system components, and support on-the-fly self-adaptation and refactoring.
Dependable Systems : Software, Computing, Networks : Research Results of the DICS Program
The present volume documents the results of a research program on Dependable Information and Communication Systems (DICS). The members of the project met in two workshops organized by the Hasler Foundation. This state-of-the-art survey contains 3 overview articles identifying major issues of dependability and presenting the latest solutions, as well as 10 carefully selected and revised papers depicting the research results originating from those workshops. The first workshop took place in Münchenwiler, Switzerland, in March 2004, and the second workshop, which marked the conclusion of the projects, in Löwenberg, Switzerland, in October 2005. The papers are organized in topical sections on surveys, dependable software, dependable computing, and dependable networks.
Dependable software engineering : Theories, tools, and applications ; 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings
This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, held in Guangzhou, China, in November 2020. The 10 full and 1 short paper included in this volume were carefully reviewed and selected from 20 submissions. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.
Dependable computing ; 3rd Latin-American Symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007, Proceedings
This book presented fault-tolerant algorithms, software engineering of dependable systems, networking and mobile computing, experimental dependability evaluation, as well as intrusion tolerance and security.
Dependable computing ; 2nd Latin-American symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005 : proceedings
Contains the proceedings of the 'Second Latin-American Symposium' on Dependable Computing, LADC 2005. This book comprises 16 papers presented together with 3 invited talks. The papers are organized in topical sections on evaluation, certification, modelling, embedded systems, time, and distributed systems algorithms.
Dependable and adaptable networks and services ; 13th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2007, Enschede, The Netherlands, July 18-20, 2007, Proceedings
Innovative Internet Applications.’ Much has changed since then: wireless network technologies have become a constantly growing part of the Internet infrastructure, and increasingly smaller and more powerful computing devices with ?exible connectivity open the possibility of new services and applications.
Dependability Metrics : Advanced Lectures
This tutorial book gives an overview of the current state of the art in measuring the different aspects of dependability of systems: reliability, security and performance.
Deepfake detection = اكتشاف التزييف العميق
In the rapidly evolving era of artificial intelligence, addressing the escalating threats of deepfake technology becomes a necessity because of the increasing sophistication of AI algorithms in generating deceptive content, and since it threatens the integrity of information across diverse data. The main objective is to build a sophisticated AI-driven system to detect different types of deepfake in text, audio, and images. In English text deepfake detection, multiple pre-trained tokenizers have been used, but XLNET and BERT stand out with identifying objects outside the dataset with an accuracy of 0.9809 and both have been generalized & trained using LSTM. In Arabic text deepfake detection, Arabert has been trained using LSTM which led with an accuracy of 99.53% by generalizing the model. Both English and Arabic datasets have been generated to enhance the accuracy and effectiveness of the models. Audio deepfake detection has been generalized too, using Random Forest with an accuracy of 98.259%.
Deepfake detection
The rise of large language models (LLMs) and the increasing sophistication of deepfake images have made detecting synthetic content a pressing challenge. Several approaches have been proposed to tackle this problem, including statistical analysis, and machine learning algorithms. In this project, A novel zero-shot approach is proposed that utilizes the power of LLMs to detect fake text. The pre-trained LLM is fine-tuned to enhance its ability to differentiate real and fake text. The approach uses the LLM to detect text by analyzing the log probabilities of the text. For detecting fake images, computer vision algorithms and neural networks are used to analyze facial features. The facial region is cropped and preprocessed and the neural network identifies patterns indicative of synthetic content.
Deep neural networks and data for automated driving : robustness, uncertainty quantification, and insights towards safety
Environment perception for highly automated driving heavily employs deep neural networks, facing many challenges. How much data do we need for training and testing? How to use synthetic data to save labeling costs for training? How do we increase robustness and decrease memory usage? For inevitably poor conditions: How do we know that the network is uncertain about its decisions? Can we understand a bit more about what actually happens inside neural networks? This leads to a very practical problem particularly for DNNs employed in automated driving: What are useful validation techniques and how about safety? This book unites the views from both academia and industry, where computer vision and machine learning meet environment perception for highly automated driving. Naturally, aspects of data, robustness, uncertainty quantification, and, last but not least, safety are at the core of it. This book is unique: In its first part, an extended survey of all the relevant aspects is provided. The second part contains the detailed technical elaboration of the various questions mentioned above.
Deep Learning-Based Face Analytics
Provides an overview of different deep learning-based methods for face recognition and related problems. Specifically, the authors present methods based on autoencoders, restricted Boltzmann machines, and deep convolutional neural networks for face detection, localization, tracking, recognition, etc. The authors also discuss merits and drawbacks of available approaches and identifies promising avenues of research in this rapidly evolving field.
