Filter by
Automated Deduction – CADE 28: 28th International Conference on Automated D…
This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, includin…
- Edition
- 1
- ISBN/ISSN
- 9783030798765
- Collation
- XIV, 650
- Series Title
- -
- Call Number
- -
The Economics of the Audiovisual Industry: Financing TV, Film and Web
This book is open access under a CC BY licence. Recent reductions in public funding for audiovisual products have led to dramatic changes in the industry. The lack of interaction between the industry and capital markets has made sourcing funds for audiovisual products especially difficult. This book explains why the distance between the audiovisual and financial markets exists, and considers th…
- Edition
- 1
- ISBN/ISSN
- 978-1-137-37847-7
- Collation
- -
- Series Title
- -
- Call Number
- XII, 191
Stochastic Transport in Upper Ocean Dynamics III
This open-access proceedings volume brings selected, peer-reviewed contributions presented at the Fourth Stochastic Transport in Upper Ocean Dynamics (STUOD) 2023 Workshop, held at IFREMER in Plouzané, France, September 25–28, 2023. The STUOD project is supported by an ERC Synergy Grant, and led by Imperial College London, the National Institute for Research in Computer Science and Automatic…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-70660-8
- Collation
- -
- Series Title
- Mathematics of Planet Earth
- Call Number
- XIV, 345
Stochastic Transport in Upper Ocean Dynamics
This open access proceedings volume brings selected, peer-reviewed contributions presented at the Stochastic Transport in Upper Ocean Dynamics (STUOD) 2021 Workshop, held virtually and in person at the Imperial College London, UK, September 20–23, 2021. The STUOD project is supported by an ERC Synergy Grant, and led by Imperial College London, the National Institute for Research in Computer S…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-18988-3
- Collation
- -
- Series Title
- Mathematics of Planet Earth
- Call Number
- XVI, 317
Stochastic Transport in Upper Ocean Dynamics II
This open access proceedings volume brings selected, peer-reviewed contributions presented at the Third Stochastic Transport in Upper Ocean Dynamics (STUOD) 2022 Workshop, held virtually and in person at the Imperial College London, UK, September 26–29, 2022. The STUOD project is supported by an ERC Synergy Grant, and led by Imperial College London, the National Institute for Research in Comp…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-40094-0
- Collation
- -
- Series Title
- Springer Cham
- Call Number
- XIV, 338
Forecasting and Assessing Risk of Individual Electricity Peaks
The overarching aim of this open access book is to present self-contained theory and algorithms for investigation and prediction of electric demand peaks. A cross-section of popular demand forecasting algorithms from statistics, machine learning and mathematics is presented, followed by extreme value theory techniques with examples. In order to achieve carbon targets, good forecasts of peaks…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-28669-9
- Collation
- -
- Series Title
- Mathematics of Planet Earth
- Call Number
- XII, 97
Experimental Techniques in Modern High-Energy Physics; A Beginner‘s Guide
Buku akses terbuka ini membahas pertanyaan-pertanyaan berikut: bagaimana polarisasi sebuah partikel, yaitu keadaan momentum sudut di mana ia diproduksi, mewujudkan dirinya di alam? Apa saja konsep dan alat yang diperlukan untuk melakukan pengukuran yang ketat memberikan informasi fisik yang lengkap dan tidak ambigu. Pengukuran polarisasi penting karena mereka mencerminkan sifat dan sifat pasang…
- Edition
- -
- ISBN/ISSN
- 978-4-431-56931-2
- Collation
- 1 online resource (155 Pages)
- Series Title
- 1001
- Call Number
- 539.72 KAZ e
Electroweak Physics at LEP and LHC
Selama lebih dari 10 tahun, dari tahun 1989 hingga 2000, akselerator LEP dan empat eksperimen LEP, ALEPH, DELPHI, L3, dan OPAL, telah mengambil data untuk sejumlah besar pengukuran di perbatasan fisika partikel. Hasil utamanya adalah pengujian yang menyeluruh dan sukses dari Model Standar interaksi electroweak. Massa dan lebar boson Z dan W diukur dengan tepat, begitu juga dengan kopling Z dan …
- Edition
- -
- ISBN/ISSN
- 978-3-642-05169-2
- Collation
- 1 online resource (222 Pages)
- Series Title
- -
- Call Number
- 539.72 STR
Collider Physics within the Standard Model; A Primer
Dengan buku primer tingkat pascasarjana ini, prinsip-prinsip model standar fisika partikel menerima eksposisi khusus yang terampil, pribadi, dan abadi oleh salah satu kontributor hebat di bidang ini. Pada tahun 2013 almarhum Prof: Penemuan boson Higgs dan tidak teramatinya partikel-partikel baru atau fenomena eksotis telah membuat langkah besar untuk menyelesaikan konfirmasi eksperimental dari …
- Edition
- -
- ISBN/ISSN
- 978-3-319-51920-3
- Collation
- 1 online resource (183 Pages)
- Series Title
- -
- Call Number
- 539.72 ALT c
Hypergraph Computation
This open access book discusses the theory and methods of hypergraph computation. Many underlying relationships among data can be represented using graphs, for example in the areas including computer vision, molecular chemistry, molecular biology, etc. In the last decade, methods like graph-based learning and neural network methods have been developed to process such data, they are particula…
- Edition
- 1
- ISBN/ISSN
- 978-981-99-0185-2
- Collation
- -
- Series Title
- Artificial Intelligence: Foundations, Theory, and Algorithms
- Call Number
- XVI, 244
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography