Search

During the last three decades geosciences and geo-engineering were influenced by two essential scenarios: First, the technological progress has changed completely the observational and measurement techniques. Modern high speed computers and satellite based techniques are entering more and more all geodisciplines. Second, there is a growing public concern about the future of our planet, its climate, its environment and about an expected shortage of natural resources. Obviously, both aspects, viz. efficient strategies of protection against threats of a changing Earth and the exceptional situation of getting terrestrial, airborne as well as space borne data of better and better quality explain the strong need of new mathematical structures, tools and methods. Mathematics concerned with geoscientific problems, i.e., Geomathematics, is becoming increasingly important.The ‘Handbook of Geomathematics'deals with the qualitative and quantitative properties for the current and possible structures of the system Earth. As a central reference work it comprises the following geoscientific fields: (I) observational and measurement key technologies (II) modelling of the system Earth (geosphere, cryosphere, hydrosphere, atmosphere, biosphere) (III) analytic, algebraic and operator-theoretic methods (IV) statistical and stochastic methods (V) computational and numerical analysis methods (VI) historical background and future perspectives.

This book constitutes the revised selected papers of the combined workshops on Web Information Systems Engineering, WISE 2013, held in Nanjing, China, in October 2013. The seven workshops of WISE 2013 have reported the recent developments and advances in the contemporary topics in the related fields of: the big data problem on the Web, Big Web Data 2013, mobile business, MBC 2013, personalization in cloud and service computing, PCS 2013, data quality and trust in dig data, QUAT 2013, e-health and social computing, SCEH 2013, semantic technology for e-health, STeH 2013 and semantic technology for smarter cities, STSC 2013.

The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014. The total of 67 full papers was carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each section, the papers are organized in topical sections named: evolving critical systems; rigorous engineering of autonomic ensembles; automata learning; formal methods and analysis in software product line engineering; model-based code generators and compilers; engineering virtualized systems; statistical model checking; risk-based testing; medical cyber-physical systems; scientific workflows; evaluation and reproducibility of program analysis; processes and data integration in the networked healthcare; semantic heterogeneity in the formal development of complex systems. In addition, part I contains a tutorial on automata learning in practice; as well as the preliminary manifesto to the LNCS Transactions on the Foundations for Mastering Change with several position papers. Part II contains information on the industrial track and the doctoral symposium and poster session.

This volume constitutes the refereed proceedings of the Confederated International Conferences: Cooperative Information Systems, CoopIS 2014, and Ontologies, Databases, and Applications of Semantics, ODBASE 2014, held as part of OTM 2014 in October 2014 in Amantea, Italy. The 39 full papers presented together with 12 short papers and 5 keynotes were carefully reviewed and selected from a total of 115 submissions. The OTM program covers subjects as follows: process designing and modeling, process enactment, monitoring and quality assessment, managing similarity, software services, improving alignment, collaboration systems and applications, ontology querying methodologies and paradigms, ontology support for web, XML, and RDF data processing and retrieval, knowledge bases querying and retrieval, social network and collaborative methodologies, ontology-assisted event and stream processing, ontology-assisted warehousing approaches, ontology-based data representation, and management in emerging domains.

Selected, peer reviewed papers from the 2013 International Conference on Mechatronics, Applied Mechanics and Energy Engineering (MAMEE 2013), July 27-29, 2013, Singapore

This guidebook on e-science presents real-world examples of practices and applications, demonstrating how a range of computational technologies and tools can be employed to build essential infrastructures supporting next-generation scientific research. Each chapter provides introductory material on core concepts and principles, as well as descriptions and discussions of relevant e-science methodologies, architectures, tools, systems, services and frameworks. Features: includes contributions from an international selection of preeminent e-science experts and practitioners; discusses use of mainstream grid computing and peer-to-peer grid technology for “open” research and resource sharing in scientific research; presents varied methods for data management in data-intensive research; investigates issues of e-infrastructure interoperability, security, trust and privacy for collaborative research; examines workflow technology for the automation of scientific processes; describes applications of e-science.

