الصفحة 34
الصفحة 34
Continuous Semigroups of Holomorphic Self-maps of the Unit Disc
The book faces the interplay among dynamical properties of semigroups, analytical properties of infinitesimal generators and geometrical properties of Koenigs functions. The book includes precise descriptions of the behavior of trajectories, backward orbits, petals and boundary behavior in general, aiming to give a rather complete picture of all interesting phenomena that occur. In order to fulfill this task, we choose to introduce a new point of view, which is mainly based on the intrinsic dynamical aspects of semigroups in relation with the hyperbolic distance and a deep use of Carathéodory prime ends topology and Gromov hyperbolicity theory.
Contextual Process Digitalization: Changing Perspectives – Design Thinking – Value-Led Design
This book presents an overview and step-by-step explanation of process management. It starts with the individual participants’ perspectives on their work in a process and its structuring and harmonization, and then moves on to its specification in a model and how it is embedded in the organizational and IT environment of the company.
Content based image retrieval systems
With an advent of technology, huge collection of digital images is formed as repositories on crime prevention, medical diagnosis, military, face finding, satellites and remote sensing. The task of searching for similar images in the repository is difficult. The data is growing enormously which makes it difficult to store and manage. The traditional image retrieval technique is inefficient in retrieving these images. Content-based image retrieval is an approach from data mining community, which provides the solution of managing this huge quantity of data. In this research, a Content-Based Image Retrieval (CBIR) system has been developed using color and texture as retrieval features from the image repository. The system allows the user to search for an image based on any of the two features alone or in combination by assigning weights to the features. The histogram and color moments approach is used to extract the color feature, texture feature is extracted using statistical moments and co-occurrence matrix method and the shape feature is extracted using the morphological operations. The images and the extracted feature vectors are stored in the Pickle file. The system is robust as it provides search based on the multiple features. The performance of the system was evaluated by analyzing the retrieval results using precision and recall.
Contemporary Cryptology
The aim of this text is to treat selected topics of the subject of contemporary cryptology, structured in five quite independent but related themes: Efficient distributed computation modulo a shared secret / Multiparty computation / Foundations of modern cryptography / Provable security for public key schemes / Efficient and secure public-key cryptosystems.
Conditionals, Information, and Inference
Conditionals are fascinating and versatile objects of knowledge representation. On the one hand, they may express rules in a very general sense, representing, for example, plausible relationships, physical laws, and social norms. On the other hand, as default rules or general implications, they constitute a basic tool for reasoning, even in the presence of uncertainty. In this sense, conditionals are intimately connected both to information and inference. Due to their non-Boolean nature, however, conditionals are not easily dealt with. They are not simply true or false — rather, a conditional “if A then B” provides a context, A, for B to be plausible (or true) and must not be confused with “A entails B” or with the material implication “not A or B.” This ill- trates how conditionals represent information, understood in its strict sense as reduction of uncertainty. To learn that, in the context A, the proposition B is plausible, may reduce uncertainty about B and hence is information. The ab- ity to predict such conditioned propositions is knowledge and as such (earlier) acquired information. The ?rst work on conditional objects dates back to Boole in the 19th c- tury, and the interest in conditionals was revived in the second half of the 20th century, when the emerging Arti?cial Intelligence made claims for appropriate formaltoolstohandle“generalizedrules.”Sincethen,conditionalshavebeenthe topic of countless publications, each emphasizing their relevance for knowledge representation, plausible reasoning, nonmonotonic inference, and belief revision.
Conceptual Structures: Knowledge Architectures for Smart Applications ; 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007, Proceedings
Conceptual structures focus on the representation and analysis of concepts, events, actions and objects with applications in - search,softwareengineering,manufacturing and business.The book covers computer science, information technology,artificial int- ligence, philosophy and a variety of applied disciplines to explore novel ways that information technologies can be leveraged to assist human reasoning and interaction for tangible business or social benefits. Conceptual structures can be used to augment human intelligence by facilitating knowledge integration, desion making, the creation of intelligent software systems and the exploration of implicit structures.
Conceptual Modeling of Information Systems
When designing an information system, conceptual modeling is the activity that elicits and describes the general knowledge the system needs to know. This description, called the conceptual schema, is necessary in order to develop an information system.textbook explains in detail the principles of conceptual modeling independently from particular methods and languages and shows how to apply them in real-world projects. It covers all aspects of the engineering process from structural modeling over behavioral modeling to meta-modeling, and completes the presentation with an extensive case study based on the osCommerce system, an online store-management software program freely available under the GNU General Public License. His presentation is based on well-known industry standards like UML and OCL as a particular conceptual modeling language, yet also delivers the basics of the formal logical language background.
Conceptual Modeling for Traditional and Spatio-Temporal Applications : The MADS Approach
This book shows that a conceptual design approach for spatio-temporal databases is both feasible and easy to apprehend. While providing a firm basis through extensive discussion of traditional data modeling concepts, the major focus of the book is on modeling spatial and temporal information. Parent, Spaccapietra and Zimányi provide a detailed and comprehensive description of an approach that fills the gap between application conceptual requirements and system capabilities, covering both data modeling and data manipulation features.
Conceptual Modeling for New Information Systems Technologies ; ER 2001 Workshops, HUMACS, DASWIS, ECOMO, and DAMA, Yokohama Japan, November 27-30, 2001. Revised Papers
The objective of the workshops associated with ER 2001, the 20th International Con- rence on Conceptual Modeling, was to give participants the opportunity to present and discuss emerging hot topics, thus adding new perspectives to conceptual modeling.
Conceptual Modeling - ER 2008 ; 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008. Proceedings
This book constitutes the refereed proceedings of the 27th International Conference on Conceptual Modeling, ER 2008, held in Barcelona, Spain, in October 2008.
Conceptual Modeling - ER 2006 ; 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006, Proceedings
The International Conference on Conceptual Modeling provides the premiere - rum for presenting and discussing current research and applications in which the - jor emphasis is on conceptual modeling. Topics of interest span the entire spectrum of conceptual modeling including research and practice in areas such as theories of c- cepts and ontologies underlying conceptual modeling, methods and tools for devel- ing and communicating conceptual models, and techniques for transforming conc- tual models into effective implementations.
Conceptual Modeling - ER 2005
Conceptual modeling is fundamental to any domain where one must cope with complex real-world situations and systems because it fosters communication - tween technology experts and those who would bene?t from the application of those technologies. Conceptual modeling is the key mechanism for und- standing and representing the domains of information system and database - gineering but also increasingly for other domains including the new “virtual” e-environmentsandtheinformationsystemsthatsupportthem.Theimportance of conceptual modeling in software engineering is evidenced by recent interest in “model-drivenarchitecture”and“extremenon-programming”.Conceptualm- eling also plays a prominent rolein various technical disciplines and in the social sciences. The Annual International Conference on Conceptual Modeling (referred to as the ER Conference) provides a central forum for presenting and discussing current research and applications in which conceptual modeling is the major emphasis.
Computing Characterizations of Drugs for Ion Channels and Receptors Using Markov Models
Flow of ions through voltage gated channels can be represented theoretically using stochastic differential equations where the gating mechanism is represented by a Markov model. The flow through a channel can be manipulated using various drugs, and the effect of a given drug can be reflected by changing the Markov model. These lecture notes provide an accessible introduction to the mathematical methods needed to deal with these models. They emphasize the use of numerical methods and provide sufficient details for the reader to implement the models and thereby study the effect of various drugs. Examples in the text include stochastic calcium release from internal storage systems in cells, as well as stochastic models of the transmembrane potential. Well known Markov models are studied and a systematic approach to including the effect of mutations is presented.
Computing and Combinatorics ; Vol. 4112 ; 12th Annual International Conference, COCOON 2006, Taipei, Taiwan, August 15-18, 2006, Proceedings
The papers are organized in topical sections on computational economics, finance, and management, graph algorithms, computational complexity and computability, quantum computing, computational biology and medicine, computational geometry, graph theory, and more.
Computers and Games ; 6th International Conference, CG 2008, Beijing, China, September 29 - October 1, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th International Conference on Computers and Games, CG 2008, held in Beijing, China, in September/October 2008 co-located with the 13th Computer Olympiad and the 16th World Computer-Chess Championship.
Computers and Games ; 4th International Conference, CG 2004, Ramat-Gan, Israel, July 5-7, 2004. Revised Papers
This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Computers and Games, CG 2004, held in July 2004. Topics addressed include evaluation and learning, search, single-agent search and planning, and computer Go.
Computer-Aided Innovation (CAI) ; IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Computer-Aided Design of User Interfaces V ; Proceedings of the 6th International Conference on Computer-Aided Design of User Interfaces CADUI '06 (6-8 June 2006, Bucharest, Romania)
Today, the development life cycle of 3D User Interfaces (UIs) mostly remains an art more than a principled-based approach. Several methods [1,3,7,8,9,10,11,15,17,18,19] have been introduced to decompose this life cycle into steps and sub-steps, but these methods rarely provide the design knowledge that should be typically used for achieving each step. In addition, the development life cycle is more focusing directly on the programming - sues than on the design and analysis phases. This is sometimes reinforced by the fact that available tools for 3D UIs are toolkits, interface builders, r- dering engines, etc. When there is such a development life cycle defined, it is typically structured into the following set of activities: 1. The conceptual phase is characterized by the identification of the content and interaction requests. The meta-author discusses with the interface designer to take advantage of the current interaction technology. The int- face designer receives information about the content. The result of this phase is the production of UI schemes (e. g. , written sentences, visual schemes on paper) for defining classes of interactive experiences (e. g. , class Guided tour). Conceptual schemes are produced both for the final users and the authors. The meta-author has a deep knowledge of the c- tent domain and didactic skills too. He/she communicates with the final user too, in order to focus on didactic aspects of interaction. 2.
Computer-Aided Design of User Interfaces IV
Computer-Aided Design of User Interfaces IV gathers the latest research of experts, research teams and leading organisations involved in computer-aided design of user interactive applications supported by software, with specific attention for platform-independent user interfaces and context-sensitive or aware applications. This includes: innovative model-based and agent-based approaches, code-generators, model editors, task animators, translators, checkers, advice-giving systems and systems for graphical and multimodal user interfaces. It also addresses User Interface Description Languages. This books attempts to emphasize the software tool support for designing user interfaces and their underlying languages and methods, beyond traditional development environments offered by the market. It will be of interest to software development practitioners and researchers whose work involves human-computer interaction, design of user interfaces, frameworks for computer-aided design, formal and semi-formal methods, web services and multimedia systems, interactive applications, and graphical user and multi-user interfaces.
Computer Vision, Graphics and Image Processing ; 5th Indian Conference, ICVGIP 2006, Madurai, India, December 13-16, 2006, Proceedings
The Indian Conference on Computer Vision, Graphics and Image Processing (ICVGIP) is a forum bringing together researchers and practitioners in these related areas, coming from national and international academic institutes, from government research and development laboratories, and from industry. The proceedings of ICVGIP 2006, published in Springer's series Lecture Notes in Computer Science, comprise 85 papers that were selected for presentation from 284 papers, which were submitted from all over the world.
