The technologies currently employed for modeling complex systems, such as aircraft, spacecraft, or infrastructures, are sufficient for system description, but do not allow deriving knowledge about the modeled systems. This work provides the means to describe space systems in a way that allows automating activities such as deriving knowledge about critical parts of the system's design, evaluation of test success, and identification of single points of failure.
The technologies currently employed for modeling complex systems, such as aircraft, spacecraft, or infrastructures, are sufficient for system description, but do not allow deriving knowledge about the modeled systems. This work provides the means to describe space systems in a way that allows automating activities such as deriving knowledge about critical parts of the system's design, evaluation of test success, and identification of single points of failure. This work was published by Saint Philip Street Press pursuant to a Creative Commons license permitting commercial use. All rights not granted by the work's license are retained by the author or authors.
The two-volume set LNCS 9981 and 9982 constitutes the refereed proceedings of the 15th International Semantic Web Conference, ISWC 2016, which was held in Kobe, Japan, in October 2016. The 75 full papers presented in these proceedings were carefully reviewed and selected from 326 submissions. The International Semantic Web Conference is the premier forum for Semantic Web research, where cutting edge scientific results and technological innovations are presented, where problems and solutions are discussed, and where the future of this vision is being developed. It brings together specialists in fields such as artificial intelligence, databases, social networks, distributed computing, Web engineering, information systems, human-computer interaction, natural language processing, and the social sciences. The Research Track solicited novel and significant research contributions addressing theoretical, analytical, empirical, and practical aspects of the Semantic Web. The Applications Track solicited submissions exploring the benefits and challenges of applying semantic technologies in concrete, practical applications, in contexts ranging from industry to government and science. The newly introduced Resources Track sought submissions providing a concise and clear description of a resource and its (expected) usage. Traditional resources include ontologies, vocabularies, datasets, benchmarks and replication studies, services and software. Besides more established types of resources, the track solicited submissions of new types of resources such as ontology design patterns, crowdsourcing task designs, workflows, methodologies, and protocols and measures.
Zweifelsohne das Referenzwerk zu diesem weitgefächerten und dynamischen Fachgebiet. The International Encyclopedia of Geograph ist das Ergebnis einer einmaligen Zusammenarbeit zwischen Wiley und der American Association of Geographers (AAG), beleuchtet und definiert Konzepte, Forschung und Techniken in der Geographie und zugehörigen Fachgebieten. Die Enzyklopädie ist als Online-Ausgabe und 15-bändige farbige Printversion erhältlich. Unter der Mitarbeit einer Gruppe von Experten aus aller Welt ist ein umfassender und fundierter Überblick über die Geographie in allen Erdteilen entstanden. - Enthält mehr als 1.000 Einträge zwischen 1.000 und 10.000 Wörtern, die verständlich in grundlegende Konzepte einführen, komplexe Themen erläutern und Informationen zu geographischen Gesellschaften aus aller Welt enthalten. - Entstanden unter der Mitarbeit von mehr als 900 Wissenschaftlern aus über 40 Ländern und bietet damit einen umfassenden und fundierten Überblick über die Geographie in allen Erdteilen. - Deckt das Fachgebiet umfassend ab und berücksichtigt auch die Richtungen Humangeographie, Physikalische Geographie, geographische Informationswissenschaften und -systeme, Erdwissenschaften und Umweltwissenschaften. - Führt interdisziplinäre Sichtweisen zu geographischen Themen und Verfahren zusammen, die auch für die Sozialwissenschaften, Geisteswissenschaften, Naturwissenschaften und Medizin von Interesse sind. - Printausgabe durchgängig in Farbe mit über 1.000 Illustrationen und Fotos. - Online-Ausgabe wird jährlich aktualisiert.
Innovations in Computing Sciences and Software Engineering includes a set of rigorously reviewed world-class manuscripts addressing and detailing state-of-the-art research projects in the areas of Computer Science, Software Engineering, Computer Engineering, and Systems Engineering and Sciences. Topics Covered: •Image and Pattern Recognition: Compression, Image processing, Signal Processing Architectures, Signal Processing for Communication, Signal Processing Implementation, Speech Compression, and Video Coding Architectures. •Languages and Systems: Algorithms, Databases, Embedded Systems and Applications, File Systems and I/O, Geographical Information Systems, Kernel and OS Structures, Knowledge Based Systems, Modeling and Simulation, Object Based Software Engineering, Programming Languages, and Programming Models and tools. •Parallel Processing: Distributed Scheduling, Multiprocessing, Real-time Systems, Simulation Modeling and Development, and Web Applications. •Signal and Image Processing: Content Based Video Retrieval, Character Recognition, Incremental Learning for Speech Recognition, Signal Processing Theory and Methods, and Vision-based Monitoring Systems. •Software and Systems: Activity-Based Software Estimation, Algorithms, Genetic Algorithms, Information Systems Security, Programming Languages, Software Protection Techniques, Software Protection Techniques, and User Interfaces. •Distributed Processing: Asynchronous Message Passing System, Heterogeneous Software Environments, Mobile Ad Hoc Networks, Resource Allocation, and Sensor Networks. •New trends in computing: Computers for People of Special Needs, Fuzzy Inference, Human Computer Interaction, Incremental Learning, Internet-based Computing Models, Machine Intelligence, Natural Language.
