Page 7
Page 7
Cryptographic hardware and embedded systems - CHES 2005 ; 7th International Workshop, Edinburgh, UK, August 29 - September 1, 2005, Proceedings
Constitutes the refereed proceedings of the 7th International Workshop on Cryptographic Hardware and Embedded Systems, CHES 2005, held in Edinburgh, UK in August/September 2005. The papers in this book are organized in topical sections on side channels, arithmetic for cryptanalysis, special purpose hardware, hardware attacks and more.
Crime detection camera
This paper presents a comprehensive crime detection system that uses a combination of hardware and software to monitor homes and communities in real time. The system consists of a Raspberry Pi 4B, a Raspberry Pi Camera V2, a flame sensor, an MQ-6 gas sensor, and a microphone, which are all connected to a database management system powered by MySQL. The data collected from these devices is analyzed by machine learning algorithms to detect crimes, such as theft or robbery, as well as fires and gas leaks. The system also includes a mobile app, ‘Safe Home’ which provides live video monitoring and real-time notifications to users, and an employee dashboard to monitor all statistics and manage all implemented systems.
Creating Web-based Laboratories
Remote web-based experimentation, enabling students and researchers to access the laboratory anytime via the Internet, is becoming an increasingly attractive way to complement or even replace traditional laboratory sessions. Placing a video camera & microphone before the equipment and apparatus to capture what is actually happening in the laboratory allows the images and audio data to be streamed to the client side. Researchers in different countries can share equipment and conduct research cooperatively and remotely. The authors summarise their research and discuss the development of the 5 web-based laboratories launched from the National University of Singapore. The principles, structure, and technologies required for the creation of Internet remote experimentation systems are discussed with particular emphasis on the integration of hardware and software systems. Also highlighted is the design and development of interfaces and components for use in typical web-based laboratories or similar web-control applications.
Creating Cool MINDSTORMS® NXT Robots
Build and program MINDSTORM NXT robots with Daniele Benedettelli, one of the world's most respected NXT robot builders. He shows you how to build and program them from scratch, starting with the simplest robots and progressing in difficulty to a total of seven award–winning robots! You can download all the code, along with low–resolution videos that show how your robot works when it's finished. You don't need to be a programmer to develop these cool robots, because all the code is provided, but advanced developers will enjoy seeing the secrets of Benedettelli's code and techniques revealed.
Correct hardware design and verification methods
Constitutes the refereed proceedings of the 13th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2005, held in Saarbrucken, Germany, in October 2005.
Coordination models and languages ; 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings
This book constitutes the proceedings of the 22nd International Conference on Coordination Models and Languages, COORDINATION 2020, which was due to be held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020. The conference was held virtually due to the COVID-19 pandemic. The 12 full papers and 6 short papers included in this volume were carefully reviewed and selected from 30 submissions. They are presented in this volume together with 2 invited tutorials and 4 tool papers. The papers are organized in the following topical sections: tutorials; coordination languages; message-based communication; communications: types & implementations; service-oriented computing; large-scale decentralized systems; smart contracts; modelling; verification & analysis.
Computing science, communication and security ; 2nd International Conference, COMS2 2021, Gujarat, India, February 6–7, 2021, Revised Selected Papers
This book constitutes revised selected papers of the Second International Conference on Computing Science, Communication and Security, COMS2 2021, held in Gandhinagar, India, in February 2021. Due to the COVID-19 pandemic the conference was held virtually. The 19 full papers were thoroughly reveiwed and selected from 105 submissions. Papers are organised according to the topical sections on artificial intelligence and machine learning; networking and communications.
Computing science, communication and security ; 1st International Conference, COMS2 2020, Gujarat, India, March 26–27, 2020, revised selected papers
Constitutes revised selected papers of the First International Conference on Computing Science, Communication and Security, COMS2 2020, held in March 2020. Due to the COVID-19 pandemic the conference was held virtually. The 26 full papers and 1 short paper were thoroughly reveiwed and selected from 79 submissions. Papers are organised according to the topical sections on artificial intelligence and machine learning; network, communication and security; computing science.
Computer vision and graphics ; International Conference, ICCVG 2020, Warsaw, Poland, September 14–16, 2020, Proceedings
This book constitutes the refereed proceedings of the International Conference on Computer Vision and Graphics, ICCVG 2020, held in Warsaw, Poland, in September 2020. The 20 full papers were selected from 49 submissions. The contributions cover topics such as: modelling of human visual perception; computational geometry; geometrical models of objects and scenes; illumination and reflection models and methods; image formation; image and video coding; image filtering and enhancement; biomedical image processing; biomedical graphics; colour image processing; multispectral image processing; pattern recognition in image processing
Computer supported cooperative work and social computing ; 15th CCF Conference, ChineseCSCW 2020, Shenzhen, China, November 7–9, 2020, Revised Selected Papers
This book constitutes the refereed post-conference proceedings of the 15th CCF Conference on Computer Supported Cooperative Work and Social Computing, ChineseCSCW 2020, held in Shenzhen, China, in November 2020. The 40 revised full papers and 15 revised short papers were carefully reviewed and selected from 137 submissions. The papers of this volume are organized in topical sections on: crowdsourcing, crowd intelligence, and crowd cooperative computing; domain-specific collaborative applications; collaborative mechanisms, models, approaches, algorithms, and systems; social media and online communities; and short papers.
Computer Security – ESORICS 2006 ; 11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006, Proceedings
This book constitutes the refereed proceedings of the 11th European Symposium on Research in Computer Security, ESORICS 2006. it presents original research contributions, case studies and implementation experiences addressing any aspect of computer security - in theory, mechanisms, applications, or practical experience.
Computer Science : Theory and Applications ; 2nd International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings
This book covers theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal languages, automata and their applications to computer science; computational models and concepts; proof theory; and applications of logic to computer science. Many applications are presented.
Computer science : Theory and applications ; 1st International symposium on computer science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings
This book constitutes the refereed proceedings of the First International Symposium on Computer Science in Russia, CSR 2006. The 35 revised full theory papers and 29 revised application papers together with 3 invited talks address all major areas in computer science are addressed.
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 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 ; Vol. 3576 ; 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
This volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, Scotland, 2005. CAV 2005 was the seventeenth in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal an- ysis methods for software and hardware systems. The conference covered the spectrum from theoretical results to concrete applications, with an emphasis on practical veri?cation tools and the algorithms and techniques that are needed for their implementation.
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.*
