الصفحة 128
الصفحة 128
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.
Case-Based Reasoning Research and Development ; 7th International Conference on Case-Based Reasoning, ICCBR 2007 Belfast Northern Ireland, UK, August 13-16, 2007 Proceedings
It presented along with three invited talks. The sections address all aspects of case-based reasoning, featuring original theoretical research, applied research, and applications with practical, social, environmental, and economic significance.
Case-based reasoning research and development ; 6th International conference on case-based reasoning, ICCBR 2005, Chicago, IL, USA, August 23-26, 2005, Proceedings
This book constitutes the refereed proceedings of the 6th International Conference on Case-Based Reasoning, ICCBR 2005, held in Chicago, IL, USA, in August 2005. The 19 revised full research papers and 26 revised poster papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 74 submissions. The papers address all current foundational, theoretical and research aspects of case-based reasoning as well as advanced applications either with innovative commercial deployment or practical, social, environmental or economic significance.
Case-Based Approximate Reasoning
Case-based reasoning (CBR) has received a great deal of attention in recent years and has established itself as a core methodology in the field of artificial intelligence. The key idea of CBR is to tackle new problems by referring to similar problems that have already been solved in the past. More precisely, CBR proceeds from individual experiences in the form of cases. The generalization beyond these experiences typically relies on a kind of regularity assumption demanding that 'similar problems have similar solutions'. Making use of different frameworks of approximate reasoning and reasoning under uncertainty, notably probabilistic and fuzzy set-based techniques, this book develops formal models of the above inference principle, which is fundamental to CBR. The case-based approximate reasoning methods thus obtained especially emphasize the heuristic nature of case-based inference and aspects of uncertainty in CBR. This way, the book contributes to a solid foundation of CBR which is grounded on formal concepts and techniques from the aforementioned fields. Besides, it establishes interesting relationships between CBR and approximate reasoning, which not only cast new light on existing methods but also enhance the development of novel approaches and hybrid systems.
CASCOM : Intelligent service coordination in the semantic web
A general architecture for service delivery and coordination in intelligent agent-based peer-to-peer (IP2P) environments, that has been developed within the CASCOM research project, is presented in this book.
Cartoony story app = تطبيق قصة كارتونية
The translation of textual narratives into immersive visual representations poses a significant challenge in the field of artificial intelligence. Traditional cartoon generation techniques face formidable technical challenges and require substantial resources. Research efforts towards direct video synthesis from text have encountered obstacles in developing efficient techniques. In parallel, researchers propose an alternative approach involving the generation of dynamic sequences of images portraying children's story narratives. This approach includes applying various visual effects to highlight motion, interaction, and excitement in storytelling. By dynamically generating a sequence of images reflecting the narrative's progression and applying diverse visual effects, this alternative method offers a flexible and practical solution to cartoon generation challenges, providing an efficient and effective experience akin to video while retaining the magical appeal of visual storytelling. ...
Carpooling optimization
The aim of this project is to collect and use the GPS data from mobile devices to get geolocations and translate this data to paths, starting points and destinations to detect patterns out of each individual trajectories that have stochastic nature on the close sight and find representations of those patterns. The second half of the artificial intelligence algorithms has the task of finding the optimal matching of the patterns that were detected in a computation efficient way that achieve the most efficient way of transportation.
Carbonate Reservoir Characterization : An Integrated Approach
One principal need in petroleum recovery from carbonate reservoirs is the description of the three-dimensional distribution of petrophysical properties in order to improve performance predictions by means of fluid-flow computer simulations. The book focuses on a rock based approach for the integration of geological, petrophysical, and geostatistical methods to construct a reservoir model suitable to input into flow simulation programs. This second edition includes a new chapter on model construction and new examples of limestone, dolostone, and touching-vug reservoir models as well as improved chapters on basic petrophysical properties, rock-fabric/petrophysical relationships, calibration of wireline logs, and sequence stratigraphy.
Car deal : The ultimate used-cars marketplace
This is an effort to represents the design and implementation of a mobile application that serves as a marketplace for buying and selling used cars. The application is developed using Flutter, a popular cross-platform framework, and integrates an Artificial Intelligence (AI) model to predict the price of used cars based on various parameters, such as the car's model, age, mileage, and condition. The report provides a comprehensive overview of the project's development process, including the use of agile methodology and various technologies, such as Firebase, Python, and TensorFlow. The AI model's accuracy is evaluated using statistical metrics, such as Mean Absolute Error (MAE) and Root Mean Squared Error (RMSE).
Canadian Semantic Web
This book covers a variety of well known topics of interest to practitioners in industry and research scientists. The range of topics includes languages, tools and methodologies for the semantic Web, semantic Web-based ontology management and engineering, semantic Web services, practical applications of the semantic Web techniques, artificial intelligence methods and tools for the semantic Web, software agents on the semantic Web, visualization and modeling of the semantic Web. The goal of this book is to provide a state-of-the-art review of the research as well as to introduce topics of interest to experts.
Calculus of one variable
Aimed at first-year undergraduates in mathematics and the physical sciences, the only prerequisites are basic algebra, coordinate geometry and the beginnings of differentiation as covered in school. The transition from school to university mathematics is addressed by means of a systematic development of important classes of techniques, and through careful discussion of the basic definitions and some of the theorems of calculus, with proofs where appropriate, but stopping short of the rigour involved in Real Analysis.The influence of technology on the learning and teaching of mathematics is recognised through the use of the computer algebra and graphical package MAPLE to illustrate many of the ideas.
Cálculo científico con MATLAB y Octave = Scientific computing with MATLAB and Octave
This textbook is an introduction to Scientific Calculus, illustrating various numerical methods for the computer solution of certain classes of mathematical problems. The authors show how to compute the zeros or integrals of continuous functions, solve linear systems, approximate functions by polynomials, and construct precise approximations for the solution of differential equations. To make the presentation concrete and attractive, the MATLAB programming environment has been adopted as a faithful companion.
Cálculo científico com MATLAB e Octave = Scientific calculus with MATLAB and Octave
Its objective is to present various numerical methods for solving certain mathematical problems on the computer that cannot be treated in a simpler way. Classical issues such as the computation of zeros or integrals of continuous functions, the solving of linear systems, the approximation of functions by polynomials and the construction of precise approximations for solutions of differential equations are addressed. All algorithms are presented in the programming languages MATLAB and Octave, whose main commands and instructions are introduced gradually, aiming in particular at their compatibility in both languages.
CADD and informatics in drug discovery
Updates knowledge on recent advances in computational and bioinformatics tools/techniques and their practical applications in modern drug design and discovery programme. Also it encompasses fundamental principles, advanced methodologies and applications of various CADD approaches including several cutting-edge areas / presenting recent developments covering ongoing trends in the field of computer-aided drug discovery. Having contributions by a global team of experts, the book is expected to be an ideal resource for drug discovery scientists, medicinal chemists, pharmacologists, toxicologists, phytochemists, biochemists, biologists, RandD personnel, researchers, students, teachers and those working in the field of drug discovery. It will fill the knowledge gaps that exist in the current CADD approaches and methodologies/ protocols being widely used in both academic and research practices. Further, a special focus on current status of various computational drug design approaches (SBDD, LBDD, De-novo drug design, Pharmacophore-based search), bioinformatics tools and databases, computational screening and modeling of phytochemicals/natural products, artificial intelligence and machine learning, and network pharmacology and system biology would certainly guide researchers, students or readers to conduct their research in the emerging area(s) of interest. It is also expected to be highly beneficial to different stakeholders working in the pharmaceutical and biotechnology industries (RandD), the academic as well as research sectors. .
C++ mit Visual Studio 2019 : C++17 für Studierende und erfahrene Programmierer
C++ hat sich in den letzten Jahren rasant entwickelt: C++11, C++14, C++17 und C++20 haben viele Verbesserungen und neue Möglichkeiten gebracht. Vieles, was vor 10 Jahren noch gut und empfehlenswert war, kann heute besser und sicherer gemacht werden. Dieses Buch stellt C++ mit Visual Studio 2019 auf dem Stand von Mai 2020 umfassend dar. Das ist nicht nur der Umfang von C++17, sondern auch schon ein Teil von C++20.
C++ for Engineers and Scientists
Introduce the power and practicality of C++ programming to entry-level engineers with Bronson's C++ FOR ENGINEERS AND SCIENTISTS, 4E. This proven, pragmatic text is designed specifically for today's first- and second-year engineering and science students with a wealth of new applications and examples taken from real situations involving electrical and structural engineering, fluid mechanics, mathematics, power generation, and heat transfer challenges.
C# 10 in a Nutshell : The Definitive Reference
When you have questions about C# 10.0 or .NET 6, this guide has the answers you need. C# is a language of unusual flexibility and breadth, but with its continual growth, there's so much more to learn. In the tradition of O'Reilly's Nutshell guides, this thoroughly updated edition is simply the best one-volume reference to the C# language available today. Organized around concepts and use cases, this comprehensive and complete reference provides intermediate and advanced programmers with a concise map of C# and .NET that also plumbs significant depths
Business process management Workshops ; Vol. 4103 : BPM 2006 International Workshops, BPD, BPI, ENEI, GPWW, DPM, semantics4ws, Vienna, Austria, September 4-7, 2006, Proceedings
BPM 2006 was the fourth in a conference series that provides a forum for - searchers and practitioners in all areas of business process management. In c- junction with BPM 2006, a series of workshops were held. They were meant to facilitate the exchange of ideas and experiences between active researchers, and to stimulate discussions on new and emerging topics in line with the conference topics. We see the workshops as a necessary extension to the main conference. BPM has established itself rapidly as a high quality conference with a highly competitive selection process.
Business process management Workshops ; Vol. 3812 : BPM 2005 International Workshops, BPI, BPD, ENEI, BPRM, WSCOBPM, BPS, Nancy, France, September 5, 2005. Revised Selected Papers
Six parallel Business Process Management workshops were held on September 5th, 2005,The topics of the workshops ranged from fundamental process modeling primitives to the recently emerged field of Web service choreography and orchestration, rep- sented in the “Workshop on Business Processes and Services” and the “Workshop on Web Service Choreography and Orchestration;” a topic which intersects the research fields of business process management and Web services.
Business process management Workshops ; BPM 2007 International Workshops, BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Brisbane, Australia, September 24, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of 6 internationl workshops held in Brisbane, Australia, in conjunction with the 5th International Conference on Business Process Management, BPM 2007, in September 2007.
