Results 61 to 70 of about 3,305 (304)

Formally Verified Approximations of Definite Integrals

, 2016
International audienceFinding an elementary form for an antiderivative is often a difficult task, so numerical integration has become a common tool when it comes to making sense of a definite integral.
Assia Mahboubi, Melquiond, Guillaume, Sibut-Pinote, Thomas, Guillaume Melquiond, Thomas Sibut-Pinote, Mahboubi, Assia   +5 more
core   +1 more source

Inverse Design of Amorphous Materials With Targeted Properties

Advanced Materials, EarlyView.
AMDEN is a diffusion model framework for the inverse design of amorphous materials with targeted properties. By incorporating Hamiltonian Monte Carlo refinement into the denoising process, the framework overcomes the challenge of generating thermally relaxed disordered structures.
Jonas A. Finkler, Yan Lin, Tao Du, Jilin Hu, Morten M. Smedskjaer   +4 more
wiley   +1 more source

Multiobjective Codesign Optimization of a Planar Pneumatic Artificial Muscle‐Based Snake‐Like Robot for Enhanced Agility and Energy Efficiency

Advanced Robotics Research, EarlyView.
A codesign multiobjective optimization framework was developed to enhance the morphology and controller of a snake‐like robot driven by artificial muscles. It improved planar locomotion, agility, and power efficiency. The approach optimized link geometry and controller gains, revealing that shorter muscles near joints and longer linkages maximize ...
Ayla Valles, Mahdi Haghshenas‐Jaryani
wiley   +1 more source

Formation Control of Multi‐Agent System with Local Interaction and Artificial Potential Field

Advanced Robotics Research, EarlyView.
This article proposes a local interaction‐based formation control method for Multi‐Agent system, integrating consensus and leader‐follower strategies with a stress response mechanism—artificial potential field to reduce communication overhead and enable obstacle avoidance. Experimental results on triangular, square, and hexagonal formations confirm its
Luoyin Zhao, Zheping Yan, Yuqing Wang, Raye Chen‐Hua Yeow   +3 more
wiley   +1 more source

Autoimmune Encephalitis in Acute Care—Pathology, Diagnosis, and Management

Advanced Science, EarlyView.
ABSTRACT Autoimmune encephalitis (AE) is characterized by immune‐mediated inflammation of the brain parenchyma, presenting with various neurological syndromes, including but not limited to seizures, altered consciousness, neuropsychiatric symptoms, and movement disorders.
Suneesh Thilak, David Okoh, William Scotton, Shanika Samarasekera, Vikram Patil, Suresh Renukappa, Andrew Macduff, Subashini Suresh, Rajeev Krishnadas, Tonny Veenith   +9 more
wiley   +1 more source

Approaches to determining the critical coefficients of water saturation Burdine formulas taking into account the differences in the limits of integration

Известия высших учебных заведений: Нефть и газ, 2019
The article is devoted to the determination of the critical water saturation ratio productive reservoirs. It is necessary to have information about these coefficients in order to interpret the geophysical research wells at the stage of exploration.
G. E. Stroyanetskaya
doaj   +1 more source

Numerical quadrature methods for singular and nearly singular integrals

, 2001
This thesis was submitted for the degree of Doctor of Philosophy and awarded by Brunel University.This thesis is concerned with the development, design, and analysis of simple and efficient numerical quadrature methods for integrals on finite intervals ...
Chunrungsikul, S., Chunrungsikul, Sumlearng   +1 more
core  

On Determination Method for Resolution of Secondary Electron Images in Scanning Electron Microscopy

Advanced Science, EarlyView.
An idealized SEM, termed Rayleigh's microscope, is constructed by Monte Carlo simulation to represent imaging conditions that just satisfy the Rayleigh criterion. Based on this physically defined model, sharpness–resolution conversion curves are established and combined with the Rose criterion, enabling automated resolution evaluation from practical ...
Tongfang Yang, Yanbo Zou, Zejun Ding
wiley   +1 more source

Prognostic significance of tumor microenvironment assessed by machine learning algorithm in surgically resected non‐small cell lung cancer

Cancer Reports, EarlyView., 2023
Abstract Background A methodology to assess the immune microenvironment (IME) of non‐small cell lung cancer (NSCLC) has not been established, and the prognostic impact of IME factors is not yet clear. Aims This study aimed to assess the IME factors and evaluate their prognostic values. Methods and Results We assessed CD8+ tumor‐infiltrating lymphocyte (
Yukihiro Terada, Mitsuhiro Isaka, Akira Ono, Takuya Kawata, Masakuni Serizawa, Keita Mori, Koji Muramatsu, Kiyoshi Tone, Hirotsugu Kenmotsu, Keiichi Ohshima, Kenichi Urakami, Takeshi Nagashima, Masatoshi Kusuhara, Yasuto Akiyama, Takashi Sugino, Toshiaki Takahashi, Yasuhisa Ohde   +16 more
wiley   +1 more source

Evaluation of Definite Integrals by Symbolic Manipulation

, 1971
A heuristic computer program for the evaluation of real definite integrals of elementary functions is described. This program, called WANDERER (WANg's DEfinite integRal EvaluatoR), evaluates many proper and improper integrals.
Wang, Paul S.
core