This book constitutes the refereed proceedings of the 24th International Conference on Advanced Information Systems Engineering, CAiSE 2012, held in Gdansk, Poland, in June 2012.The 42 revised full papers, 2 full-leng...
详细信息
ISBN:
(数字)9783642310959
ISBN:
(纸本)9783642310942
This book constitutes the refereed proceedings of the 24th International Conference on Advanced Information Systems Engineering, CAiSE 2012, held in Gdansk, Poland, in June 2012.
The 42 revised full papers, 2 full-length invited papers and 4 short tutorial papers, were carefully reviewed and selected from 297 submissions. The contributions have been grouped into the following topical sections: business process model analysis; service and component composition; language and models; system variants and configuration; process mining; ontologies; requirements and goal models; compliance; monitoring and prediction; services; case studies; business process design; feature models and product lines; and human factors.
This book constitutes the refereed proceedings of the 15th Pacific Rim Conference on Multimedia, PCM 2014, held in Kuching, Malaysia, in December 2014. The 35 revised full papers and 6 short papers presented were care...
详细信息
ISBN:
(数字)9783319131689
ISBN:
(纸本)9783319131672
This book constitutes the refereed proceedings of the 15th Pacific Rim Conference on Multimedia, PCM 2014, held in Kuching, Malaysia, in December 2014. The 35 revised full papers and 6 short papers presented were carefully reviewed and selected from 84 submissions. The papers cover a wide range of topics in the area of multimedia content analysis, multimedia signal processing and communications, and multimedia applications and services. They have been organized into topical sections on video coding, annotation, image and photo, applications, people, image analysis and processing under extra help, nearest neighbor, neural networks, and audio. Also included are sections with best papers and posters and demonstrations.
This book conceptualizes ecopedagogies as forms of educational innovation and critique that emerge from, negotiate, debate, produce, resist, and/or overcome the shifting and expansive postdigital ecosystems of humans,...
详细信息
ISBN:
(数字)9783030972622
ISBN:
(纸本)9783030972615;9783030972646
This book conceptualizes ecopedagogies as forms of educational innovation and critique that emerge from, negotiate, debate, produce, resist, and/or overcome the shifting and expansive postdigital ecosystems of humans, machines, nonhuman animals, objects, stuff, and other forms of matter. Contemporary postdigital ecosystems are determined by a range of new bioinformational reconfigurations in areas including capitalism, imperialism, settler-colonialism, and ontological hierarchies more generally. Postdigital ecopedagogies name a condition, a question, and a call for experimentation to link pedagogical research and practice to challenges of our moment. They pose living, breathing, expanding, contracting, fluid, and spatial conditions and questions of our non-chronological present. This book presents analyses of that present from a wide spectrum of disciplines, including but not limited to education studies, philosophy, politics, sociology, arts, and architecture.
Modern computing tools like;(symbolic computation) and;(a numeric computation and visualization program) make it possible to easily solve realistic nontrivial problems in scientific computing. In education, traditiona...
详细信息
ISBN:
(数字)9783642976193
Modern computing tools like;(symbolic computation) and;(a numeric computation and visualization program) make it possible to easily solve realistic nontrivial problems in scientific computing. In education, traditionally, complicated problems were avoided, since the amount of work for obtaining the solutions was not feasible for students. This situation has changed now, and students can be taught real-life problems that they can actually solve using the new powerful software. The reader will improve his knowledge through learning by examples and he will learn how both systems,;and;, may be used to solve problems interactively in an elegant way. This second edition has been expanded by two new chapters. All programs can be obtained from a server at ETH Zurich.
This book constitutes the joint refereed proceedings of Calculemus 2014, Digital Mathematics Libraries, DML 2014, Mathematical Knowledge Management, MKM 2014 and Systems and Projects, S&P 2014, held in Coimbra, Po...
详细信息
ISBN:
(数字)9783319084343
ISBN:
(纸本)9783319084336
This book constitutes the joint refereed proceedings of Calculemus 2014, Digital Mathematics Libraries, DML 2014, Mathematical Knowledge Management, MKM 2014 and Systems and Projects, S&P 2014, held in Coimbra, Portugal, during July 7-11, 2014 as four tracks of CICM 2014, the Conferences on Intelligent Computer Mathematics. The 26 full papers and 9 Systems and Projects descriptions presented together with 5 invited talks were carefully reviewed and selected from a total of 55 submissions. The Calculemus track of CICM examines the integration of symbolic computation and mechanized reasoning. The Digital Mathematics Libraries track - evolved from the DML workshop series - features math-aware technologies, standards, algorithms and processes towards the fulfillment of the dream of a global DML. The Mathematical Knowledge Management track of CICM is concerned with all aspects of managing mathematical knowledge in the informal, semi-formal and formal settings. The Systems and Projects track presents short descriptions of existing systems or on-going projects in the areas of all the other tracks of the conference.
This book constitutes the refereed proceedings of the First International Conference on Health Information Science, held in Beijing, China, in April 2012. The 15 full papers presented together with 1 invited pape...
详细信息
ISBN:
(数字)9783642293610
ISBN:
(纸本)9783642293603
This book constitutes the refereed proceedings of the First International Conference on Health Information Science, held in Beijing, China, in April 2012. The 15 full papers presented together with 1 invited paper and 3 industry/panel statements in this volume were carefully reviewed and selected from 38 submissions. The papers cover all aspects of the health information sciences and the systems that support this health information management and health service delivery. The scope includes 1) medical/health/biomedicine information resources, such as patient medical records, devices and equipments, software and tools to capture, store, retrieve, process, analyze, optimize the use of information in the health domain, 2) data management, data mining, and knowledge discovery (in health domain), all of which play a key role in decision making, management of public health, examination of standards, privacy and security issues, and 3) development of new architectures and applications for health information systems.
暂无评论