الصفحة 63
الصفحة 63
Developments in Risk-based Approaches to Safety ; Proceedings of the Fourteenth Safety-citical Systems Symposium, Bristol, UK, 7-9 February 2006
The papers included in this volume address the most critical topics in the field of safety-critical systems. The focus this year, considered from various perspectives, is on recent developments in risk-based approaches. Subjects discussed include innovation in risk analysis, management risk, the safety case, software safety, language development and the creation of systems for complex control functions.
Developments in Language Theory ; Vol. 4036 ; 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Developments in Language Theory, DLT 2006, held in Santa Barbara, CA, June 2006. All important issues in language theory are addressed including grammars, acceptors and transducers for strings, trees, graphs, arrays.
Developments in language theory ; Vol. 3572 ; 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings
Constitutes the refereed proceedings of the 9th International Conference on Developments in Language Theory, DLT 2005, held in Palermo, Italy in July 2005. Several issues in language theory are addressed including grammars, acceptors, and transducers for strings frees, graphs, and arrays; efficient text algorithms; and more.
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
Developments in Language Theory ; 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008. Proceedings
This book constitutes the refereed proceedings of the 12th International Conference on Developments in Language Theory, DLT 2008, held in Kyoto, Japan, September 2008.
Developments in Language Theory ; 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings
It addresses all important issues in language theory including grammars, acceptors and transducers for words, trees and graphs; algebraic theories of automata; relationships to cryptography, concurrency, complexity theory and logic; bioinspired computing, and quantum computing.
Development and characterization of a dispersion-encoded method for low-coherence interferometry
This book discusses an extension to low-coherence interferometry by dispersion-encoding. The approach is theoretically designed and implemented for applications such as surface profilometry, polymeric cross-linking estimation and the determination of thin-film layer thicknesses. During a characterization, it was shown that an axial measurement range of 79.91 µm with an axial resolution of 0.1 nm is achievable. Simultaneously, profiles of up to 1.5 mm in length were obtained in a scan-free manner. This marked a significant improvement in relation to the state-of-the-art in terms of dynamic range.
Developing secure auto-scaling military postponement e-service in Syria
This study is about developing a secure, autoscaling military postponement e-service in Syria, that allows Syrian citizens to conveniently access services provided by the Syrian Recruitment Department conveniently through their smartphones. Currently, many Syrian citizens need to use the services offered by the Recruitment Department, resulting in overcrowding in a single location for similar purposes. This situation places a significant burden on both citizens and the government. The mobile application will facilitate various services such as enlistment and postponing military service by employing a well-designed software architecture that ensures scalability and efficient distribution of these services.
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.
Developing bus management system for AIU
To solve the problem of congestion in bus stops for students, members of the administrative and educational people at the Arab International University, an application was designed that allows the user to reserve a seat on the bus. The application provides prior reservation and enters the study time for the user, the application reminds him for the time of his going to the university. The basic functions of the application are designed according to the general analysis, The development of the application used Laravel, flutter frameworks, AI and MySQL database processing technology. The application has accomplished such functions as notification for location. The test of the application is running in good conditions. The use of the application will solve the problem of bus crowding. The efficiency of the platform makes it a very good candidate to be implemented for any person in Arab International University.
Developing Ambient Intelligence ; Proceedings of the First International Conference on Ambient Intelligence Developments (AmID'06)
As Ambient Intelligence (AmI) ecosystems are rapidly becoming a reality, they raise new research challenges. Unlike predefined static architectures as we know them today, AmI ecosystems are bound to contain a large number of heterogeneous computing, communication infrastructures and devices that will be dynamically assembled. Architectures will be sensitive, adaptive, context-aware and responsive to users‚ needs and habits.Researchers need to both enable their user-friendly application in a growing number of areas while ensuring that these applications remain reliable and secure. Held in Sophia Antipolis (France) from September the 20th to September the 22nd 2006, the first edition of the AmI.d conference tackled the latest research challenges within AmI ecosystems, presented AmI applications as well as security solutions.
Developing a distributed medical system
Our project is a distributed medical system that is used by patients and multiple medical sectors such as doctors, pharmacists, analysis labs, hospitals, and medical insurance companies. The aim of the project is to add and store all the patient’s medical data in our system, such as previous treatments and past medical records from previous doctors, previous prescriptions and older lab test’s results, in addition, the insurance companies will have the ability to check on the medical treatment of its customers to do the necessary procedures needed for the them to perform their work. All of our actors are working in a secure and synchronized system in order to provide the best medical results possible, each actor has its own transactions to do in our system and can only manage and access the data allowed for him to perform his required job.
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.
Detection of intrusions and malware, and vulnerability assessment ; 4th International Conference, DIMVA 2007 Lucerne, Switzerland, July 12-13, 2007 Proceedings
This book presented malware; network security, Web security; attacks; Security-Intrusion; Detection and Response
Detection of intrusions and malware, and vulnerability assessment ; 3rd International Conference, DIMVA 2006, Berlin, Germany, July 13-14, 2006, Proceedings
This book constitutes the refereed proceedings of the Third International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment, DIMVA 2006, held in Berlin, Germany in July 2006.The 11 revised full papers presented were carefully reviewed and selected from 41 submissions.
Detection of intrusions and malware, and vulnerability assessment ; 17th International Conference, DIMVA 2020, Lisbon, Portugal, June 24–26, 2020, Proceedings
This book constitutes the proceedings of the 17th International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment, DIMVA 2020, held in Lisbon, Portugal, in June 2020.* The 13 full papers presented in this volume were carefully reviewed and selected from 45 submissions. The contributions were organized in topical sections named: vulnerability discovery and analysis; attacks; web security; and detection and containment.
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 Ubiquitous Information Environments : Socio-Technical Issues and Challenges; IFIP TC8 WG 8.2 International Working Conference, August 1-3, 2005, Cleveland, Ohio, U.S.A.
The book brings in diverse perspectives on ubiquitous information environments, from computer-supported collaborative work, institutional perspective, diffusion of innovation, management, sociology, individual cognition, and software engineering. It also covers a variety of technologies that make up ubiquitous information environments including RFID, wireless grid, GPS, mobile phones, and wireless local area network. The papers cover many contexts of ubiquitous computing including personal use, library, automobile, healthcare, police, professional knowledge work, remote diagnostics of machines, and marketing, attesting to the wide range of potential of ubiquitous information environments.
Designing smart homes : The role of artificial intelligence
The area of smart homes is fast developing as an emergent area which attracts the synergy of several areas of science. This volume offers a collection of contributions addressing how artificial intelligence (AI), one of the core areas of computer science, can bring the growing area of smart homes to a higher level of functionality where homes can truly realize the long standing dream of proactively helping their inhabitants in an intelligent way.
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
