الصفحة 7
الصفحة 7
Languages, Methodologies and Development Tools for Multi-Agent Systems ; 1st International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers
Constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Languages, Methodologies and Development Tools for Multi-Agent Systems, LADS 2007, held in Durham, UK, in September 2007. The workshop was part of MALLOW 2007, a federation of workshops on Multi-Agent Logics, Languages, and Organizations.
Computable Models of the Law : Languages, Dialogues, Games, Ontologies
This book originate from a workshop held at the European University Institute of Florence, Italy, in December 2006. The workshop was devoted to the discussion of the different ways of understanding and explaining contemporary law, for the purpose of building computable models of it -- especially models enabling the development of computer applications for the legal domain.
Comprehensive mathematics for computer scientists 2 : Calculus and ODEs, splines, probability, fourier and wavelet theory, fractals and neural networks, categories and lambda calculus
This second volume of a comprehensive tour through mathematical core subjects for computer scientists completes the first volume in two - gards: Part III first adds topology, di?erential, and integral calculus to the t- ics of sets, graphs, algebra, formal logic, machines, and linear geometry, of volume 1. With this spectrum of fundamentals in mathematical e- cation, young professionals should be able to successfully attack more involved subjects, which may be relevant to the computational sciences. In a second regard, the end of part III and part IV add a selection of more advanced topics. In view of the overwhelming variety of mathematical approaches in the computational sciences, any selection, even the most empirical, requires a methodological justi?cation. Our primary criterion has been the search for harmonization and optimization of thematic - versity and logical coherence. This is why we have, for instance, bundled such seemingly distant subjects as recursive constructions, ordinary d- ferential equations, and fractals under the unifying perspective of c- traction theory.
Component-Based Software Testing with UML
Component-based software development regards software construction in terms of conventional engineering disciplines where the assembly of systems from readily-available prefabricated parts is the norm. Because both component-based systems themselves and the stakeholders in component-based development projects are different from traditional software systems, component-based testing also needs to deviate from traditional software testing approaches. Gross first describes the specific challenges related to component-based testing like the lack of internal knowledge of a component or the usage of a component in diverse contexts. He argues that only built-in contract testing, a test organization for component-based applications founded on building test artifacts directly into components, can prevent catastrophic failures like the one that caused the now famous ARIANE 5 crash in 1996. This book is the first comprehensive treatment of the intricacies of testing component-based software systems. With its strong modeling background, it appeals to researchers and graduate students specializing in component-based software engineering. Professionals architecting and developing component-based systems will profit from the UML-based methodology and the implementation hints based on the XUnit and JUnit frameworks.
Component models and systems for grid applications ; Proceedings of the Workshop on Component Models and Systems for Grid Applications held June 26, 2004 in Saint Malo, France.
This first volume of the CoreGRID series addresses such vital issues as the architecture of the Grid, the way software will influence the development of the Grid, and the practical applications of Grid technologies for individuals and businesses alike. Part I of the book, Application-Oriented Designs, focuses on development methodology and how it may contribute to a more component-based use of the Grid. Middleware Architecture, the second part, examines portable Grid engines, hierarchical infrastructures, interoperability, as well as workflow modeling environments. The final part of the book, Communication Frameworks, looks at dynamic self-adaptation, collective operations, and higher-order components. With Component Models and Systems for Grid Applications, editors Vladimir Getov and Thilo Kielmann offer the computing professional and the computing researcher the most informative, up-to-date, and forward-looking thoughts on the fast-growing field of Grid studies.
Compiler construction ; Vol. 3923 : 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings
ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. The events that comprise ETAPS address various aspects of the system devel- ment process, including speci?cation, design, implementation, analysis and impro- ment. The languages, methodologies and tools which support these activities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other.
Comparative Evaluation of XML Information Retrieval Systems ; 5th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2006 Dagstuhl Castle, Germany, December 17-20, 2006 Revised and Selected Papers
This book covered methodology and seven additional tracks on ad-hoc, natural language processing, heterogeneous collection, multimedia, interactive, use case, as well as document mining.
Certification and security in inter-organizational E-services ; IFIP 18th World Computer Congress, August 22-27, 2004, Toulouse, France
This collection of papers offers real-life application experiences, research results and methodological proposals of direct interest to systems experts and users in governmental, industrial and academic communities. This book also documents several important developments. The uptake of distributed computational infrastructure oriented to service provision, like Web-Services and Grid, is making C&S even more important. E-services based on legacy systems managed by autonomous and independent organizations, a common situation in the public administration sector, increase overall complexity. The increased presence and use of e-service IT-infrastructures depends on the critical ability required for all security issues, from the basic (availability, authentication, integrity, confidentiality) to the more complex (e.g. authorization, non-repudiation).
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.
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.
Building a Data Warehouse : With Examples in SQL Server
The book is organized as follows. In the beginning of this book (chapters 1 through 6), you learn how to build a data warehouse, for example, defining the architecture, understanding the methodology, gathering the requirements, designing the data models, and creating the databases. Then in chapters 7 through 10, you learn how to populate the data warehouse, for example, extracting from source systems, loading the data stores, maintaining data quality, and utilizing the metadata. After you populate the data warehouse, in chapters 11 through 15, you explore how to present data to users using reports and multidimensional databases and how to use the data in the data warehouse for business intelligence, customer relationship management, and other purposes. Chapters 16 and 17 wrap up the book: After you have built your data warehouse, before it can be released to production, you need to test it thoroughly. After your application is in production, you need to understand how to administer data warehouse operation.
Biomedical data mining for information retrieval : Methodologies, techniques, and applications
Discusses data mining, biomedical image processing, information retrieval with broad coverage of basic scientific applications. covers the topic of mining biomedical text, images and visual features towards information retrieval. Biomedical and health informatics is an emerging field of research at the intersection of information science, computer science, and healthcare and brings tremendous opportunities and challenges due to easily available and abundant biomedical data for further analysis. The aim of healthcare informatics is to ensure the high-quality, efficient healthcare, better treatment and quality of life by analyzing biomedical and healthcare data including patient’s data, electronic health records (EHRs) and lifestyle. Previously, it was a common requirement to have a domain expert to develop a model for biomedical or healthcare; however, recent advancements in representation learning algorithms allows us to automatically to develop the model. Biomedical image mining, a novel research area, due to the vast amount of available biomedical images, increasingly generates and stores digitally.
Biologically Inspired Algorithms for Financial Modelling
Then Part I provides a thorough guide to the various bioinspired methodologies – neural networks, evolutionary computing (particularly genetic algorithms and grammatical evolution), particle swarm and ant colony optimization, and immune systems. Part II brings the reader through the development of market trading systems. Finally, Part III examines real-world case studies where BIA methodologies are employed to construct trading systems in equity and foreign exchange markets, and for the prediction of corporate bond ratings and corporate failures.
Bioinspired optimization methods and their applications ; 9th International conference, BIOMA 2020, Brussels, Belgium, November 19–20, 2020, Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Bioinspired Optimization Methods and Their Applications, BIOMA 2020, held in Brussels, Belgium, in November 2020. The 24 full papers presented in this book were carefully reviewed and selected from 68 submissions. The papers in this BIOMA proceedings specialized in bioinspired algorithms as a means for solving the optimization problems and came in two categories: theoretical studies and methodology advancements on the one hand, and algorithm adjustments and their applications on the other.
Bio-inspired modeling of cognitive tasks ; 2nd International Work-conference on the interplay between natural and artificial computation, IWINAC 2007, La Manga del Mar Menor, Spain, June 18-21, 2007, Proceedings, Part I
This volume includes all the contributions mainly related with theoretical, conceptual and methodological aspects linking AI and knowledge engineering with neurophysiology, clinics and cognition.
Bioinorganic electrochemistry
Interfacial electrochemistry of redox metalloproteins and DNA-based molecules is presently moving towards new levels of structural and functional resolution. This is the result of powerful interdisciplinary efforts. Underlying fundamentals of biological electron and proton transfer is increasingly well understood although with outstanding unresolved issues. Comprehensive bioelectrochemical studies have mapped the working environments for bioelectrochemical electron transfer, supported by the availability of mutant proteins and other powerful biotechnology. Introduction of surface spectroscopy, the scanning probe microscopies, and other solid state and surface physics methodology has finally offered exciting new fundamental and technological openings in interfacial bioelectrochemistry of both redox proteins and DNA-based molecules.
Bioethics in Cultural Contexts : Reflections on Methods and Finitude
This book discusses a range of methodological issues for an interdisciplinary bioethics. How can bioethics be an enterprise that does not only isolate issues and moral reasons but also (re)contextualises them? What are the strengths and weaknesses of different traditional and innovative modes of ethical work in terms of these tasks?
Bioactive Heterocycles II
As part of the series Topics in Heterocyclic Chemistry, this volume titled Bio- tive Heterocycles II presents comprehensive and up-to-date reviews on selected topics regarding synthetic as well as naturally occurring bioactive heterocycles. The frst chapter, "High Pressure Synthesis of Heterocycles Related to Bio- tive Molecules" by Kiyoshi Matsumoto, presents a unique high-pressure s- thetic methodology in heterocyclic chemistry. Basic principles and fruitful examples for pericyclic reactions, such as Diels-Alder reactions, 1,3-dipolar reactions, and also for ionic reactions, such as S and addition reactions, are N discussed.
Big Data Recommender Systems ; Vol.2 : Application Paradigms
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. First designed to generate personalized recommendations to users in the 90s, recommender systems apply knowledge discovery techniques to users’ data to suggest information, products, and services that best match their preferences. In recent decades, we have seen an exponential increase in the volumes of data, which has introduced many new challenges. recommender systems. Volume 2 covers a broad range of application paradigms for recommender systems over 22 chapters
