This book discusses physical and mathematical models, numerical methods, computational algorithms and software complexes, which allow high-precision mathematical modeling in fluid, gas, and plasma mechanics; general m...
详细信息
ISBN:
(数字)9789811526008
ISBN:
(纸本)9789811525995;9789811526022
This book discusses physical and mathematical models, numerical methods, computational algorithms and software complexes, which allow high-precision mathematical modeling in fluid, gas, and plasma mechanics; general mechanics; deformable solid mechanics; and strength, destruction and safety of structures. These proceedings focus on smart technologies and software systems that provide effective solutions to real-world problems in applied mechanics at various multi-scale levels. Highlighting the training of specialists for the aviation and space industry, it is a valuable resource for experts in the field of applied mathematics and mechanics, mathematical modeling and information technologies, as well as developers of smart applied software systems.
This book constitutes the refereed proceedings of the 8th International Conference on Flexible Query Answering Systems, FQAS 2009, held in Roskilde, Denmark, in October 2009. The 57 papers included in this volume were...
详细信息
ISBN:
(数字)9783642049576
ISBN:
(纸本)9783642049569
This book constitutes the refereed proceedings of the 8th International Conference on Flexible Query Answering Systems, FQAS 2009, held in Roskilde, Denmark, in October 2009. The 57 papers included in this volume were carefully reviewed and selected from 90 submissions. They are structured in topical sections on database management, information retrieval, extraction and mining, ontologies and semantic web, intelligent information extraction from texts, advances in fuzzy querying, personalization, preferences, context and recommendation, and Web as a stream.
This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Symposium on Trends in Functional programming, TFP 2010, held in Norman, OK, USA, in May 2010. The 13 revised full pa...
详细信息
ISBN:
(数字)9783642229411
ISBN:
(纸本)9783642229404
This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Symposium on Trends in Functional programming, TFP 2010, held in Norman, OK, USA, in May 2010. The 13 revised full papers presented were carefully reviewed and selected from 26 submissions during two rounds of reviewing and improvement. The papers cover new ideas for refactoring, managing source-code complexity, functional language implementation, graphical languages, applications of functional programming in pure mathematics, type theory, multitasking and parallel processing, distributed systems, scientific modeling, domain specific languages, hardware design, education, and testing.
This book is an authoritative collection of contributions in the field of soft-computing. Based on selected works presented at the 6th World Conference on Soft Computing, held on May 22-25, 2016, in Berkeley, USA, it ...
详细信息
ISBN:
(数字)9783319754086
ISBN:
(纸本)9783319754079;9783030092238
This book is an authoritative collection of contributions in the field of soft-computing. Based on selected works presented at the 6th World Conference on Soft Computing, held on May 22-25, 2016, in Berkeley, USA, it describes new theoretical advances, as well as cutting-edge methods and applications. Theories cover a wealth of topics, such as fuzzy logic, cognitive modeling, Bayesian and probabilistic methods, multi-criteria decision making, utility theory, approximate reasoning, human-centric computing and many others. Applications concerns a number of fields, such as internet and semantic web, social networks and trust, control and robotics, computer vision, medicine and bioinformatics, as well as finance, security and e-Commerce, among others. Dedicated to the 50th Anniversary of Fuzzy Logic and to the 95th Birthday Anniversary of Lotfi A. Zadeh, the book not only offers a timely view on the field, yet it also discusses thought-provoking developments and challenges, thus fosteringnew research directions in the diverse areas of soft computing.
This book constitutes the refereed proceedings of the International Conference on Multiscore Software Engineering, Performance, and Tools, MSEPT 2012, held in Prague in May/June 2012. The 9 revised papers, 4 of which ...
详细信息
ISBN:
(数字)9783642312021
ISBN:
(纸本)9783642312014
This book constitutes the refereed proceedings of the International Conference on Multiscore Software Engineering, Performance, and Tools, MSEPT 2012, held in Prague in May/June 2012. The 9 revised papers, 4 of which are short papers were carefully reviewed and selected from 24 submissions. The papers address new work on optimization of multicore software, program analysis, and automatic parallelization. They also provide new perspectives on programming models as well as on applications of multicore systems.
This book constitutes the refereed proceedings of the 21st International Symposium on Methodologies for Intelligent Systems, ISMIS 2014, held in Roskilde, Denmark, in June 2014. The 61 revised full papers were careful...
详细信息
ISBN:
(数字)9783319083261
ISBN:
(纸本)9783319083254
This book constitutes the refereed proceedings of the 21st International Symposium on Methodologies for Intelligent Systems, ISMIS 2014, held in Roskilde, Denmark, in June 2014. The 61 revised full papers were carefully reviewed and selected from 111 submissions. The papers are organized in topical sections on complex networks and data stream mining; data mining methods; intelligent systems applications; knowledge representation in databases and systems; textual data analysis and mining; special session: challenges in text mining and semantic information retrieval; special session: warehousing and OLAPing complex, spatial and spatio-temporal data; ISMIS posters.
The present work is an exercise to generate complex, inter-related data structures from the simplest possible information source. The organization of the memory is such that updating and retrieval processes are easy t...
The present work is an exercise to generate complex, inter-related data structures from the simplest possible information source. The organization of the memory is such that updating and retrieval processes are easy to perform. To demonstrate the capabilities of the program, the first fifteen chapters of Robert Graves: The Greek Myths , Volume I were used as data source. One of the interesting results is that, in spite of the rather free mating pattern of the divine participants, Zeus and Aphrodite adhered to a Platonic relationship. Another is that Rhea is Cronus' sister, wife, grand-aunt and daughter-in-law's mother at the same time. The program, written in IPL-V in its present form, can accept a maximum of 500 separate individuals and will process an unlimited number of inquiries in one particular run. Non- perfect information is appropriately treated. Finally, possible extensions are briefly described.
This volume 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, Denma...
详细信息
ISBN:
(数字)9783540319283
ISBN:
(纸本)9783540261650
This volume 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 di?ering meanings, apply in the ch- acterization 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 e?cient methods and paradigms from which language processing can pro?t. A common metaphor for human language processing is one big c- straintsolvingprocessinwhichthedi?erent(-lyspeci?ed)linguisticandcognitive phases take place in parallel and with mutual cooperation, which ?ts quite well with current constraint programming paradigms.
暂无评论