Zobrazeno 1 - 10
of 4 692
pro vyhledávání: '"A. Birkbeck"'
Autor:
Brasca, Riccardo, Birkbeck, Christopher, Boidi, Eric Rodriguez, Best, Alex, van De Velde, Ruben, Yang, Andrew
We formalize a complete proof of the regular case of Fermat's Last Theorem in the Lean4 theorem prover. Our formalization includes a proof of Kummer's lemma, that is the main obstruction to Fermat's Last Theorem for regular primes. Rather than follow
Externí odkaz:
http://arxiv.org/abs/2410.01466
Autor:
Birkbeck, John, Sobey, Adam, Cerutti, Federico, Flynn, Katherine Heseltine Hurley, Norman, Timothy J.
Reinforcement learning agents can achieve superhuman performance in static tasks but are costly to train and fragile to task changes. This limits their deployment in real-world scenarios where training experience is expensive or the context changes t
Externí odkaz:
http://arxiv.org/abs/2409.03577
Autor:
Birkbeck, John, Xiao, Jiewen, Inbar, Alon, Taniguchi, Takashi, Watanabe, Kenji, Berg, Erez, Glazman, Leonid, Guinea, Francisco, von Oppen, Felix, Ilani, Shahal
The coupling between electrons and phonons is one of the fundamental interactions in solids, underpinning a wide range of phenomena such as resistivity, heat conductivity, and superconductivity. However, direct measurements of this coupling for indiv
Externí odkaz:
http://arxiv.org/abs/2407.13404
The popularity of Short form videos (SFV) has grown dramatically in the past few years, and has become a phenomenal video category with billions of viewers. Meanwhile, High Dynamic Range (HDR) as an advanced feature also becomes more and more popular
Externí odkaz:
http://arxiv.org/abs/2406.05305
Autor:
Birkbeck, Andrew, Rowe, Lisa
Publikováno v:
Journal of Family Business Management, 2023, Vol. 14, Issue 4, pp. 727-734.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/JFBM-09-2023-0157
Autor:
Georgina B. F. Hall, Rachael Birkbeck, Benjamin M. Brainard, Fernanda Camacho, Elizabeth B. Davidow, Dana N. LeVine, Andrew Mackin, Taylor Moss, Katherine J. Nash, Giacomo Stanzani, Daria Starybrat, David Q. Stoye, Carolyn Tai, John Thomason, Julie M. Walker, K. Jane Wardrop, Helen Wilson, Virginie A. Wurlod, Karen Humm
Publikováno v:
Journal of Veterinary Internal Medicine, Vol 38, Iss 5, Pp 2495-2506 (2024)
Abstract Background Reported incidence of blood transfusion reactions (TR) varies greatly. Objective To prospectively evaluate the incidence of acute TRs in dogs receiving allogenic blood products, using consensus definitions, and to assess factors a
Externí odkaz:
https://doaj.org/article/fa536a4ec50a47b1bbf67a6e84e846b7
We formalise the proof of the first case of Fermat's Last Theorem for regular primes using the \emph{Lean} theorem prover and its mathematical library \emph{mathlib}. This is an important 19th century result that motivated the development of modern a
Externí odkaz:
http://arxiv.org/abs/2305.08955
Autor:
Vibhoothi, Pitié, François, Katsenou, Angeliki, Ringis, Daniel Joseph, Su, Yeping, Birkbeck, Neil, Lin, Jessie, Adsumilli, Balu, Kokaram, Anil
Since the adoption of VP9 by Netflix in 2016, royalty-free coding standards continued to gain prominence through the activities of the AOMedia consortium. AV1, the latest open source standard, is now widely supported. In the early years after standar
Externí odkaz:
http://arxiv.org/abs/2208.11150
Autor:
Inbar, Alon, Birkbeck, John, Xiao, Jiewen, Taniguchi, Takashi, Watanabe, Kenji, Yan, Binghai, Oreg, Yuval, Stern, Ady, Berg, Erez, Ilani, Shahal
The invention of scanning probe microscopy has revolutionized the way electronic phenomena are visualized. While present-day probes can access a variety of electronic properties at a single location in space, a scanning microscope that can directly p
Externí odkaz:
http://arxiv.org/abs/2208.05492
Perceptual video quality assessment (VQA) is an integral component of many streaming and video sharing platforms. Here we consider the problem of learning perceptually relevant video quality representations in a self-supervised manner. Distortion typ
Externí odkaz:
http://arxiv.org/abs/2206.14713