springer berlin heidelberg springer jun 2012 (701 risultati)

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 6th KES International Conference on Agent and Multi-Agent Systems, KES-AMSTA 2012, held in Dubrovnik, Croatia, in June 2012.The conference attracted a substantial number of researchers and practitioners from all over the world who submitted their papers for ten main tracks covering the methodology and applications of agent and multi-agent systems, one workshop (TRUMAS 2012) and five special sessions on specific topics within the field. The 66 revised papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on virtual organizations, knowledge and learning agents, intelligent workflow, cloud computing and intelligent systems, self-organization, ICT-based alternative and augmentative communication, multi-agent systems, mental and holonic models, assessment methodologies in multi-agent and other paradigms, business processing agents, Trumas 2012 (first international workshop), conversational agents and agent teams, digital economy, and multi-agent systems in distributed environments.

Taschenbuch. Condizione: Neu. Neuware -From the reviews:'Serre's notes on groups acting on trees have appeared in various forms (all in French) over the past ten years and they have had a profound influence on the development of many areas, for example, the theory of ends of discrete groups. This fine translation is very welcome and I strongly recommend it as an introduction to an important subject. In Chapter I, which is self-contained, the pace is fairly gentle. The author proves the fundamental theorem for the special cases of free groups and tree products before dealing with the (rather difficult) proof of the general case.' (A.W. Mason in Proceedings of the Edinburgh Mathematical Society 1982)Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 156 pp. Englisch.

