Page 18
Page 18
Restructing Eastern Germany
This yearbook of urban and regional studies provides English language papers on spatial development research on Germany and Central and Eastern Europe for researchers and practioners outside Germany.
Research on teaching and learning probability
This book summarizes the vast amount of research related to teaching and learning probability that has been conducted for more than 50 years in a variety of disciplines. It begins with a synthesis of the most important probability interpretations throughout history: intuitive, classical, frequentist, subjective, logical propensity and axiomatic views. It discusses their possible applications, philosophical problems, as well as their potential and the level of interest they enjoy at different educational levels. Next, the book describes the main features of probabilistic thinking and reasoning, including the contrast to classical logic, probability language features, the role of intuitions, as well as paradoxes and the relevance of modeling. It presents an analysis of the differences between conditioning and causation, the variability expression in data as a sum of random and causal variations, as well as those of probabilistic versus statistical thinking.
Research genres across languages : Multilingual communication online
This book takes the perspective of genre analysis to provide a timely examination of professional and public communication of science. It gives an updated overview on the increasing diversification of genres for communicating scientific research today by reviewing relevant theories that contribute an understanding of genre evolution and innovation in Web 2.0. The book also offers a much-needed critical enquiry into the dynamics of languages for academic and research communication and reflects on current language-related issues such as academic Englishes, ELF lects, translanguaging, polylanguaging and the multilingualisation of science.
Research and Advanced Technology for Digital Libraries Vol. 4172 ; 10th European Conference, EDCL 2006, Alicante Spain, September 17-22, 2006, Proceedings
This book constitutes the refereed proceedings of the proceedings of the 10thEuropean Conference onDigital Libraries (ECDL 2006). Over the last ten years, ECDL has created a stronginterdisciplinary community of researchers and practitioners in the field of digitallibraries, and has formed a substantial body of scholarly publications containedin the conference proceedings.
Research and advanced technology for digital libraries ; Vol. 3652 ; 9th European Conference, ECDL 2005, Vienna, Austria, September 18-23, 2005, Proceedings
This book constitutes the refereed proceedings of the 9th European Conference on Research and Advanced Technology for Digital Libraries, ECDL 2005, held in Vienna, Austria in September 2005. The 41 revised full papers presented together with 2 panel papers and 30 revised poster papers were carefully reviewed and selected from a total of 162 submissions. The papers are organized in topical sections on digital library models and architectures, multimedia and hypermedia digital libraries, XML, building digital libraries, user studies, digital preservation, metadata, digital libraries and e-learning, text classification in digital libraries, searching, and text digital libraries.
Requirements engineering : Foundation for software quality ; 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007, Proceedings
This book constitutes the refereed proceedings of the 13th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2007, held in Trondheim, Norway in June 2007. The papers are organized in thematic sections on goal-driven requirements engineering (RE), products and product-lines, value-based RE and the value of RE, requirements elicitation, requirements specification, industrial experience of RE, and requirements quality and quality requirements.
Requirements Engineering
Essentially, this is an update that places more emphasis on modelling by describing a greater range of approaches to system modelling. It introduces the UML2, which is the recent standard approved by the OMG. There is also an enhanced discussion on the relationship between requirements management and modelling, which relates well to the concept of rich traceability. The chapter on the requirements management tool DOORS has been revised to use Version 7 of the tool and this is complemented with examples taken from the DOORS/Analyst tool which demonstrates how the concepts of modelling can be captured and created within DOORS. The text is still aimed at students and practitioners of systems engineering who are keen to gain knowledge of using requirements engineering for system development.
Representation learning for natural language processing
Provides an overview of the recent advances in representation learning theory, algorithms, and applications for natural language processing (NLP), ranging from word embeddings to pre-trained language models. It is divided into four parts. Part I presents the representation learning techniques for multiple language entries, including words, sentences and documents, as well as pre-training techniques. Part II then introduces the related representation techniques to NLP, including graphs, cross-modal entries, and robustness. Part III then introduces the representation techniques for the knowledge that are closely related to NLP, including entity-based world knowledge, sememe-based linguistic knowledge, legal domain knowledge and biomedical domain knowledge. Lastly, Part IV discusses the remaining challenges and future research directions..
Representation Learning for Natural Language Processing
This book provides an overview of the recent advances in representation learning theory, algorithms and applications for natural language processing (NLP). It is divided into three parts.
Remnant Raising and Vso Clausal Architecture : A Case Study of San Lucas Quiavini Zapotec
San Lucas Quiaviní Zapotec, an endangered and little-examined indigenous language of Mexico, shows a range of syntactic and morphological phenomena incompatible with standard Minimalist accounts of verb movement: verbs and clearly phrasal constituents behave identically in a number of syntactic constructions, and the ordering of verbal morphemes is problematic for standard assumptions of verbal head movement.This work proposes a VP-remnant raising account for these phenomena, motivated by Kayne’s (1992) Antisymmetry program. This work also examines consequences of phrasal remnant movement for negation constructions, question formation; and the interpretation of tense, aspect, and mood.
Reliable Software Technology – Ada-Europe 2005 ; 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings
Started on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference that had previously run for 16 consecutive years, the International Conference on Reliable Software Technologies celebrated this year its tenth anniversary by going to York, UK, where the ?rst series of technical meetings on Ada were held in the 1970s. Besides being a beautiful and historical place in itself, York also hosts the Depa- ment of Computer Science of the local university, whose Real-Time Group has been tremendously in?uential in shaping the Ada language and in the progress on real-time computing worldwide. This year’s conference was therefore put together under excellent auspices, in a very important year for the Ada community in view of the forthc- ing completion of the revision process that is upgrading the language standard to face the challenges of the new millennium. The conference took place on June 20–24, 2005. It was as usual sponsored by Ada-Europe, the European federation of national Ada societies, in cooperation with ACM SIGAda. The conference was organized by selected staff of the University of York teamed up with collaborators from various places in Europe, in what turned out to be a very effective instance of distributed collaborative processing. The conference also enjoyed the generous support of 11 industrial sponsors.
Reliable Software Technologies - Ada-Europe 2008 ; 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language technologies, model-driven engineering and applications of Petri Nets.
Reliable Software Technologies -- Ada-Europe 2006 ; 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings
This book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- Europe 2006, took place in Porto, Portugal,2006. the conference included a three-day technical program, during which the papers contained in these proceedings were presented, bracketed by two tutorial days where attendants had the opportunity to catch up on a variety of topics related to the field, at both introductory and advanced levels. Continuing the success achieved in the previous year, the technical p- gramalso included an industrial track, with contributions illustrating challenges faced and solutions encountered by industrialists from both sides ofthe Atlantic.
Reliable Software Technologies - Ada-Europe 2002; 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings
This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe 2002, held in Vienna, Austria, in June 2002. The 24 revised full papers presented together with four invited papers were carefully reviewed and selected for inclusion in the proceedings. The papers are organized in topical sections on embedded systems, case studies, real-time systems, high-integrity systems, Ada language issues, program analysis, tools, distributed systems, and libraries and APIs.
Reliable Software Technologies - Ada Europe 2007 ; 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings
Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement of all aspects of reliable software technologies. The objective of this series of conferences, initiated and sponsored by Ada-Europe, the European federation of national Ada societies, is to provide a forum to promote the development of reliable softwares both as an industrial technique and an academic discipline.
Relations and Kleene Algebra in Computer Science ; 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29 - September2, 2006, Proceedings
This volume contains the joint proceedings of the 9th International Conferenceon Relational Methods in Computer Science (RelMiCS-9) and the 4th Interna-tional Workshop on Applications of Kleene Algebra (AKA 2006). This year, special focus was on formal methods, logics ofprograms and links with neighboring disciplines. This diversity is reflected bythe contributions to this volume.The Programme Committee selected 25 technical contributions out of 44 ini-tial submissions from 14 countries.
Relations and Kleene Algebra in Computer Science ; 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings
The book describe the calculus of relations and similar algebraic formalisms as methodological and conceptual tools with special focus on formal methods for software engineering, logics of programs and links to neighbouring disciplines. Their scope comprises relation algebra, fixpoint calculi, semiring theory, iteration algebras, process algebras and dynamic algebras. Applications include formal algebraic modeling, the semantics, analysis and development of programs, formal language theory and combinatorial optimization.
Regulated Bioanalysis : Fundamentals and Practice
Covers the fundamental and practical aspects of regulated bioanalysis. The editors are seeking leading scientists in the field to participate in the development of this book, which we envision as a “one of a kind” contribution to our field. The book is intended for students in the pharmaceutical sciences, chemistry, biology and related scientific disciplines interested in bioanalysis, as well as working scientists new to the field of regulated bioanalysis. It will also serve as a primer for those experienced in the field. The depth of the book will seek to give its audience a solid foundation of knowledge in regulated bioanalysis which can be leveraged further with “hands on” experience. Understanding that bioanalytical global regulations evolve, the book is not intended as a deep-dive into regulatory language nuances but rather to be an educational text on conducting defendable and auditable science to support modern bioanalysis.
Regular Expression Recipes for Windows Developers : A Problem-Solution Approach
Regular expressions are an essential part of programming, but they can be difficult to cope with. Enter Regular Expression Recipes for Windows Developers. This is the only book of its kind that presents material in a functional, concise manner. It contains over 100 of the most popular regular expressions, along with explanations of how to use each one. It also covers all of the major development languages, including JavaScript, VB, VB .NET, and C#.
Reflections on the Teaching of Programming : Methods and Implementations : Methods and Implementations
The book addressed span a wide range of problems and solutions associated with the teaching of programming such as introductory programming courses, exposition of the programming process, apprentice-based learning, functional programming first, problem-based learning, the use of on-line tutorials, object-oriented programming and Java, the BlueJ environment to introduce programming, model-driven programming as opposed to the prevailing language-driven approach, teaching software engineering, testing, extreme programming, frameworks, feedback and assessment, active learning, technology-based individual feedback, and mini project programming exams.
