Results 71 to 80 of about 38,933 (219)
A Novel Two‐Stage Flexible Flow Shop Batch Scheduling Model for Grinding Workshops
Naval Research Logistics (NRL), EarlyView.ABSTRACT The growing need for data storage in data centers has increased the demand for mechanical hard disks due to their low cost and high reliability. Aluminum substrates are the most popular base plates for mechanical hard disks because of their high hardness and low cost.
Jun Xu +4 more
wiley +1 more source
Solving for Blameless and Optimal Control Under Prioritized Safety Constraints
Optimal Control Applications and Methods, EarlyView.Summary of the proposed method for solving for blameless and optimal control sequences. ABSTRACT In many safety‐critical optimal control problems, users may request multiple safety constraints that are jointly infeasible due to external factors such as subsystem failures, unexpected disturbances, or fuel limitations.
Natalia Pavlasek +3 more
wiley +1 more source
Data in Brief, 2020 The LogiKEy workbench and dataset for ethical and legal reasoning is presented. This workbench simultaneously supports development, experimentation, assessment and deployment of formal logics and ethical and legal theories at different conceptual layers.
Christoph Benzmüller +7 more
doaj +1 more source
OTTER Experiments in a System of Combinatory Logic
, 1994 This paper describes some experiments involving the automated theorem-proving program OTTER in the system TRC of illative combinatory logic. We show how OTTER can be steered to find a contradiction in an inconsistent variant of TRC, and present some ...
Jech, Thomas
core +1 more source
ENIGMA: Efficient Learning-based Inference Guiding Machine
, 2017 ENIGMA is a learning-based method for guiding given clause selection in saturation-based theorem provers. Clauses from many proof searches are classified as positive and negative based on their participation in the proofs.
C Kaliszyk +15 more
core +1 more source
Turbulent snow transport and accumulation: New reduced‐order models and diagnostics
Quarterly Journal of the Royal Meteorological Society, EarlyView.Our new reduced‐order models of snow particle transport provide high‐fidelity calculations of snow accumulation in turbulent flows at significantly reduced computational costs. Additional accumulation diagnostics from the reduced‐order model predict complex patterns of particle concentration in turbulent boundary layers via coherent flow structures in ...
Nikolas O. Aksamit +3 more
wiley +1 more source
A Contradiction Separation Dynamic Deduction Algorithm Based on Optimized Proof Search
International Journal of Computational Intelligence Systems, 2019 Most of the advanced first-order logic automated theorem proving (ATP) systems adopt binary resolution methods as the core inference mechanism, where only two clauses are involved and a complementary pair of literals are eliminated during each deduction ...
Feng Cao +4 more
doaj +1 more source
Adaptive Sliding‐Mode Control of a Perturbed Diffusion Process With Pointwise In‐Domain Actuation
International Journal of Robust and Nonlinear Control, EarlyView.ABSTRACT A sliding mode–based adaptive control law is proposed for a class of diffusion processes featuring a spatially‐varying uncertain diffusivity and equipped with several point‐wise actuators located at the two boundaries of the spatial domain as well as in its interior.
Paul Mayr +3 more
wiley +1 more source
Optimal Homogeneous ℒp$$ {\boldsymbol{\mathcal{L}}}_{\boldsymbol{p}} $$‐Gain Controller
International Journal of Robust and Nonlinear Control, EarlyView.ABSTRACT Nonlinear ℋ∞$$ {\mathscr{H}}_{\infty } $$‐controllers are designed for arbitrarily weighted, continuous homogeneous systems with a focus on systems affine in the control input. Based on the homogeneous ℒp$$ {\mathcal{L}}_p $$‐norm, the input–output behavior is quantified in terms of the homogeneous ℒp$$ {\mathcal{L}}_p $$‐gain as a ...
Daipeng Zhang +3 more
wiley +1 more source