Results 181 to 190 of about 656,567 (302)

Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics

, 2000
Jan Van Leeuwen, Osamu Watanabe, Masami Hagiya, Peter D. Mosses, Takayasu Ito   +4 more
openalex   +1 more source

On the Rigidity and Mechanical Behavior of Triply Periodic Minimal Surfaces‐Based Lattices: Insights from Extensive Experiments and Simulations

Advanced Engineering Materials, EarlyView.
This study examines the mechanical properties of triply periodic minimal surfaces (TPMS)‐based lattices, analyzing 36 architectures in elastic and plastic regimes. It evaluates the applicability of beam‐based scaling laws to TPMS lattices. Rigidity arises from the alignment of members with the load direction and solid regions preventing rotation.
Lucía Doyle, Humberto Terrones, Carlos González   +2 more
wiley   +1 more source

Guiding principles and considerations for designing a well-structured curriculum for the brain-computer interface major based on the multidisciplinary nature of brain-computer interface. [PDF]

Front Hum Neurosci
Yang H, Li T, Zhao L, Wei Y, Chen X, Pan J, Fu Y.   +6 more
europepmc   +1 more source

Low‐Activation Compositionally Complex Alloys for Advanced Nuclear Applications—A Review

Advanced Engineering Materials, EarlyView.
Low‐activation compositionally complex alloys (LACCAs) are advanced metallic materials primarily composed of low‐activation elements, offering advantages such as rapid compliance with operational standards and safe recyclability. This review highlights their potential for extreme high‐temperature irradiation environments as structural materials for ...
Yangfan Wang, Hanliang Zhu, Zhiyang Wang, Zhijun Qiu, Xiao Wang, Zengxi Pan, Hongtao Zhu, Mingxing Zhang, Huijun Li   +8 more
wiley   +1 more source

Future scientific paradigms in the integration of materials, aerospace and information. [PDF]

Natl Sci Rev
Wang C, Zhao Y, Hu S, Jia H, Yan W, Fan D, Cheng Y, Bao W, Wang Z, Yuan L, Yan F, Zhu M, Jiang C.   +12 more
europepmc   +1 more source

Graph-Theoretic Concepts in Computer Science

, 2020

openalex   +1 more source

Verification of Reactive Systems: Formal Methods and Algorithms. By Klaus Schneider. Published by Springer, Berlin, Germany, Texts in Theoretical Computer Science Series, 2004. ISBN: 3-540-00296-0, pp 600. [PDF]

, 2005
Joël Ouaknine
openalex   +1 more source

Laser Additive Manufacturing of Oxide‐Dispersion‐Strengthened Steels: A Simulation‐Based Comparison Between Powder Bed Fusion and Direct Energy Deposition

Advanced Engineering Materials, EarlyView.
Controlling the size and distribution of dispersoids is essential for optimizing the performance of oxide‐dispersion‐strengthened steels. This study focuses on nanoparticle dispersion and agglomeration during laser additive manufacturing of Fe20Cr alloy reinforced with ZrO 2 nanoparticles. Utilizing multiphysics phase‐field simulations and nanoparticle
Somnath Bharech, Yangyiwei Yang, Timileyin David Oyedeji, Prasanth Bondi, Mareen Goßling, Bilal Gökce, Bai‐Xiang Xu   +6 more
wiley   +1 more source

Temperature-dependent modeling and enhanced measurement of ultrasonic velocity in LAS glass-ceramics. [PDF]

Sci Rep
Wei W, Qi X, Tang Z, Deng H, Liu H.
europepmc   +1 more source

Some results in probability and theoretical computer science

, 2001
Jack Jie Dai
openalex   +2 more sources