Results 61 to 70 of about 93,680 (316)

COVID-19 related psychosocial problems among university students in Mexico – a longitudinal qualitative examination

Frontiers in Public Health, 2023
Research on the impact of the COVID-19 pandemic among college students around the world has primarily focused on their mental health symptoms and COVID-specific worry.
Cecilia Martinez-Torteya, Caleb J. Figge, Laura I. Ramírez Hernández, Beatriz Treviño-de la Garza   +3 more
doaj   +1 more source

Mechanical Behavior and Microstructural Changes Associated with Tensile Deformation above the Martensite Start Temperature during Quenching and Subsequent Partitioning of a Low‐Alloy 37SiB6 Steel

Advanced Engineering Materials, EarlyView.
A new experimental setup, incorporating digital image correlation and infrared thermography in combination with inductive‐conductive heating for precise temperature control, is used to analyze the mechanical behavior and microstructural changes of sheet metal under complex thermomechanical test conditions that represent quench and partitioning ...
Christian Illgen, Benjamin Bohne, Sven Winter, Marcus Böhme, Martin F.-X. Wagner   +4 more
wiley   +1 more source

Generic Fibrational Induction [PDF]

Logical Methods in Computer Science, Volume 8, Issue 2 (June 19, 2012) lmcs:717, 2012
This paper provides an induction rule that can be used to prove properties of data structures whose types are inductive, i.e., are carriers of initial algebras of functors. Our results are semantic in nature and are inspired by Hermida and Jacobs' elegant algebraic formulation of induction for polynomial data types. Our contribution is to derive, under
arxiv   +1 more source

2H‐Au Nanosheet‐Templated Growth of PdFe for Electrocatalytic Methanol Oxidation

Advanced Functional Materials, EarlyView.
2H‐to‐face‐centered cubic (fcc) phase transformation of 2H‐Au happens when PdFe alloy epitaxially grows on 2H‐Au nanosheets (NSs), forming 2H/fcc Au@PdFe NSs, and the 2H/fcc phase ratio in 2H/fcc Au@PdFe NSs can be tuned correspondingly by changing the Pd/Fe atomic ratio.
Jie Wang, An Zhang, Wenxin Niu, Guigao Liu, Xichen Zhou, Lixin Wang, Xiaozhi Liu, Lujiang Li, Zijian Li, Li Zhai, Qi Yang, Biao Huang, Qingbo Wa, Qinbai Yun, Hongfei Cheng, Yiyao Ge, Jingtao Huang, Zhaoning Hu, Bo Chen, Qinyong Zhang, Zhanxi Fan, Lin Gu, Hua Zhang   +22 more
wiley   +1 more source

Structural Induction Principles for Functional Programmers [PDF]

EPTCS 136, 2013, pp. 16-26, 2013
User defined recursive types are a fundamental feature of modern functional programming languages like Haskell, Clean, and the ML family of languages. Properties of programs defined by recursion on the structure of recursive types are generally proved by structural induction on the type. It is well known in the theorem proving community how to generate
arxiv   +1 more source

Inductive assertion method for logic programs [PDF]

Theoretical Computer Science, 1988
AbstractCertain properties of logic programs are inexpressible in terms of their declarative semantics. One example of such properties would be the actual form of procedure calls and successes which occur during computations of a program. They are often used by programmers in their informal reasoning.
Wlodzimierz Drabent, Jan Maluszynski
openaire   +1 more source

Photo‐Assisted Zn‐Iodine Battery via Bifunctional Cathode with Iodine Host and Solar Response Boost

Advanced Functional Materials, EarlyView.
A bifunctional cathode based on BiOI materials is developed for photo‐assisted Zn‐iodine batteries, serving as both an iodine host and a solar‐responsive material. This design enables dual reaction routes involving vacancy‐based iodine storage and reversible two steps iodine redox.
Hai Xu, Wanli Gao, Hui Dou, Xiaogang Zhang, Martin Pumera   +4 more
wiley   +1 more source

Facile Synthesis of CuxS Electrocatalysts for CO2 Conversion into Formate and Study of Relations Between Cu and S with the Selectivity

Advanced Functional Materials, EarlyView.
Copper sulfide based electrocatalysts for CO2 conversion are selective for production of formate as major product. Transformations under electrochemical conditions result in significant sulfur loss, and this study examines the nature of how persistent, residual sulfur (observed as surface SO42– species and S dissolved in the electrolyte) can sustain ...
Sasho Stojkovikj, Gumaa A. El‐Nagar, Siddharth Gupta, Metodija Najdoski, Violeta Koleva, Theocharis Tzanoudakis, Frederik Firschke, Peter Bogdanoff, Matthew T. Mayer   +8 more
wiley   +1 more source

Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants [PDF]

arXiv, 2022
Essential tasks for the verification of probabilistic programs include bounding expected outcomes and proving termination in finite expected runtime. We contribute a simple yet effective inductive synthesis approach for proving such quantitative reachability properties by generating inductive invariants on source-code level.
arxiv  

Prediction of wear life of shield disc cutter in complex formations based on genetic programming

Gong-kuang zidonghua, 2018
In process of shield tunneling in complex formation, wear of disc cutter is extremely serious and service life is hard to predict, and influence factors of the disc cutter wear are multi-dimensional and uncertain.
QIAO Jinli, MENG Qiujie, LIU Jianqin, JIN Jianxing   +3 more
doaj   +1 more source