東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Linked to FindBook

Google Book

Amazon

博客來

Bridging the gap between AI and reality = first International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023 : proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Bridging the gap between AI and reality/ edited by Bernhard Steffen.
Reminder of title:	first International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023 : proceedings /
remainder title:	AISoLA 2023
other author:	Steffen, Bernhard.
corporate name:	AISoLA (Conference)
Published:	Cham :Springer Nature Switzerland : : 2024.,
Description:	xiii, 456 p. :ill., digital ;24 cm.
[NT 15003449]:	Verification meets Learning and Statistics -- Nature of AI-Based Systems -- Safety Verificatio of DNNs -- AI Assisted Programming.
Contained By:	Springer Nature eBook
Subject:	Artificial intelligence - Congresses. -
Online resource:	https://doi.org/10.1007/978-3-031-46002-9
ISBN:	9783031460029

Bridging the gap between AI and reality = first International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023 : proceedings /
Bridging the gap between AI and realityfirst International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023 : proceedings /[electronic resource] :AISoLA 2023edited by Bernhard Steffen. - Cham :Springer Nature Switzerland :2024. - xiii, 456 p. :ill., digital ;24 cm. - Lecture notes in computer science,143801611-3349 ;. - Lecture notes in computer science ;14380..

Verification meets Learning and Statistics -- Nature of AI-Based Systems -- Safety Verificatio of DNNs -- AI Assisted Programming.

This book constitutes the proceedings of the First International Conference on Bridging the Gap between AI and Reality, AISoLA 2023, which took place in Crete, Greece, in October 2023. The papers included in this book focus on the following topics: The nature of AI-based systems; ethical, economic and legal implications of AI-systems in practice; ways to make controlled use of AI via the various kinds of formal methods-based validation techniques; dedicated applications scenarios which may allow certain levels of assistance; and education in times of deep learning.

ISBN: 9783031460029

Standard No.: 10.1007/978-3-031-46002-9doiSubjects--Topical Terms:

606815
Artificial intelligence
--Congresses.

LC Class. No.: Q334

Dewey Class. No.: 006.3

Bridging the gap between AI and reality = first International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023 : proceedings /
LDR:01847nmm a2200349 a 4500 001 2367678
003 DE-He213
005 20231213160823.0
006 m d
007 cr nn 008maaau
008 241127s2024 sz s 0 eng d
020 $a 9783031460029 $q (electronic bk.)
020 $a 9783031460012 $q (paper)
024 7 $a 10.1007/978-3-031-46002-9 $2 doi
035 $a 978-3-031-46002-9
040 $a GP $c GP
041 0 $a eng
050 4 $a Q334
072 7 $a UYA $2 bicssc
072 7 $a COM051000 $2 bisacsh
072 7 $a UYA $2 thema
082 0 4 $a 006.3 $2 23
090 $a Q334 $b .A299 2023
111 2 $a AISoLA (Conference) $n (1st : $d 2023 : $c Crete, Greece) $3 3711007
245 1 0 $a Bridging the gap between AI and reality $h [electronic resource] : $b first International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023 : proceedings / $c edited by Bernhard Steffen.
246 3 $a AISoLA 2023
260 $a Cham : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2024.
300 $a xiii, 456 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 1611-3349 ; $v 14380
505 0 $a Verification meets Learning and Statistics -- Nature of AI-Based Systems -- Safety Verificatio of DNNs -- AI Assisted Programming.
520 $a This book constitutes the proceedings of the First International Conference on Bridging the Gap between AI and Reality, AISoLA 2023, which took place in Crete, Greece, in October 2023. The papers included in this book focus on the following topics: The nature of AI-based systems; ethical, economic and legal implications of AI-systems in practice; ways to make controlled use of AI via the various kinds of formal methods-based validation techniques; dedicated applications scenarios which may allow certain levels of assistance; and education in times of deep learning.
650 0 $a Artificial intelligence $v Congresses. $3 606815
650 0 $a Artificial intelligence $x Moral and ethical aspects $v Congresses. $3 3384368
650 0 $a Machine learning $x Congresses. $3 576368
650 1 4 $a Computer Science Logic and Foundations of Programming. $3 3538531
650 2 4 $a Software Engineering. $3 890874
650 2 4 $a Special Purpose and Application-Based Systems. $3 892492
650 2 4 $a Computer System Implementation. $3 892710
650 2 4 $a Artificial Intelligence. $3 769149
700 1 $a Steffen, Bernhard. $3 849542
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 14380. $3 3711008
856 4 0 $u https://doi.org/10.1007/978-3-031-46002-9
950 $a Computer Science (SpringerNature-11645)