الصفحة 10
الصفحة 10
Semantic Web and Peer-to-Peer : Decentralized Management and Exchange of Knowledge and Information
Staab and Stuckenschmidt structured the selected contributions into four parts: Part I, "Data Storage and Access", prepares the semantic foundation, i.e. data modelling and querying in a flexible and yet scalable manner. These foundations allow for dealing with the organization of information at the individual peers. Part II, "Querying the Network", considers the routing of queries, as well as continuous queries and personalized queries under the conditions of the permanently changing topological structure of a peer-to-peer network. Part III, "Semantic Integration", deals with the mapping of heterogeneous data representations. Finally Part IV, "Methodology and Systems", reports experiences from case studies and sample applications. The overall result is a state-of-the-art description of the potential of Semantic Web and peer-to-peer technologies for information sharing and knowledge management when applied jointly.
Semantic Grid : Model, Methodology, and Applications
Semantic Grid: Model, Methodology, and Applications introduces to the science, core technologies, and killer applications. First, scientific issues of semantic grid systems are covered, followed by two basic technical issues, data-level semantic mapping, and service-level semantic interoperating. Two killer applications are then introduced to show how to build a semantic grid for specific application domains.
Security of Ubiquitous Computing Systems : Selected Topics
T this book arise out of the EU Cost Action project Cryptacus, the objective of which was to improve and adapt existent cryptanalysis methodologies and tools to the ubiquitous computing framework. The cryptanalysis implemented lies along four axes: cryptographic models, cryptanalysis of building blocks, hardware and software security engineering, and security assessment of real-world systems.
Search Methodologies : Introductory Tutorials in Optimization and Decision Support Techniques
Search Methodologies is a tutorial survey of the methodologies that are at the confluence of several fields: Computer Science, Mathematics and Operations Research. It is a carefully structured and integrated treatment of the major technologies in optimization and search methodology. The book is made up of 19 chapters. The chapter authors are drawn from across Computer Science and Operations Research and include some of the world’s leading authorities in their field.
SDL 2001 : Meeting UML ; 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001. Proceedings
This volume contains the papers presented at the Tenth SDL Forum, Cop- hagen. SDL is the Speci?cation and Description Language ?rst standardized by the world telecommunications body, the International Telecommunications Union (ITU), more than 20 years ago in 1976. While the original language and domain of application has evolved signi?cantly, the foundations of SDL as a graphical, state-transition and process-communication language for real-time systems have remained. Today SDL has also grown to be one notation in the set of uni?ed modelling languages recommended by the ITU (ASN.1, MSC, SDL, ODL, and TTCN) that can be used in methodology taking engineering of systems from requirements capture through to testing and operation.
Screening : Methods for Experimentation in Industry, Drug Discovery, and Genetics
This book brings together accounts by leading international experts that are essential reading for those working in fields such as industrial quality improvement, engineering research and development, genetic and medical screening, drug discovery, and computer simulation of manufacturing systems or economic models. Our aim is to promote cross-fertilization of ideas and methods through detailed explanations, a variety of examples and extensive references.
Scientific engineering of distributed Java applications ; 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers
The scope of the workshop included the following topics: – design of distributed applications – development methodologies for software and system engineering – UML-based development methodologies – development of reliable and secure distributed systems – component-based development methodologies – dependability support during system life cycle – fault tolerance re?nement, evolution and decomposition – atomicity and exception handling in system development – software architectures, frameworks and design patterns for developing d- tributed systems – integration of formal techniques in the development process – formal analysis and grounding of modelling notation and techniques (e. g. , UML, metamodelling) – supporting the security and dependability requirements of distributed app- cations in the development process – distributed software inspection – refactoring methods – industrial and academic case studies – development and analysis tools The organization of such a workshop represents an important amount of work.
Scenario Logic and Probabilistic Management of Risk in Business and Engineering
In this volume the methodological aspects of the scenario logic and probabilistic (LP) non-success risk management are considered. The theoretical bases of scenario non-success risk LP-management in business and engineering are also stated. Methods and algorithms for the scenario risk LP-management in problems of classification, investment and effectiveness are described. Risk LP- models and results of numerical investigations for credit risks, risk of frauds, security portfolio risk, risk of quality, accuracy, and risk in multi-stage systems reliability are given. In addition, a rather large number of new problems of estimation, analysis and management of risk are considered. Software for risk problems based on LP-methods, LP-theory, and GIE are described too.
Scaling Topic Maps ; 3rd International Conference on Topic Maps Research and Applications, TMRA 2007 Leipzig, Germany, October 11-12, 2007 Revised Selected Papers
Organized in topical sections on applied topic maps in industry and administration, visualisation and representation of topic maps, collaborative applications, standards related research, information integration with topic maps, social software with topic maps, topic maps engines, topic maps and dublin core, information management with topic maps, as well as open space and poster sessions.
Saving and Investment in the Twenty-First Century : The Great Divergence
The economy of the 21st century in the OECD countries and in China, is characterized by a new phenomenon: the structural surplus of private savings in relation to private investment. On the one hand, this excess saving is due to people's increasing inclination to save in light of rising life expectancy. On the other hand, investment is not keeping pace with the rising desire to save. The resulting gap between the private desire for wealth and private investment can only be closed by increasing public debt.
Satisfying Safety Goals by Probabilistic Risk Assessment
Safety is one of the most important issues today. Recent international standards such as ISO and IEC have consistently advocated goal-based procedures of designing systems for better safety. The procedure assumes safety goals are explicitly established by international organizations, individual nations, particular industries or private companies. Satisfying Safety Goals by Probabilistic Risk Assessment is a methodological approach to the goal-based safety design procedure that will soon be an international requirement.
Sampling Methods, Remote Sensing and GIS Multiresource Forest Inventory
The book presents the state-of-the-art of forest resources assessments and monitoring and provides links to practical applications of forest and natural resource assessment programs. It gives an overview of current forest inventory systems and discusses forest mensuration, sampling techniques, remote sensing applications, geographic and forest information systems, and multi-resource forest inventory. In addition to the assessment of the productive functions of forests, particular attention is given to the quantification of non-wood goods and services and the relationship of forests to other landscape elements. All methodology is presented in the framework of sustainable management of the multiple functions that forests provide to the natural environment and to society.
Sampling for Natural Resource Monitoring
The book presents the statistical knowledge and methodology of sampling and data analysis useful for spatial inventory and monitoring of natural resources. The authors omitted all theory not essential for applications or for basic understanding. This presentation is broader than standard statistical texts, as the authors pay much attention to how statistical methodology can be employed and embedded in real-life spatial inventory and monitoring projects. Thus they discuss in detail how efficient sampling schemes and monitoring systems can be designed in view of the aims and constraints of the project.
Rule Representation, Interchange and Reasoning on the Web ; International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings
This book is organized in topical sections on rule engineering, rule-based methodologies and applications in policies, electronic contracts and security, rule representation languages and reasoning engines, rule-based methodologies and applications in distributed and heterogeneous environments, natural-language and graphical rule representation and processing, as well as exemplary contributions to the RuleML-2008 challenge.
Rule of law and human mobility in the age of the global compacts
Hosts nine contributions that critically dive in the normative, administrative, and judicial obstacles and potential standing of the legal framework and implementation setting of the Global Compact for Safe, Orderly, and Regular Migration (GCM) and the Global Compact for Refugees (GCR). By inquiring into human rights protection at the boundaries of the political commitments under the Global Compacts, this reprint engages in a conversation about the confinements that migrants and refugees encounter when accessing their substantive and procedural rights.
Rough sets, fuzzy sets, data mining, and granular computing ; Vol. 3642 ; 10th International conference, RSFDGrC 2005, Regina, Canada, August 31 - September 2, 2005, Proceedings, Part II
The main idea is based on indiscernibility relations that describe indistinguishability of objects. Concepts are represented by - proximations. In applications, rough set methodology focuses on approximate representation of knowledge derivable from data. It leads to signifcant results in many areas such as , industry, multimedia, and medicine. The RSFDGrC conferences put an emphasis on connections between rough sets and fuzzy sets, granularcomputing, and knowledge discoveryand data m- ing, both at the level of theoretical foundations and real-life applications.
Rough sets, fuzzy sets, data mining, and granular computing ; Vol. 3641 ; 10th International conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part I
The main idea is based on indiscernibility relations that describe indistinguishability of objects. Concepts are represented by - proximations. In applications, rough set methodology focuses on approximate representation of knowledge derivable from data. It leads to signifcant results in many areas such as industry, multimedia, and medicine. The RSFDGrC conferences put an emphasis on connections between rough sets and fuzzy sets, granularcomputing, and knowledge discoveryand data m- ing, both at the level of theoretical foundations and real-life applications.
Robustness and Usability in Modern Design Flows
The size of technically producible integrated circuits increases continuously. But the ability to design and verify these circuits does not keep up with this development. Therefore today’s design flow has to be improved to achieve a higher productivity. In Robustness and Usability in Modern Design Flows the current design methodology and verification methodology are analyzed, a number of deficiencies are identified and solutions suggested. Improvements in the methodology as well as in the underlying algorithms are proposed.An in-depth presentation of preliminary concepts makes the book self-contained. Based on this foundation major design problems are targeted. In particular, a complete tool flow for Synthesis for Testability of SystemC descriptions is presented. The resulting circuits are completely testable and test pattern generation in polynomial time is possible.
Robotic Welding, Intelligence and Automation
Robotic welding systems have been used in different types of manufacturing. They can provide several benefits in welding applications. The most prominent advantages of robotic welding are precision and productivity. Another benefit is that labor costs can be reduced. Robotic welding also reduces risk by moving the human welder/operator away from hazardous fumes and molten metal close to the welding arc. The robotic welding system usually involves measuring and identifying the component to be welded, we- ing it in position, controlling the welding parameters and documenting the produced welds. However, traditional robotic welding systems rely heavily upon human interv- tion. It does not seem that the traditional robotic welding techniques by themselves can cope well with uncertainties in the welding surroundings and conditions, e. g. variation of weld pool dynamics, fluxion, solid, weld torch, and etc. On the other hand, the advent of intelligent techniques provides us with a powerful tool for solving demanding re- world problems with uncertain and unpredictable environments.
Rheumatoid arthritis : Methods and protocols
Explores standard laboratory protocols and methodology commonly used in basic and translational studies in the field of rheumatoid arthritis (RA) treatment. Chapters detail including basic RA models, evaluation of disease activity and immunological status, systemic drug delivery, and new research tools. Written in the highly successful Methods in Molecular Biology series format, chapters include introductions to their respective topics, lists of the necessary materials and reagents, step-by-step, readily reproducible laboratory protocols, and key tips on troubleshooting and avoiding known pitfalls.