Buch. Condizione: Neu. Neuware -In the past, services had a strong local and national focus. Professional services were very likely to be independently and autonomously organized from country to country in order to cater to local needs and local legal requirements. This has since changed radically, and highly integrated business and delivery models around the globe have become the status quo in clients¿ businesses and strategies. Serving clients on a global level requires professional services firms to adopt a structural change from local to distributed global sales and delivery.This book brings together many years of experience, current perspectives and future ideas of international business practitioners, academics, and market researchers. Along those lines it is structured into four parts. Part I ¿Winning Strategies and Innovative Ideas¿ lays the book¿s foundation: it discusses core strategies behind the globalization movement and introduces the major paradigms and ideas. Part II ¿Successful Processes for Realization¿ provides solutions for how to establish successful processes for delivering global professional services. Part III ¿Inspired Talent Management¿ goes to the core of the professional services industry: attracting, developing, and keeping the right talent in the right locations. Finally, Part IV offers ¿Experiences and Case Studies¿ on all aspects related to successfully building a globalized professional services firm.In short, this handbook provides professional services firms and their clients alike with a sound foundation for responding strategically to fundamental global changes and turning them into business advantages. It offers acomprehensive perspective of why and how to successfully globalize a professional services firm.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Traditional notions of security are premised on the primacy of state security. In relation to energy security, traditional policy thinking has focused on ensuring supply without much emphasis on socioeconomic and environmental impacts. Non-traditional security (NTS) scholars argue that threats to human security have become increasingly prominent since the end of the Cold War, and that it is thus critical to adopt a holistic and multidisciplinary approach in addressing rising energy needs. This volume represents the perspectives of scholars from across Asia, looking at diverse aspects of energy security through a non-traditional security lens. The issues covered include environmental and socioeconomic impacts, the role of the market, the role of civil society, energy sustainability and policy trends in the ASEAN region.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 116 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -¿Designed with the foreign investor in mind, this guide presents region and city-specific intelligence available through few other English sources. Its pages overview the region from a business standpoint, examine the economy of the region's provinces and prominent citiesin depth, and introduce the basics of establishing a business in the region.With detailed economic indicators and primary research largely from Chinese government and news sources, this guide is an accessible and engaging compilation of the practical information you need for doing business in the region. This is part of a five book business guide series: the Yangtze River Delta, Beijing and Northeast China, South China and the Greater Pearl River Delta, Central China and West China.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 140 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2012, 19th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2012, 5th International Workshop on Digital Mathematics Libraries, DML 2012, 11th International Conference on Mathematical Knowledge Management, MKM 2012, Systems and Projects, held in Bremen, Germany as CICM 2012, the Conferences on Intelligent Computer Mathematics. The 13 revised full papers out of 19 submissions for MKM 2012, 6 revised full papers out of 9 submissions for Calculemus 2012, 6 revised full papers out of 8 submissions for AISC 2012, 2 revised full papers out of 3 submissions for DML 2012, and 11 revised full papers out of 12 submissions for Systems and Project track presented were carefully reviewed and selected, resulting in 38 papers from a total of 52 submissions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 492 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -These four volumes (CCIS 297, 298, 299, 300) constitute the proceedings of the 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, held in Catania, Italy, in July 2012. The 258 revised full papers presented together with six invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on fuzzy machine learning and on-line modeling; computing with words and decision making; soft computing in computer vision; rough sets and complex data analysis: theory and applications; intelligent databases and information system; information fusion systems; philosophical and methodological aspects of soft computing; basic issues in rough sets; 40th anniversary of the measures of fuziness; SPS11 uncertainty in profiling systems and applications; handling uncertainty with copulas; formal methods to deal with uncertainty of many-valued events; linguistic summarization and description of data; fuzzy implications: theory and applications; sensing and data mining for teaching and learning; theory and applications of intuitionistic fuzzy sets; approximate aspects of data mining and database analytics; fuzzy numbers and their applications; information processing and management of uncertainty in knowledge-based systems; aggregation functions; imprecise probabilities; probabilistic graphical models with imprecision: theory and applications; belief function theory: basics and/or applications; fuzzy uncertainty in economics and business; new trends in De Finetti's approach; fuzzy measures and integrals; multi criteria decision making; uncertainty in privacy and security; uncertainty in the spirit of Pietro Benvenuti; coopetition; game theory; probabilistic approach.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 708 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The two-volume set LNCS 7324/7325 constitutes the refereed proceedings of the 9th International Conference on Image and Recognition, ICIAR 2012, held in Aveiro, Portugal, in June 2012. The 107 revised full papers presented were carefully reviewed and selected from 207 submissions. The papers are organized in topical sections on clustering and classification; image processing; image analysis; motion analysis and tracking; shape representation; 3D imaging; applications; biometrics and face recognition; human activity recognition; biomedical image analysis; retinal image analysis; and call detection and modeling.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 520 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The four-volume set LNCS 7333-7336 constitutes the refereed proceedings of the 12th International Conference on Computational Science and Its Applications, ICCSA 2012, held in Salvador de Bahia, Brazil, in June 2012.The four volumes contain papers presented in the following workshops: 7333 - advances in high performance algorithms and applications (AHPAA); bioinspired computing and applications (BIOCA); computational geometry and applicatons (CGA); chemistry and materials sciences and technologies (CMST); cities, technologies and planning (CTP); 7334 - econometrics and multidimensional evaluation in the urban environment (EMEUE); geographical analysis, urban modeling, spatial statistics (Geo-An-Mod); 7335 - optimization techniques and applications (OTA); mobile communications (MC); mobile-computing, sensind and actuation for cyber physical systems (MSA4CPS); remote sensing (RS); 7336 - software engineering processes and applications (SEPA); software quality (SQ); security and privacy in computational sciences (SPCS); soft computing and data engineering (SCDE).The topics of the fully refereed papers are structured according to the four major conference themes: 7333 - computational methods, algorithms and scientific application; 7334 - geometric modelling, graphics and visualization; 7335 - information systems and technologies; 7336 - high performance computing and networks.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 784 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book and its companion volume, LNCS 7282 and 7283, constitute the refereed proceedings of the 8th International Conference, EuroHaptics 2012, held in Tampere, Finland, in June 2012. The 99 papers (56 full papers, 32 short papers, and 11 demopapers) presented were carefully reviewed and selected from 153 submissions. Part I contains the full papers whereas Part II contains the short papers and the demo papers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 672 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the proceedings of the First International Conference on Biomimetic and Biohybrid Systems, Living Machines 2012, held in Barcelona, Spain, in July 2012.The 28 full papers and 33 extended abstracts presented in this volume were carefully reviewed and selected for inclusion in this book. The conference addresses themes related to the development of future real-world technologies which will depend strongly on our understanding and harnessing of the principles underlying living systems and the flow of communication signals between living and artificial systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 424 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The skin, the body¿s largest organ, is strategically located at the interface with the external environment where it detects, integrates and responds to a diverse range of stressors, including solar radiation. It has already been established that the skin is an important peripheral neuroendocrine-immune organ that is closely networked with central regulatory systems. These capabilities contribute to the maintenance of peripheral homeostasis. Specifically, epidermal and dermal cells produce and respond to classical stress neurotransmitters, neuropeptides and hormones, production which is stimulated by ultraviolet radiation (UVR), biological factors (infectious and non-infectious) and other physical and chemical agents. Examples of local biologically active products are cytokines, biogenic amines (catecholamines, histamine, serotonin and N-acetyl-serotonin), melatonin, acetylocholine, neuropeptides including pituitary (proopiomelanocortin-derived ACTH, b-endorphin or MSH peptides, thyroid stimulating hormone) and hypothalamic (corticotropin-releasing factor and related urocortins, thyroid-releasing hormone) hormones, as well as enkephalins and dynorphins, thyroid hormones, steroids (glucocorticoids, mineralocorticoids, sex hormones, 7-¿ steroids), secosteroids, opioids and endocannabinoids. The production of these molecules is hierarchical, organized along the algorithms of classical neuroendocrine axes such as the hypothalamic pituitary adrenal axis (HPA), hypothalamic-thyroid axis (HPT), serotoninergic, melatoninergic, catecholaminergic, cholinergic, steroid/secosteroidogenic, opioid and endocannabinoid systems. Disruptions of these axes or of communication between them may lead to skin and/or systemic diseases. These local neuroendocrine networks also serve to limit the effect of noxious environmental agents to preserve local and consequently global homeostasis. Moreover, the skin-derived factors/systems can also activate cutaneous nerve endingsto alert the brain to changes in the epidermal or dermal environments, or alternatively to activate other coordinating centers by direct (spinal cord) neurotransmission without brain involvement. Furthermore, rapid and reciprocal communications between epidermal and dermal and adnexal compartments are also mediated by neurotransmission including antidromic modes of conduction. Lastly, skin cells and the skin as an organ coordinate and/or regulate not only peripheral but also global homeostasis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 132 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 7th International Conference on Theory and Application of Diagrams, Diagrams 2012, held in Canaterbury, UK, in July 2012.The 16 long papers, 6 short papers and 21 poster abstracts presented were carefully reviewed and selected from 83 submissions. The papers are organized in keynotes, tutorial, workshops, graduate student symposium and topical sections on psychological and cognitive issues, diagram layout, diagrams and data analysis, Venn and Euler diagrams, reasoning with diagrams, investigating aesthetics, applications of diagrams.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 372 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The containment of cell growth is at the core of the homeostatic regulation of metazoans, and considerable progress has been made in the understanding of how this is achieved. Most knowledge comes from the isolation of molecu les with positive and negative regulatory effects on cell proliferation, and most emphasis so far has been on these molecules. Some of these molecules are already available for therapeutic purposes, and others look promising in this respect. This volume gives examples of such approaches. The understanding of the control of cell growth is also fundamental to grasp phylogenic and ontogenic development. Why organisms have developed increasingly sophisticated mechanisms that control their size and that of their organs, how different cells originate, some destined for renewal and repair, others for specialized functions in a postmitotic state or evolving through division, others like the germinal cells waiting for the signal to start another organism. There is one mechanism of growth containment, however, about which we know very little. It concerns the structural characteristics of the cell, i.e. the relationship between structure and function. How structure can change the response to identical signals. The positive and negative growth regulators may be conserved, but the structure and organization of the genetic material and of other cell components differ widely and are responsible to a great extent for the differences in cell proliferative behaviour.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed proceedings of eight international workshops held in Gdäsk, Poland, in conjunction with the 24th International Conference on Advanced Information Systems Engineering, CAiSE 2012, in June 2012.The 35 full and 17 short revised papers were carefully selected from 104 submissions. The eight workshops were Agility of Enterprise Systems (AgilES), Business/IT Alignment and Interoperability (BUSITAL), Enterprise and Organizational Modeling and Simulation (EOMAS), Governance, Risk and Compliance (GRCIS), Human-Centric Process-Aware Information Systems (HC-PAIS), System and Software Architectures (IWSSA), Ontology, Models, Conceptualization and Epistemology in Social, Artificial and Natural Systems (ONTOSE), and Information Systems Security Engineering (WISSE).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 664 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This two-volume set of LNCS 7391 and LNCS 7392 constitutes the refereed proceedings of the 39th International Colloquium on Automata, Languages and Programming, ICALP 2012, held in Warwick, UK, in July 2012.The total of 123 revised full papers presented in this volume were carefully reviewed and selected from 432 submissions. They are organized in three tracks focussing on algorithms, complexity and games; logic, semantics, automata and theory of programming; and foundations of networked computation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 892 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book contains the refereed proceedings of the 13th International Conference on Business Process Modeling, Development and Support (BPMDS 2012) and the 17th International Conference on Exploring Modeling Methods for Systems Analysis and Design (EMMSAD 2012), held together with the 24th International Conference on Advanced Information Systems Engineering (CAiSE 2012) in Gdäsk, Poland, in June 2012.The 17 papers accepted for BPMDS were selected from 48 submissions and cover a wide spectrum of issues related to business process development, modeling, and support. They are grouped into sections on business process in the cloud, advanced BPM in an organizational context, similarity, variations and configuration, BPM and requirements engineering, humans and business process models, and BPM technologies using computational methods.The 13 papers accepted for EMMSAD were chosen from 28 submissions and focus on exploring, evaluating, and enhancing current information modeling methods and methodologies. They are grouped in sections on modeling of enterprise architecture, modeling facts and rules, business process modeling, modeling of non-functional requirements, safety modeling and analysis, quality of models and modeling languages, and supporting the learning of conceptual modeling.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 468 pp. Englisch.

