الصفحة 8
الصفحة 8
Database and expert systems applications ; 31st International Conference, DEXA 2020, Bratislava, Slovakia, September 14–17, 2020, Proceedings, Part II
The double volumes LNCS 12391-12392 constitutes the papers of the 31st International Conference on Database and Expert Systems Applications, DEXA 2020, which will be held online in September 2020. The 38 full papers presented together with 20 short papers plus 1 keynote papers in these volumes were carefully reviewed and selected from a total of 190 submissions.
Data Warehousing and Knowledge Discovery ; 9th International Conference, DaWaK 2007, Regensburg, Germany, September 3-7, 2007, Proceedings
Data Warehousing and Knowledge Discovery have been widely accepted as key te- nologies for enterprises and organizations to improve their abilities in data analysis, decision support, and the automatic extraction of knowledge from data. With the exponentially growing amount of information to be included in the decision-making process, the data to be processed become more and more complex in both structure and semantics. Consequently, the process of retrieval and knowledge discovery from this huge amount of heterogeneous complex data constitutes the reality check for research in the area.
Data science for economics and finance : Methodologies and applications
The book starts with an introduction on the use of data science technologies in economics and finance and is followed by thirteen chapters showing success stories of the application of specific data science methodologies, touching on particular topics related to novel big data sources and technologies for economic analysis (e.g. social media and news); big data models leveraging on supervised/unsupervised (deep) machine learning; natural language processing to build economic and financial indicators; and forecasting and nowcasting of economic variables through time series analysis.
Data Management Technologies and Applications ; 8th International Conference, DATA 2019, Prague, Czech Republic, July 26–28, 2019, Revised Selected Papers
This book constitutes the thoroughly refereed proceedings of the 8th International Conference on Data Management Technologies and Applications, DATA 2019, held in Prague, Czech Republic, in July 2019. The 8 revised full papers were carefully reviewed and selected from 90 submissions. The papers deal with the following topics: decision support systems, data analytics, data and information quality, digital rights management, big data, knowledge management, ontology engineering, digital libraries, mobile databases, object-oriented database systems, and data integrity.
Data and Text Processing for Health and Life Sciences
This book is a step-by-step introduction on how shell scripting can help solve many of the data processing tasks that Health and Life specialists face everyday with minimal software dependencies. The examples presented in the book show how simple command line tools can be used and combined to retrieve data and text from web resources, to filter and mine literature, and to explore the semantics encoded in biomedical ontologies. To store data this book relies on open standard text file formats, such as TSV, CSV, XML, and OWL, that can be open by any text editor or spreadsheet application.
Current Trends in High Performance Computing and Its Applications ; Proceedings of the International Conference on High Performance Computing and Applications, August 8-10, 2004, Shanghai, P.R. China
This book contains variety of subjects in modern high performance computing and its applications, such as numerical and software algorithm design and analysis, grid computing advance, adaptive and par- lel algorithm development, distributing debugging tools, computational grid and network environment design, computer simulation and visualization, and computational language study and their applications to science, engineering, and medicine.
Current aopics in artificial intelligence ; 11th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005, Santiago de Compostela, Spain, November 16-18, 2005, Revised Selected Papers
This book constitutes the thoroughly refered post-proceedings of the 11th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005, held in Santiago de Compostela, Spain in November 2005.
Cryptography in C and C++
This book covers everything you need to know to write professional-level cryptographic code. This expanded, improved second edition includes about 100 pages of new material as well as numerous improvements to the original text. The chapter about random number generation has been completely rewritten, and the latest cryptographic techniques are covered in detail. Furthermore, this book covers the recent improvements in primality testing.
Coordination models and languages ; 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Coordination Models and Languages, COORDINATION 2008, held in Oslo, Norway, in June 2008, as one of the federated conferences on Distributed Computing Techniques, DisCoTec 2008.
Cooperative Information Agents X ; 10th International Workshop, CIA 2006, Edinburgh, UK, September 11-13, 2006, Proceedings
This book constitutes the refereed proceedings of the 10th International Workshop on Cooperative Information Agents, CIA 2006, held in Edinburgh, UK in September 2006. The 29 revised full papers presented together with four invited papers were carefully reviewed and selected from 58 submissions. The papers are organized in topical sections.
Cooperative Design, Visualization, and Engineering ; 17th International Conference, CDVE 2020, Bangkok, Thailand, October 25–28, 2020, Proceedings
This book constitutes the proceedings of the 17th International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2020, held in Bangkok, Thailand, in October 2020.* The 33 full papers and 7 short papers presented were carefully reviewed and selected from 74 submissions. The achievement, progress and future challenges are reported in areas such as health care, industrial design, banking IT systems, cultural activities support, operational maritime cybersecurity assurance, emotion communication, and social network data analytics.
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.
Constraint handling rules : Current research topics
The Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language consisting of guarded rules that transform multisets of relations called constraints until no more change occurs. The aim of this volume was to attract high-quality research papers on these recent advances in Constraint Handling Rules.
Concurrency, Graphs and Models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
The volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo Montanari has contributed: Graph Transformation; Constraint and Logic Programming; Software Engineering; Concurrency; Models of Computation; and Software Verification.
Concurrency Theory : Calculi an Automata for Modelling Untimed and Timed Concurrent Systems
Concurrency Theory is a synthesis of one of the major threads of theoretical computer science research focusing on languages and graphical notations for describing collections of simultaneously evolving components that interact through synchronous communication. The main specification notation focused on in this book is LOTOS. An extensive introduction to this particular process calculus is given, highlighting how the approach differs from competitor techniques, such as CCS and CSP.
CONCUR 2008 - Concurrency Theory ; 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings
This book constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held in Toronto, Canada, August 19-22, 2008.
CONCUR 2007 – Concurrency Theory ; 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.
CONCUR 2006 - Concurrency Theory ; 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006
This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, August 27–30, 2006. The scope of CONCUR covers all areas of semantics, logics, and verification techniques for concurrent systems.
CONCUR 2005 - Concurrency Theory
This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose of the CONCUR series of conferences is to bring together researchers,developers, and students in order to advance the theory of concurrency and to promote its applications. The Program Committee selected 38 papers for presentation. Because of the format of the conference and the high number of submissions, many good papers could not be included. Although submissions werereadand evaluated, the papers that appear in this volume may di?er in form and contents from the corresponding submissions.
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.
