الصفحة 52
الصفحة 52
Computation and the humanities : Towards an oral history of digital humanities
This book addresses the application of computing to cultural heritage and the discipline of Digital Humanities that formed around it. Digital Humanities research is transforming how the Human record can be transmitted, shaped, understood, questioned and imagined and it has been ongoing for more than 70 years. However, we have no comprehensive histories of its research trajectory or its disciplinary development. The authors make a first contribution towards remedying this by uncovering, documenting, and analysing a number of the social, intellectual and creative processes that helped to shape this research from the 1950s until the present day.
Computation and Logic in the Real World ; 3rd Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings
This volume, Computation and Logic in the Real World, is the proceedings of the third in a series of conferences of CiE Computability in Europe, (CiE) is an informal network working on computability theory including its foundations, technical development, and applications. It performed with discrete or continuous data by all kinds of algorithms, programs, and machines. The sources of new ideas and methods include practical developments in areas such as neural networks, quantum computation, natural computation, molecular computation, computational learning.
Computable Models of the Law : Languages, Dialogues, Games, Ontologies
This book originate from a workshop held at the European University Institute of Florence, Italy, in December 2006. The workshop was devoted to the discussion of the different ways of understanding and explaining contemporary law, for the purpose of building computable models of it -- especially models enabling the development of computer applications for the legal domain.
Component-Based Software Testing with UML
Component-based software development regards software construction in terms of conventional engineering disciplines where the assembly of systems from readily-available prefabricated parts is the norm. Because both component-based systems themselves and the stakeholders in component-based development projects are different from traditional software systems, component-based testing also needs to deviate from traditional software testing approaches. Gross first describes the specific challenges related to component-based testing like the lack of internal knowledge of a component or the usage of a component in diverse contexts. He argues that only built-in contract testing, a test organization for component-based applications founded on building test artifacts directly into components, can prevent catastrophic failures like the one that caused the now famous ARIANE 5 crash in 1996. This book is the first comprehensive treatment of the intricacies of testing component-based software systems. With its strong modeling background, it appeals to researchers and graduate students specializing in component-based software engineering. Professionals architecting and developing component-based systems will profit from the UML-based methodology and the implementation hints based on the XUnit and JUnit frameworks.
Component-Based Software Development for Embedded Systems : An Overview of Current Research Trends
Embedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, and jets. Some of these embedded s- tems are safety- or security-critical such as in medical equipment, nuclear plants, and X-by-wire control systems in naval, ground and aerospace transportation - hicles. With the continuing shift from hardware to software, embedded systems are increasingly dominated by embedded software. Embedded software is complex. Its engineering inherently involves a mul- disciplinary interplay with the physics of the embedding system or environment. Embedded software also comes in ever larger quantity and diversity. The next generation of premium automobiles will carry around one gigabyte of binary code. The proposed US DDX submarine is e?ectively a ?oating embedded so- ware system, comprising 30 billion lines of code written in over 100 programming languages. Embedded software is expensive. Cost estimates are quoted at around US$15– 30 per line (from commencement to shipping). In the defense realm, costs can range up to $100, while for highly critical applications, such as the Space Shuttle, the cost per line approximates $1,000. In view of the exponential increase in complexity, the projected costs of future embedded software are staggering.
Component models and systems for grid applications ; Proceedings of the Workshop on Component Models and Systems for Grid Applications held June 26, 2004 in Saint Malo, France.
This first volume of the CoreGRID series addresses such vital issues as the architecture of the Grid, the way software will influence the development of the Grid, and the practical applications of Grid technologies for individuals and businesses alike. Part I of the book, Application-Oriented Designs, focuses on development methodology and how it may contribute to a more component-based use of the Grid. Middleware Architecture, the second part, examines portable Grid engines, hierarchical infrastructures, interoperability, as well as workflow modeling environments. The final part of the book, Communication Frameworks, looks at dynamic self-adaptation, collective operations, and higher-order components. With Component Models and Systems for Grid Applications, editors Vladimir Getov and Thilo Kielmann offer the computing professional and the computing researcher the most informative, up-to-date, and forward-looking thoughts on the fast-growing field of Grid studies.
Component Deployment; 3rd International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings
his volume of Lecture Notes in Computer Science contains the proceedings of the rd 3 Working Conference on Component Deployment (CD 2005), which took place 2005 in Grenoble, France, and co-located with Middleware 2005. CD 2005 is the third international conference in the series, the first two being held in Berlin and Edinburgh in 2002 and 2004, respectively. The proceedings of both these conferences were also published by Springer in the Lecture Notes in Computer Science series and may be found in volumes 2370 and 3083. Component deployment addresses the tasks that need to be performed after components have been developed and addresses questions such as: • What do we do with components after they have been built? • How do we deploy them into their execution environment? • How can we evolve them once they have been deployed?
Complexity Theory : Exploring the Limits of Efficient Algorithms
Complexity theory is the theory of determining the necessary resources for the solution of algorithmic problems and, therefore, the limits of what is possible with the available resources. An understanding of these limits prevents the search for non-existing efficient algorithms. This textbook considers randomization as a key concept and emphasizes the interplay between theory and practice: New branches of complexity theory continue to arise in response to new algorithmic concepts, and its results - such as the theory of NP-completeness - have influenced the development of all areas of computer science. The topics selected have implications for concrete applications, and the significance of complexity theory for today's computer science is stressed throughout.
Complex, Intelligent, and Software Intensive Systems ; Proceedings of the 13th International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS-2019)
This book presents scientific interactions between the three interwoven and challenging areas of research and development of future ICT-enabled applications: software, complex systems and intelligent systems.
Complex Analysis with Applications to Number Theory
The book discusses major topics in complex analysis with applications to number theory.It 's including the theory of several finitely and infinitely complex variables, hyperbolic geometry, two- and three-manifolds, and number theory. In addition to solved examples and problems, the book covers most topics of current interest, such as Cauchy theorems, Picard’s theorems, Riemann–Zeta function, Dirichlet theorem, Gamma function, and harmonic functions.
Communications and Multimedia Security ; Vol. 175 ; 8th IFIP TC-6 TC-11 Conference on Communications and Multimedia Security, Sept. 15-18, 2004, Windermere, The Lake District, United Kingdom
Communications and Multimedia Security is an essential reference for both academic and professional researchers in the fields of Communications and Multimedia Security. This state-of-the-art volume presents the proceedings of the Eighth Annual IFIP TC-6 TC-11 Conference on Communications and Multimedia Security, September 2004, in Windermere, UK. The papers presented here represent the very latest developments in security research from leading people in the field. The papers explore a wide variety of subjects including privacy protection and trust negotiation, mobile security, applied cryptography, and security of communication protocols. Of special interest are several papers which addressed security in the Microsoft .Net architecture, and the threats that builders of web service applications need to be aware of. The papers were a result of research sponsored by Microsoft at five European University research centers. This collection will be important not only for multimedia security experts and researchers, but also for all teachers and administrators interested in communications security.
Communicating sequential processes : The first 25 years : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers
This volume, like the symposium CSP25 which gave rise to it, commemorates the semi-jubilee of Communicating Sequential Processes. 1 Tony Hoare’s paper “Communicating Sequential Processes” is today widely regarded as one of the most in?uential papers in computer science. To comm- orate it, an event was organized under the auspices of BCS-FACS (the British Computer Society’s Formal Aspects of Computing Science specialist group). CSP25 was one of a series of such events organized to highlight the use of formal methods, emphasize their relevance to modern computing and promote their wider application.
Classification of covid-19 in lung images
The novel coronavirus 2019 (COVID-2019), which first appeared in Wuhan city of China in December 2019, spread rapidly around the world and became a pandemic. It has caused a devastating effect on both daily lives, public health, and the global economy. It is critical to detect the positive cases as early as possible so as to prevent the further spread of this epidemic and to quickly treat affected patients. The need for auxiliary diagnostic tools has increased as there are no accurate automated toolkits available. Recent findings obtained using radiology imaging techniques suggest that such images contain salient information about the COVID-19 virus. Application of advanced artificial intelligence (AI) techniques coupled with radiological imaging can be helpful for the accurate detection of this disease, and can also be assistive to overcome the problem of a lack of specialized physicians in remote villages.
Classification and Learning Using Genetic Algorithms : Applications in Bioinformatics and Web Intelligence
This book provides a unified framework that describes how genetic learning can be used to design pattern recognition and learning systems. The book is unique in the sense of describing how a search technique, the genetic algorithm, can be used for pattern classification mainly through approximating decision boundaries, and it demonstrates the effectiveness of the genetic classifiers vis-à-vis several widely used classifiers, including neural networks. It provides a balanced mixture of theories, algorithms and applications, and in particular results from the bioinformatics and Web intelligence domains.
Classification - the ubiquitous challenge ; Proceedings of the 28th annual conference of the Gesellschaft für Klassifikation e.V., University of Dortmund, March 9-11, 2004
This volume contains revised versions of selected papers presented duringthe 28th Annual Conference of the Gesellschaft f ̈ur Klassifikation (GfKl), theGerman Classification Society. contributed papers by authors from 18countries were presented at the conference in 52 parallel sessions representingthe whole field addressed by the title of the conference “Classification: TheUbiquitous Challenge”. Among these 52 sessions the VOC organized sessionson Mixture Modelling, Optimal Scaling, Multiway Methods, and Psychomet-rics with 18 papers. Overall, presentation of the papers in this volume is arranged in the fol-lowing parts:I. (Semi-)Plenary PresentationsII. Classification and Data AnalysisIII. Applications, andIV. Contest: Social Milieus in Dortmund
Citation Analysis in Research Evaluation
This book is written for members of the scholarly research community, and for persons involved in research evaluation and research policy. More specifically, it is directed towards the following four main groups of readers: – All scientists and scholars who have been or will be subjected to a quantitative assessment of research performance using citation analysis. – Research policy makers and managers who wish to become conversant with the basic features of citation analysis, and about its potentialities and limitations. – Members of peer review committees and other evaluators, who consider the use of citation analysis as a tool in their assessments. – Practitioners and students in the field of quantitative science and technology studies, informetrics, and library and information science. Citation analysis involves the construction and application of a series of indicators of the ‘impact’, ‘influence’ or ‘quality’ of scholarly work, derived from citation data, i.e. data on references cited in footnotes or bibliographies of scholarly research publications. Such indicators are applied both in the study of scholarly communication and in the assessment of research performance. The term ‘scholarly’ comprises all domains of science and scholarship, including not only those fields that are normally denoted as science – the natural and life sciences, mathematical and technical sciences – but also social sciences and humanities.
Chinese Computational Linguistics ; 19th China National Conference, CCL 2020, Hainan, China, October 30 – November 1, 2020, Proceedings
This book constitutes the proceedings of the 19th China National Conference on Computational Linguistics, CCL 2020, held in Hainan, China, in October/November 2020. The 32 full and 2 short papers presented in this volume were carefully reviewed and selected from 99 submissions. They were organized in topical sections named: fundamental theory and methods of computational linguistics; information retrieval, dialogue and question answering; text generation and summarization; knowledge graph and information extraction; machine translation and multilingual information processing; minority language information processing; language resource and evaluation; social computing and sentiment analysis; and NLP applications.
Charting the Topic Maps Research and Applications Landscape ; 1st International Workshop on Topic Map Research and Applications, TMRA 2005, Leipzig, Germany, October 6-7, 2005, Revised Selected Papers
The papers in this volume were presented at the workshop “Topic Map Research and Applications 2005” held on October 6-7, 2005, in Leipzig. TMRA 2005 was the first workshop of an annual series of international workshops dedicated to topic maps in research and industry. As the motto “Charting the Topic Maps Research and Applications Landscape” suggests, the aim of TMRA 2005 was to identify the primary open issues in research, learn about who is working on what, bring together researchers and application pioneers, stimulate the systematic tackling of such issues, and foster the exchange of ideas in a stimulating setting.
Changing Television Environments ; 6th European Conference, EUROITV 2008, Salzburg, Austria, July 3-4, 2008 Proceedings
This book constitutes the refereed proceedings of the 6th European Conference on Interactive Television, EuroITV 2008, held in Salzburg, Austria, in July 2008.
Challenges of expanding internet : E-commerce, e-business, and e-government ; 5th IFIP conference on e-commerce, e-business, and e-government (I3E'2005), October 28-30 2005, Poznan, Poland
This book constitutes the refereed proceedings of the5th IFIP Conference e-Commerce, e-Business, and e-Government (I3E’2005), 2005, Poznan, Poland This collection of papers offers Topics e-Commerce/e-business Sales/Distribution / Information Systems Applications (incl. Internet) / Computer Communication Networks / Cryptology / Database Managemen
