الصفحة 7
الصفحة 7
Supercomputing Frontiers ; 5th Asian Conference, SCFA 2019, Singapore, March 11–14, 2019, Proceedings
Covers a range of topics including memory fault handling, linear algebra, image processing, heterogeneous computing, resource usage prediction, and data caching.
Supercomputing Frontiers ; 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings
Constitutes the refereed proceedings of the 4th Asian Supercomputing Conference, SCFA 2018, held in Singapore in March 2018. Supercomputing Frontiers will be rebranded as Supercomputing Frontiers Asia (SCFA), which serves as the technical programme for SCA18. The technical programme for SCA18 consists of four tracks: Application, Algorithms & Libraries Programming System Software Architecture, Network/Communications & Management Data, Storage & Visualisation
Studies in Legal Logic
Studies in Legal Logic contains chapters about the nature of norms, the role of coherence in the law, the nature of defeasibility, the role of dialectics in law and artificial intelligence, the statics and dynamics of the law, and the consistency of rules. Moreover, it contains a new, simplified and yet more powerful version of Reason-based Logic and extensive examples of how it can be used for the analysis of legal reasoning. The examples deal with legal theory construction, case-based reasoning, and judicial proof
Structural information and communication complexity ; 27th International Colloquium, SIROCCO 2020, Paderborn, Germany, June 29–July 1, 2020, Proceedings
Constitutes the refereed conference proceedings of the 27th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2020, held in Paderborn, Germany, in June 2020.
String Processing and Information Retrieval ; 27th International Symposium, SPIRE 2020, Orlando, FL, USA, October 13–15, 2020, Proceedings
This book constitutes the refereed proceedings of the 27th International Symposium on String Processing and Information Retrieval, SPIRE 2020, held in Orlando, FL, USA, in October 2020. The 17 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 32 submissions. They cover topics such as: data structures; algorithms; information retrieval; compression; combinatorics on words; and computational biology.
Strategic human resource development in practice : Leveraging talent for sustained performance in the digital age of AI
Examines human resource development (HRD) strategy as a learning process, connecting learning and adult development with organizational development and change, and talent development, with a particular focus on the use of artificial intelligence (AI).
Statistical language and speech processing ; 8th International Conference, SLSP 2020, Cardiff, UK, October 14–16, 2020, Proceedings
This book constitutes the proceedings of the 8th International Conference on Statistical Language and Speech Processing, SLSP 2020, held in Cardiff, UK, in October 2020. The 13 full papers presented together with one invited paper in this volume were carefully reviewed and selected from 25 submissions. They papers cover the wide spectrum of statistical methods that are currently in use in computational language or speech processing.
Statistical Implicative Analysis : Theory and Applications
This volume collects significant research contributions of several rather distinct disciplines that benefit from SIA. Contributions range from psychological and pedagogical research, bioinformatics, knowledge management, and data mining.
Stabilization, safety, and security of distributed systems ; 22nd International Symposium, SSS 2020, Austin, TX, USA, November 18–21, 2020, Proceedings
Constitutes the refereed proceedings of the 22nd International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2020, held in Austin, TX, USA, in November 2020. The 16 full papers, 7 short and 2 invited papers presented were carefully reviewed and selected from 44 submissions. The papers deal with the design and development of distributed systems with a focus on systems that are able to provide guarantees on their structure, performance, and/or security in the face of an adverse operational environment.
Squeak : Learn Programming with Robots
Squeak: Learn Programming with Robots will teach you core programming concepts based on simple, visual problems that involve manipulation of robots, or "turtles." You will learn basic programming concepts like loops, abstractions, composition, and conditionals. Each chapter is structured so that it can be turned into a one- or two-hour lab session. And while the structured content explains solid principles of object-oriented programming, you'll just have fun going through the sequence of easy examples with the turtle.
Special Topics in Information Technology
Presents nine outstanding doctoral dissertations in Information Technology from the Department of Electronics, Information and Bioengineering, Politecnico di Milano, Italy.
Special Topics in Information Technology
Presents thirteen outstanding doctoral dissertations in Information Technology from the Department of Electronics, Information and Bioengineering, Politecnico di Milano, Italy. Information Technology has always been highly interdisciplinary, as many aspects have to be considered in IT systems.
Spatial Representation and Reasoning for Robot Mapping : A Shape-Based Approach
Addresses spatial representations and reasoning techniques for mobile robot mapping, providing an analysis of fundamental representations and processes involved. A spatial representation based on shape information is proposed and shape analysis techniques are developed to tackle the correspondence problem in robot mapping. A general mathematical formulation is presented to provide the formal ground for an efficient matching of configurations of objects.
Spatial Cognition VI. Learning, Reasoning, and Talking about Space ; International Conference Spatial Cognition 2008, Freiburg, Germany, September 15-19, 2008. Proceedings
This book includes spatial orientation, spatial navigation, spatial learning, maps and modalities, spatial communication, spatial language, similarity and abstraction, concepts and reference frames, as well as spatial modeling and spatial reasoning.
Spatial Cognition IV Reasoning, Action, Interaction ; International Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, Revised Selected Papers
Dedicated to basic research in spatial cognition. Spatial cognition is a field that investigates the connection between the physical spatial world and the mental world. Philosophers and researchers have p- posed various views concerning the relation between the physical and the mental worlds: Plato considered pure concepts of thought as separate from their physical manifestations while Aristotle considered the physical and the mental realms as two aspects of the same substance. Descartes, a dualist, discussed the interaction between body and soul through an interface organ and thus introduced a functional view that presented a challenge for the natural sciences and the humanities. In modern psych- ogy, the relation between the physical and the cognitive space has been investigated using thorough experiments, and in artificial intelligence we have seen views as diverse as ‘problems can be solved on a representation of the world’ and ‘a representation of the world is not necessary.
Songs generator
Songs generator app is a tool to generate lyrics, musi,and voice based on the given selected choices of users using Deep learning models. This app has multiple aims to achieve, the first aim is to generate lyrics to help a computer program capable of generating lyrics for given melodies, the deep learning model goal in this phase is to generate lyrics of the chosen mood say (happy, sad, etc. ), by training itself based on the given datasets of lyrics of various artists, but not identical to existing lyrics, it takes a sequence of words as an input and output a continuation of that sequence using our model. For the second phase, The goal of this model is to generate music by using a deep learning model that takes tokenized MIDI files as input and predicts the notes as an output the output of this model would be a midi file. For the last phase, we used a library to generate a voice that takes the output of the first model and the second model to generate a voice that is consistent with the lyrics and the music.
Software Verification ; 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers
Constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Numerical Software Verification, NSV 2020, held in Los Angeles, CA, USA, in July 2020. Due to COVID-19 pandemic the conference was held virtually. The 13 papers presented in this volume were carefully reviewed and selected from 21 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies. The conference was co-located with the 32nd International Conference on Computer-Aided Verification (CAV 2020).
Software Technologies ; 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26–28, 2019, Revised Selected Papers
Constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Software Technologies, ICSOFT 2019, held in Prague, Czech Republic, in July 2019. The 10 revised full papers were carefully reviewed and selected from 116 submissions. The topics covered in the papers include: business process modelling, IT service management, interoperability and service-oriented architecture, project management software, scheduling and estimating, software metrics, requirements elicitation and specification, software and systems integration, etc.
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
The 9th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, held in Phuket Thailand , 2008 is aimed at bringing together researchers and scientist, businessmen and entrepreneurs, teachers and students to discuss the numerous fields of computer science, and to share ideas and information in a meaningful way. This publication captures 20 of the conference’s most promising papers.
Software Engineering, Artificial Intelligence, Networking and Parallel
Presents scientific results of the 21st ACIS International Winter Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD2021-Winter) which was held on January 28-30, at Ho Chi Minh City, Vietnam.
