الصفحة 4
الصفحة 4
Model-Driven Testing : Using the UML Testing Profile
Written by the original members of this standardization group, this book shows you how to use UML to test complex software systems. The authors introduce UTP step-by-step, using a case study that illustrates how UTP can be used for test modeling and test specification. You’ll learn how UTP concepts can be used for functional and non-functional testing, with example applications and best practices for user-interfaces and service oriented architectures. In addition, the authors demonstrate how to apply UTP using frameworks like TTCN-3 and the JUnit test framework for Java.
Model Driven Architecture ; European MDA Workshops : Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003, and Linköping, Sweden, June 10-11, 2004, Revised Selected Papers
Model-Driven Architecture (MDA) is an initiative proposedby the Object M- agement Group (OMG) for platform-generic software development. MDA s- arates the specification of system functionality from the implementation on a specific platform. It is aimed at making software assets more resilient to changes caused by emerging technologies. While stressing the importance of modeling, the MDA initiative covers a wide spectrum of research areas. Further efforts are required to bring them into a coherent approach based on open standards and supported by matured tools and techniques. This volume contains the selected papers of two workshops on “Model-Driven Architecture – Foundations and Applications” (MDAFA): MDAFA 2003 held at the University of Twente, Twente, The Netherlands, June 26–27, 2003, and MDAFA 2004 held at Linko ¨ping University, Link¨ oping, Sweden, June 10–11, 2004. The goal of the workshops was to understand the foundations of MDA, to share experience in applying MDA techniques and tools, and to outline future research directions. The workshops organizers encouraged authors of accepted papers to re-submit their papers to a post-workshop reviewing process; 15 of these papers were accepted to appear in this volume on MDA.
Model Based Learning and Instruction in Science
This book describes new, model based teaching methods for science instruction. It presents research that describes these new methods in a very diverse group of settings: middle school biology, high school physics, and college chemistry classrooms. Mental models in these areas such as understanding the structure of the lungs or cells, molecular structures and reaction mechanisms in chemistry, or causes of current flow in electricity are notoriously difficult for many students to learn. Yet these lie at the core of conceptual understanding in these areas. The studies focus on a variety of teaching strategies such as discrepant questioning, analogies, animations, model competition, and hands on activities.
Mobile Ad-hoc and Sensor Networks ; Vol. 4325 ; 2nd International Conference, MSN 2006, Hong Kong, China, December 13-15, 2006, Proceedings
This book constitutes the refereed proceedings of the Second International Conference on Mobile Ad-hoc and Sensor Networks, MSN 2006, held in Hong Kong, China in December 2006. The 73 revised full papers address all current issues in mobile ad hoc and sensor networks and are organized in topical sections on routing, network protocols, security, energy efficiency, data processing, and deployment.
Misbehaving Proteins : Protein (Mis)Folding, Aggregation, and Stability
Misfoldedaggregatedproteinoncewasconsideredasinterestingasyesterday’strash—a bothersome by-product of important and productive activities, to be disposed of and forgotten as quickly as possible. Yesterday’s trash has become today’s focus of cons- erable scienti?c interest for at least two reasons: (1) protein aggregates are at the core of a number of chronic degenerative diseases such as Alzheimer’s disease, and (2) - gregation poses signi?cant obstacles to the manufacture of safe, ef?cacious, and stable protein products. As interest in protein misfolding, aggregation, and stability has soared beyond the core group of traditional protein-folding scientists, and as substantial scienti?c progress in understanding and controlling protein misfolding has been achieved, the need to summarize the state of the art became manifest. Although there are many excellent texts and edited collections on protein structure and folding, these volumes tend to relegate protein misfolding and aggregation to a minor role. Review articles and books focused on the biological role of protein aggregates in diseases have been published recently.
Mirror Geometry of Lie Algebras, Lie Groups and Homogeneous Spaces
As K. Nomizu has justly noted [K. Nomizu, 56], Differential Geometry ever will be initiating newer and newer aspects of the theory of Lie groups. This monograph is devoted to just some such aspects of Lie groups and Lie algebras. New differential geometric problems came into being in connection with so called subsymmetric spaces, subsymmetries, and mirrors introduced in our works dating back to 1957 [L.V. Sabinin, 58a,59a,59b]. In addition, the exploration of mirrors and systems of mirrors is of interest in the case of symmetric spaces. Geometrically, the most rich in content there appeared to be the homogeneous Riemannian spaces with systems of mirrors generated by commuting subsymmetries, in particular, so called tri-symmetric spaces introduced in [L.V. Sabinin, 61b]. As to the concrete geometric problem which needs be solved and which is solved in this monograph, we indicate, for example, the problem of the classification of all tri-symmetric spaces with simple compact groups of motions. Passing from groups and subgroups connected with mirrors and subsymmetries to the corresponding Lie algebras and subalgebras leads to an important new concept of the involutive sum of Lie algebras [L.V. Sabinin, 65]. This concept is directly concerned with unitary symmetry of elementary par- cles (see [L.V. Sabinin, 95,85] and Appendix 1). The first examples of involutive (even iso-involutive) sums appeared in the - ploration of homogeneous Riemannian spaces with and axial symmetry. The consideration of spaces with mirrors [L.V. Sabinin, 59b] again led to iso-involutive sums.
Migration of organisms : Climate. geography. ecology
The editor presents a suitable collection of topics, to achieve the goal of this book, which is explaining the migration of organisms through many examples of different groups of marine and non-marine organisms, ranging from micro-invertebrates to large vertebrates (mammals), and focusing on several aspects that are not collected together.
Migrants with Irregular Status in Europe : Evolving Conceptual and Policy Challenges
This book explores the conceptual challenges posed by the presence of migrants with irregular immigration status in Europe and the evolving policy responses at European, national and municipal level. It addresses the conceptual and policy issues raised, post-entry, by this particular section of the migrant population.
Microwave Radiometry of Vegetation Canopies
Research into microwave radiation from the Earth’s surface in the presence of vegetation canopies, as well as the development of algorithms for retrieval of soil and vegetation parameters from microwave radiometric measurements, have been actively conducted for the last 30 years by scientific groups worldwide. The capability of the microwave radiometric method to determine soil moisture and vegetation biometric indices was revealed 25 years ago by the author and his colleagues. Soil moisture and vegetation covers play a key role in the hydrological cycle and in water and energy transfer on the border of land surface and atmosphere through evaporation and transpiration. Accomplishment of large international projects shows that microwave radiometry of soil and vegetation has become an instrument of practical application and operational use. A systematic account of questions concerning the microwave radiometry of the Earth’s surface in the presence of vegetation canopies is the main objective of the book.
Micro-Place Homicide Patterns in Chicago : 1965 - 2017
This brief examines 36,263 homicides in Chicago over a 53-year study period, 1965 through 2017, at micro place grid cells of 150 by 150 meters. This study shows not only long-term historical patterns of homicides in Chicago, but also places that historical context of homicide in reference to the dramatic increases in homicides in 2016-2017. It uses several different inequality metrics, as well as kernel density maps to demonstrate that homicides were more clustered in the 1960’s compared to later periods. Using zero inflated group-based trajectory models, it demonstrates the long-term temporal stability of homicides at micro places. This brief will be of interest to researchers in policing, homicide, and research methods in criminology.
Microfinance, EU structural funds and capacity building for managing authorities : A comparative analysis of European convergence regions
Presents a study of capacity building and structural funds in public managing authorities for the microcredit sector. It presents two surveys to highlight the strengths and weaknesses of the managing authorities' capacity building. The first survey investigates the authorities' need for and interests in capacity building activities, assessing the areas in which capacity building support is needed, and explores the different types of support offered. The second survey analyses the results of the microcredit and microfinance programming activity, investigating its target groups and other operational features. It examines the key monitoring and reporting issues involved in this activity, before analysing the regulatory framework of the microcredit and microfinance sector.
Metodi Matematici della Fisica = Mathematical Methods of Physics
This text draws its origin from my old notes, prepared for the course of Mathematical Methods of Physics and gradually arranged, refined and updated over the course of many years of teaching. The aim has always been to provide as simple and direct a presentation as possible of the mathematical methods relevant to Physics: Fourier series, Hilbert spaces, linear operators, functions of complex variables, Fourier and Laplace transforms, distributions. In addition to these basic topics, a brief introduction to the first notions of group theory, Lie algebras and symmetries in view of their applications to Physics is presented in the Appendix.
Methods in Nonlinear Analysis
Nonlinear analysis has developed rapidly in the last three decades. Theories, techniques and results in many different branches of mathematics have been combined in solving nonlinear problems. This book collects and reorganizes up-to-date materials scattered throughout the literature from the methodology point of view, and presents them in a systematic way. It contains the basic theories and methods with many interesting problems in partial and ordinary differential equations, differential geometry and mathematical physics as applications.There are five chapters that cover linearization, fixed-point theorems based on compactness and convexity, topological degree theory, minimization and topological variational methods. Each chapter combines abstract, classical and applied analysis. Particular topics included are bifurcation, perturbation, gluing technique, transversality, Nash–Moser technique, Ky Fan's inequality and Nash equilibrium in game theory, setvalued mappings and differential equations with discontinuous nonlinear terms, multiple solutions in partial differential equations, direct method, quasiconvexity and relaxation, Young measure, compensation compactness method and Hardy space, concentration compactness and best constants, Ekeland variational principle, infinite-dimensional Morse theory, minimax method, index theory with group action, and Conley index theory.
Methods in consumer research ; Vol 1 : New approaches to classic methods
Brings together world leading experts in global consumer research who provide a fully comprehensive state-of-the-art coverage of advances in the classical methods of consumer science. The book touches on the latest developments in qualitative techniques, Including coverage of both focus groups and social media, While also focusing on liking, A fundamental principle of consumer science, Consumer segmentation, And the influence of extrinsic product characteristics, Such as packaging and presentation on consumer liking.
Methods and Techniques for Cleaning-up Contaminated Sites
This publication is meant to foster links between groups facing challenges cleaning up contaminated sites through presentations that explore the problems currently being addressed and solutions that are emerging in the field.
Metals in Society and in the Environment : A Critical Review of Current Knowledge on Fluxes, Speciation, Bioavailability and Risk for Adverse Effects of Copper, Chromium, Nickel and Zinc
In 2002, the Swedish Metal Information Task Force (MITF) engaged the Environmental Research Group (MFG) to update previous monographs on copper, zinc and major alloying metals (such as chromium, nickel and molybdenum) in society and in the environment. This book presents new results on metal fluxes from society to the environment, on metal speciation in water, soil and sediment, and its interpretation in terms of mobility, biological uptake and toxicity. The scientific fundamentals of new approaches, like the Acid Volatile Sulphide (AVS) concept to predict metal bioavailability in sediments, and the Biotic Ligand Model (BLM) to calculate the toxicity of metals to aquatic organisms, are critically evaluated, with a focus on copper, nickel, zinc, and, in part, chromium.
Metaheuristics : Progress as Real Problem Solvers
Metaheuristics: Progress as Real Problem Solvers is a peer-reviewed volume of eighteen current, cutting-edge papers by leading researchers in the field. Included are an invited paper by F. Glover and G. Kochenberger, which discusses the concept of Metaheuristic agent processes, and a tutorial paper by M.G.C. Resende and C.C. Ribeiro discussing GRASP with path-relinking. Other papers discuss problem-solving approaches to timetabling, automated planograms, elevators, space allocation, shift design, cutting stock, flexible shop scheduling, colorectal cancer and cartography. A final group of methodology papers clarify various aspects of Metaheuristics from the computational view point
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2005 ; 8th International Conference, Palm Springs, CA, USA, October 26-29, 2005, Proceedings, Part I
This paper presents a method for classification of medical images, using machine learning and deformation-based morphometry. A morphological representation of the anatomy of interest is first obtained using highdimensional template warping, from which regions that display strong correlations between morphological measurements and the classification (clinical) variable are extracted using a watershed segmentation, taking into account the regional smoothness of the correlation map which is estimated by a crossvalidation strategy in order to achieve robustness to outliers. A Support Vector Machine-Recursive Feature Elimination (SVM-RFE) technique is then used to rank computed features from the extracted regions, according to their effect on the leave-one-out error bound. Finally, SVM classification is applied using the best set of features, and it is tested using leave-one-out. The results from a group of 61 brain images of female normal controls and schizophrenia patients demonstrate not only high classification accuracy (91.8%) and steep ROC curves, but also exceptional stability with respect to the number of selected features and the SVM kernel size
Medical centers management system
The medical clinics management system (MCMS) is a system that manages a group of clinics distributed within different governorates and regions in Syria, as it manages data entry processes for each patient such as personal information, disease and accompanying symptoms in addition to doctors' information, and clinics through a web application. The system also performs mining algorithms on the current data for discovering new symptoms and diseases by analyzing patient, diseases and symptoms data available within the database, to subsequently notify the admins of the emergence of a new symptom or an increase in a disease in a given area. In addition to generating daily or weekly reports containing the number of visits and cases of recovery and other information.
Mechanosensitive Ion Channels
This book explores the latest data dealing with mechanosensitive channels research results. It was compiled by a group of internationally recognized scientists leading in the field of mechanosensitive ion channels or mechanically gated channels and signaling cascades research.
