Results 71 to 80 of about 2,137,054 (245)

Multifidelity Comparison of Supersonic Wave Drag Prediction Methods Using Axisymmetric Bodies

Aerospace
Low-fidelity analytic and computational wave drag prediction methods assume linear aerodynamics and small perturbations to the flow. Hence, these methods are typically accurate for only very slender geometries.
Troy Abraham, David Lazzara, Douglas Hunsaker   +2 more
doaj   +1 more source

Testing formula satisfaction [PDF]

, 2012
We study the query complexity of testing for properties defined by read once formulae, as instances of massively parametrized properties, and prove several testability and non-testability results.
Yonatan Goldhirsh, Lachish, Oded, Fischer, E., Goldhirsh, Y., Oded Lachish, Eldar Fischer   +5 more
core   +1 more source

The PRIMA Thesaurus for Materials Science and Engineering

Advanced Engineering Materials, EarlyView.
The PRIMA Thesaurus is a structured vocabulary designed to improve how materials science data is described and shared. Developed with input from multiple experts, it enables clear documentation of research workflows, data exchange, and reuse across platforms.
Rossella Aversa, Alexey Boubnov, Dario De Angelis, Catriona Eschke, Maximilian Kabbe, Felix Kraus, Mirco Panighel, Richard Thelen, Davide Valentinis   +8 more
wiley   +1 more source

Number-Theoretic Transforms: Theory and Applications in Modern Cryptography

IEEE Access
Number-theoretic transforms (NTT) provide exact arithmetic and efficient convolution over finite algebraic structures, and have emerged as a foundational computational primitive in modern cryptography.
Juliano B. Lima, Jose R. De Oliveira Neto   +1 more
doaj   +1 more source

Current Status and Challenges in Data Collection for Aerospace Coatings Deposited by Plasma Spraying

Advanced Engineering Materials, EarlyView.
An innovative approach has been integrated into the GRENAT project to optimize plasma spraying and coating performance. Raw materials are accelerated and melted in the plasma generated by torches, creating coatings. Monitoring sensors collect process data which are combined with ex situ characterization data.
Lila Randriamananjara, Vincent Rat, Quentin Dubreuil, Patrice Valorge, Simon Goutier, Alain Denoirjean, Olivier Messe, Céline Ruelle, Jean‐Philippe Poli   +8 more
wiley   +1 more source

Fast Adaptive Sparse Iterative Reweighted Super-Resolution Method for Forward-Looking Radar Imaging

IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing
Recently, a sparse super-resolution method based on $L_{1}$ iterative reweighted norm (IRN) has been proposed to improve the azimuth resolution of forward-looking radar.
Jiawei Luo, Yulin Huang, Ruitao Li, Deqing Mao, Yongchao Zhang, Yin Zhang, Jianyu Yang   +6 more
doaj   +1 more source

Black Holes and Complexity via Constructible Universe

Universe, 2020
The relation of randomness and classical algorithmic computational complexity is a vast and deep subject by itself. However, already, 1-randomness sequences call for quantum mechanics in their realization.
Jerzy Król, Paweł Klimasara
doaj   +1 more source

Modular Critical Element Recycling Platform Using a Nanoporous Additively Manufactured Gyroid

Advanced Engineering Materials, EarlyView.
A modular recycling platform integrates 3D‐printed nanoporous gyroid structures to enable efficient critical element recovery. This system utilizes a hierarchical architecture, combining macroscopic channels with polymerization‐induced nanoscale porosity. By systematically tuning structural wall thickness and resin formulation, the platform achieves an
Xiangyu Gao, Keldy Mason, Mert Gülçür, Rachel Paddock‐Lamb, Prince Alvin Fofanah, Zachariah A. Page, Michael Cullinan   +6 more
wiley   +1 more source

Computing the Maximum using (min, +) Formulas.

Electron. Colloquium Comput. Complex., 2017
We study computation by formulas over (min,+). We consider the computation of max{x_1,...,x_n} over N as a difference of (min,+) formulas, and show that size n + n \log n is sufficient and necessary. Our proof also shows that any (min,+) formula computing the minimum of all sums of n-1 out of n variables must have n \log n leaves; this too is tight ...
Meena Mahajan, Prajakta Nimbhorkar, Anuj Tawari   +2 more
openaire   +4 more sources

Computing distinguishing formulas for branching bisimulation [PDF]

, 1992
Branching bisimulation is a behavioral equivalence on labeled transition systems which has been proposed by Van Glabbeek and Weijland as an alternative to Milner's observation equivalence. This paper presents an algorithm which, given two branching bisimulation inequivalent finite state processes, produces a distinguishing formula in Hennessy-Milner ...
openaire   +1 more source