This book constitutes the refereed proceedings of the First International Conference on Hybrid Learning, ICHL 2008, held in Hong Kong, China, in August 2008. The 38 revised full papers presented together with 3 keynot...
详细信息
ISBN:
(数字)9783540851707
ISBN:
(纸本)9783540851691
This book constitutes the refereed proceedings of the First International Conference on Hybrid Learning, ICHL 2008, held in Hong Kong, China, in August 2008. The 38 revised full papers presented together with 3 keynote lectures were carefully reviewed and selected from 142 submissions. The papers are organized in topical sections on hybrid education, model and pedagogies for hybrid learning, trends, pervasive learning, mobile and ubiquitous learning, hybrid learning experiences, hybrid learning systems, technologies, as well as contextual attitude and cultural effects.
This book constitutes the refereed proceedings of the 8th European Conference on Wireless Sensor Networks, EWSN 2011, held in Bonn, Germany, in February 2011. The 14 revised full papers presented were carefully review...
详细信息
ISBN:
(数字)9783642191862
ISBN:
(纸本)9783642191855
This book constitutes the refereed proceedings of the 8th European Conference on Wireless Sensor Networks, EWSN 2011, held in Bonn, Germany, in February 2011. The 14 revised full papers presented were carefully reviewed and selected from 87 submissions. The papers are organized in topical sections on routing and mobility, optimization techniques, MAC protocols, algorithms, and systems and abstractions.
This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on Algebraic Development techniques, WADT 2022, held in Aveiro, Portugal, in June 2022.
ISBN:
(数字)9783031433450
ISBN:
(纸本)9783031433443
This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on Algebraic Development techniques, WADT 2022, held in Aveiro, Portugal, in June 2022.
CiE 2008: Logic and Theory of Algorithms Athens, Greece, June 15–20, 2008 Computability in Europe (CiE) is an informal network of European scientists working on computability theory, including its foundations, techni...
详细信息
ISBN:
(数字)9783540694076
ISBN:
(纸本)9783540694052
CiE 2008: Logic and Theory of Algorithms Athens, Greece, June 15–20, 2008 Computability in Europe (CiE) is an informal network of European scientists working on computability theory, including its foundations, technical devel- ment, and applications. Among the aims of the network is to advance our t- oretical understanding of what can and cannot be computed, by any means of computation. Its scienti?c vision is broad: computations may be performed with discrete or continuous data by all kinds of algorithms, programs, and - chines. Computations may be made by experimenting with any sort of physical system obeying the laws of a physical theory such as Newtonian mechanics, quantum theory, or relativity. Computations may be very general, depending on the foundations of set theory; or very speci?c, using the combinatorics of ?nite structures. CiE also works on subjects intimately related to computation, especially theories of data and information, and methods for formal reasoning about computations. The sources of new ideas and methods include practical developments in areas such as neural networks, quantum computation, natural computation, molecular computation, computational learning. Applications are everywhere,especially, in algebra,analysisand geometry, or data types and p- gramming. Within CiE there is general recognition of the underlying relevance of computability to physics and a broad range of other sciences, providing as it does a basic analysis of the causal structure of dynamical systems. Thisvolume,Logic andTheory of Algorithms,istheproceedingsofthefourth in a series of conferences of CiE that was held at the University of Athens, June 15–20, 2008.
Online-Hilfen haben im Idealfall eine dankbare Aufgabe: sie helfen dem Anwender einer Software schnell und direkt bei der Problemlösung. Dieser Leitfaden zur Erstellung von Online-Hilfen zeigt anhand von konkrete...
详细信息
ISBN:
(数字)9783834894830
Online-Hilfen haben im Idealfall eine dankbare Aufgabe: sie helfen dem Anwender einer Software schnell und direkt bei der Problemlösung. Dieser Leitfaden zur Erstellung von Online-Hilfen zeigt anhand von konkreten Beispielen, umgesetzt mit MadCap Flare, wie Benutzerfreundlichkeit bei Online-Hilfen aussehen kann. Zusammen mit einem theoretischen Unterbau und neuen wissenschaftlichen Erkenntnissen ist dieses Buch sowohl für Einsteiger und Studierende in das Thema Online-Hilfen oder MadCap Flare geeignet, als auch für den Profi, der sich neue Anregungen holen will. Die Umsetzung der kontextsensitiven Anbindung ist auch ein Thema für Entwickler von Software-Oberflächen.
This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-1...
详细信息
ISBN:
(数字)9783642005152
ISBN:
(纸本)9783642005145
This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. The 11 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.
Aspects of Robust Statistics are important in many areas. Based on the International Conference on Robust Statistics 2001 (ICORS 2001) in Vorau, Austria, this volume discusses future directions of the discipline, brin...
详细信息
ISBN:
(数字)9783642573385
ISBN:
(纸本)9783790815184;9783642632419
Aspects of Robust Statistics are important in many areas. Based on the International Conference on Robust Statistics 2001 (ICORS 2001) in Vorau, Austria, this volume discusses future directions of the discipline, bringing together leading scientists, experienced researchers and practitioners, as well as younger researchers. The papers cover a multitude of different aspects of Robust Statistics. For instance, the fundamental problem of data summary (weights of evidence) is considered and its robustness properties are studied. Further theoretical subjects include e.g.: robust methods for skewness, time series, longitudinal data, multivariate methods, and tests. Some papers deal with computational aspects and algorithms. Finally, the aspects of application and programming tools complete the volume.
暂无评论