- Ebooks (Sách điện tử)
Authors : Paaviaara, Maria; Kruchten, Philippe (2020) - This open access book constitutes the 6 research workshops, the Agile Education and Training Track, the Doctoral Symposium, as well as a panel presented at XP 2020, the 21st International Conference on Agile Software Development, which was held during June 8-12, 2020. The conference was planned to take place at the IT University of Copenhagen, Denmark. Due to the COVID 19 pandemic, the conference was held online. In 2020, the following...
|
- Ebooks (Sách điện tử)
Authors : Erickson, Jeff (-) - The algorithms classes I teach at Illinois have two significant prerequisites: a course on discrete mathematics and a course on fundamental data structures. Consequently, this textbook is probably not suitable for most students as a first course in data structures and algorithms. In particular, I assume at least passing
familiarity with the following specific topics:
• Discrete mathematics: High-school algebra, logarithm identities, naive
set theory,&...
|
- Journal article
Authors : Valentin, Nikolaenko (2023) - The article is aimed at increasing the probability of successful IT project completion by
identifying the sources of 105 universal risks as well as establishing cause-and-effect relationships
between these risks. The article presents the results of an analysis of 105 risks relevant to IT projects;
five of them are commercial risks, 45 are compliance risks and 55 are project risks. Risk analysis was
carried out using the 5Why, ...
|
- Book
Authors : Jørgen Hole, Kjell (2016) - As information and communications technology (ICT) becomes increasingly important to modern societies, there is a growing need to understand how to design and operate very large ICT systems. The book first discusses rare events with a large negative impact and argues that it is, at best, very hard to predict all such events in complex adaptive ICT systems. The book contains few abbreviations and formal definitions, background knowledge is intro...
|
- Ebook
Authors : Robertson, Stephen (2021) - Although the technology of information handling is at the centre of this book it is also about the people who devised and developed the technology and the historical context of when they were inventing the future. You need no knowledge of information technology to benefit from Stephen’s analysis and wisdom, and for this reason it should be essential reading not just for students on IT courses but for anyone who just for a mo...
|
- Ebooks (Sách điện tử)
Authors : Yano, Makoto (2020) - This open access book contributes to the creation of a cyber ecosystem supported by blockchain technology in which technology and people can coexist in harmony. Blockchains have shown that trusted records, or ledgers, of permanent data can be stored on the Internet in a decentralized manner. The decentralization of the recording process is expected to significantly economize the cost of transactions. Creating a ledger on data, a blockchain makes...
|
- Book
Authors : Lahiri, Shuvendu K. (2020) - AI Verification NNV: The Neural Network Verification Tool, Verification of Deep Convolutional Neural Networks Using ImageStars. An Abstraction-Based Framework for Neural Network Verification. Blockchain and Security
The Move Prover, End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract. Concurrency
Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems Refinement for Structured Concurrent Programs. Hardware Verification and Decis...
|
- Book
Authors : Lahiri, Shuvendu K. (2020) - Model Checking Automata Tutor v3, Seminator 2 Can Complement Generalized Büchi Automata via Improved
Semi-determinization, RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft, Software Verification
Code2Inv: A Deep Learning Framework for Program Verification. Stochastic Systems Maximum Causal Entropy Specification Inference from Demonstrations. Certifying Certainty and Uncertainty in Approximate Membership
Query Structures. Synthesis Good-Enough Synthesis, Synthesizing JIT Compilers ...
|
- Ebooks (Sách điện tử)
Authors : Czachorski, Tadeusz (2016) - This book constitutes the refereed proceedings of the 31st International Symposium on Computer and Information Sciences, ISCIS 2016, held in Krakow, Poland, in October 2016. The 29 revised full papers presented were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on smart algorithms; data classification and processing; stochastic modelling; performance evaluation; queuing systems; wireless networks and security; image p...
|
- Book
Authors : Rajabifard, Abbas; Greg Foliente; Daniel Paez (2021) - Geospatial information plays an important role in managing location dependent pandemic situations across different communities and domains. Geospatial information and technologies are particularly critical to strengthening urban and rural resilience, where economic, agricultural, and various social sectors all intersect. Examining the United Nations' SDGs from a geospatial lens will ensure that the challenges are addressed for all populations in different locations. This boo...
|
- Ebooks (Sách điện tử)
Authors : Dintsis, Danil (2020) - All of us enjoy individually specific service or a product that is delivered for us only. Customer relationship management (CRM) is the area of expertise that helps companies to work with customers based on their specific needs or requirements. To reach success CRM systems implement the most powerful math and IT tools such as statistical analysis, artificial neural nets, and graph systems. This book deals with the practical implementation and&#...
|
- Book
Authors : Stemkoski, Lee (2021) - Developing Graphics Frameworks with Python and OpenGL shows you how to create software for rendering complete three-dimensional scenes. The authors explain the foundational theoretical concepts as well as the practical programming techniques that will enable you to create your own animated and interactive computer-generated worlds. You will learn how to combine the power of OpenGL, the most widely adopted cross-platform API for GPU programming, with the acces...
|
- Ebooks (Sách điện tử)
Authors : Clare, Connie (2019) - Research data management is no longer a new or unknown concept for today’s researchers, but nonetheless it can be intimidating. Many universities, institutes, organisations, and funding agencies have guidelines, mandates, and even policies around data management. But that does not make the task any less daunting; indeed it often adds a complicated layer of work and effort to data-producing research activities. Domain- and disciplinespecific data comes in ...
|
- Book
Authors : Kiefer, Stefan; Tasson, Christine (2021) - This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 28 regular pap...
|
- Book
Authors : Gebhardt, Eveline (2019) - This open access book presents a systematic investigation into internationally comparable data gathered in ICILS 2013. It identifies differences in female and male students' use of, perceptions about, and proficiency in using computer technologies. Teachers' use of computers, and their perceptions regarding the benefits of computer use in education, are also analyzed by gender. When computer technology was first introduced in schools, there was a prevailin...
|
- Ebooks (Sách điện tử)
Authors : Otolo, Patience Uzezi (2022) - Traditional libraries, technological advancement, use of libraries, globalization, information utilisation, learning, ICT, innovation
Libraries are crucial part of teaching and learning in educational institutions. The emergence of technology and its incorporation into libraries have improved learning through a well strategized information management model. This has relegated series of antiquated routine practices of the traditional or conventional library. The innovative approaches ...
|
- Ebooks (Sách điện tử)
Authors : team, Hackspace (2022) - When Pico came out in January 2021, there was one feature
requested more than any other – wireless networking. The
problem is, while there was some spare space on the Pico
board, there wasn’t really enough for wireless. There also
weren’t any spare GPIOs that could be used to connect the
wireless controller. These two obstacles didn’t stop the
Raspberry Pi engineers, who ploughed on regardless.
|
- Book
Authors : Lynn, Theo (2018) - This book is open access under a CC BY NC ND license. It addresses the most recent developments in cloud computing such as HPC in the Cloud, heterogeneous cloud, self-organising and self-management, and discusses the business implications of cloud computing adoption. Establishing the need for a new architecture for cloud computing, it discusses a novel cloud management and delivery architecture based on the principles of self-organisation and self-manage...
|
- Ebooks (Sách điện tử)
Authors : Tagliaferri, Lisa (2018) - This educational book introduces emerging developers to computer programming through the Python software development language, and serves as a reference book for experienced developers looking to learn a new language or re-familiarize themselves with computational logic and syntax.
|
- Book
Authors : Loizides, Fernando (2020) - The INTERACT Conferences are an important platform for researchers and practitioners in the field of human-computer interaction (HCI) to showcase their work. They are organised biennially by the International Federation for Information Processing (IFIP) Technical Committee on Human-Computer Interaction (IFIP TC13), an international committee of 30 member national societies and nine Working Groups. INTERACT is truly international in its spirit and has attracted researchers&#...
|
