Page 1
Page 1
Nonlinear dynamics in complex systems via fractals and fractional calculus
Current advances in the knowledge of nonlinear dynamical networks, systems and processes, as well as their unified repercussions, allow us to include some typical complex natural phenomena, from the nanoscale to an extra-galactic scale, in an unitarian comprehensive manner. In other words, the physical, biological and financial data, as well as technological ones (mechanical or electronic devices), of complex systems available today can be managed by the same unique conceptual approach, both analytically and through a computer simulation, using effective nonlinear dynamics procedures. This volume collected some important advances in the fields of fractal curves, fractal analysis and fractional calculus, as well as new solutions of fractal differential equations.
Nonblocking Supervisory Control of State Tree Structures
This monograph proposes how to manage complexity by organizing the system as a State Tree Structure (STS). an efficient recursive symbolic algorithm is presented that can perform nonblocking supervisory control design in reasonable time and memory for complex systems.
Neural Preprocessing and Control of Reactive Walking Machines: Towards Versatile Artificial Perception-Action Systems
This book presents biologically inspired walking machines interacting with their physical environment. It describes how the designs of the morphology and the behavior control of walking machines can benefit from biological studies. The purpose of this book is to develop a modular structure of neural control generating different reactive behaviors of the physical walking machines, to analyze the neural mechanisms underlying the reactive behaviors, and to demonstrate the sensor fusion technique leading to smooth switching between appropriate behaviors, like obstacle avoidance and sound tropism.
Modular Algorithms in Symbolic Summation and Symbolic Integration
Brings together two streams in computer algebra: symbolic integration and summation on the one hand, and fast algorithmics on the other hand. In many algorithmically oriented areas of computer science, the analysis of al gorithms placed into the lime light by DonKnuth’stalkat the 1970ICM –provides a crystal-clear criterion for success. The researcher who designs an algorithm that is faster (asymptotically, in the worst case) than any previous method receives instant gratification : her result will be recognized as valuable. Al as, the downside is that such results come along quite infrequently, despite our best efforts. An alternative evaluation method is to run a new algorithm on examples; this has its obvious problems, but is sometimes the best we can do. George Collins, one of the fathers of computer algebra and a great experimenter,wrote in 1969: “I think this demonstrates again that a simple analysis is often more revealing than a ream of empirical data (although both are important). ” Within computer algebra, some areas have traditionally followed the former methodology, notably some parts of polynomial algebra and linear algebra. Other areas, such as polynomial system solving, have not yet been amenable to this - proach. The usual “input size” parameters of computer science seem inadequate, and although some natural “geometric” parameters have been identified (solution dimension, regularity), not all (potential) major progress can be expressed in this framework. Symbolic integration and summation have been in a similar state.
Mobile Communications : Re-negotiation of the Social Sphere
Mobile Communications: Renegotiation of the Social Sphere surveys some of the broader issues associated with the adoption and use of mobile communication, and explores developing areas of inquiry. Mobile communications are looked at in the context of other types of mediated interaction (e-mail, instant messaging, Wi-Fi, landline telephone etc.), thus demonstrating the uniqueness of this form of communication and how it is influencing the renegotiation of the social sphere. A truly international set of contributors consider how mobile communication has impacted on society and reflect on how it is used (and sometimes resented) in various public and private spaces. They provide an in-depth analysis of specific areas which complement our understanding of the phenomena including: • The psychological dimensions of mobile communication (addiction, proclivity to be disturbed by others use of the mobile phone), • The linguistics of mobile communication, and • The understanding of mobile communication’s commercialisation. This book will be a valuable addition to any researcher’s or professional’s reading material in the area of interaction of technology and society, providing the reader with a broad insight and specific knowledge of how mobile communication is reformulating the social sphere.
Mechanisms, Symbols, and Models Underlying Cognition ; 1st International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005, Proceedings, Part I
Constitute the refereed proceedings of the First International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2005. This two-volume set contains papers that are related with the conceptual developments in the fields of Neurophysiology and cognitive science, and also to bioinspired programming strategies.
Intelligent Computer Mathematics ; 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings
This book constitutes the joint refereed proceedings of the 9th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2008, the 15th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2008, and the 7th International Conference on Mathematical Knowledge Management, MKM 2008, held in Birmingham, UK, in July/August as CICM 2008, the Conferences on Intelligent Computer Mathematics.
ICCS 2007 ; Proceedings of the 15th International Workshops on Conceptual Structures
The 15th International Conference on Conceptual Structures (ICCS 2007) is the latest in a series of annual conferences that have been held in Europe, Australia, and North America since 1993. Some of the world's best minds in information technology, arts, humanities and social science converged to explore novel ways that information and communications technology (ICT) can augment human intelligence.
Hybrid Systems : Computation and Control ; 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings
Contains the proceedings ofthe 11th Workshop on Hybrid Systems: Computation and Control (HSCC 2008) held in St. Louis, Missouriduring April 22–24,2008.The annual workshop on hybrid systems focuses on research inbedded ,reactive systems in volving theinterplay between symbolic/switchingand continuous dynamical behaviors. HSCC attracts academic as well as industrial researchers to exchange information on the latest developments of applications and theoretical advancements in the design, analysis, control, optimization, and implementation of hybrid systems, with particular attention to embedded and networked control systems. We would like to thank the Program Committee members and the reviewers for an excellent job of evaluating the submissions and participating in the online Program Committee discussions.
Graphics Recognition. Recent Advances and New Opportunities ; 7th International Workshop, GREC 2007, Curitiba, Brazil, September 20-21, 2007. Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Graphics Recognition, GREC 2007, held in Curitiba, Brazil in September 2007.The 30 revised full papers presented together with a panel discussion report were carefully selected and improved during two rounds of reviewing and revision. The papers are organized in topical sections on technical documents, maps and diagrams understanding; symbol and shape description and recognition; information retrieval, indexing and spotting; sketching interfaces and on-line processing; feature and primitive analysis and segmentation; performance evaluation and ground truthing.
Graphics Recognition : TenYears Review and Future Perspectives ; 6th International Workshop, GREC 2005, Hong Kong, China, August 25-26, 2005, Revised Selected Papers
This book contains refereed and improved papers presented at the 6th IAPR Workshop on Graphics Recognition (GREC 2005). This year is the tenth anniversary of GREC, Graphics recognition is a particular field in the domain of document analysis, which combines pattern recognition and image processing techniques for the analysis of any kind of graphical information in documents from either paper or electronic formats. In its 10 year history, the graphics recognition community has extended its research topics from the analysis and understanding of graphic documents (including engineering drawings vectorization and recognition), to graphics-based information retrieval and symbol recognition, to new media analysis, and even stepped into research areas of other communities
Graph-based Knowledge Representation : Computational Foundations of Conceptual Graphs
This book studies a graph-based knowledge representation and reasoning formalism stemming from conceptual graphs, with a substantial focus on the computational properties.Knowledge can be symbolically represented in many ways, and the authors have chosen labeled graphs for their modeling and computational qualities. the authors have attempted to answer, the following question:`how far is it possible to go in knowledge representation and reasoning by representing knowledge with graphs and reasoning with graph operations?''
Functional Structures in Networks : AMLn - A Language for Model Driven Development of Telecom Systems
The book describes a method for creating models of telecom systems. The method is intended for practicing network architects and designers. This method emphasizes modeling the (very complex) functional structure of networks in a way that is independent of any hardware and software design methodology
Frontiers of combining systems ; 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings
Constitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held in Vienna, Austria. This book includes 19 full papers that are organized in topical sections on combinations of logics, theories, and decision procedures; constraint solving and programming; and others.
Formal Methods for Hardware Verification ; 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures
This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2006). SFM 2006 was devoted to formal techniques for hardware verification and covers several aspects of the hardware design process, including hardware design languages and simulation, property specification formalisms, automatic test pattern generation, symbolic trajectory evaluation, and more.
Enterprise Information Systems V
ICEIS focuses on real world applications and aims at bringing together researchers, engineers and practitioners interested in the advances and business applications of information systems. As in previous years, ICEIS’2003 held four simultaneous tracks covering different aspects of enterprise computing: Databases and Information Systems Integration, Artificial Intelligence and Decision Support Systems, Information Systems Analysis and Specification and Software Agents and Internet Computing. Although ICEIS’2003 received 546 paper submissions from over 50 countries, only 80 were accepted as full papers and presented in 30-minutes oral presentations. With an acceptance rate of 15%, these numbers demonstrate the intention of preserving a high quality forum for future editions of this conference. From the articles accepted as long papers for the conference, only 32 were selected for inclusion in this book Additional keynote lectures, tutorials and industrial sessions were also held during ICEIS’2003, and, for the first time this year, the 1st Doctoral Consortium on Enterprise Information Systems gave PhD students an opportunity to present their work to an international audience of experts in the field of information systems.
Dynamic brain : From neural spikes to behaviors ; 12th International Summer School on Neural Networks, Erice, Italy, December 5-12, 2007, Revised Lectures
The volume presents 12 thoroughly revised tutorial papers based on lectures given by leading researchers at the 12th International Summer School on Neural Networks in Erice, Italy, in December 2007.
Dissemination of Information in Optical Networks : From Technology to Algorithms In Cooperation with Ralf Klasing
This book gives a broad overview of techniques used in the design of WDM networks for efficient dissemination of information in computer networks.
Digital Libraries : The Era of Big Data and Data Science; 16th Italian Research Conference on Digital Libraries, IRCDL 2020, Bari, Italy, January 30–31, 2020, Proceedings
The chapter "Identifying, Classifying and Searching Graphic Symbols in the NOTAE System" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
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.
