Results 221 to 230 of about 1,501,850 (327)

Exploring Steinitz-Rademacher polyhedra: A challenge for automated reasoning tools

, 2014
Jesse Alama
openalex   +2 more sources

Autonomous Implants

Advanced Materials, EarlyView.
An ideal implant should mimic native tissues such that it can integrate, sense, heal, and continue to function, i.e., be autonomous. Although early, there are good steps taken in this way, e.g., the development of stimuli‐responsive, self‐powering, self‐actuating, self‐healing, self‐regenerating, and self‐aware implants.
Jagan Mohan Dodda, Marcel F. Kunrath, Ling Zhou Zhao, Mahdi Bodaghi, Armin Yousefi, Nureddin Ashammakhi   +5 more
wiley   +1 more source

Toward large reasoning models: A survey of reinforced reasoning with large language models. [PDF]

Patterns (N Y)
Xu F, Hao Q, Shao C, Zong Z, Li Y, Wang J, Zhang Y, Wang J, Lan X, Gong J, Ouyang T, Meng F, Yan Y, Yang Q, Song Y, Ren S, Hu X, Feng J, Gao C, Li Y.   +19 more
europepmc   +1 more source

Review of Thin Lithium Metal Battery Anode Fabrication – Microstructure – Electrochemistry Relations

Advanced Materials, EarlyView.
Thin, lightweight lithium‐metal anodes are pivotal for practical high‐energy batteries. This review surveys processing routes that convert diverse Li precursors, e.g., ingots, melts, solutions, and vapor, into Li‐rich foils with controlled thickness, areal density, and tailored functionality.
Yuhang Hu, Zidong Chen, Yixian Wang, Haorui Hou, Bingcheng Chen, David Mitlin, Wei Liu   +6 more
wiley   +1 more source

LLM ethics benchmark: a three-dimensional assessment system for evaluating moral reasoning in large language models. [PDF]

Sci Rep
Jiao J, Afroogh S, Murali A, Chen K, Atkinson D, Dhurandhar A.   +5 more
europepmc   +1 more source

Engineering Aging: Approaches to Model and Deconstruct Biological Complexity

Advanced Materials, EarlyView.
The macro‐experiences of aging are the result of an accumulation of micro‐changes that occur over time. Abstract The disparity between the global increase in life expectancy and the steady decline in health outcomes with age has been a major driver for developing new ways to research aging.
Habib Joukhdar, Sunny Shinchen Lee, Thomas R. Cox, Yu Suk Choi, Steven G. Wise, Jennifer L. Young, Giselle C. Yeo, Khoon S. Lim   +7 more
wiley   +1 more source

Critique of impure reason: Unveiling the reasoning behaviour of medical large language models. [PDF]

Elife
Sim SZY, Chen T.
europepmc   +1 more source

First-Order Automated Reasoning with Theories: When Deduction Modulo Theory Meets Practice

Journal of automated reasoning, 2019
Guillaume Burel, Guillaume Bury, Raphaël Cauderlier, David Delahaye, Pierre Halmagrand, O. Hermant   +5 more
semanticscholar   +1 more source

A Framework for Knowledge Management and Automated Reasoning Applied on Intelligent Transport Systems

, 2017
Aneta Vulgarakis Feljan, Athanasios Karapantelakis, Leonid Mokrushin, Hongxin Liang, Rafia Inam, Elena Fersman, Carlos R. B. Azevedo, Klaus Raizer, Ricardo S. Souza   +8 more
openalex   +2 more sources

From Molecules to Modules: Advanced Characterization of Membrane Systems

Advanced Materials, EarlyView.
Membrane technologies can enhance the efficiency and selectivity of chemical separations in energy‐water systems. Improving our understanding and design of separation membranes will require studying their properties at the molecular scale, mesoscale, and macroscale. This perspective highlights advanced characterization techniques for revealing membrane
Yaguang Zhu, Austin J. Booth, Jamila G. Eatman, Min A Kim, Yining Liu, Bidushi Sarkar, Bratin Sengupta, Xiaolin Yue, Chibueze V. Amanchukwu, Seth B. Darling, Jeffrey W. Elam, Paul Fenter, Chong Liu, Kelsey B. Hatzell   +13 more
wiley   +1 more source