Buch. Condizione: Neu. Neuware -Addressing the issues unique to managers of creative technical staff, this guide reflects not only Ronald Kay¿s long experience observing and teaching successful management techniques, but also treats the expanding challenges due to increasingly globally-based projects and staff. As before, Kay¿s guide helps readers to prepare themselves, graduate students and others to understand and improve their managerial skills and covers such practical, yet sometimes overlooked, steps such as: individual and team behavior of creative technical staff; managing their own and others¿ R&D projects; hiring, evaluating and compensating technical staff; R&D proposals and administrative functions; and presentations, meetings and organizational culture. New to this edition are a chapter on the global impact of high-tech enterprises and sections on the roles of foundations and government funding and task-force participation. Also tackled are the basics of starting, financing and staffing venture-capital-funded enterprises. What¿s more, this book also serves to increase the awareness and knowledge base of anyone who needs to meet the challenge of managing people with the creative energies that drive technologically-based economic growth.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume constitutes the proceedings of the 4th Working Conference on Practice-Driven Research on Enterprise Transformation (PRET), held in Gdäsk, Poland, on June 27, 2012, as the industrial track of the 24th International Conference on Advanced Information Systems Engineering (CAiSE 2012).Restructuring, divesting, improving performance, and merging are among the usual transformation activities that enterprises conduct to provide answers to the challenging demands put on them. To foster the much-needed debate between researchers and practitioners on these topics, the number of papers accepted for PRET is kept low, providing the authors and the audience with ample time to engage in discussions about both the practical implications of results and the theoretical underpinnings of phenomena observed in industrial practice. This year, five papers were selected after careful review, and each paper is between 20 and 25 pages long, to allow for the presentation of details.The topics covered include enterprise architecture, business and IT alignment, and business process management and evaluation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 136 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, held in Trento, Italy, in June 2012. The 29 revised full papers, 7 tool papers, and 16 poster papers presented together with 2 invited talks were carefully reviewed and selected from 112 submissions (88 full, 10 tool and 14 poster papers). The papers are organized in topical sections on stochastic local search, theory, quantified Boolean formulae, applications, parallel and portfolio approaches, CDCL SAT solving, MAX-SAT, cores interpolants, complexity analysis, and circuits and encodings.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 520 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the Second International Workshop on Controlled Natural Language, CNL 2010, held in Marettimo Island, Italy, in September 2010.The 9 revised papers presented in this volume, together with 1 tutorial, were carefully reviewed and selected from 17 initial submissions. They broadly cover the field of controlled natural language, stressing theoretical and practical aspects of CNLs, relations to other knowledge representation languages, tool support, and applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The two-volume set LNCS 7367 and 7368 constitutes the refereed proceedings of the 9th International Symposium on Neural Networks, ISNN 2012, held in Shenyang, China, in July 2012. The 147 revised full papers presented were carefully reviewed and selected from numerous submissions. The contributions are structured in topical sections on mathematical modeling; neurodynamics; cognitive neuroscience; learning algorithms; optimization; pattern recognition; vision; image processing; information processing; neurocontrol; and novel applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 712 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, held in Bertinoro, Italy, in June 2012. SFM 2012 was devoted to model-driven engineering and covered several topics including modeling languages; model transformations, functional and performance modeling and analysis; and model evolution management.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 448 pp. Englisch.

