Filter by
Vector Semantics
Para ahli bahasa komputasi dan peneliti pembelajaran mendalam yang mengembangkan vektor kata bergantung terutama pada ketersediaan korpora besar yang terus meningkat dan komputer dengan mesin komputasi GPU dan TPU yang sangat paralel, dan fokus mereka adalah memberikan kemampuan bahasa alami kepada komputer untuk aplikasi praktis seperti penerjemahan mesin atau menjawab pertanyaan. Ahli bahasa …
- Edition
- -
- ISBN/ISSN
- 978-981-19-5607-2
- Collation
- online resource ( XVI, 273 Pages)
- Series Title
- Teknologi Kognitif (COGTECH)
- Call Number
- 401.43 KOR v
Genome Editing in Neurosciences
CRISPR-Cas9 adalah metode yang cepat, efisien, serbaguna, dan relatif murah untuk membedah jalur molekuler yang menjadi dasar kehidupan, serta untuk menyelidiki dan berpotensi memperbaiki kesalahan pada jalur-jalur ini yang mengakibatkan penyakit. Buku ini mengulas bagaimana CRISPR-Cas9 dan teknik pengeditan genom lainnya memajukan pemahaman kita tentang perkembangan dan fungsi sistem saraf, me…
- Edition
- -
- ISBN/ISSN
- 978-3-319-60192-2
- Collation
- online resource ( XI, 123 Pages)
- Series Title
- Penelitian dan Perspektif dalam Ilmu Saraf (NEUROSCIENCE)
- Call Number
- 616.8041 JAE g
Micro-, Meso- and Macro-Connectomics of the Brain
Buku ini telah menyatukan para peneliti terkemuka yang bekerja di arena baru konektivitas otak. Ini termasuk upaya 'konektivitas makro' untuk memetakan jalur jarak jauh dan jaringan fungsional secara komprehensif; upaya 'konektivitas mikro' untuk mengidentifikasi setiap neuron, akson, dendrit, sinapsis, dan proses glial di dalam area otak yang terbatas; dan upaya 'konektivitas meso' untuk memet…
- Edition
- -
- ISBN/ISSN
- 978-3-319-27777-6
- Collation
- online resource ( X, 166 Pages)
- Series Title
- Penelitian dan Perspektif dalam Ilmu Saraf (NEUROSCIENCE)
- Call Number
- 612.82 KEN m
Künstliche Intelligenz in der Forschung; Neue Möglichkeiten und Herausforde…
Mimpi yang sudah lama diidam-idamkan tentang kecerdasan buatan (AI) semakin menjadi kenyataan dalam dunia kita sehari-hari. Hal ini terkait dengan ekspektasi sosial yang tinggi, tetapi juga kekhawatiran tentang ketidakberdayaan manusia yang merayap. Dengan menggunakan sektor penelitian sebagai contoh, buku ini mengeksplorasi pilihan, peluang pengembangan, dan risiko teknologi AI untuk masa depa…
- Edition
- -
- ISBN/ISSN
- 978-3-662-63449-3
- Collation
- online resource ( XXIV, 179 Pages)
- Series Title
- Tren dalam Logika (TREN)
- Call Number
- 121
Inquisitive Logic; Consequence and Inference in the Realm of Questions
Buku akses terbuka ini membuat kasus untuk memperluas logika di luar batas-batas tradisionalnya, untuk mencakup tidak hanya pernyataan tetapi juga pertanyaan. Motivasi perluasan ini ditelaah secara rinci. Ditunjukkan bahwa gagasan-gagasan penting, termasuk jawaban logis dan ketergantungan, muncul sebagai aspek-aspek dari gagasan fundamental tentang entailment ketika logika diperluas menjadi per…
- Edition
- -
- ISBN/ISSN
- 978-3-031-09706-5
- Collation
- online resource ( XX, 272 Pages)
- Series Title
- Tren dalam Logika (TREN)
- Call Number
- 160.42 CIA i
Harmony and Paradox; Intensional Aspects of Proof-Theoretic Semantics
Buku akses terbuka ini menyelidiki peran yang dimainkan oleh identitas bukti dalam semantik teori-bukti. Buku ini mengembangkan sebuah konsepsi tentang semantik teori-pembuktian yang terutama berkaitan dengan hubungan antara bukti (dipahami sebagai entitas abstrak) dan turunan (representasi linguistik dari bukti). Buku ini menunjukkan bahwa identitas bukti adalah kunci untuk memperjelas beberap…
- Edition
- -
- ISBN/ISSN
- 978-3-031-46921-3
- Collation
- online resource ( XV, 184 Pages)
- Series Title
- Tren dalam Logika (TREN)
- Call Number
- 160.3 TRA h
The Logical Writings of Karl Popper
Karl R. Popper (1902-1994) adalah salah satu filsuf paling berpengaruh di abad ke-20. Filsafat ilmu pengetahuannya ("falsifikasionisme") dan filsafat sosial dan politiknya ("masyarakat terbuka") telah didiskusikan secara luas di luar filsafat akademis. Apa yang tidak begitu dikenal adalah bahwa Popper juga menghasilkan karya yang cukup besar tentang dasar-dasar logika deduktif, yang sebagian be…
- Edition
- -
- ISBN/ISSN
- 978-3-030-94926-6
- Collation
- online resource ( XXIV, 552 Pages)
- Series Title
- Tren dalam Logika (TREN)
- Call Number
- 160.42 BIN l
Advances in Proof-Theoretic Semantics
Buku ini adalah koleksi pertama yang dikhususkan untuk bidang semantik teori pembuktian. Kontribusi-kontribusi membahas topik-topik termasuk sistematika aturan-aturan pengenalan dan eliminasi dan bukti-bukti normalisasi, karakterisasi kategorik dari deduksi, hubungan antara pendekatan Heyting dan Gentzen tentang makna, paradoks-paradoks yang dapat diketahui, dasar-dasar teori pembuktian dari te…
- Edition
- -
- ISBN/ISSN
- 978-3-319-22686-6
- Collation
- online resource ( VI, 283 Pages)
- Series Title
- Tren dalam Logika (TREN)
- Call Number
- 160.3 PIE a
Magnetism and Accelerator-Based Light Sources; Proceedings of the 7th Interna…
Buku akses terbuka ini mengumpulkan kontribusi dari sekolah ketujuh tentang Magnetisme dan Radiasi Sinkrotron yang diadakan di Mittelwihr, Prancis, dari 7 hingga 12 Oktober 2018. Buku ini dimulai dengan pengantar tentang fisika sumber sinar-X modern diikuti oleh gambaran umum tentang magnetisme. Selanjutnya, interaksi cahaya/materi dalam rentang sinar-X dibahas dengan penekanan pada berbagai je…
- Edition
- -
- ISBN/ISSN
- 978-3-030-64623-3
- Collation
- online resource ( XIX, 208 Pages)
- Series Title
- Prosiding Springer dalam Fisika (SPPHY)
- Call Number
- 538 BUL m
The Politics of Diversity in Music Education
Buku akses terbuka ini mengkaji struktur dan proses politik yang membingkai dan menghasilkan pemahaman tentang keberagaman dalam dan melalui pendidikan musik. Lonjakan terbaru dalam kecenderungan nasionalis, fundamentalis, proteksionis, dan separatis menyoroti pentingnya bagi pendidikan musik untuk melampaui agenda kebijakan nominal atau diskursus keberagaman yang sepenuhnya merayakan. Menggabu…
- Edition
- -
- ISBN/ISSN
- 978-3-030-65617-1
- Collation
- online resource ( X, 214 Pages)
- Series Title
- Lanskap: Seni, Estetika, dan Pendidikan (LAAE)
- Call Number
- 780.7 KAL p
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography