Results 71 to 80 of about 24,045 (262)

Passive Directional Water Transport on Superhydrophobic Gradient Textures Fabricated by Direct Laser Interference Patterning

Advanced Materials Technologies, EarlyView.
Microstructures fabricated by two‐beam DLIP combining spatial‐period and roughness gradients are fabricated to enhance directional transport of water droplets. The coupled gradients increase transport distance by 160% and strongly suppress motion against the gradient, demonstrating an effective strategy for controlled droplet manipulation.
Tianhao Wu, Marcos Soldera, Fabian Ränke, Andrés Fabián Lasagni   +3 more
wiley   +1 more source

Continuum Mechanics Modeling of Flexible Spring Joints in Surgical Robots

Advanced Robotics Research, EarlyView.
A new mechanical model of a tendon‐actuated helical extension spring joint in surgical robots is built using Cosserat rod theory. The model can implicitly handle the unknown contacts between adjacent coils and numerically predict spring shapes from straight to significantly bent under actuation forces.
Botian Sun, Liang Zhang, Jianwen Zeng, Xuefeng Wang   +3 more
wiley   +1 more source

Multistage stochastic programming model and solution algorithm for the capacity expansion of railway network

Journal of Advanced Mechanical Design, Systems, and Manufacturing, 2018
We consider a capacity expansion problem for a railway network under uncertainty. In our approach, integer and stochastic programming provide a basic framework.
Takayuki SHIINA, Tomoaki TAKAICHI, Yige LI, Susumu MORITO, Jun IMAIZUMI   +4 more
doaj   +1 more source

On Integer Programming and Convolution.

CoRR, 2018
Integer programs with a constant number of constraints are solvable in pseudo-polynomial time. We give a new algorithm with a better pseudo-polynomial running time than previous results. Moreover, we establish a strong connection to the problem (min, +)-convolution. (min, +)-convolution has a trivial quadratic time algorithm and it has been conjectured
Klaus Jansen, Lars Rohwedder
openaire   +4 more sources

Data‐Driven Bulldozer Blade Control for Autonomous Terrain Leveling

Advanced Robotics Research, EarlyView.
A simulation‐driven framework for autonomous bulldozer leveling is presented, combining high‐fidelity terramechanics simulation with a neural‐network‐based reduced‐order model. Gradient‐based optimization enables efficient, low‐level blade control that balances leveling quality and operation time.
Harry Zhang, Ganesh Arivoli, Huzaifa Unjhawala, Luning Bakke, Radu Serban, Dan Negrut   +5 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

Helix Alignment, Chevrons, and Edge Dislocations in Twist‐Bend Ferroelectric Nematics

Advanced Science, EarlyView.
The recently discovered twist‐bend ferroelectric nematic (NTBF) is the new member of the multiferroic family, representing a fluid with an oblique helicoidal (heliconical) periodic structure of spontaneous electric polarization. The work presents a thorough exploration of the material properties of this phase, how the periodic modulation of ...
Bijaya Basnet, Priyanka Kumari, Sathyanarayana Paladugu, Damian Pociecha, Jakub Karcz, Przemysław Kula, Nataša Vaupotič, Ewa Górecka, Oleg D Lavrentovich   +8 more
wiley   +1 more source

Integer Polyhedra for Program Analysis [PDF]

, 2009
Polyhedra are widely used in model checking and abstract interpretation. Polyhedral analysis is effective when the relationships between variables are linear, but suffers from imprecision when it is necessary to take into account the integrality of the represented space. Imprecision also arises when non-linear constraints occur.
Philip J. Charles, Jacob M. Howe, Andy King   +2 more
openaire   +3 more sources

A Perspective on Interactive Theorem Provers in Physics

Advanced Science, EarlyView.
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley   +1 more source

Recent Advances in Laser‐Induced Graphene‐Based Gas Sensors: From Sensing Mechanisms to Biomedical Applications

Advanced Science, EarlyView.
Laser‐induced graphene (LIG) provides a scalable, laser‐direct‐written route to porous graphene architecture with tunable chemistry and defect density. Through heterojunction engineering, catalytic functionalization, and intrinsic self‐heating, LIG achieves highly sensitive and selective detection of NOX, NH3, H2, and humidity, supporting next ...
Md Abu Sayeed Biswas, Ankan Dutta, Shuvendu Das, Abu Musa Abdullah, Wanqing Zhang, Fatema Tuz Zohra, Huanyu Cheng   +6 more
wiley   +1 more source