الصفحة 1
الصفحة 1
Object detection with deep learning models : Principles and applications
Discusses recent advances in object detection and recognition using deep learning methods, which have achieved great success in the field of computer vision and image processing. It provides a systematic and methodical overview of the latest developments in deep learning theory and its applications to computer vision, illustrating them using key topics, including object detection, face analysis, 3D object recognition, and image retrieval / A structured overview of deep learning in object detection / A diversified collection of applications of object detection using deep neural networks / Emphasize agriculture and remote sensing domains / Exclusive discussion on moving object detection
Networked Control Systems: Theory and Applications
Networked Control Systems presents the most recent results in stability and robustness analysis as well as new developments related to networked fuzzy and optimal control. Many of the chapters contain details of case-studies, experimental, simulation and/or other application-related work showing how the theories put forward can be implemented in real systems.
Nanomedicine : Innovations, applications, and breakthroughs in the quest for health and medicine's future
Revolutionizing healthcare, by providing innovative solutions to some of the most challenging issues in medicine. This book provides an in-depth overview of nanoscale materials and devices that are advancing diagnostics, therapeutics, and personalized care in medical field. It focuses on nanomedicine’s impact on vaccine efficacy as well as innovative diagnosis and therapy for various type of cancer while addressing concerns about safety and toxicity. It examines how nanotechnology is enhancing drug delivery by precisely targeting medicines to specific cells or tissues, thereby increasing treatment efficacy with reduced side effects. Explores how nanoparticles are advancing medical imaging for earlier and more accurate disease detection, and how nanosensors allow real-time biomarker monitoring for faster and more reliable diagnoses. Additionally, it explores nanomedicine's role in managing cardiovascular diseases, improving bone health through nano-extracellular vesicles, and regenerative medicine, including ongoing clinical trials and ethical considerations.
Multibody Dynamics : Computational Methods and Applications
This book contains the revised and extended versions of selected conference communications, representing the state-of-the-art in the advances on computational multibody models, from the most abstract mathematical developments to practical engineering applications. This book will be highly valuable for experienced researchers that want to keep updated on the details of the latest driving ideas in this field. It will also be of interest to researchers approaching the field for the first time, since it provides a useful overview of the most active areas and the efforts devoted by many prominent research groups worldwide.
Modern Testing Techniques for Structural Systems : Dynamics and Control
The articles in this book describe new developments in the area of structural testing, particularly those based upon the principle of fusing numerical and experimental methods such as real-time dynamic substructuring and hardware-in-the loop testing. In addition to the hybrid methods, chapters on the latest develoments in more established techniques, such as shaking table testing, provide a completely up-to-date survey of structural testing methods.
Modelling and Control of Mini-Flying Machines
Modelling and Control of Mini-Flying Machines is an exposition of models developed for various types of mini-aircraft. Modelling and Control of Mini-Flying Machines provides valuable insights to the application of real-time nonlinear techniques in an always challenging area.
Model-Driven Development of Reliable Automotive Services ; 2nd Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the Second Automotive Software Workshop, ASWSD 2006, held in San Diego, CA, USA in March 2006.The 11 revised full papers presented were carefully reviewed and selected from 18 lectures held at the workshop, that brought together experts from industry and academia, working on highly complex, distributed, reactive software systems related to the automotive domain. The papers are organized in topical sections on modeling techniques and infrastructures, model transformations, quality assurance, real-time control, as well as services and components.
Model Driven Architecture : Foundations and Applications ; 1st European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings
Constitutes the refereed proceedings of the First European Conference, Workshops on Model Driven Architecture - Foundations and Applications, ECMDA-FA 2005, held in Nuremberg, Germany, in November, 2005. The papers are organized in topical sections on MDA development processes, MDA for embedded and real-time systems, and more.
Model checking and artificial intelligence ; 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
This book constitutes the thoroughly refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence, MoChArt IV, held in Riva Del Garda, Italy in August 2006, as a satellite event of ECAI0 2006, the 17th biannual European conference on Artificial Intelligence.
Modal Array Signal Processing : Principles and Applications of Acoustic Wavefield Decomposition
Many applications of acoustic signal processing, such as teleconferencing and surveillance systems, require an estimate of several parameters present in the observed acoustic wavefield. The most important parameters are the number as well as the location of active acoustic sources. This book deals with the problem of detecting and localizing multiple simultaneously active wideband acoustic sources by applying the notion of wavefield decomposition using circular and spherical microphone arrays. The decomposed wavefield representation is used to serve as a basis for so-called modal array signal processing algorithms, which have the significant advantage over classical array signal processing algorithms that they inherently support multiple wideband acoustic sources. A rigorous derivation of modal array signal processing algorithms for unambiguous source detection and localization as well as performance evaluations by means of measurements using an actual real-time capable implementation are discussed.
Mobile Ad Hoc Networks : Energy-Efficient Real-Time Data Communications
This book presents the Time Reservation using Adaptive Control for Energy Efficiency (TRACE) family of protocol architectures that provide such dynamic coordinated channel access in a distributed manner, enabling energy-efficient, real-time data communications in MANETs. Furthermore, this book provides an introduction to the fundamentals of MANETs, an overview of protocols for each layer of the protocol stack, and a discussion of the issues involved with energy-efficient protocol design and quality of service for real-time data transmission.
Metric Driven Design Verification : An Engineer's and Executive's Guide to First Pass Success
A metric based flow is described that focuses on the four steps of: 1. Planning: Defining what needs to be done and the automatically trackable metrics that will be used to measure progress. 2. Execution: Implementing verification environments and then extensively exercising the device under verification utilizing comprehensive, massively parallel regression strategies. 3. Measurement: Automatically capturing the metrics defined in planning to provide objective data with which to manage the verification project. Custom tailoring those metrics through an automated reporting framework to provide all stakeholders a real-time meaningful view of project status. 4. Response: Utilizing the returned metrics to effectively adapt to changing project conditions. Making use of automated response mechanisms to automate engineering processed and management response to streamline project management processes
Measurement, Control, and Communication Using IEEE 1588
IEEE 1588, published in November 2002, is a technology new to the engineering community expanding the performance capabilities of Ethernet networks so that they become relevant for measurement and control; this monograph embodies the first unified treatment of the associated technology, standards and applications. Readers unfamiliar with IEEE 1588 will gain understanding of the context of the technology it represents and, from three chapters of case studies, its role in a variety of application settings.
Introducing Blockchain Applications : Understand and Develop Blockchain Applications Through Distributed Systems
Deepen your understanding of blockchain technology and develop your own blockchain applications. This book provides a thorough review of distribution-based systems on blockchain technology, starting from the fundamental concepts that underlie it, all the way through the implementation of a blockchain network for business purposes. ou will: Learn the concept of blockchains by way of a practical example Grasp the connection between distributed systems and blockchain technology Learn the design of blockchain with hyperledger fabric Learn the design of cyber-physical systems in a distributed environment
Intelligent glasses store
Technology has been found to facilitate humankind's life. Hence, there is a new technique almost every day. One of the most common is E-commerce. This is the first project in Syria. about online glasses Shop, which displays sets of glasses on a website. The website allows the shopkeeper (the admin) to add their collections of glasses. Set prices and show reservations. Users can view glasses on the website and try whatever he wants by real-time or by recording video, then they add the preferred ones to the cart to reserve the sample they like the most for a specific time. This project aims to allow busy traders to make their own business online, in addition, it saves time and effort for them and users as they can make shopping and compare goods whatever the situation is especially in quarantine.
Intelleger = انتليجر
The project management system is a web application designed to assist software managers in efficiently managing their projects, including websites, mobile apps, and other software initiatives. Utilizing artificial intelligence, the application streamlines project creation and management processes, offering significant benefits in terms of organization and accuracy. Managers can create projects by inputting essential details such as the name, scope, deadline, and tasks. The system generates AI-based functional and non-functional requirements tailored to the project scope using gpt2 model on Pure dataset. Managers can then review and edit these requirements as needed before finalizing the project. The application facilitates comprehensive task management by allowing managers to assign tasks to developers, edit task details, and ensure task deadlines align with project deadlines. Developers can log their start and end times automatically when they begin and complete tasks, providing accurate time tracking and performance analysis.also they can use code generation model to generate their task’s code using codebert model on concode and codesearchnet dataset Real-time notifications keep both managers and developers informed of task assignments, completions, and other critical updates.
Integrated formal methods ; 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings
It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal methods to analysis or design, extension of one method based upon the inclusion of ideas or concepts from others, and semantic integration or practical application.
Integrated formal methods ; 3rd International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.
IFM 2002 explored the relations between formal methods and graphical notations, especially the industrial standard language for software design, the Unified Modeling Language (UML). The themes of IFM 2002 reflect what we believe is a growing trend in the Formal Methods and Software Engineering research communities. Over the last threedecades,computer scientists have developed a range of formalisms focusing on particular aspects of behavior or analysis, such as sequential program structures, concurrent program structures, data and information structures, temporal reasoning, deductive proof, and model checking. Much effort is now being devoted to integrating these methods in order to combine their advantages and ensure they scale up to industrial needs. Graphical notations are now widely used in software engineering and there is growing recognition of the importance of providing these with the for mal underpinnings and form alanalysis capabilities found in formal methods.
Image Analysis and Recognition ; Vol. 3656 ; 2ond International Conference, ICIAR 2005, Toronto, Canada, September 28-30, 2005, Proceedings
ICIAR 2005, the International Conference on Image Analysis and Recognition, was the second ICIAR conference, and was held in Toronto, Canada. ICIAR is organized annually, and alternates between Europe and North America. ICIAR 2004 was held in Porto, Portugal. The idea of o?ering these conferences came as a result of discussion between researchers in Portugal and Canada to encourage collaboration and exchange, mainly between these two countries, but also with the open participation of other countries, addressing recent advances in theory, methodology and applications. TheresponsetothecallforpapersforICIAR2005wasencouraging.From295 full papers submitted, 153 were ?nally accepted (80 oral presentations, and 73 posters). The review process was carried out by the Program Committee m- bers and other reviewers ; all are experts in various image analysis and recognition areas. Each paper was reviewed by at least two reviewers, and also checked by the conference co-chairs. The high quality of the papers in these proceedings is attributed ?rst to the authors,and second to the quality of the reviews provided by the experts. We would like to thank the authors for responding to our call, andwewholeheartedlythankthe reviewersfor theirexcellentwork,andfortheir timely response. It is this collective e?ort that resulted in the strong conference program and high-quality proceedings in your hands.
Ifo Survey Data in Business Cycle and Monetary Policy Analysis
The business surveys of the Ifo Institute (short for Information and Forschung) are internationally renowned. Every month close to 7,000 enterprises are questioned on their short-term planning and their appraisals of the actual and future business situation. The confidence indicator frequently referred to as the Ifo Business Climate Index is derived from the responses to this Ifo Business Survey. While the Index attracts a lot of attention by practitioners (especially financial market analysts), the use and empirical exploitation of this and other components of Ifo business surveys is – amongst academics – still relatively scarce. The present volume, based on a conference entitled "The Academic Use of Ifo Survey Data", gives examples of timely research questions which can be addressed by qualitative survey data like the monthly Ifo Business Survey. It shows that this type of real-time data can be very informative when it comes to forecasting real economic activity or exploring monetary policy transmission.