Buch. Condizione: Neu. Neuware -In this book on Fundamentals of Mass Determination, the definition and dissemination of units of mass is explained, starting with an introduction to metrology and mass determination.Establishing a mass scale requires corresponding mass standards and mass comparators. The metrological requirements for weighing instruments, weight pieces, and measuring conditions are explained and discussed based on international directives and applicable legal regulations. International directives and institutions are striving towards the worldwide uniform implementation of these requirements. Processes used to determine density and volume are described to the extent that they apply to mass determination. Calculating measurement uncertainty entails taking into consideration the effect of influence variables on mass determination. An overview of this topic is provided to make it easier to determine and specify measurement uncertainty in practice, while additional information in the form of tables, illustrations, and literature references allow the reader to study mass metrology further.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 124 pp. Englisch.

Buch. Condizione: Neu. Neuware -The book is an expanded autobiography of the famous theoretical physicist Isaak Khalatnikov. He worked together with L.D. Landau at the Institute for Physical Problems lead by P.L. Kapitza. He is the co-author of L.D. Landau in a number of important works. They worked together in the frame of the so-called Nuclear Bomb Project. After the death of L.D. Landau, I.M. Khalatnikov initiated the establishment of the Institute for Theoretical Physics, named in honour of L.D. Landau, within the USSR Academy of Sciences. He headed this institute from the beginning as its Director. The institute inherited almost all traditions of the Landau scientific school and played a prominent role in the development of theoretical physics. So, this is a story about how the institute was created, how it worked, and about the life of the physicists in the 'golden age' of the Soviet science. A separate chapter is devoted to today¿s life of the institute and the young generation of physicists working now in science.It is an historically interesting book on the development of Soviet and Russian science and presents the background of the Soviet nuclear bomb program in the cold war age. In war times, Khalatnikov was a chief of the military staff of nuclear research. He writes about the internal conditions of Soviet society, the way of operating of the Soviet authorities and ways for scientists to interact with them. It gives many interesting insights into the development of superconductivity and superfluidity. The book is written by the most experienced and best informed person among the few living Russian scientists in the environment of Landau. Many stories of the book were never published before and considered as 'top secret'.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 20 th International Conference on User Modeling, Adaptation, and Personalization, held in Montreal, Canada, in July 2012. The 22 long and 7 short papers of the Research Paper Track presented were carefully reviewed and selected from 101 submissions. The papers are organized in topical sections on user engagement; trust; user motivation, attention, and effort; recommender systems (including topics such as matrix factorization, critiquing, noise and spam in recommender systems); user centered design and evaluation; educational data mining; modeling learners; user models in microblogging; and visualization. The Industry Paper Track covered innovative commercial implementations or applications of UMAP technologies, and experience in applying recent research advances in practice. 2 long and 1 short papers were accepted of 5 submissions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 416 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Mobile Wireless Middleware, Operating Systems, and Applications, Mobilware 2011, held in London, UK, in June 2011.The 21 revised full papers presented were carefully reviewed and selected from numerous contributions. The papers are organized in topical sections on mobile systems in education, SOC for mobile Apps (SOC), networking platforms (NW), mobile execution frameworks (MFW), mobile cloud (MC) and distributed execution, and mobile sensor networks.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Computing as a discipline is maturing rapidly. However, with maturity often comes a plethora of subdisciplines, which, as time progresses, can become isolationist. The subdisciplines of modelling, metamodelling, ontologies and modelling languages within software engineering e.g. have, to some degree, evolved separately and without any underpinning formalisms.Introducing set theory as a consistent underlying formalism, Brian Henderson-Sellers shows how a coherent framework can be developed that clearly links these four, previously separate, areas of software engineering. In particular, he shows how the incorporation of a foundational ontology can be beneficial in resolving a number of controversial issues in conceptual modelling, especially with regard to the perceived differences between linguistic metamodelling and ontological metamodelling. An explicit consideration of domain-specific modelling languages is also included in his mathematical analysis of models, metamodels, ontologies and modelling languages.This encompassing and detailed presentation of the state-of-the-art in modelling approaches mainly aims at researchers in academia and industry. They will find the principled discussion of the various subdisciplines extremely useful, and they may exploit the unifying approach as a starting point for future research.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 116 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -InhaltsangabeVesicoureteral Reflux.- A. Definition of Reflux.- B. Anatomy of the Ureterovesical Junction.- I. Contribution of the Ureter and Trigone to the Formation of the Ureterovesical Junction.- II. The Vesical Component of the Ureterovesical Valve.- 1. The Mucosal Layer.- 2. The Inner Longitudinal Muscle Layer.- 3. The Middle Circular Muscle Layer.- 4. The Outer Longitudinal Muscle Layer.- C. Innervation.- D. Physiology of the Ureterovesical Valve.- I. The Effect of Interrupting the Anatomical Continuity between the Ureter and the Trigone.- II. The Effect of Cutting the Nerves that Supply the Trigonal Muscle.- III. The Effect of Active Contraction of the Trigone on the Resistance of the Intravesical Ureter.- IV. The Effect of Active Contraction of the Trigone in Tightening and Occluding the Intravesical Ureter during Voiding.- E. Pathology of the Ureterovesical Junction.- I. Structural Changes at the Ureterovesical Junction.- 1. Conditions in which the Ureteral Hiatus Moves Downward in Relationship to the Ureteral Orifice.- 2. Conditions in which the Ureteral Orifice Moves Upward in Relation to the Ureteral Hiatus.- II. The Effect of Vesical Edema on the Ureterovesical Junction.- III. Congenital Anomalies of the Ureter.- IV. Maturation of the Intravesical Ureter.- V. Concept of the Marginally Competent Ureterovesical Junction.- F. Classification of Reflux by Etiology.- I. Reflux Due to Trigonal Weakness.- II. Reflux Due to Obstruction at or below the Bladder Neck.- III. Reflux Due to Neurogenic Vesical Disease.- IV. Reflux Due to Edema of the Bladder Wall.- V. Reflux Due to Congenital Anomalies.- VI. Reflux Due to Iatrogenic Causes.- G. Etiology of Nonocclusive Ureteral Dilatation (Megaloureter).- I. Factors that Increase the Volume of Urine in the Ureter.- 1. Dilation of the Renal Pelvis and Ureter by Forced Intake of Fluids.- 2. Dilation of the Upper Urinary Tract Due to Diabetes Insipidus.- 3. Dilation of the Pelvis of a Kidney Forced to Increase its Output after Unilateral Nephrectomy.- 4. Reflux as a Cause of Ureteral Overfilling.- II. Emptying Capacity of Various Areas of the Ureter.- III. Reflux and the Ureteropelvic Junction.- IV. Reflux and the Ureterovesical Junction.- H. Incidence of Reflux.- I. High Incidence of Reflux in Children with Urinary Tract Infection.- II. Demonstration of Reflux in Adults with Nonobstructive Pyelonephritis.- I. Effects of Reflux.- I. The Role of Reflux in Obstruction at the Ureteropelvic Junction.- II. The Kidney with Chronic Pyelonephritis.- III. The Atrophic Kidney with Chronic Pyelonephritis.- IV. The Normal Kidney.- V. Reflux as the Cause of Pyelonephritis of Pregnancy.- VI. Role of Reflux in the Perpetuation of Urinary Tract Infection.- VII. Miscellaneous.- J. The Role of the Ureterovesical Junction in the Pathogenesis of Pyelonephritis.- I. Childhood.- II. The Teenage Period.- III. The Adult Period.- IV. Prostatic Period.- K. The Treatment of Reflux and its Complications.- I. Medical Treatment.- II. The Surgical Correction of Reflux.- 1. Types of Operation.- 2. Results of Operation.- 3. Indications for Operation.- a) The Severity of the Reflux.- b) The Presence of Saccules.- c) The Severity of the Clinical Course.- d) The Conditions of the Kidneys.- e) The Age of the Patient.- References.- Anomalies of the Kidney.- I. Agenesis.- a) Bilateral Renal Agenesis.- b) Solitary Pelvic Kidney.- II. Hypoplasia.- a) Unilateral.- b) Bilateral.- III. Cystic Disease.- a) Simple (Solitary) Cysts.- b) Multiple Cysts of the Kidney.- c) Multilocular Cysts.- d) Polycystic Kidney Disease.- e) Peripelvic Cysts.- IV. Fusion Anomalies of the Kidney.- a) Horseshoe Kidney.- b) Unilateral Fused Kidney.- c) Fused Pelvic Kidney.- V. Ectopia of the Kidney.- 1. Introduction.- 2. Classification.- a) Simple Ectopy.- b) Bilateral Ectopia.- c) Crossed Renal Ectopia.- d) Ectopic Pelvic Kidney.- e) Thoracic Kidney (Congenital Superior Ectopia).- VI. Anomalies of Rotation.- 1. Introduction.- 2. Embryology.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented together with 2 invited talks and 13 short papers were carefully reviewed and selected from 59 submissions. The ABZ conference series is dedicated to the cross-fertilization of five related state-based and machine-based formal methods: Abstract State Machines (ASM), Alloy, B, VDM, and Z. They share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. The main goal of this conference series is to contribute to the integration of these formal methods, clarifying their commonalities and differences to better understand how to combine different approaches for accomplishing the various tasks in modeling, experimental validation and mathematical verification of reliable high-quality hardware/software systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 396 pp. Englisch.