الصفحة 8
الصفحة 8
Database and XMLTechnologies ; 5th International XML Database Symposium, XSym 2007, Vienna, Austria, September 23-24, 2007, Proceedings
This book discuss the use of and synergy between databases and XML. It provided theory and practice of XML data management and its applications. This volume also contains current research in XPath and XQuery processing, XML Updates, Temporal XML and Constraints.
Database and XML Technologies ; Vol. 3671 ; 3rd international XML database symposium, XSym 2005, Trondheim, Norway, August 28-29, 2005, Proceedings
Constitutes the proceedings of the Third International XML Database Symposium, XSym 2005, held in Trondheim, Norway in August 2005. The 15 papers are organized in sections on indexing support for the evaluation of XPath and XQuery; benchmarks and algorithms for XQuery and XPath evaluation; algorithms for constraint satisfaction checking, and more.
Data Mining : Theory, Methodology, Techniques, and Applications
This volume provides a snapshot of the current state of the art in data mining, presenting it both in terms of technical developments and industrial applications. The collection of chapters is based on works presented at the Australasian Data Mining conferences and industrial forums.
Data Assimilation : The Ensemble Kalman Filter
Data Assimilation comprehensively covers data assimilation and inverse methods, including both traditional state estimation and parameter estimation. This text and reference focuses on various popular data assimilation methods, such as weak and strong constraint variational methods and ensemble filters and smoothers. It is demonstrated how the different methods can be derived from a common theoretical basis, as well as how they differ and/or are related to each other, and which properties characterize them, using several examples.It presents the mathematical framework and derivations in a way which is common for any discipline where dynamics is merged with measurements. The mathematics level is modest, although it requires knowledge of basic spatial statistics, Bayesian statistics, and calculus of variations. Readers will also appreciate the introduction to the mathematical methods used and detailed derivations, which should be easy to follow, are given throughout the book. The codes used in several of the data assimilation experiments are available on a web page.The focus on ensemble methods, such as the ensemble Kalman filter and smoother, also makes it a solid reference to the derivation, implementation and application of such techniques. Much new material, in particular related to the formulation and solution of combined parameter and state estimation problems and the general properties of the ensemble algorithms, is available here for the first time.
Cyclized Helical Peptides : Synthesis, Properties and Therapeutic Applications
Constraint helical peptides have emerged as a solution to target previously undruggable protein-protein interactions, which feature large and complex surfaces. Cyclized Helical Peptides: Synthesis, Properties and Therapeutic Applications offers a review of the most current methodologies of constructing constrained helices. The authors noted experts on the topic include the information on the fundamental features of cyclized helical peptides and discuss their limitations. The book summarizes and explores the effects of chemical methods constructing helical peptides on helicity, binding affinity, cell penetration, and nonspecific toxicity
Curriculum Reform in the European Schools : Towards a 21st Century Vision
Examines the modern role of the European School system within the European Union, at a time when the global economy demands a new vision for contemporary education. The European schools are currently in a state of crisis: their 60-year-old tradition of bilingual and multilingual education is being strained by rapid EU expansion and the removal of English speaking teachers as a result of Brexit. Their tried and tested model of mathematics and science education has rapidly been overtaken by new developments in pedagogy and assessment research, while recruitment and retention of students and teachers has become increasingly fraught as European member states review what they are, and what they are not, prepared to fund. The authors draw on original and empirical research to assess the European Schools’ place in a new Europe where the entire post-war European Project is potentially at risk. This well-researched volume will be of interest to practitioners working in European schools as well as students and scholars of EU politics and international education.
Cross-linguistic Variation in Sentence Processing : Evidence From R C Attachment Preferences in Greek
This book argues in favour of cross-linguistic variation in sentence processing by providing empirical data from ambiguity resolution in Greek as L1 and L2. It is maintained that in highly inflected languages, like Greek, initial parsing decisions are determined by the interaction of morphological and lexical cues rather than by universal parsing principles. During the initial parse, discourse-level information is constrained by lexical considerations, which indicates that the human sentence processor is a multi-stage mechanism.
Crisis response in higher education : How the pandemic challenged university operations and organisation
This book explores the impact of Covid-19 on universities, and how students, staff, faculty and academic leaders have adapted to and dealt with the impact of the pandemic. Drawing on experiences from Britain, Australia and Sweden, it showcases how Covid has challenged routines and procedures in universities, and thrown them into a disarray of ever-changing events and short-term adaptations. The authors pay particular attention to how students, staff, faculty, and leaders have coped with Covid, through a series of autobiographical portraits of their strains but also heroic efforts in the harshest of circumstances.
Crisis Reporters, Emotions, and Technology : An Ethnography
This book explores the emotional labour of crisis reporters in an original style that combines fictional and factual narrative. Exploring how journalists make sense of their emotional experience and development in relation to their professional ideology, it illustrates how media professionals learn to think and act within crisis situations. Drawing on in-depth interviews with journalists reporting on wars, terror attacks and natural disasters, the book rethinks traditional concepts in journalistic thought. Finally, it reflects on the specific, contemporary vulnerabilities of industry professionals, including the impact of new technologies, specific forms of precarity, and a particular strain of cynicism central to the industry. Combining comprehensive, empirical research with the fictional narrative of a journalist protagonist, Crisis Reporters, Emotions and Technology establishes an innovative approach to academic storytelling.
Corporate Control and Enterprise Reform in China : An Econometric Analysis of Block Share Trades
This study sheds light on the efficiency of corporate control allocation in Chinese listed firms. Using a panel data set for the period 1996 to 2006, it examines the frequency, causes and consequences of changes in corporate control. The results indicate that poorly performing firms are the predominant targets of control changes; shareholder and creditor control generally act as a complement for changes in control. Following the change in ownership there is a substantial amount of corporate restructuring and an improvement in operating performance. Significant differences in these dimensions emerge, however, between State and private transfers of control. The findings not only provide insights into the motives and constraints of the key players involved in governance practices in China; but they also contain useful implications for other emerging markets around the world that have weak legal systems and weak property rights protection.
Coordination, organizations, institutions, and norms in agent systems II ; AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006, Revised Selected Papers
In recent years, social and organizational aspects of agency have become major research topics in MAS. Recent applications of MAS on Web services, grid c- puting and ubiquitous computing highlight the need for using these aspects in order to ensure social order within such environments. Openness, heterogeneity, and scalability of MAS, in turn, pose new demands on traditional MAS int- action models and bring forward the need to look into the environment where agents interact and at di?erent ways of constraining or regulating interactions.it provide theoretically demanding and interdisciplinary research questions at d- ferent levels of abstraction.
Cooperative Sourcing : Simulation Studies and Empirical Data on Outsourcing Coalitions in the Banking Industry
Based on the integration of relevant economic and organizational theories, Daniel Beimborn develops a formal model of cooperative sourcing. The model captures the different drivers and inhibitors like economies of scale, scope and skill, transaction costs, strategic constraints etc. and forms the basis for both game-theoretical analyses and agent-based simulations. Simulations help to handle the numerical complexity and allow for compound analyses of the causes and effects of cooperative sourcing. Empirical data from two large-scale surveys and case studies in the German credit business are used in order to feed the simulation model and to validate the results.
Cooperative design, visualization, and engineering ; Vol. 3675 : 2nd international conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005, Proceedings
This book constitutes the refereed proceedings of the Second International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2005, held in Palma de Mallorca, Spain, in September 2005. The 28 revised full papers presented were carefully reviewed and selected from over 100 submissions. The papers cover all current issues in cooperative design, visualization, engineering, and other cooperative applications. Topics addressed are such as constraint maintenance, decision support, and security enforcement for CDVE. Case studies and application specific developments are among the cooperative visualization papers. Along the line of cooperative engineering, knowledge management, reconfigurability, and concurrency control are major issues addressed.
Control of Nonlinear Dynamical Systems : Methods and Applications
This book is devoted to new methods of control for complex dynamical systems and deals with nonlinear control systems having several degrees of freedom, subjected to unknown disturbances, and containing uncertain parameters. Various constraints are imposed on control inputs and state variables or their combinations. The book contains an introduction to the theory of optimal control and the theory of stability of motion, and also a description of some known methods based on these theories.
Control of nonlinear and hybrid process systems : Designs for uncertainty, constraints and time-delays
The book includes many detailed examples which can be easily modified by a control engineer to be tailored to a specific application. This book is useful for researchers in control systems theory, graduate students pursuing their degree in control systems and control engineers.
Constructal Theory of Social Dynamics
Constructal Theory of Social Dynamics brings together for the first time social scientists and engineers to develop a predictive theory of social organization, as a conglomerate of mating flows that morph in time to flow more easily (people, goods, money, energy, information). These flows have objectives (e.g., minimization of effort, travel time, cost), and the objectives clash with global constraints (space, time, resources). The result is organization (flow architecture) derived from one principle of configuration evolution in time (the constructal law): "for a flow system to persist in time, its configuration must morph such that it provides easier access to its streams."
Constraint-Based Verification
Constraint-Based Verifcation covers the emerging field in functional verification of electronic designs thats is now commonly referred to by this name. Topics are developed in the context of a wide range of dynamic and static verification approaches including stimulation, emulation and formal methods. The goal is to show how constraints, or assertions, can be used toward automating the generation of testbenches, resulting in a seamless verifcation flow. Topics such as verification coverage, and connection with assertion-based verification are also covered.
Constraint-Based Mining and Inductive Databases ; European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers
The interconnected ideas of inductive databases and constraint-based mining are appealing and have the potential to radically change the theory and practice of data mining and knowledge discovery.
Constraint Theory : Multidimensional Mathematical Model Management
The enormous potential of digital computation to manage new complex systems is impeded by exponential increases in complexity. As the model's dimensionality increases from hundreds to thousands of variables, and as submodels constructed by diverse technical teams are integrated into the total model, the model is likely to become inconsistent and even more likely, the computational requests on the model become unallowable. This text analyzes the way constraint theory employs bipartite graphs and constraint matrices to detect and correct these well-posed problems. It also presents the process of locating the "kernel of constraint", literally trillions of times faster than a random search, determining consistency and compatibility within seconds.
Constraint solving and language processing
Contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First International Workshop on C- straint Solving and Language Processing, held in Roskilde, Denmark, September 1–3, 2004. Constraint Programming and Constraint Solving, in particular Constraint Logic Programming, appear to be a very promising platform, perhaps the most promising present platform, for bringing forward the state of the art in natural language processing, this due to the naturalness in speci?cation and the direct relation to e?cient implementation. Language, in the present context, may - fer to written and spoken language, formal and semiformal language, and even general input data to multimodal and pervasive systems, which can be handled in very much the same ways using constraint programming. The notion of constraints, with slightly differing meanings, apply in the characterization of linguistic and cognitive phenomena, in formalized linguistic m- els as well as in implementation-oriented frameworks. Programming techniques for constraint solving have been, and still are, in a period with rapid devel- ment of new eficient methods and paradigms from which language processing can prompt. A common metaphor for human language processing is one big c- straint solving process in which the differently specified linguistic and cognitive phases take place in parallel and with mutual cooperation, which ?ts quite well with current constraint programming paradigms.
