Results 31 to 40 of about 355 (190)

Classical realizability and arithmetical formulæ

, 2016
International audienceIn this paper we treat the specification problem in Krivine classical realizability, in the case of arithmetical formulæ. In the continuity of previous works from Miquel and the first author, we characterize the universal ...
Guillermo, Mauricio, Miquey, Étienne
core   +1 more source

One-relator groups and proper 3-realizability [PDF]

, 2009
How different is the universal cover of a given finite 2-complex from a 3-manifold (from the proper homotopy viewpoint)? Regarding this question, we recall that a finitely presented group G is said to be properly 3-realizable if there exists a compact 2 ...
Francisco Lasheras, Manuel Cárdenas, Dušan Repovš, Quintero Toscano, Antonio Rafael, Repovš, Dušan, Antonio Quintero, Cárdenas Escudero, Manuel Enrique, Fernández Lasheras, Francisco Jesús   +7 more
core   +1 more source

Advances in Magnesium‐Based Thermoelectrics: A Critical Review

Advanced Materials, EarlyView.
Magnesium‐based thermoelectric materials have emerged as promising candidates for low‐to‐mid‐temperature energy conversion due to their abundance, low cost, and competitive performance. This review summarizes recent advances in Mg3X2, MgAgSb, and Mg2X systems, covering transport mechanisms, fabrication strategies, stability challenges, and device ...
Li‐Min Zhang, Li Zhang, Nan‐Hai Li, Yan‐Ling Yang, Xiao‐Lei Shi, Zhi‐Gang Chen   +5 more
wiley   +1 more source

Optimal Contextual Bandits with Knapsacks under Realizability via Regression Oracles

, 2023
We study the stochastic contextual bandit with knapsacks (CBwK) problem, where each action, taken upon a context, not only leads to a random reward but also costs a random resource consumption in a vector form.
Wang, Yang, Zhang, Jiheng, Zeng, Jialin, Han, Yuxuan, Xiang, Yang   +4 more
core   +1 more source

Heritage for sustainable peace: the politics of contested histories and the Nanjing controversy at UNESCO

Frontiers in Political Science
This article explores the politics of heritage of the 2015 Sino-Japanese confrontation resulting from the controversial inclusion of the “Documents of Nanjing Massacre” in UNESCO's Memory of the World Register, which promotes the preservation of archival
Miia Huttunen
doaj   +1 more source

Cellular structures in Topology [PDF]

, 1990
This book describes the construction and the properties of CW-complexes. These spaces are important because firstly they are the correct framework for homotopy theory, and secondly most spaces that arise in pure mathematics are of this type.
Renzo Piccinini, Rudolf Fritsch, Fritsch, Rudolf, Piccinini, Renzo A., Rudolf Fritsch, et al.   +4 more
core   +1 more source

Transducers Across Scales and Frequencies: A System‐Level Framework for Multiphysics Integration and Co‐Design

Advanced Materials Technologies, EarlyView.
Transducers convert physical signals into electrical and optical representations, yet each mechanism is bounded by intrinsic trade‐offs across bandwidth, sensitivity, speed, and energy. This review maps transduction mechanisms across physical scale and frequency, showing how heterogeneous integration and multiphysics co‐design transform isolated ...
Aolei Xu, Mengyao Xiao, Zhouli Sui, Yinpeng Wang, Daoye Zheng, Yuxin Liu, Luwei Wang, Huajun Liu, Chengkuo Lee   +8 more
wiley   +1 more source

Consensus Formation and Change are Enhanced by Neutrality

Advanced Science, EarlyView.
Neutral agents are shown to enhance both the formation and overturning of consensus in collective decision‐making. A general mathematical model and experiments with locusts and humans reveal that neutrality enables robust consensus via simple interactions and accelerates consensus change by reducing effective population size.
Andrei Sontag, Janina A. Hoffmann, Tim Rogers, Christian A. Yates   +3 more
wiley   +1 more source

Accelerating Discovery of Organic Molecular Crystals via Materials Informatics and Autonomous Experiments

Advanced Intelligent Discovery, EarlyView.
Materials informatics and autonomous experimentation are transforming the discovery of organic molecular crystals. This review presents an integrated molecule–crystal–function–optimization workflow combining machine learning, crystal structure prediction, and Bayesian optimization with robotic platforms.
Takuya Taniguchi, Kazuki Ishizaki, Ryo Fukasawa   +2 more
wiley   +1 more source

Long‐Range Interactions in Topological Superconducting Systems: A Mini Review

Advanced Physics Research, EarlyView.
Long‐range interacting quantum systems are surveyed in this review, with an emphasis on the long‐range topological superconductor and its variants. Long‐range interactions decaying in a power‐law manner can lead to exotic phenomena that finds no analogue in short‐range regimes.
Juntong Ren, Haifeng Lü
wiley   +1 more source