الصفحة 16
الصفحة 16
Discovery Science ; Vol. 4265 ; 9th International Conference, DS 2006, Barcelona, Spain, October 7-10, 2006, Proceedings
This LNAI volume, containing the proceedings of the 9th International C- ference onDiscoveryScience, is structured in three parts. The ?rstpart contains the papers/abstracts of the invited talks, the second part contains the accepted long papers, and the third part the accepted regular (short) papers. Out of 87 submitted papers, 23 were accepted for publication as long papers, and 18 as regular papers. All the submitted papers were reviewed by two or three ref- ees. In addition to the presentations of accepted papers, the DS 2006 conference program consisted of three invited talks, two tutorials, the collocated ALT 2006 conference and the Pascal Dialogues workshop.
Discovery science ; Vol. 3735 ; 8th International Conference, DS 2005, Singapore, October 8-11, 2005, Proceedings
This book constitutes the refereed proceedings of the 8th International Conference on Discovery Science, DS 2005, held in Singapore in October 2005, co-located with the International Conference on Algorithmic Learning Theory (ALT 2005). The 21 revised long papers and the 6 revised regular papers presented together with 9 project reports and 5 invited papers were carefully reviewed and selected from 112 submissions. The papers cover all issues in the area of automating scientific discovery or working on tools for supporting the human process of discovery in science.
Discovery Science ; 11th International Conference, DS 2008, Budapest, Hungary, October 13-16, 2008. Proceedings
This book constitutes the refereed proceedings of the 11th International Conference on Discovery Science, DS 2008, held in Budapest, Hungary, in October 2008, co-located with the 19th International Conference on Algorithmic Learning Theory, ALT 2008.
Discovery Science ; 10th International Conference, DS 2007 Sendai, Japan, October 1-4, 2007. Proceedings
This volume consists of three parts. The first part contains the papers/abstracts of the invited talks, the second part contains the accepted long papers, and the third part contains the accepted regular papers.
Direct and inverse Sturm-Liouville problems : A method of solution
This book provides an introduction to the most recent developments in the theory and practice of direct and inverse Sturm-Liouville problems on finite and infinite intervals. A universal approach for practical solving of direct and inverse spectral and scattering problems is presented, based on the notion of transmutation (transformation) operators and their efficient construction. Analytical representations for solutions of Sturm-Liouville equations as well as for the integral kernels of the transmutation operators are derived in the form of functional series revealing interesting special features and lending themselves to direct and simple numerical solution of a wide variety of problems.
Digital watermarking ; 6th International Workshop, IWDW 2007 Guangzhou, China, December 3-5, 2007 Proceedings
This book constitutes the refereed proceedings of the 6th International Workshop, IWDW 2007, held in Guangzhou, China, in December 2007.
Digital Holography : Digital Hologram Recording, Numerical Reconstruction, and Related Techniques
This book presents a self-contained treatment of the principles and major applications of digital hologram recording and numerical reconstruction (Digital Holography). The first part deals with optical foundations and the theory of holography. The next section describes how to record holograms directly with an electronic sensor (CCD) and describes the various reconstruction techniques. A special chapter is designated to digital holographic interferometry with applications in deformation and shape measurement and refractive index determination. Applications in imaging and microscopy are also described. The next part discusses special techniques such as digital light-in-flight holography, holographic endoscopy, information encrypting and comparative holography. In the last chapter related techniques of speckle metrology are treated briefly.
Differential Evolution Algorithm with Type-2 Fuzzy Logic for Dynamic Parameter Adaptation with Application to Intelligent Control
This book focuses on the fields of fuzzy logic, bio-inspired algorithm, especially the differential evolution algorithm and also considering the fuzzy control area. The main idea is that these two areas together can help solve various control problems and to find better results. In this book, the authors test the proposed method using five benchmark control problems. First, the water tank, temperature, mobile robot, and inverted pendulum controllers are considered. For these 4 problems, experimentation was carried out using a Type-1 fuzzy system and an Interval Type-2 system. The last control problem was the D.C. motor, for which the experiments were performed with Type-1, Interval Type-2, and Generalized Type-2 fuzzy systems. When we use fuzzy systems combined with the differential evolution algorithm, we can notice that the results obtained in each of the controllers are better and with increasing uncertainty, the results are even better. For this reason, the authors consider in this book the proposed method using fuzzy systems and the differential evolution algorithm to improve the fuzzy controllers’ behavior in complex control problems.
Diagrammatic Representation and Inference ; 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Theory and Application of Diagrams, Diagrams 2008, held in Herrsching, Germany, in September 2008.
Diagrammatic representation and inference ; 4th International conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006, Proceedings
Proceedings of the 4th International Conference on Theory and Application of Diagrams, Stanford, CA, USA in June 2006. 13 revised full papers, 9 revised short papers, and 12 extended abstracts are presented together with 2 keynote papers and 2 tutorial papers. The papers are organized in topical sections on diagram comprehension by humans and machines, notations: history, design and formalization, diagrams and education, reasoning with diagrams by humans and machines, and psychological issues in comprehension, production and communication.
Diagrammatic Representation and Inference ; 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020, Proceedings
This book constitutes the refereed proceedings of the 11th International Conference on the Theory and Application of Diagrams, Diagrams 2020, held in Tallinn, Estonia, in August 2020.* The 20 full papers and 16 short papers presented together with 18 posters were carefully reviewed and selected from 82 submissions. The papers are organized in the following topical sections: diagrams in mathematics; diagram design, principles, and classification; reasoning with diagrams; Euler and Venn diagrams; empirical studies and cognition; logic and diagrams; and posters.
Developments in Language Theory ; Vol. 4036 ; 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Developments in Language Theory, DLT 2006, held in Santa Barbara, CA, June 2006. All important issues in language theory are addressed including grammars, acceptors and transducers for strings, trees, graphs, arrays.
Developments in language theory ; Vol. 3572 ; 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings
Constitutes the refereed proceedings of the 9th International Conference on Developments in Language Theory, DLT 2005, held in Palermo, Italy in July 2005. Several issues in language theory are addressed including grammars, acceptors, and transducers for strings frees, graphs, and arrays; efficient text algorithms; and more.
Developments in language theory ; 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, Proceedings
Basic Notions of Reaction Systems / A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms / Algebraic and Topological Models for DNA Recombinant Processes / Contributed Papers : Regular Expressions for Two-Dimensional Languages Over One-Letter Alphabet / On Competence in CD Grammar Systems / The Dot-Depth and the Polynomial Hierarchy Correspond on the Delta Levels, and other
Developments in Language Theory ; 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008. Proceedings
This book constitutes the refereed proceedings of the 12th International Conference on Developments in Language Theory, DLT 2008, held in Kyoto, Japan, September 2008.
Developments in Language Theory ; 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings
It addresses all important issues in language theory including grammars, acceptors and transducers for words, trees and graphs; algebraic theories of automata; relationships to cryptography, concurrency, complexity theory and logic; bioinspired computing, and quantum computing.
Designing Intelligent Construction Projects
Readers will find: Illuminating case study material that highlights how change management methodologies, game theory, and collaborative contractual design can deliver results Strategies for achieving lean, viable, and digitally oriented construction leadership fit for the modern market Rigorous discussions of the current and potential future impact of digitization on construction firms
Designing human interface in speech technology
Designing Human Interface in Speech Technology bridges a gap between the needs of the technical engineer and cognitive researchers working in the multidisciplinary area of speech technology applications. The approach is systematic and the focus is on the utility of developing and designing speech related products. Included is coverage of topics such as neuroscience on the multimodal cortex, cognitive theories on multi-task performance, stress and workload, as well as human information process theory and ecological interface design theory for evaluating speech-related human-system interfaces.
Dependable software engineering : Theories, tools, and applications ; 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings
This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, held in Guangzhou, China, in November 2020. The 10 full and 1 short paper included in this volume were carefully reviewed and selected from 20 submissions. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.
Dependable computing ; 3rd Latin-American Symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007, Proceedings
This book presented fault-tolerant algorithms, software engineering of dependable systems, networking and mobile computing, experimental dependability evaluation, as well as intrusion tolerance and security.
