Ditapis dengan
Automated reasoning
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving…
- Edisi
- -
- ISBN/ISSN
- 9783031107696
- Deskripsi Fisik
- xv; 756 PG; ill.
- Judul Seri
- -
- No. Panggil
- 006.3 AUT a
Advances in the field of electrical machines and drives
Electrical machines and drives dominate our everyday lives. This is due to their numerous applications in industry, power production, home appliances, and transportation systems such as electric and hybrid electric vehicles, ships, and aircrafts. Their development follows rapid advances in science, engineering, and technology. Researchers around the world are extensively investigating electrica…
- Edisi
- -
- ISBN/ISSN
- 9783036542867
- Deskripsi Fisik
- ix, 240p.; ill.
- Judul Seri
- -
- No. Panggil
- 621.31042 KAR
Big data and artificial intelligence in digital finance :increasing personali…
This open access book presents how cutting-edge digital technologies like Big Data, Machine Learning, Artificial Intelligence (AI), and Blockchain are set to disrupt the financial sector. The book illustrates how recent advances in these technologies facilitate banks, FinTech, and financial institutions to collect, process, analyze, and fully leverage the very large amounts of data that are now…
- Edisi
- -
- ISBN/ISSN
- 9783030945909
- Deskripsi Fisik
- xxiii, 363p.
- Judul Seri
- -
- No. Panggil
- 332.640285 BIG b
Artificial intelligence-based cybersecurity for connected and automated vehicles
The damaging effects of cyberattacks to an industry like the Cooperative Connected and Automated Mobility (CCAM) can be tremendous. From the least important to the worst ones, one can mention for example the damage in the reputation of vehicle manufacturers, the increased denial of customers to adopt CCAM, the loss of working hours (having direct impact on the European GDP), material damages, i…
- Edisi
- -
- ISBN/ISSN
- 9781638280613
- Deskripsi Fisik
- xvi, 142p.; ill.
- Judul Seri
- -
- No. Panggil
- 005.8 ART a
Wearable sensors applied in movement analysis
Recent advances in electronics have led to sensors whose sizes and weights are such that they can be placed on living systems without impairing their natural motion and habits. They may be worn on the body as accessories or as part of the clothing and enable personalized mobile information processing. Wearable sensors open the way for a nonintrusive and continuous monitoring of body orientation…
- Edisi
- -
- ISBN/ISSN
- 9783036558592
- Deskripsi Fisik
- vii, 143p.; ill.
- Judul Seri
- -
- No. Panggil
- 610.28405 WEA w
XxAI - beyond explainable AI :International Workshop, Held in Conjunction wit…
Statistical machine learning (ML) has triggered a renaissance of artificial intelligence (AI). While the most successful ML models, including Deep Neural Networks (DNN), have developed better predictivity, they have become increasingly complex, at the expense of human interpretability (correlation vs. causality). The field of explainable AI (xAI) has emerged with the goal of creating tools and …
- Edisi
- -
- ISBN/ISSN
- 9783031040832
- Deskripsi Fisik
- x; 397 PG; ill.
- Judul Seri
- -
- No. Panggil
- 006.3 XXA x
Remote sensing in applications of geoinformation
Remote sensing, especially from satellites, is a source of invaluable data which can be used to generate synoptic information for virtually all parts of the Earth, including the atmosphere, land, and ocean. In the last few decades, such data have evolved as a basis for accurate information about the Earth, leading to a wealth of geoscientific analysis focusing on diverse applications. Geoinform…
- Edisi
- -
- ISBN/ISSN
- 9783036523262
- Deskripsi Fisik
- vii, 164p.; ill.
- Judul Seri
- -
- No. Panggil
- 609 MIC
Algorithmic reason :the new government of self and other
Are algorithms ruling the world today? Is artificial intelligence making life-and-death decisions? Are social media companies able to manipulate elections? As we are confronted with public and academic anxieties about unprecedented changes, this book offers a different analytical prism to investigate these transformations as more mundane and fraught. Aradau and Blanke develop conceptual and met…
- Edisi
- -
- ISBN/ISSN
- 9780192859624
- Deskripsi Fisik
- ix; 288 pg; ill.
- Judul Seri
- -
- No. Panggil
- 363.230285 ALG a
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah