الصفحة 15
الصفحة 15
Connected Planning : A Playbook for Agile Decision Making
The book originally entitled Enterprise Performance Management Done Right, published in 2012, is a practical roadmap for using Connected Planning to develop an agile organization and to navigate the complex Enterprise Performance Management landscape.
Conformal Groups in Geometry and Spin Structures
This book provides a self-contained overview of this important area of mathematical physics, beginning with its origins in the works of Cartan and Chevalley and progressing to recent research in spinors and conformal geometry. Key topics and features: * Focuses initially on the basics of Clifford algebras * Studies the spaces of spinors for some even Clifford algebras * Examines conformal spin geometry, beginning with an elementary study of the conformal group of the Euclidean plane * Treats covering groups of the conformal group of a regular pseudo-Euclidean space, including a section on the complex conformal group * Introduces conformal flat geometry and conformal spinoriality groups, followed by a systematic development of riemannian or pseudo-riemannian manifolds having a conformal spin structure * Discusses links between classical spin structures and conformal spin structures in the context of conformal connections * Examines pseudo-unitary spin structures and pseudo-unitary conformal spin structures using the Clifford algebra associated with the classical pseudo-unitary space
Concepts and Semantics of Programming Languages 2 : Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java
Explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, providing also an accurate presentation of the material aspects that interfere with coding. Presents an original semantic model, collectively taking into account all of the constructs and operations of modules and classes: visibility, import, export, delayed definitions, parameterization by types and values, extensions, etc. The model serves for the study of Ada and OCaml modules, as well as C header files. It can be deployed to model object and class features, and is thus used to describe Java, C++, OCaml and Python classes.
Conception optimale de structures = Optimal structural design
Optimal Structural Design deals with all aspects of shape optimization, parametric, geometric and topological, and gives a large place to numerical algorithms, gradient methods and stochastic methods (with an original contribution by Marc Schoenauer for this last point). In particular, most of the structural optimization algorithms have been implemented in the FreeFem ++ finite element software and the programs are freely available on the web. Optimal structural design is devoted to structural or shape optimization and is intended for a mixed audience of applied mathematicians and mechanicians. It discusses parametric, geometric and topology optimization and gives deterministic and stochastic numerical algorithms (implemented in the FreeFem ++ finite element software).
Computer Security – ESORICS 2006 ; 11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006, Proceedings
This book constitutes the refereed proceedings of the 11th European Symposium on Research in Computer Security, ESORICS 2006. it presents original research contributions, case studies and implementation experiences addressing any aspect of computer security - in theory, mechanisms, applications, or practical experience.
Computer Network Security ; Vol. 3685
This volume contains papers presented at the 3rd International Workshop on Mathematical Methods, Models and Architectures for Computer Network - curity (MMM-ACNS 2005) held in St. Petersburg, Russia, 2005. The 1st and the 2nd International Workshops on Mathematical Methods, Models and Architectures for Computer Network Security (MMM-ACNS 2001 and MMM-ACNS 2003), hosted by the St. Petersburg Institute for Informatics and Automation, demonstrated the keen interest of the international research community in the subject area. It was recognized that conducting a biannual series of such workshops in St. Petersburg stimulates fruitful exchanges between the di?erent schools of thought, facilitates the dissemination of new ideas and promotesthespirit of cooperationbetweenresearchersontheinternationalscale. MMM-ACNS 2005 provided an international forum for sharing original - search results and application experiences among specialists in fundamental and applied problems of computer network security. An important distinction of the workshop was its focus on mathematical aspects of information and computer network security addressing the ever-increasing demands for secure computing and highly dependable computer networks.
Computer algebra and geometric algebra with applications ; 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004.Revised Selected Papers
MathematicsMechanization consistsoftheory,softwareandapplicationofc- puterized mathematical activities such as computing, reasoning and discovering. ItsuniquefeaturecanbesuccinctlydescribedasAAA(Algebraization,Algori- mization, Application). The name “Mathematics Mechanization” has its origin in the work of Hao Wang (1960s), one of the pioneers in using computers to do research in mathematics, particularly in automated theorem proving. Since the 1970s, this research direction has been actively pursued and extensively dev- oped by Prof. Wen-tsun Wu and his followers. It di?ers from the closely related disciplines like Computer Mathematics, Symbolic Computation and Automated Reasoning in that its goal is to make algorithmic studies and applications of mathematics the major trend of mathematics development in the information age.
Computer aided architectural design futures 2005 ; Proceedings of the 11th International CAAD futures Conference held at the Vienna University of Technology, Vienna, Austria, on June 20-22, 2005
MARTENS Bob and BROWN Andre Co-conference Chairs, CAAD Futures 2005 Computer Aided Architectural Design is a particularly dynamic field that is developing through the actions of architects, software developers, researchers, technologists, users, and society alike. CAAD tools in the architectural office are no longer prominent outsiders, but have become ubiquitous tools for all professionals in the design disciplines. At the same time, techniques and tools from other fields and uses, are entering the field of architectural design. This is exemplified by the tendency to speak of Information and Communication Technology as a field in which CAAD is embedded. Exciting new combinations are possible for those, who are firmly grounded in an understanding of architectural design and who have a clear vision of the potential use of ICT. CAAD Futures 2005 called for innovative and original papers in the field of Computer Aided Architectural Design, that present rigorous, high-quality research and development work. Papers should point towards the future, but be based on a thorough understanding of the past and present.
Computational science and its applications– ICCSA 2007 ; International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II
This volume feature outstanding papers that present a wealth of original research results in the field of computational science, from foundational issues in computer science and mathematics to advanced applications in almost all sciences that use computational techniques.
Computational science and its applications – ICCSA 2007 ; International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part III
This volume feature outstanding papers that present a wealth of original research results in the field of computational science, from foundational issues in computer science and mathematics to advanced applications in almost all sciences that use computational techniques.
Computational science and its applications – ICCSA 2007 ; International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part I
This volume feature outstanding papers that present a wealth of original research results in the field of computational science, from foundational issues in computer science and mathematics to advanced applications in almost all sciences that use computational techniques.
Computational Multiscale Modeling of Fluids and Solids : Theory and Applications
The book includes the micro-scale, the meso-scale and the macro-scale. The chapters follow this classification. The book will explain in detail many tricks of the trade of some of the most important methods and techniques that are used to simulate materials on the perspective levels of spatial and temporal resolution. Case studies are occasionally included to further illustrate some methods or theoretical considerations. Example applications for all techniques are provided, some of which are from the author’s own contributions to some of the research areas. Methods are explained, if possible, on the basis of the original publications but also references to standard text books established in the various fields are mentioned.
Computational intelligence in information assurance and security
The global economic infrastructure is becoming increasingly dependent upon information technology, with computer and communication technology being essential and vital components of Government facilities, power plant systems, medical infrastructures, financial centers and military installations to name a few. Finding effective ways to protect information systems, networks and sensitive data within the critical information infrastructure is challenging even with the most advanced technology and trained professionals. This volume provides the academic and industrial community with a medium for presenting original research and applications related to information assurance and security using computational intelligence techniques. The included chapters communicate current research on information assurance and security regarding both the theoretical and methodological aspects, as well as various applications in solving real world information security problems using computational intelligence.
Computational conflict research
This book brings together a set of original studies that use cutting-edge computational methods to investigate conflict at various geographic scales and degrees of intensity and violence.
Comets and the Origin and Evolution of Life
Nine years after the publication of Comets and the Origin and Evolution of Life, one of the pioneering books in Astrobiology, this second edition revisits the role comets may have played in the origins and evolution of life. Recent analyses of Antarctic micrometeorites and ancient rocks in Australia and South Africa, the continuing progress in discovering complex organic macromolecules in comets, protostars and interstellar clouds, new insights into organic synthesis in comets, and numerical simulations of comet impacts on the Earth and other members of the solar system yield a spectacular wealth of new results.
Comets : Nature, Dynamics, Origin, and their Cosmogonical Relevance
The book covers the most recent ideas about the nature and dynamics of comets, including a thorough discussion on Oort cloud dynamics which has not received due attention in other books on the subject. It also discusses the most relevant aspects of the physics and chemistry of comet nuclei, highlighting their importance as relics of the protoplanetary disk and, perhaps, as carriers of water and organics that permitted the development of life on Earth. The book contains several tables with useful data, and an ample bibliography covering the most recent work as well as some historical key contributions to the subject. It may be suitable as a textbook for graduate students with some basic knowledge of celestial mechanics and astrophysics, as well as a consult book for comet researchers, or researchers from other related fields willing to start working on comets, or get an updated view of the subject.
Combinatorial pattern matching ; Vol. 3537 ; 16th Annual Symposium, CPM 2005, Jeju Island, Korea, June 19-22, 2005, Proceedings
This volume presents the proceedings of The 16th Annual Symposium on Combinatorial Pattern Matching was heldon Jeju Island, Korea on June 19–22, 2005. the Program Committee accepted 37 of the submissionsto be presented at the conference. This collection of papers offers original research contributionsin combinatorial pattern matching and its applications.In addition to the selected papers
Combinatorial pattern matching ; 18th Annual Symposium, CPM 2007, London, Canada, July 9-11, 2007, Proceedings
This book presented original research contri- tions on computational pattern matching and analysis, data compression and compressed text processing, sufix arrays and trees, and computational biology. Combinatorial Pattern Matching addresses issues of searching and matching strings and more complicated patterns such as trees, regular expressions, graphs, point sets, and arrays.The goal is to derive non-trivial combinatorial properties of such structures and to exploit these properties in order to either achieve superior performance for the corresponding computational problems or pinpoint conditions under which searches cannot be performed eficiently.
Combinatorial optimization and applications ; 1st International Conference, COCOA 2007, Xi'an, China, August 14-16, 2007, Proceedings
This book presented feature original research in the areas of combinatorial optimization - both theoretical issues and and applications motivated by real-world problems thus showing convincingly the usefulness and efficiency of the algorithms discussed in a practical setting.
Collaborating against child abuse : Exploring the Nordic Barnahus model
This edited collection explores the background and implementation of the Nordic Barnahus (or 'Children's House') model – recognised as one of the most important reforms related to children who are the victims of crime in the Nordic region. This book discusses both its potential to affect change and the challenges facing it. The model was introduced as a response to a growing recognition of the need for more integrated and child-centred services for children exposed to violence and sexual abuse. In the Barnahus structure, different professions work together to ensure that victimized children receive help and treatment and that their legal rights are met. This original study is organised into four broad themes: child-friendliness, support and treatment; the forensic child investigative interview; children’s rights perspectives; and interagency collaboration and professional autonomy.
