الصفحة 69
الصفحة 69
Computer safety, reliability, and security ; 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings
This book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2020, held in Lisbon, Portugal, in September 2020.* The 27 full and 2 short papers included in this volume were carefully reviewed and selected from 116 submissions. They were organized in topical sections named: safety cases and argumentation; formal verification and analysis; security modelling and methods; assurance of learning-enabled systems; practical experience and tools; threat analysis and risk mitigation; cyber-physical systems security; and fault injection and fault tolerance.
Computer recognition systems 2
Computer recognition systems are nowadays one of the most promising directions in artificial intelligence. This book presents actual comprehensive study of this field. It contains a collection of over one hundred carefully selected articles contributed by experts of pattern recognition. It reports on current research with respect to both methodology and applications. In particular, it includes the following sections: Features, learning and classifiers / Image processing and computer vision / Speech and word recognition / Medical applications / Various applications. This book is a great reference tool for scientists who deal with the problems of designing computer pattern recognition systems. Its target readers can be the as well researchers as students of computer science, artificial intelligence or robotics.
Computer Network Security
As society becomes increasingly dependent on computers and computer networks, computer problems continue to rise in number. Yet despite the proliferation of expert remedies, a viable solution to these security issues remains elusive, and society continues to suffer at the hands of cyber vandalism and computer viruses. This comprehensive text outlines and discusses today’s most important issues and concerns in computer network and information safety and security, and promises to ignite debate and participation in the ongoing global security dialog Computer Network Security is foremost an educational tool that aims to explore computer network infrastructure and protocol design security flaws and discusses current security solutions and best practices. It explores the security threats and vulnerabilities in the current network infrastructure and protocols and outlines current efforts including: Access Control and Authorization, Cryptography, Firewalls and VPNs, Web Security and Content Filtering, among others. The text further discusses various security proposals This text is an invaluable instructional and research tool for courses in computer and information security. Students or practitioners in computer science, information science, technology studies, library sciences, and information management studies will find this text particularly useful for their purposes. In addition, it is a rich resource for those looking to gain an understanding of computer infrastructures and network security threats.
Computer Insecurity : Risking the System
Security is one of the most significant issues facing the owners and users of computer systems in the Internet age, and recent years have convincingly illustrated that the problem is increasing in both scale and cost. Computer Insecurity: Risking the System approaches its topic from the perspective of vulnerability – how can your system be attacked? Covering technical issues and human factors, the comprehensively researched text makes reference to numerous real-life security incidents, which help to provide persuasive practical evidence of the problems and the impacts that result. Key issues covered include: • the problem of computer insecurity • the need to raise security awareness • common failings that compromise protection • the attack and exploitation of systems • considerations in responding to the threats
Computer and Information Sciences - ISCIS 2005 ; 20th International Symposium, Istanbul, Turkey, October 26 -- 28, 2005, Proceedings
This book constitutes the refereed proceedings of the 20th International Symposium on Computer and Information Sciences, ISCIS 2005, held in Istanbul, Turkey in October 2005. The 92 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 491 submissions. The papers are organized in topical sections on computer networks, sensor and satellite networks, security and cryptography, performance evaluation, e-commerce and Web services, multiagent systems, machine learning, information retrieval and natural language processing, image and speech processing, algorithms and database systems, as well as theory of computing.
Computer Algebra Recipes : An Introductory Guide to the Mathematical Models of Science
Computer algebra systems are revolutionizing the teaching, the learning, and the exploration of science. Not only can students and researchers work through mathematical models more efficiently and with fewer errors than with pencil and paper, they can also easily explore, both analytically and numerically, more complex and computationally intensive models. Aimed at science and engineering undergraduates at the sophomore/junior level, this introductory guide to the mathematical models of science is filled with examples from a wide variety of disciplines, including biology, economics, medicine, engineering, game theory, mathematics, physics, and chemistry.
Computer algebra in scientific computing ; 23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings
This book constitutes the proceedings of the 23rd International Workshop on Computer Algebra in Scientific Computing, CASC 2021, held in Sochi, Russia, in September 2021. The 24 full papers presented together with 1 invited talk were carefully reviewed and selected from 40 submissions. The papers cover theoretical computer algebra and its applications in scientific computing.
Computer algebra in scientific computing ; 22nd International Workshop, CASC 2020, Linz, Austria, September 14–18, 2020, Proceedings
This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Algebra in Scientific Computing, CASC 2020, held in Linz, Austria, in September 2020. The conference was held virtually due to the COVID-19 pandemic. The 34 full papers presented together with 2 invited talks were carefully reviewed and selected from 41 submissions. They deal with cutting-edge research in all major disciplines of computer algebra. The papers cover topics such as polynomial algebra, symbolic and symbolic-numerical computation, applications of symbolic computation for investigating and solving ordinary differential equations, applications of CAS in the investigation and solution of celestial mechanics problems, and in mechanics, physics, and robotics.
Computer Aided Verification ; 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II
This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections: Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis. Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification.
Computer Aided Verification ; 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I
This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections: Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis. Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification.
Computer aided verification ; 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verication to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
Computational Techniques for Voltage Stability Assessment and Control
The key concepts of both saddle node and Hopf bifurcation are covered. These are illustrated with the differential-algebraic equation (DAE) model of the system. The model is complex enough to include Load Tap-Changing transformers as well as HVDC models. The dynamic model of the generating unit includes the exciter since it plays a crucial role in voltage stability. A promising decoupled dynamic simulation technique is introduced for time domain analysis. Computational Techniques for Voltage Stability Assessment and Control provides the computational tools and algorithms needed for development of on-line voltage security assessment
Computational studies of RNA and DNA
Computational Studies of RNA and DNA includes, in an integrated way, modern computational studies of nucleic acids, ranging from advanced electronic structure quantum chemical calculations through explicit solvent molecular dynamics (MD) simulations up to mesoscopic modelling, with the main focus given to the MD field. It gives an equal emphasis to the leading methods and applications while successes as well as pitfalls of the computational techniques are discussed.The systems and problems studied include: Accurate calculations of base pairing energies / Electronic properties of nucleic acids and electron transfer, through various types of nucleic acid / Calculating DNA elasticity
Computational science and its applications - ICCSA 2006 ; Vol. 3983 ; International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part IV
This ?ve-volume set was compiled following the 2006 International Conference on Computational Science and its Applications, ICCSA 2006. It represents the outstanding collection of almost 664 refereed papers selected from over 2,450 submissions to ICCSA 2006. Computational science has ?rmly established itself as a vital part of many scienti?c investigations, a?ecting researchers and practitioners in areas ranging from applications such as aerospace and automotive, to emerging technologies such as bioinformatics and nanotechnologies, to core disciplines such as ma- ematics, physics, and chemistry.
Computational science and its applications - ICCSA 2006 ; Vol. 3982 ; International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part III
This ?ve-volume set was compiled following the 2006 International Conference on Computational Science and its Applications, ICCSA 2006. It represents the outstanding collection of almost 664 refereed papers selected from over 2,450 submissions to ICCSA 2006. Computational science has ?rmly established itself as a vital part of many scienti?c investigations, a?ecting researchers and practitioners in areas ranging from applications such as aerospace and automotive, to emerging technologies such as bioinformatics and nanotechnologies, to core disciplines such as ma- ematics, physics, and chemistry.
Computational science and its applications - ICCSA 2006 ; Vol. 3981 ; International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part II
This ?ve-volume set was compiled following the 2006 International Conference on Computational Science and its Applications, ICCSA 2006. It represents the outstanding collection of almost 664 refereed papers selected from over 2,450 submissions to ICCSA 2006. Computational science has ?rmly established itself as a vital part of many scienti?c investigations, a?ecting researchers and practitioners in areas ranging from applications such as aerospace and automotive, to emerging technologies such as bioinformatics and nanotechnologies, to core disciplines such as ma- ematics, physics, and chemistry.
Computational science and its applications - ICCSA 2006 ; Vol. 3980 ; International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part I
This ?ve-volume set was compiled following the 2006 International Conference on Computational Science and its Applications, ICCSA 2006. It represents the outstanding collection of almost 664 refereed papers selected from over 2,450 submissions to ICCSA 2006. Computational science has ?rmly established itself as a vital part of many scienti?c investigations, a?ecting researchers and practitioners in areas ranging from applications such as aerospace and automotive, to emerging technologies such as bioinformatics and nanotechnologies, to core disciplines such as ma- ematics, physics, and chemistry.
Computational science and its applications - ICCSA 2006 ;Vol. 3984 ; International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part V
This ?ve-volume set was compiled following the 2006 International Conference on Computational Science and its Applications, ICCSA 2006. It represents the outstanding collection of almost 664 refereed papers selected from over 2,450 submissions to ICCSA 2006. Computational science has ?rmly established itself as a vital part of many scienti?c investigations, a?ecting researchers and practitioners in areas ranging from applications such as aerospace and automotive, to emerging technologies such as bioinformatics and nanotechnologies, to core disciplines such as ma- ematics, physics, and chemistry.
Computational science and its applications - ICCSA 2005 ; Vol. 3483 ; International Conference, Singapore, May 9-12, 2005, Proceedings, Part IV
The four volume set assembled following The 2005 International Conference on Computational Science and its Applications, ICCSA 2005, held in Suntec International Convention and Exhibition Centre, Singapore, from 9 May 2005 till 12 May 2005, represents the ?ne collection of 540 refereed papers selected from nearly 2,700 submissions. Computational Science has ?rmly established itself as a vital part of many scienti?c investigations, a?ecting researchers and practitioners in areas ranging from applications such as aerospace and automotive, to emerging technologies such as bioinformatics and nanotechnologies, to core disciplines such as ma- ematics, physics, and chemistry. Due to the shear size of many challenges in computational science, the use of supercomputing, parallel processing, and - phisticated algorithms is inevitable and becomes a part of fundamental t- oretical research as well as endeavors in emerging ?elds.
Computational science and its applications - ICCSA 2005 ; Vol. 3482 ; International Conference, Singapore, May 9-12. 2005, Proceedings, Part III
The four volume set assembled following The 2005 International Conference on Computational Science and its Applications, ICCSA 2005, held in Suntec International Convention and Exhibition Centre, Singapore, from 9 May 2005 till 12 May 2005, represents the ?ne collection of 540 refereed papers selected from nearly 2,700 submissions. Computational Science has ?rmly established itself as a vital part of many scienti?c investigations, a?ecting researchers and practitioners in areas ranging from applications such as aerospace and automotive, to emerging technologies such as bioinformatics and nanotechnologies, to core disciplines such as ma- ematics, physics, and chemistry. Due to the shear size of many challenges in computational science, the use of supercomputing, parallel processing, and - phisticated algorithms is inevitable and becomes a part of fundamental t- oretical research as well as endeavors in emerging ?elds.
