Kavli Affiliate: Johannes Lehmann | First 5 Authors: Christel Baier, Roxane van den Bossche, Sascha Klüppelholz, Johannes Lehmann, Jakob Piribauer | Summary: To improve reliability and the understanding of AI systems, there is increasing interest in the use of formal methods, e.g. model checking. Model checking tools produce a counterexample when a model does not […]
Kavli Affiliate: Stephanie Wehner | First 5 Authors: Lars Talsma, Álvaro G. Iñesta, Stephanie Wehner, , | Summary: Small interconnected quantum processors can collaborate to tackle quantum computational problems that typically demand more capable devices. These linked processors, referred to as quantum nodes, can use shared entangled states to execute nonlocal operations. As a consequence, […]
Kavli Affiliate: Stephanie Wehner | First 5 Authors: Lars Talsma, Álvaro G. Iñesta, Stephanie Wehner, , | Summary: Small interconnected quantum processors can collaborate to tackle quantum computational problems that typically demand more capable devices. These linked processors, referred to as quantum nodes, can use shared entangled states to execute nonlocal operations. As a consequence, […]
Kavli Affiliate: Cheng Peng | First 5 Authors: Vineet Kumar Sharma, Alana Okullo, Jalen Garner, Cheng Peng, Rajan Plumley | Summary: Recent years have witnessed an enormous rise in research interest in magnetic skyrmions owing to their capability to improve over contemporary spintronic devices. An overview of the various magnetic interactions responsible for the formation […]
Kavli Affiliate: Cheng Peng | First 5 Authors: Vineet Kumar Sharma, Alana Okullo, Jalen Garner, Cheng Peng, Rajan Plumley | Summary: Recent years have witnessed an enormous rise in research interest in magnetic skyrmions owing to their capability to improve over contemporary spintronic devices. An overview of the various magnetic interactions responsible for the formation […]
Kavli Affiliate: Wei Gao | First 5 Authors: Shuqing Luo, Wei Gao, , , | Summary: We propose a general method for deep learning based point cloud analysis, which is invariant to rotation on the inputs. Classical methods are vulnerable to rotation, as they usually take aligned point clouds as input. Principle Component Analysis (PCA) […]
Kavli Affiliate: Wei Gao | First 5 Authors: Man-Jie Yuan, Zheng Zou, Wei Gao, , | Summary: Privacy-preserving neural networks have attracted increasing attention in recent years, and various algorithms have been developed to keep the balance between accuracy, computational complexity and information security from the cryptographic view. This work takes a different view from […]
Kavli Affiliate: Yi Zhou | First 5 Authors: Jianquan Ge, Fagui Li, Zizhou Tang, Yi Zhou, | Summary: In this paper, we give a survey on the history and recent developments on the DDVV-type inequalities. | Search Query: ArXiv Query: search_query=au:”Yi Zhou”&id_list=&start=0&max_results=3 Read More
Kavli Affiliate: Morteza Gharib | First 5 Authors: Meredith L. Hooper, Isabel Scherl, Morteza Gharib, , | Summary: To maintain full autonomy, autonomous robotic systems must have the ability to self-repair. Self-repairing via compensatory mechanisms appears in nature: for example, some fish can lose even 76% of their propulsive surface without loss of thrust by […]
Kavli Affiliate: Li Zhao | Authors: Yuntao Yang, Yuhan Xie, Zhao Li, Chiamaka Diala, Meer Ali, Rongbin Li, Yi Xu, Albon Wu, Pora Kim, Sayed-Rzgar Hosseini, Erfei Bi, Hongyu Zhao and W. Jim Zheng | Summary: Alternative splicing is an important cellular process in eukaryotes, altering pre-mRNA to yield multiple protein isoforms from a single […]