Results 61 to 70 of about 16,145 (263)

Multiplicative-Additive Proof Equivalence is Logspace-complete, via Binary Decision Trees [PDF]

Logical Methods in Computer Science, 2017
Given a logic presented in a sequent calculus, a natural question is that of equivalence of proofs: to determine whether two given proofs are equated by any denotational semantics, ie any categorical interpretation of the logic compatible with its cut ...
Marc Bagnol
doaj   +1 more source

Optimization of the Production of Rubber Compounds Using Mathematical Models

Advanced Engineering Materials, EarlyView.
Rubber compounds were mixed in a batch internal mixer, and symbolic regression was used to derive mathematical models linking recipe and process parameters to ram path, torque, and mixing quality (incorporation, dispersion, distribution). Subsequent optimization with evolutionary algorithms identified operating conditions that reduce specific energy ...
Anke Bardehle, Andreas Limper, Ulrich Giese, Carlos Lucke, Mario Beiner, Christoph Gögelein, Lisa Leuchtenberger‐Engel, Christian Hopmann   +7 more
wiley   +1 more source

A Practical Noise2Noise Denoising Pipeline for High‐Throughput Raman Spectroscopy

Advanced Engineering Materials, EarlyView.
A lightweight and reproducible denoising pipeline for high‐throughput Raman spectroscopy is introduced, based on a 1D convolutional autoencoder trained with a Noise2Noise strategy. Using only repeated short‐exposure acquisitions, the method suppresses stochastic noise without reference spectra, enabling reliable spectral reconstruction while preserving
David Martin‐Calle, Cesar Alvarez‐Llamas, Vincent Motto‐Ros, Christophe Dujardin, Jérémie Margueritat, David Rodney   +5 more
wiley   +1 more source

Developing a Classifier for the Foreign Trade Efficiency of Russia and China: Scientific and Methodological Aspects

Российский внешнеэкономический вестник
The article presents the Integrated Multilevel Trade Resilience Classifier (IMTRC) for assessing foreign trade efficiency under sanctions pressure. The methodology synthesizes economic resilience theory and global trade network analysis.
Shapor Maria A., Plaksii Roman A.
doaj   +1 more source

Robust Distributed Cooperative Localization With NLOS Mitigation Based on Multiplicative Convex Model

IEEE Access, 2019
The accuracy of cooperative localization degrades significantly in the non-line-of-sight (NLOS) environments. In addition, the computational complexity of the localization problem often increases dramatically as the scale of a wireless sensor network ...
Shiwa Chen, Jianyun Zhang, Chengcheng Xu
doaj   +1 more source

On the complexity of multiplication in finite fields

Theoretical Computer Science, 1983
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abraham Lempel, Gadiel Seroussi, Shmuel Winograd   +2 more
openaire   +2 more sources

Rotary 3D Printing With Integrated Electroplating

Advanced Engineering Materials, EarlyView.
A rotary material extrusion platform integrates localized copper electroplating with printing and encapsulation to fabricate cylindrical polymer–metal structures containing fully embedded, low‐resistance conductive pathways that enable internal Joule heating and thermally activated shape‐memory responses.
Antonio Zagaria, Nicola Larovere, Moslem Mohammadi, Gianluca Percoco, Ali Zolfagharian, Gianni Stano   +5 more
wiley   +1 more source

A Multi‐Scale Machine Learning Framework for the Inverse Design of High Entropy Alloys

Advanced Engineering Materials, EarlyView.
High‐entropy alloys offer vast potential for various applications, including electrocatalysis; however, their compositional complexity challenges conventional screening. We introduce an inverse‐design framework combining two neural networks to determine optimal compositions and reconstruct nanoparticle geometry from targeted properties and conventional
Mikael Takoutsin, Marta Campolucci, Nicolas de Andrade Ishiki, Nathan Mirgot, Nadir Zhamantay, Frédéric Kanoufi, Jennifer Peron, Jean Charlety, Emiliano Fonda, Valérie Briois, Marco Faustini, Maria‐Letizia De Marco, Christine Goyhenex, Ovidiu Ersen, Hervé Bulou   +14 more
wiley   +1 more source

Multispectral Periocular Classification With Multimodal Compact Multi-Linear Pooling

IEEE Access, 2017
Feature-level fusion approaches for multispectral biometrics are mainly grouped into two categories: 1) concatenation and 2) elementwise multiplication.
Faisal M. Algashaam, Kien Nguyen, Mohamed Alkanhal, Vinod Chandran, Wageeh Boles, Jasmine Banks   +5 more
doaj   +1 more source

All‐in‐One Analog AI Hardware: On‐Chip Training and Inference with Conductive‐Metal‐Oxide/HfOx ReRAM Devices

Advanced Functional Materials, EarlyView.
An all‐in‐one analog AI accelerator is presented, enabling on‐chip training, weight retention, and long‐term inference acceleration. It leverages a BEOL‐integrated CMO/HfOx ReRAM array with low‐voltage operation (<1.5 V), multi‐bit capability over 32 states, low programming noise (10 nS), and near‐ideal weight transfer.
Donato Francesco Falcone, Victoria Clerico, Wooseok Choi, Tommaso Stecconi, Folkert Horst, Laura Bégon‐Lours, Matteo Galetta, Antonio La Porta, Nikhil Garg, Fabien Alibart, Bert Jan Offrein, Valeria Bragaglia   +11 more
wiley   +1 more source