We would like to present, with great pleasure, the first volume of a new journal, Transactions on Computational Collective Intelligence (TCCI). This journal, part of the new journal subline in the Springer series Lecture Notes in Computer Science, is devoted to research in computer-based methods of computational collective intel- gence (CCI) and their applications in a wide range of fields such as the Semantic Web, social networks and multi-agent systems. TCCI strives to cover new metho- logical, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competition of many individuals (artificial and/or natural). The application of multiple computational intelligence technologies such as fuzzy systems, evolutionary computation, neural systems, consensus theory, etc., aims to support human and other collective intelligence and to create new forms of CCI in natural and/or artificial systems. TCCI is a double-blind refereed and authoritative reference dealing with the wo- ing potential of CCI methodologies and applications as well as emerging issues of interest to professionals and academics. This inaugural issue contains a collection of articles selected from regular subm- sions and invited papers of substantially extended contributions based on the best papers presented at the first International Conference on Computational Collective Intelligence: Semantic Web, Social Networks and Multiagent Systems (ICCCI 2009) during October 5-7, 2009 in Wroclaw (Poland). This issue introduces advances in the foundations and applications of CCI and includes 10 papers.

Computational collective intelligence (CCI) is most often understood as a subfield of artificial intelligence (AI) dealing with soft computing methods that enable group decisions to be made or knowledge to be processed among autonomous units acting in distributed environments. The needs for CCI techniques and tools have grown signi- cantly recently as many information systems work in distributed environments and use distributed resources. Web-based systems, social networks and multi-agent systems very often need these tools for working out consistent knowledge states, resolving conflicts and making decisions. Therefore, CCI is of great importance for today's and future distributed systems. Methodological, theoretical and practical aspects of computational collective int- ligence, such as group decision making, collective action coordination, and knowledge integration, are considered as the form of intelligence that emerges from the collabo- tion and competition of many individuals (artificial and/or natural). The application of multiple computational intelligence technologies such as fuzzy systems, evolutionary computation, neural systems, consensus theory, etc., can support human and other collective intelligence and create new forms of CCI in natural and/or artificial s- tems.

The Annual Asian Semantic Web Conference is one of the largest regional events in Asia with focused topics related to the Semantic Web. With the decade-round endeavor of Semantic Web believers, researchers and practitioners, the Semantic Web has made remarkable progress recently. It has raised significant attention from US and UK governments, as well as the European Commission who are willing to deploy Semantic Web technologies to enhance the transparency of eGovernment. The Linked Open Data initiative is on its way to convert the current document Web into a data Web and to further enabling various data and service mashups. The fast adoption of Semantic Web technologies in medical and life sciences has created impressive showcases to the world. All these efforts are a crucial step toward enabling the take-off and the success of the Semantic Web. The First Asian Semantic Web Conference was successfully held in China in 2006. With the following editions in Korea in 2007 and Thailand in 2008, it fostered a regional forum for connecting researchers and triggering innovations. This year, the 4th Asian Semantic Web Conference was held in Shanghai, China. We received 63 submissions from Asia, Europe, and North America, and 25 papers were accepted (the acceptance rate is around 40%). Each submission was reviewed by at least three members of the Program Committee. The Chairs moderated the discussion of conflict reviews or invited external reviewers to reach the final decisions.

This volume contains the full and short papers of SAMT 2009, the 4th Int- national Conference on Semantic and Digital Media Technologies 2009 held in Graz, Austria. SAMT brings together researchers dealing with a broad range of research topics related to semantic multimedia and a great diversity of application - eas. The current research shows that adding and using semantics of multimedia content is broadening its scope from search and retrieval to the complete media life cycle, from content creation to distribution and consumption, thus lever- ing new possibilities in creating, sharing and reusing multimedia content. While some of the contributions present improvements in automatic analysis and - notation methods, there is increasingly more work dealing with visualization, user interaction and collaboration. We can also observe ongoing standardization activities related to semantic multimedia in both W3C and MPEG, forming a solid basis for a wide adoption. Theconferencereceived41submissionsthisyear,ofwhichtheProgramC- mittee selected 13 full papers for oral presentation and 8 short papers for poster presentation. In addition to the scienti?c papers, the conference program - cluded two invited talks by Ricardo Baeza-Yates and Stefan Rug ¨ er and a demo session showing results from three European projects. The day before the main conference o?ered an industry day with presen- tions and demos that showed the growing importance of semantic technologies in real-world applications as well as the research challenges coming from them.

This book constitutes the refereed joint proceedings of seven international workshops held in conjunction with the 27th International Conference on Conceptual Modeling, ER 2008, in Barcelona, Spain, in October 2008. The 42 revised full papers presented were carefully reviewed and selected from 108 submissions. Topics addressed by the workshops are conceptual modeling for life sciences applications (CMLSA 2008), evolution and change in data management (ECDM 2008), foundations and practices of UML (FP-UML 2008), modeling mobile applications and services (M2AS 2008), requirements, intentions and goals in conceptual modeling (RIGiM 2008), semantic and conceptual issues in geographic information systems (SeCoGIS 2008), and Web information systems modeling (WISM 2008).

