This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2014, held in Luxembourg, Luxembourg, in November 2014. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections on testing and inspection; mode…
This book explores education for juvenile offenders in relation to Passages Academy, which is both similar to and representative of many school programs in juvenile correctional facilities. Examining the mission and population of this school contributes to an understanding of the ways in which the teachers think about and ultimately act with respect to their detained juveniles students, and par…
This book constitutes the thoroughly refereed post-conference proceedings of the International Workshop on Interoperability and Open-Source Solutions for the Internet of Things, FP7 OpenIot Project, held in Conjunction with SoftCOM 2014, in Split, Croatia, in September 2014. The 11 revised full papers presented together with the extended abstracts of 2 keynote talks were carefully reviewed and…
Customer value management is a managerial approach in which customers are perceived as the company’s asset, the value of which may be measured and increased through the organization of processes around customer relationships. This book deals with the topic of managing customer lifetime value on the internet, and more specifically on including the role of the internet in customer value proposi…
This book focuses on structure-preserving numerical methods for flexible multibody dynamics, including nonlinear elastodynamics and geometrically exact models for beams and shells. It also deals with the newly emerging class of variational integrators as well as Lie-group integrators. It discusses two alternative approaches to the discretization in space of nonlinear beams and shells. Firstly, …
This book constitutes the refereed proceedings of the Second International Conference on Internet of Vehicles, IOV 2015, held in Chengdu, China, in December 2015. The 40 full papers presented were carefully reviewed and selected from 128 submissions. They focus on the following topics: IOV architectures and applications; intelligent mobility; V2V and M2M communications; and modeling and …
The two-volume set LNICST 150 and 151 constitutes the thoroughly refereed post-conference proceedings of the First International Internet of Things Summit, IoT360 2014, held in Rome, Italy, in October 2014. This volume contains 74 full papers carefully reviewed and selected from 118 submissions at the following four conferences: the First International Conference on Cognitive Internet of Thing…
This book describes a variety of highly effective and efficient structure-preserving algorithms for second-order oscillatory differential equations. Such systems arise in many branches of science and engineering, and the examples in the book include systems from quantum physics, celestial mechanics and electronics. To accurately simulate the true behavior of such systems, a numerical algorithm …
The two-volume set LNICST 150 and 151 constitutes the thoroughly refereed post-conference proceedings of the First International Internet of Things Summit, IoT360 2014, held in Rome, Italy, in October 2014. This volume contains 30 revised full papers carefully reviewed and selected from 51 submissions at the following three conferences: the First International Conference on Mobility and Smart …
This book portrays the commonality of tissue micro-structure that dictates physiological function in various organs (microstructure-function relation). Tissue and organ models are used to illustrate physiological functions based on microstructure. Fiber scale properties such as orientation and crimp are described in detail. Structurally-based constitutive models are given throughout the book, n…