ABSTRACT Bringing a unique perspective to the burgeoning ethical and legal issues surrounding the presence of artificial intelligence in our daily lives, the book uses theory and practice on animal rights and the rights of nature to assess the status of robots. Through extensive philosophical and legal analyses, the book explores how rights can be applied to nonhuman entities. This task is …
Algebra and number theory have always been counted among the most beautiful mathematical areas with deep proofs and elegant results. However, for a long time they were not considered that important in view of the lack of real-life applications. This has dramatically changed: nowadays we find applications of algebra and number theory frequently in our daily life. This book focuses on the theory …
This book constitutes the proceedings of the 17th International Workshop on Computer Algebra in Scientific Computing, CASC 2015, held in Aachen, Germany, in September 2015. The 35 full papers presented in this volume were carefully reviewed and selected from 42 submissions. They deal with the ongoing progress both in theoretical computer algebra and its expanding applications. New and closer in…
This two-volume set LNCS 11662 and 11663 constitutes the refereed proceedings of the 16th International Conference on Image Analysis and Recognition, ICIAR 2019, held in Waterloo, ON, Canada, in August 2019. The 58 full papers presented together with 24 short and 2 poster papers were carefully reviewed and selected from 142 submissions. The papers are organized in the following topical sections…
The two volume set LNCS 9256 and 9257 constitutes the refereed proceedings of the 16th International Conference on Computer Analysis of Images and Patterns, CAIP 2015, held in Valletta, Malta, in September 2015. The 138 papers presented were carefully reviewed and selected from numerous submissions. CAIP 2015 is the sixteenth in the CAIP series of biennial international conferences devoted to a…
This book constitutes the refereed proceedings of the 18th International Conference on Computer Assisted Assessment, CAA 2015, held in Zeist, The Netherlands, in June 2015. The 15 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers present current developments in technology-enhanced assessment. Topics covered include: automatic item generatio…
This book constitutes the refereed proceedings of the 18th National Conference on Computer Engineering and Technology, NCCET 2014, held in Guiyang, China, during July/August 2014. The 18 papers presented were carefully reviewed and selected from 85 submissions. They are organized in topical sections on processor architecture; computer application and software optimization; technology on the hor…
This book constitutes the proceedings of the 14th IFIP TC 8 International Conference on Computer Information Systems and Industrial Management, CISIM 2015, held in Warsaw, Poland, in September 2015. The 47 papers presented in this volume were carefully reviewed and selected from about 80 submissions. The main topics covered are biometrics, security systems, multimedia, classification and cluste…
This book constitutes the refereed proceedings of the 12th European Workshop on Computer Performance Engineering, EPEW 2015, held in Madrid, Spain, in August/September 2015. The 19 papers presented in this volume were carefully reviewed and selected from 39 submissions. They were organized in topical sections named: applications; modelling techniques, software performance, and simulation techni…
This book constitutes the refereed proceedings of 5 workshops co-located with SAFECOMP 2015, the 34th International Conference on Computer Safety, Reliability, and Security, held in Delft, The Netherlands, in September 2015. The 36 revised full papers presented were carefully reviewed and selected from numerous submissions. This year's workshop are: ASSURE 2015 - Assurance Cases for Software-in…