الصفحة 18
الصفحة 18
Automated technology for verification and analysis ; 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings
This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in Hanoi, Vietnam, in October 2020. The 27 regular papers presented together with 5 tool papers and 2 invited papers were carefully reviewed and selected from 75 submissions.
AutoCAD 2006 VBA : A programmer's reference
This book will help you take full advantage of the Visual Basic for Applications programming environment within AutoCAD 2006. Whether you want to automate routine tasks, or create sophisticated applications or design that can be generated programmatically, this book will empower you to make AutoCAD work for you. This book is also suitable if you're a power user who wants to make use of the advanced features of AutoCAD 2006 VBA, and you need a fast reference for the full AutoCAD object model. You'll learn to run Autodesk design tasks in the embedded VBA environment. This book is loaded with source code examples, and gives you no matter your skill level the necessary tools to accomplish your AutoCAD 2006 automation tasks.
Auralization : Fundamentals of acoustics, modelling, simulation, algorithms and acoustic virtual reality
"Auralization" is the technique of creation and reproduction of sound on the basis of computer data. With this tool is it possible to predict the character of sound signals which are generated at the source and modified by reinforcement, propagation and transmission in systems such as rooms, buildings, vehicles or other technical devices. This book is organized as a comprehensive collection of the basics of sound and vibration, acoustic modelling, simulation, signal processing and audio reproduction. Implementations of the auralization technique are described using examples drawn from various fields in acoustic’s research and engineering, architecture, sound design and virtual reality.
Asymmetry : The foundation of information
As individual needs have arisen in the fields of physics, electrical engineering and computational science, each has created its own theories of information to serve as conceptual instruments for advancing developments. This book provides a coherent consolidation of information theories from these different fields.It provides a versatile tool for quantifying complexity and information capacity in any physical system.
Assistive technologies, robotics, and automated machines in the health domain
The field of healthcare is constantly evolving and advancing with new technologies and innovations. Among these, assistive technologies, robotics, and automated machines are rapidly gaining ground as powerful tools to improve the quality of care and enhance patient outcomes. From wearable devices that monitor vital signs to surgical robots that assist in complex procedures, these technologies have the potential to revolutionize the way we deliver healthcare. The development and the integration of assistive technologies, care robots, and automated machines are strategic both as single components, when paired together, and when interconnected in the health domain.This reprint explores the latest developments in assistive technologies, robotics, and automated machines in the health domain, providing a comprehensive overview of their applications and potential impact. The reprint is for the benefit of healthcare professionals, researchers, engineers, and students interested in these rapidly evolving fields.
ASP.NET 1.1 Solutions Toolkit
This collection of reusable ASP.NET components serves two purposes. First, the components are ready to use, so you may add exciting features to your own ASP.NET websites. Second, each component's design and implementation is discussed, and you'll discover tips and tricks applicable for developing your own controls. Controls can be cut and pasted or used as templates for you to build your own controls. And the 15 included controls (programs) cover a broad range of situations, providing you both working coded solutions to your problem and the rationalization behind those solutions. Overall, this highly anticipated book provides immediate solutions to range of common problems.
Artificial neural networks with Java : Tools for Building Neural Network Applications
Covers the internals of front and back propagation and helps you understand the main principles of neural network processing. You also will learn how to prepare the data to be used in neural network development and you will be able to suggest various techniques of data preparation for many unconventional tasks. You will learn: Use Java for the development of neural network applications / Prepare data for many different tasks / Carry out some unusual neural network processing / Use a neural network to process non-continuous functions / Develop a program that recognizes handwritten digits
Artificial neural networks : Recent advances, new perspectives and applications
This book explores the potential of ANNs for applications in different fields. Itincludes eight chapters that discuss deep learning, ANN tools, and other cutting-edgetechnologies. It also suggests avenues for further research into ANN techniques formedical imaging to detect breast tumors, classification of COVID-19 surveillancedatasets, health management, estimation of materials processing parameters, solarenergy management, and control of a petrochemical unit.
Artificial neural network-based optimized design of reinforced concrete structures
Introduces AI-based Lagrange optimization techniques that can enable more rational engineering decisions for concrete structures while conforming to codes of practice. It shows how objective functions including cost, CO2 emissions, and structural weight of concrete structures are optimized either separately or simultaneously while satisfying constraining design conditions using an ANN-based Lagrange algorithm. Any design target can be adopted as an objective function. Many optimized design examples are verified by both conventional structural calculations and big datasets. Uniquely applies the new powerful tools of AI to concrete structural design and optimization Multi-objective functions of concrete structures optimized either separately or simultaneously Design requirements imposed by codes are automatically satisfied by constraining conditions Heavily illustrated in color with practical design examples
Artificial life models in software
Artificial Life Models in Software presents software tools, environments and realities dealing with creation, imitation and analysis of artefactual, virtual and living forms, written by those who personally design and produce software, hardware and art installations in artificial life, simulated complex systems and virtual worlds. This timely volume offers a nearly exhaustive overview and original analysis of major non-profit artificial life software packages. The carefully selected topics include: · simulation of real and imaginary life forms and their evolution · self-organization · emergent behaviours · swarm intelligence · evolutionary robotics · agent-based simulations · adaptive, complex and biologically inspired ecosystems · creative computer art There has long been a need within the academic and research community for an informal introduction and guidance to modern software tools for modelling and simulation of life-like phenomena – Artificial Life Models in Software fills this gap and provides invaluable information to both professional and amateur readers, offering detailed reviews of contemporary software for artificial life.
Artificial intelligence techniques in hydrology and water resources management
The sustainable management of water cycles is crucial in the context of climate change and global warming. It involves managing global, regional, and local water cycles, as well as urban, agricultural, and industrial water cycles, to conserve water resources and their relationships with energy, food, microclimates, biodiversity, ecosystem functioning, and anthropogenic activities. Hydrological modeling is indispensable for achieving this goal, as it is essential for water resources management and the mitigation of natural disasters. In recent decades, the application of artificial intelligence (AI) techniques in hydrology and water resources management has led to notable advances. In the face of hydro-geo-meteorological uncertainty, AI approaches have proven to be powerful tools for accurately modeling complex, nonlinear hydrological processes and effectively utilizing various digital and imaging data sources, such as ground gauges, remote sensing tools, and in situ Internet of Things (IoT) devices.
Artificial intelligence in the design process : The impact on creativity and team collaboration
Discusses how to include artificial intelligence (AI) systems in the early stages of the design process. Today designers need new tools capable of supporting them in dealing with the increasing project's complexity and empowering their performances and capabilities. AI systems appear to be powerful means to enhance designers' creativity. This assumption was tested in a workshop where sixteen participants collaborated with three AI systems throughout the creative phases of research, sketching, and color selection. Results show that designers can access a broader level of variance and inspiration while reducing the risk of fossilization by triggering lateral thinking through AI-generated data. Therefore, AI could significantly impact the creative phases of the design process if applied consciously. Being AI systems intelligent agents, the book treats the Human-AI collaboration as a collaboration between human agents, proposing a set of guidelines helpful to achieving an efficient partnership with the machine.
Artificial intelligence in higher education : A practical approach
Highlights the broad field of artificial intelligence applications in education, regarding any type of artificial intelligence that is correlated with education. It discusses learning methodologies, intelligent tutoring systems, intelligent student guidance and assessments, intelligent education chatbots, and artificial tutors and presents the practicality and applicability implications of AI in education. The book offers new and current research along with case studies showing the latest techniques and educational activities. Will find interest with academicians which includes teachers, students of various disciplines, higher education policymakers who believe in transforming the education industry, research scholars who are pursuing their Ph.D. or Post Doc. in the field of Education Technology, Education, and Learning, etc. and those working in the area of Education Technology and Artificial Intelligence such as industry professionals in education management and e-learning companies
Artificial intelligence for customer relationship management : Keeping customers informed
Providing a forum for the exchange of ideas in AI, this book provides a concise yet comprehensive coverage of methodologies, tools, issues, applications, and future trends for professionals, managers, and researchers in the CRM field together with AI and IT professionals.
Artificial Intelligence for Cloud and Edge Computing
Discusses the future possibilities of AI with cloud computing and edge computing. Aims to conduct analyses, implementation and discussion of many tools (of artificial intelligence, machine learning and deep learning and cloud computing, fog computing, and edge computing including concepts of cyber security) for understanding integration of these technologies. Readers can quickly get an overview of these emerging topics and get many ideas of the future of AI with cloud, edge, and in many other areas. Topics include machine and deep learning techniques for Internet of Things based cloud systems; security, privacy and trust issues in AI based cloud and IoT based cloud systems; AI for smart data storage in cloud-based IoT; blockchain based solutions for AI based cloud and IoT based cloud systems.This book is relevent to researchers, academics, students, and professionals. Presents fusion of cloud computing services and AI technology for bringing a significant change in the technology industry; Includes self-assessment problems for increasing knowledge of real world problems, i.e., how AI and cloud/edge computing can change business for the better; Provides innovative results of integrations of AI in other applications such as healthcare, finance, manufacturing, transportation, agriculture, etc.
Argumentation in multi-agent systems ; Third International Workshop, ArgMAS 2006, Hakodate, Japan, May 8, 2006, revised selected and invited papers
Argumentation provides tools for designing, implementing and analyzing sophisticated forms of interaction among rational agents. It has made a solid contribution to the practice of multiagent dialogues. Application domains include: legal disputes, business negotiation, labor disputes, team formation, scientific inquiry, deliberative democracy, ontology reconciliation, risk analysis, scheduling, and logistics.
Argumentation in multi-agent systems ; 4th International Workshop, ArgMAS 2007, Honolulu, HI, USA, May 15, 2007, revised selected and invited papers
This volume presents the latest developments in the growing area of research at the interface of argumentation theory and multiagent systems. Argumentation provides tools for designing, implementing and analyzing sophisticated forms of interaction among rational agents.
Architecture description languages ; IFIP TC-2 workshop on architecture description languages (WADL), World Computer Congress, Aug. 22-27, 2004, Toulouse, France
These proceedings record the papers presented at the Workshop onArchitecture Description Languages held in the city of Toulouse in thesouth of France.The aim of an ADL (Architecture Description Language) is to formallydescribe software and hardware architectures. Usually, an ADL describescomponents, their interfaces, their structures, their interactions (structureof data flow and control flow) and the mappings to hardware systems. Amajor goal of such descriptions is to allow analysis with respect to severalaspects like timing, safety, reliability, ...
Arakelov Geometry and Diophantine Applications
Bridging the gap between novice and expert, the aim of this book is to present in a self-contained way a number of striking examples of current diophantine problems to which Arakelov geometry has been or may be applied. Arakelov geometry can be seen as a link between algebraic geometry and diophantine geometry.The first chapters provide some background and introduction to the subject. These are followed by a presentation of different applications to arithmetic geometry. The final part describes the recent application of Arakelov geometry to Shimura varieties and the proof of an averaged version of Colmez's conjecture. This book thus blends initiation to fundamental tools of Arakelov geometry with original material corresponding to current research.
Applied Parallel Computing ; State of the Art in Scientific Computing ; 8th International Workshop, PARA 2006, Umea, Sweden, June 18-21, 2006, Revised Selected Papers
It covers partial differential equations, parallel scientific computing algorithms, linear algebra, simulation environments, algorithms and applications for blue gene/L, scientific computing tools and applications, parallel search algorithms, peer-to-peer computing, mobility and security, algorithms for single-chip multiprocessors.
