الصفحة 10
الصفحة 10
Categories for software engineering
This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical preparation, this book explores the use of categorical constructions from the point of view of the methods and techniques that have been proposed for the engineering of complex software systems: object-oriented development, software architectures, logical and algebraic specification techniques, models of concurrency, inter alia. After two parts in which basic and more advanced categorical concepts and techniques are introduced, the book illustrates their application to the semantics of CommUnity – a language for the architectural design of interactive systems. "For computer scientists, this unique book presents Category Theory in a manner tailored to their interests and with examples to which they can relate." Ira Forman, IBM "This book applies little-known yet quite powerful formal tools from category theory to software structures: designs, architectures, patterns, and styles. Rather than focus on issues at the level of computational models and semantics, it instead applies these tools to some of the problems facing the sophisticated software architect.
Business process management : Concepts, languages, architectures
Business process management is usually treated from two different perspectives: business administration and computer science. While business administration professionals tend to consider information technology as a subordinate aspect for experts to handle, by contrast computer scientists often consider business goals and organizational regulations as terms that do not deserve much thought but require the appropriate level of abstraction.This textbook is ideally suited for classes on business process management, information systems architecture, and workflow management. It is also valuable for project managers and IT professionals working in business process management.
Business modeling and software design ; 10th International Symposium, BMSD 2020, Berlin, Germany, July 6-8, 2020, Proceedings
This book constitutes the refereed proceedings of the 10th International Symposium on Business Modeling and Software Design, BMSD 2020, which took place in Berlin, Germany, in July 2020. BMSD is a leading international forum that brings together researchers and practitioners interested in business modeling and its relation to software design. Particular areas of interest are: Business Processes and Enterprise Engineering; Business Models and Requirements; Business Models and Services; Business Models and Software; Information Systems Architectures and Paradigms; Data Aspects in Business Modeling and Software Development; Blockchain-Based Business Models and Information Systems; IoT and Implications for Enterprise Information Systems.
Brain-inspired computing ; 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15–19, 2019, Revised Selected Papers
The 11 papers presented in this volume were carefully reviewed and selected for inclusion in this book. They deal with research on brain atlasing, multi-scale models and simulation, HPC and data infra-structures for neuroscience as well as artificial and natural neural architectures.
Big data-enabled internet of things
Covers analytical techniques for handling the huge amount of data generated by the Internet of Things, from architectures and platforms to security and privacy issues, applications, and challenges as well as future directions. The fields of Big Data and the Internet of Things (IoT) have seen tremendous advances, developments, and growth in recent years. The IoT is the inter-networking of connected smart devices, buildings, vehicles and other items which are embedded with electronics, software, sensors and actuators, and network connectivity that enable these objects to collect and exchange data. The IoT produces a lot of data. Big data describes very large and complex data sets that traditional data processing application software is inadequate to deal with, and the use of analytical methods to extract value from data. This edited book covers analytical techniques for handling the huge amount of data generated by the Internet of Things, from architectures and platforms to security and privacy issues, applications, and challenges as well as future directions.
Big Data Recommender Systems ; Vol.1 : Algorithms, Architectures, Big Data, Security and Trust
Combines experimental and theoretical research on big data recommender systems to help computer scientists develop new concepts and methodologies for complex applications. It includes original scientific contributions in the form of theoretical foundations, comparative analysis, surveys, case studies, techniques and tools.
Autonomous intelligent systems : Multi-agents and data mining ; 2nd International workshop, AIS-ADM 2007, St. Petersburg, Russia, June 3-5, 2007, Proceedings
MAS offiers powerful metaphors for information system conceptualization, a range of new techniques, and technologies specifically focused on the design and implementation of lar- scale open distributed intelligent systems. KDD also provides intelligent inf- mation technology with powerful ideas, algorithms, and software means to help cope with the main problem of artificial intelligence, formulated in the we- known question “Where does the knowledge come from?”, thus actually making modern applications intelligent and adaptive. The evident recent trend in both science and industry is to integrate and take advantage of both technologies. The existing experience with combined application of multi-agent technology to design architectures of distributed (- erarchical and peer-to-peer) data mining and KDD systems, as well as the u- lization of data mining and KDD achievements to provide enhanced intelligence of MAS, confirms the fact that both technologies are capable of mutual enri- ment and their integrateduse may result in intelligent information systems with new emergent properties.
Autonomous driving : Technical, legal and social aspects
This book takes a look at fully automated, autonomous vehicles and discusses many open questions: How can autonomous vehicles be integrated into the current transportation system with diverse users and human drivers? Where do automated vehicles fall under current legal frameworks? What risks are associated with automation and how will society respond to these risks? How will the marketplace react to automated vehicles and what changes may be necessary for companies?
Automated machine learning : Methods, systems, challenges
This book presents the first comprehensive overview of general methods in Automated Machine Learning (AutoML), collects descriptions of existing systems based on these methods, and discusses the first series of international challenges of AutoML systems. The recent success of commercial ML applications and the rapid growth of the field has created a high demand for off-the-shelf ML methods that can be used easily and without expert knowledge. However, many of the recent machine learning successes crucially rely on human experts, who manually select appropriate ML architectures (deep learning architectures or more traditional ML workflows) and their hyperparameters. To overcome this problem, the field of AutoML targets a progressive automation of machine learning, based on principles from optimization and machine learning itself.
Artificial neural networks in Pattern Recognition ; 9th IAPR TC3 Workshop, ANNPR 2020, Winterthur, Switzerland, September 2–4, 2020, Proceedings
This book constitutes the refereed proceedings of the 9th IAPR TC3 International Workshop on Artificial Neural Networks in Pattern Recognition, ANNPR 2020, held in Winterthur, Switzerland, in September 2020. The conference was held virtually due to the COVID-19 pandemic. The 22 revised full papers presented were carefully reviewed and selected from 34 submissions. The papers present and discuss the latest research in all areas of neural network-and machine learning-based pattern recognition. They are organized in two sections: learning algorithms and architectures, and applications.
Artificial neural networks – ICANN 2007 ; 17th International Conference, Porto, Portugal, September 9-13, 2007, Proceedings, Part I
This book contains learning theory, advances in neural network learning methods, ensemble learning, spiking neural networks, advances in neural network architectures neural network technologies, neural dynamics and complex systems, data analysis, estimation, spatial and spatio-temporal learning, evolutionary computing, meta learning, agents learning, complex-valued neural networks, as well as temporal synchronization and nonlinear dynamics in neural networks.
Artificial neural networks - ICANN 2006 ; Vol.4132 : 16th International Conference, Athens, Greece, September 10-14, 2006, Proceedings, Part II
This book includes the proceedings of the International Conference on Artificial Neural Networks (ICANN 2006) held on September 10-14, 2006 in Athens, Greece, with tutorials being presented on September 10, the main conference taking place during September 11-13 and accompanying workshops on perception, cognition and interaction held on September 14, 2006. The ICANN conference is organized annually by the European Neural Network Society in cooperation with the International Neural Network Society, the Japanese Neural Network Society and the IEEE Computational Intelligence Society. It is the premier European event covering all topics concerned with neural networks and related areas.
Artificial intelligence hardware design : Challenges and solutions
Learn foundational and advanced topics in Neural Processing Unit design with real-world examples from leading voices in the field. A thorough introduction to neural networks and neural network development history, as well as Convolutional Neural Network (CNN) models Explorations of various parallel architectures, including the Intel CPU, Nvidia GPU, Google TPU, and Microsoft NPU, emphasizing hardware and software integration for performance improvement Discussions of streaming graph for massive parallel computation with the Blaize GSP and Graphcore IPU An examination of how to optimize convolution with UCLA Deep Convolutional Neural Network accelerator filter decomposition
Artificial intelligence for multisource geospatial information
Collects 10 original research contributions published in the Special Issue entitled “Artificial Intelligence for Multisource Geospatial Information” of the ISPRS International Journal of Geo-Information. The focus is on different methods of Geospatial Artificial Intelligence (GeoAI) based on deep learning using different network architectures, clustering, soft computing, and semantic approaches. They are proposed to deal with a variety of Geospatial Big Data (GBD), such as georeferenced texts and photos in social networks, remote sensing images, cartographic maps, multidimensional geo databases, metadata in spatial data infrastructures, and for different tasks, such as for multisource georeferenced text integration and geodata flexible querying, for social sensing by applying sentiment analysis, clustering and geo analysis, for segmentation of roads, clouds and snow, and for detection of small targets and people on the streets.
Arithmetic of finite fields ; 1st International Workshop, WAIFI 2007, Madrid, Spain, June 21-22, 2007, Proceedings
This book presented structures in finite fields, efficient implementation and architectures, efficient finite field arithmetic, classification and construction of mappings over finite fields, curve algebra, cryptography, codes, and discrete structures.
ARIS design platform : Advanced process modelling and administration
ARIS is ranked as the leading Business Process Modelling tool in the Gartner Quadrant for Business Process Analysis and Optimization. The ARIS Design Platform is being used as a business process management (BPM) tool for projects in BPM, quality management, business analysis and design, software development, implementation of service-oriented architectures and so forth. Following on from Rob Davis’ successful introductory text, ARIS Design Platform: Getting Started with BPM, this new book covers in detail some of the more advanced concepts of using ARIS Business Architect in the new ARIS 7 Design Platform. Written in a reader-friendly style, it contains detailed explanations of key concepts combined with numerous examples, hints and tips gained from many years of practical experience of using ARIS.
Architectures of sound
Architects are used to designing visually. In order to expand their basic design tools, this book explores the interactions between sound, space, hearing, and architecture. To this end, the author uses contemporary and historic buildings and projects, but also fictional, philosophical, and theoretical approaches – the idea is not only to define sound as a source, but also as an instrument of architectural space.
Architectures of refusal
Reveals how designers, practitioners, scholars and architects are participating in dismantling the major canons of Western architecture. The work is both literal and figural: taking buildings apart and reconstituting them, and challenging mythologies that include drawing-as-analogue, building-as object, architect-as-hero and nature-as-other.
Architectures of festival in early modern Europe : Fashioning and re-fashioning urban and courtly space
Draws on up-to-date research by a Europe-wide group of academic scholars and museum and gallery curators to provide a unique, intellectually-stimulating and beautifully-illustrated account of temporary architecture created for festivals of the sixteenth and seventeenth centuries, together with permanent architecture pressed into service for festival occasions across major European locations including Italian, French, Austrian, Scottish and German.
Architecture of computing systems - ARCS 2006 ; 19th International Conference, Frankfurt / Main, Germany, March 13-16, 2006, Proceedings
Technological progress is one of the driving forces behind the dramatic devel- mentofcomputersystemarchitecturesoverthe pastthreedecades.Eventhough it is quite clear that this development cannot only be measured by the ma- mum number of components on a chip, Moore’s Law may be and is often taken as a simple measure for the non-braked growth of computational power over the years. The more components are realizable on a chip, the more innovative and unconventional ideas can be realized by system architects. As a result, research in computer system architectures is more exciting than ever before. This book coversthe trends that shape the ?eld of computer system archit- tures.
