الصفحة 47
الصفحة 47
Computer Processing of Oriental Languages. Beyond the Orient : The Research Challenges Ahead ; 21st International Conference, ICCPOL 2006, Singapore, December 17-19, 2006, Proceedings
This book constitutes the thoroughly refereed proceedings of the 21st International Conference on Computer Processing of Oriental Languages, ICCPOL 2006.The papers are organized in topical sections on information retrieval, document classification, questions and answers, summarization, machine translation, word segmentation, chunking, abbreviation expansion, writing-system issues, parsing, semantics, and lexical resources.
Computer organization and design, enhanced : The hardware / software interface ; 5th ed.
Contains new examples and material highlighting the emergence of mobile computing and the cloud. It explores this generational change with updated content featuring tablet computers, cloud infrastructure, and the ARM (mobile computing devices) and x86 (cloud computing) architectures. The book uses a MIPS processor core to present the fundamentals of hardware technologies, assembly language, computer arithmetic, pipelining, memory hierarchies and I/O.Because an understanding of modern hardware is essential to achieving good performance and energy efficiency, this edition adds a new concrete example, Going Faster, used throughout the text to demonstrate extremely effective optimization techniques. There is also a new discussion of the Eight Great Ideas of computer architecture.
Computer organization and design : The hardware / software interface ; 6th ed.
Designed to be used in modern computing environments such as cloud computing, mobile devices, and other embedded systems. With the post-PC era now upon us, Computer Organization and Design moves forward to explore this generational change with examples, exercises, and material highlighting the emergence of mobile computing and the Cloud. Updated content featuring tablet computers, Cloud infrastructure, and the x86 (cloud computing) and ARM (mobile computing devices) architectures is included
Computer organization and architecture : Designing for performance ; 11th ed.
For graduate and undergraduate courses in computer science, computer engineering, and electrical engineering. Comprehensively covers processor and computer design fundamentals Computer Organization and Architecture, 11th Edition is about the structure and function of computers. Its purpose is to present, as clearly and completely as possible, the nature and characteristics of modern-day computer systems.
Computer organization and architecture : Designing for performance ; 10th ed.
For graduate and undergraduate courses in computer science, computer engineering, and electrical engineering. Comprehensively covers processor and computer design fundamentals Computer Organization and Architecture, 11th Edition is about the structure and function of computers. Its purpose is to present, as clearly and completely as possible, the nature and characteristics of modern-day computer systems.
Computer Network Security ; Vol. 3685
This volume contains papers presented at the 3rd International Workshop on Mathematical Methods, Models and Architectures for Computer Network - curity (MMM-ACNS 2005) held in St. Petersburg, Russia, 2005. The 1st and the 2nd International Workshops on Mathematical Methods, Models and Architectures for Computer Network Security (MMM-ACNS 2001 and MMM-ACNS 2003), hosted by the St. Petersburg Institute for Informatics and Automation, demonstrated the keen interest of the international research community in the subject area. It was recognized that conducting a biannual series of such workshops in St. Petersburg stimulates fruitful exchanges between the di?erent schools of thought, facilitates the dissemination of new ideas and promotesthespirit of cooperationbetweenresearchersontheinternationalscale. MMM-ACNS 2005 provided an international forum for sharing original - search results and application experiences among specialists in fundamental and applied problems of computer network security. An important distinction of the workshop was its focus on mathematical aspects of information and computer network security addressing the ever-increasing demands for secure computing and highly dependable computer networks.
Computer Network Security ; 4th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2007, St. Petersburg, Russia, September 13-15, 2007, Proceedings
This volume focus on mathematical aspects of information and computer network security addressing the ever-increasing demands for secure computing and highly dependable computer networks.
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 Music Modeling and Retrieval Vol. 3902 ; 3rd International Symposium, CMMR 2005, Pisa, Italy, September 26-28, 2005, Revised Papers
This book constitutes the thoroughly refereed post-proceedings of the Third International Computer Music Modeling and Retrieval Symposium, CMMR 2005. the papers address a broad variety of topics. The papers are organized in topical sections on sound synthesis; music perception and cognition; interactive music: interface, interaction, gestures and sensors, music composition; music retrieval: music performance, music analysis, music representation; as well as interdisciplinarity and computer music.
Computer Music Modeling and Retrieval ; Vol. 3310
This volume contains the final proceedings for the 2004 Computer Music Model-ing and Retrieval Symposium (CMMR 2004). CMMR is an annualevent focusing on important aspects of computer music. CMMR 2004 is the sec-ond event in this series. The use of computers in music is well established. CMMR 2004 provided aunique opportunity to meet and interact with peers concerned with the cross-influence of the technological and creative in computer music. The field of com-puter music is interdisciplinary by nature and closely related to a number of com-puter science and engineering areas such as information retrieval, programming,human computer interaction, digital libraries, hypermedia, artificial intelligence,acoustics, signal processing, etc. The event gathered many interesting people(researchers, educators, composers, performers, and others). There were manyhigh-quality keynote and paper presentations, that fostered inspiring discussions.
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 Seciences - ISCIS 2006 ; 21th International Symposium Istanbul, Turkey, Novenber 1-3, 2006, Proceedings
Thesearetheproceedingsofthe21stInternationalSymposiumonComputerand ? Information Sciences (ISCIS 2006) held in Istanbul, Turkey, November 1 – 3, 2006. ISCIS 2006 was organized by the Faculty of Engineering and Natural S- ences of Sabanc?University.
Computer algebra in scientific computing ; Vol. 3718 ; 8th International workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings
This volume contains the proceedings of the CASC 2005 continued a tradition — started in 1998 — of international con-ferences on the latest advances in the application of computer algebra systems(CASs) and methods to the solution of various problems in scientific computing.The methods of scientific computing play an important role in research andengineering applications in the natural and the engineering sciences. The signif-icance and impact of computer algebra methods and computer algebra systemsfor scientific computing has increased considerably in recent times. Nowadays,such general-purpose computer algebra systems as Maple, Magma, Mathematica,MuPAD, Singular, CoCoA and others enable their users to solve the followingthree important tasks within a uniform framework:(a) symbolic manipulation;(b) numerical computation;(c) visualization. The result of this job is reflected in this volume, which contains revised versionsof the accepted papers. The collection of papers included in the proceedingscovers various topics of computer algebra methods, algorithms, and softwareapplied to 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 algebra and geometric algebra with applications ; 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004.Revised Selected Papers
MathematicsMechanization consistsoftheory,softwareandapplicationofc- puterized mathematical activities such as computing, reasoning and discovering. ItsuniquefeaturecanbesuccinctlydescribedasAAA(Algebraization,Algori- mization, Application). The name “Mathematics Mechanization” has its origin in the work of Hao Wang (1960s), one of the pioneers in using computers to do research in mathematics, particularly in automated theorem proving. Since the 1970s, this research direction has been actively pursued and extensively dev- oped by Prof. Wen-tsun Wu and his followers. It di?ers from the closely related disciplines like Computer Mathematics, Symbolic Computation and Automated Reasoning in that its goal is to make algorithmic studies and applications of mathematics the major trend of mathematics development in the information age.
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 ; 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*
Computer Aided Verification ; 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*
Computer Aided Systems Theory – EUROCAST 2007 ; 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers
This book presented formal approaches, Computation and Simulation in Modelling Biological Systems, Intelligent Information Processing, Computers in Education, Grid Computing, Applied Formal Verification, Cellular Automata, Computer Vision, Heuristic Problem So.
