Results 101 to 110 of about 151,349 (311)
A local inverse formula and a factorization
, 2018 © Springer International Publishing AG, part of Springer Nature 2018. All rights reserved. When a matrix has a banded inverse there is a remarkable formula that quickly computes that inverse, using only local information in the original matrix.
Gilbert Strang +3 more
core +1 more source
Closed-Form Formula for the Conditional Moments of Log Prices under the Inhomogeneous Heston Model
, 2022 Several financial instruments have been thoroughly calculated via the price of an underlying asset, which can be regarded as a solution of a stochastic differential equation (SDE), for example the moment swap and its exotic types that encourage investors
Kittisak Chumpong +1 more
core +1 more source
Advanced Engineering Materials, EarlyView.This work shows that the mechanical performance of multimaterial digital light processing (DLP) printed thermoset composites is governed by resin compatibility and interfacial design rather than spatial patterning alone. Brittle and ductile resin combinations produced premature interfacial failure, while graded interfaces and mechanically compatible ...
Ahmed M. H. Ibrahim +3 more
wiley +1 more source
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
Advanced Functional Materials, EarlyView.Edible electronics needs integrated logic circuits for computation and control. This work presents a potentially edible printed chitosan‐gated transistor with a design optimized for integration in circuits. Its implementation in integrated logic gates and circuits operating at low voltage (0.7 V) is demonstrated, as well as the compatibility with an ...
Giulia Coco +8 more
wiley +1 more source
A More Efficient Conditional Private Preservation Scheme in Vehicular Ad Hoc Networks
Applied Sciences, 2018 It is a challenging issue to provide a secure and conditional anonymous authentication scheme in vehicle ad hoc networks (VANETs) with low storage space and computational cost. In 2008, Lu et al.
Tao Wang, Xiaohu Tang
doaj +1 more source
Efficient Volume Computation for SMT Formulas
Proceedings of the TwentySecond International Conference on Principles of Knowledge Representation and ReasoningSatisfiability Modulo Theory (SMT) has recently emerged as a powerful tool for solving various automated reasoning problems across diverse domains. Unlike traditional satisfiability methods confined to Boolean variables, SMT can reason on real-life variables like bitvectors, integers, and reals.
Arijit Shaw +2 more
openaire +2 more sources
Ferroelectricity in Antiferromagnetic Wurtzite Nitrides
Advanced Functional Materials, EarlyView.We establish MnSiN2${\rm MnSiN}_2$ and MnGeN2${\rm MnGeN}_2$ as aristotypes of a new multiferroic wurtzite family that simultaneously exhibits ferroelectricity and antiferromagnetism with altermagnetic spin splitting. By strategically substituting alkaline‐earth metals, we predict new materials with coexisting switchable polarization, spin texture, and
Steven M. Baksa +3 more
wiley +1 more source
Computational and Memory Efficiency in Heartbeat Rate Detection: A Review of ECG and PPG Techniques
Sensors(1) Background: Heartbeat detection from electrocardiogram (ECG) and photoplethysmograph (PPG) signals is widely used in wearable devices for health monitoring, fitness tracking, and stress assessment.
Manuel Merino-Monge +4 more
doaj +1 more source
Mathematical and Computational Applications, 2019 The simulation of complex engineering structures built from magneto-rheological elastomers is a computationally challenging task. Using the FE 2 method, which is based on computational homogenisation, leads to the repetitive solution of micro ...
Benjamin Brands +3 more
doaj +1 more source