الصفحة 36
الصفحة 36
Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
This volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems.
Computer Aided Verification ; 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings
This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, held in Princeton, NJ, USA, in July 2008.
Computational Science and Its Applications - ICCSA 2008 ; International Conference, Perugia, Italy, June 30– July 3, 2008, Proceedings, Part II
The two-volume set LNCS 5072 and 5073 constitutes the refereed proceedings of the International Conference on Computational Science and Its Applications, ICCSA 2008, held in Perugia, Italy in June/July 2008.
Computational science and its applications - ICCSA 2008 ; International Conference, Perugia, Italy, June 30 – July 3, 2008, Proceedings, Part I
The two-volume set LNCS 5072 and 5073 constitutes the refereed proceedings of the International Conference on Computational Science and Its Applications, ICCSA 2008, held in Perugia, Italy, in June/July, 2008.
Computational Science - ICCS 2008 ; 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part III
The three-volume set LNCS 5101-5103 constitutes the refereed proceedings of the 8th International Conference on Computational Science, ICCS 2008, held in Krakow, Poland in June 2008.
Computational Science - ICCS 2008 ; 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part II
The three-volume set LNCS 5101-5103 constitutes the refereed proceedings of the 8th International Conference on Computational Science, ICCS 2008, held in Krakow, Poland in June 2008.
Computational Science - ICCS 2008 ; 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part I
The three-volume set LNCS 5101-5103 constitutes the refereed proceedings of the 8th International Conference on Computational Science, ICCS 2008, held in Krakow, Poland in June 2008.
Computational Science -- ICCS 2005 ; Vol. 3516 ; 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part III
This book constitutes the refereed proceedings of the Fifth International Conference on Computational Science (ICCS 2005) held in Atlanta, Georgia, USA, 2005, Computational science is rapidly maturing as a mainstream discipline. It is central to an ever-expanding variety of ?elds in which computational methods and tools enable new discoveries with greater accuracy and speed. The primary objectives of this conference were to discuss problems and solutions in allareas,toidentifynewissues,toshapefuturedirectionsofresearch,andtohelp users apply various advanced computational techniques. The event highlighted recent developments in algorithms, computational kernels, next generation c- puting systems, tools, advanced numerical methods, data-driven systems, and emerging application ?elds, such as complex systems, ?nance, bioinformatics, computational aspects of wireless and mobile networks, graphics, and hybrid computation.
Computational Science -- ICCS 2005 ; Vol. 3515 ; 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part I
This book constitutes the refereed proceedings of the Fifth International Conference on Computational Science (ICCS 2005) held in Atlanta, Georgia, USA, 2005, Computational science is rapidly maturing as a mainstream discipline. It is central to an ever-expanding variety of ?elds in which computational methods and tools enable new discoveries with greater accuracy and speed. The primary objectives of this conference were to discuss problems and solutions in allareas,toidentifynewissues,toshapefuturedirectionsofresearch,andtohelp users apply various advanced computational techniques. The event highlighted recent developments in algorithms, computational kernels, next generation c- puting systems, tools, advanced numerical methods, data-driven systems, and emerging application ?elds, such as complex systems, ?nance, bioinformatics, computational aspects of wireless and mobile networks, graphics, and hybrid computation.
Computational science -- ICCS 2005 ; Vol. 3514 ; 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part I
This book constitutes the refereed proceedings of the Fifth International Conference on Computational Science (ICCS 2005) held in Atlanta, Georgia, USA, 2005, Computational science is rapidly maturing as a mainstream discipline. It is central to an ever-expanding variety of ?elds in which computational methods and tools enable new discoveries with greater accuracy and speed. The primary objectives of this conference were to discuss problems and solutions in allareas,toidentifynewissues,toshapefuturedirectionsofresearch,andtohelp users apply various advanced computational techniques. The event highlighted recent developments in algorithms, computational kernels, next generation c- puting systems, tools, advanced numerical methods, data-driven systems, and emerging application ?elds, such as complex systems, ?nance, bioinformatics, computational aspects of wireless and mobile networks, graphics, and hybrid computation.
Computational logic in multi-agent systems ; Vol. 3487 ; 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers
The notion of agency has recently increased its in?uence in the research and - velopment of computational logic based systems, while at the same time sign- cantly gaining from decades of research in computational logic. Computational logic provides a well-de?ned, general, and rigorous framework for studying s- tax, semantics and procedures, for implementations, environments, tools, and standards, facilitating the ever important link between speci?cation and ver- cation of computational systems. The purpose of the Computational Logic in Multi-agent Systems (CLIMA) international workshop series is to discuss techniques, based on computational logic, for representing, programming, and reasoning about multi-agent systems in a formal way. Former CLIMA editions were conducted in conjunction with other major computational logic and AI events Thesubmittedpapersshowedthatthelogicalfoundationsofmulti-agent systems are felt by a large community to be a very important research topic, upon which classical AI and agent-related issues are to be addressed.
Computational linguistics and intelligent text processing ; Vol. 3406 ; 6th International Conference, CICLing 2005, Mexico City, Mexico, February 13-19, 2005, Proceedings
This book constitutes the refereed proceedings of the 6th International Conference on Computational Linguistics and Intelligent Text Processing, CICLing 2005, held in Mexico City, Mexico in February 2005. An approach that involves natural language analysis techniques for the treatment of software system functional requirements is described in this book. This approach is used as the basis for a process developed to generate sequence diagrams automatically from the textual specification of use cases. This facility has been integrated in the Requirements Engineering Phase of OO-Method, an automatic production environment of software. For this purpose, a translator that is based on natural language parser is used. The translator provides grammatical information to each use case sentence and it identifies the corresponding interaction. The automatic transformation is conceived and specified following an orientation that is based on models and patterns. The results of the validation of the transformation patterns are presented.
Computational intelligence in economics and finance ; Vol. II
Computational intelligence (CI), as an alternative to statistical and econometric approaches, has been applied to a wide range of economics and finance problems in recent years, for example to price forecasting and market efficiency. This book contains research ranging from applications in financial markets and business administration to various economics problems. Not only are empirical studies utilizing various CI algorithms presented, but so also are theoretical models based on computational methods. In addition to direct applications of computational intelligence, readers can also observe how these methods are combined with conventional analytical methods such as statistical and econometric models to yield preferred results.
Computational Electronic Circuits : Simulation and Analysis with MATLAB®
This textbook teaches in one, coherent presentation the three distinct topics of analysis of electronic circuits, mathematical numerical algorithms and coding in a software such as MATLAB®. By combining the capabilities of circuit simulators and mathematical software, the author teaches key concepts of circuit analysis and algorithms, using a modern approach. The DC, Transient, AC, Noise and behavioral analyses are implemented in MATLAB to study the complete characteristics of a variety of electronic circuits, such as amplifiers, rectifiers, hysteresis circuits, harmonic traps and passes, polyphaser filters, directional couplers, electro-static discharge and piezoelectric crystals. This book teaches basic and advanced circuit analysis, by incorporating algorithms and simulations that teach readers how to develop their own simulators and fully characterize and design electronic circuits.
Computational Discovery of Scientific Knowledge : Introduction, Techniques, and Applications in Environmental and Life Sciences
Advances in technology have enabled the collection of data from scientific observations, simulations, and experiments at an ever-increasing pace. For the scientist and engineer to benefit from these enhanced data collecting capabilities, it is becoming clear that semi-automated data analysis techniques must be applied to find the useful information in the data. Computational scientific discovery methods can be used to this end: they focus on applying computational methods to automate scientific activities, such as finding laws from observational data. In contrast to mining scientific data, which focuses on building highly predictive models, computational scientific discovery puts a strong emphasis on discovering knowledge represented in formalisms used by scientists and engineers, such as numeric equations and reaction pathways. This state-of-the-art survey provides an introduction to computational approaches to the discovery of scientific knowledge and gives an overview of recent advances in this area, including techniques and applications in environmental and life sciences.
Command-Line Rust : A Project-Based Primer for Writing Rust CLIs
Rather than focusing on the language as a whole, this guide teaches Rust using a single small, complete, focused program in each chapter. Author Ken Youens-Clark shows you how to start, write, and test each of these programs to create a finished product. You'll learn how to handle errors in Rust, read and write files, and use regular expressions, Rust types, structs, and more.
Combinatorial Optimization in Communication Networks
Combinatorial optimization algorithms are used in many applications including the design, management, and operations of communication networks. The objective of this book is to advance and promote the theory and applications of combinatorial optimization in communication networks. The book collects a distinguished set of papers on subjects such as wireless communication systems, satellite networks, optical networks, and ad hoc networks. The topics covered range from topology control, routing optimization, and resource allocation to QoS provisioning. It is the first book that integrates rich theory from operations research with cutting-edge research in communication networks.
Combinatorial geometry and graph theory ; Indonesia-Japan Joint Conference, IJCCGGT 2003, Bandung, Indonesia, September 13-16, 2003, Revised Selected Papers
This volume consists of the refereed papers presented at the Indonesia-JapanJoint Conference on Combinatorial Geometry and Graph Theory (IJCCGGT2003), held on Indonesia. This confer-ence can also be considered as a series of the Japan Conference on Discrete andComputational Geometry (JCDCG), 2002.
Combinatorial and algorithmic aspects of networking ; Vol.3405 ; 1st Workshop on combinatorial and algorithmic aspects of networking, CAAN 2004, Banff, Alberta, Canada, August 5-7, 2004, Revised Selected Papers
The Internet is a massive global network of over 700 million users and it is addingusers at the rate of 300,000 per day. This large, distributed, and everchangingnetwork poses a challenge to researchers: How does one study, model, or under-stand such a decentralized, constantly evolving entity? The workshop Combi-natorial and Algorithmic Aspects of Networking and the Internet (CAAN 2004)provided a forum for the exchange of ideas on these topics. and among thepapers were some new and surprising results as well as some introductions tothe foundations of the field.The workshop program featured 12 peer-reviewed papers bracketed by Topics covered by the talks ranged from the Web graph to game theoryto string matching, all in the context of large-scale networks. This volume collectstogether the talks delivered at the workshop along with a number of survey articlesto round out the presentation and give a comprehensive introduction to the topic.
Collaborative networks and their breeding environments ; IFIP TC 5 WG 5.5 Sixth IFIP Working Conference on VIRTUAL ENTERPRISES, 26-28 September 2005, Valencia, Spain
This book contains selected articles from PRO-VE'05, the sixth working conference on virtual enterprises, which was sponsored by the International Federation for Information Processing (IFIP) and held in Valencia, Spain. Being recognized as the most focused scientific / technical conference on Collaborative Networks, PRO-VE continues offering the opportunity for the presentation and discussion of both the latest research developments and practical application case studies. Following the IFIP vision. The articles included in this book represent a comprehensive overview of recent advances in various domains and lines of development of collaborative networks. Of particular relevance are the topics of holistic approaches and breeding environments management, creation and management of virtual organizations and professional virtual communications, performance measurement and management, benefit analysis, trust management, process modeling and meta-modeling, ICT infrastructures and support services, legal issues, and case studies.