The complex and multidisciplinary nature of environmental problems requires that they are dealt with in an integrated manner. Modeling and software have become key instruments used to promote sustainability and improve environmental decision processes, especially through systematic integration of various knowledge and data and their ability to foster learning and help make predictions. This book presents the current state-of-the-art in environmental modeling and software and identifies the future challenges in the field. - State-of-the-art in environmental modeling and software theory and practice for integrated assessment and management serves as a starting point for researchers - Identifies the areas of research and practice required for advancing the requisite knowledge base and tools, and their wider usage - Best practices of environmental modeling enables the reader to select appropriate software and gives the reader tools to integrate natural system dynamics with human dimensions

Thisvolumecontainsallofthe Research-Track,Industry-TrackandDemo-Track papers that were selected for presentation at the Fifth International Conference on Service-Oriented Computing (ICSOC 2007), which was held in Vienna, A- tria, September 17–20, 2007. ICSOC 2007 followed the footsteps of four previous successful editions of the International Conference on Service-Oriented Computing that were held in Chicago,USA(2006),Amsterdam,TheNetherlands(2005),NewYorkCity,USA (2004) and Trento, Italy (2003). ICSOC is recognized as the?agship conference for service-oriented computing research and best practices. ICSOC covers the entire spectrum from theoretical and foundational results to empirical eval- tion, as well as practical and industrial experiences. ICSOC 2007 continued this tradition while introducing several new themes to further these goals. Service-orientedcomputingbringstogetherideasandtechnologiesfrommany diverse?elds in an evolutionary manner in order to address research challenges including service-based application modeling, service composition, discovery, - tegration, monitoring and management of services, service quality and security, methodologies for supporting service development, grid services, and novel t- ics including information as a service and service-oriented architecture (SOA) governance. To provide a balanced coverage and an equal emphasis across all aspects of service-oriented computing, ICSOC 2007's topics were divided into seven major areas: Business Service Modeling, Service Assembly, and Service Management, addressing research issues and best practices in the primary life-cycle phases of a service, modeling, assembly, deployment, and management; SOA Runtime and Quality of Service, covering issues spanning all stages of the life-cycle; Grid Services and Service Architectures, combining grid infrastructure concepts with service-oriented computing; and Business and Economical Aspects of Services.

Convergent plate margins and subduction zones are first order features shaping the Earth. Convergent continental margins combine the majority of processes that affect the internal architecture thermal and geochemical character of continental lith- phere. In addition, the close relationships between active deformation and uplift, m- matism and associated crustal growth, ore formation, the release of more than 90% of global seismic energy at convergent margins, make these plate boundaries imp- tant natural laboratories where mass and energy flux rates can be studied at various scales. Since the advent of plate tectonic theory, it has been recognized that all of these phenomena are intimately related and often governed by feedback mechanisms. Accordingly, subduction orogeny has become an international, high-priority theme in process-oriented, earth-system analysis. In this context, Dewey and Bird (1970) have defined the Andes as the type representative for orogeny and associated p- cessesat convergent margins in their benchmark paper. The Andes, therefore, p- vide an excellent natural laboratory for studying the above processes.

FIDJI 2002 was an international forum for researchers and practitioners in- rested in the advances in, and applications of, software engineering for distri- ted application development. Concerning the technologies, the workshop focused on “Java-related” technologies. It was an opportunity to present and observe the latest research, results, and ideas in these areas. All papers submitted to this workshop were reviewed by at least two members of the International Program Committee. Acceptance was based primarily on the originality and contribution. We selected for these postworkshop proceedings 16 papers amongst 33 submitted, two tutorials, and two keynotes. FIDJI 2002 was aimed at promoting a scienti?c approach to software engin- ring. The scope of the workshop included the following topics: – design of distributed Java applications – Java-related technologies – software and system architecture engineering and development methodo- gies – development methodologies for UML – development methodologies for reliable distributed systems – component-based development methodologies – management of evolutions/iterations in the analysis, design, implementation, and test phases – dependability support during system lifecycle – managing inconsistencies during application development – 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 modeling notation and techniques (e. g.