Results 31 to 40 of about 47,216 (248)
Finite element model of laminate construction element with multi-phase microstructure
Science and Engineering of Composite Materials, 2020 The article describes a method of creating a mesoscale finite element model of a fabric reinforced laminate that replicates the smallest repetitive fragment of its microstructure – RUC (Repetitive Unit Cell). The model takes into account the influence of
Marszałek Jerzy +2 more
doaj +1 more source
Water Supply, 2021 Groundwater depletion poses a major threat to global groundwater resources with increasing trends due to natural and anthropogenic activities. This study presents a surface-groundwater framework for water resources modelling of ill-posed problems in ...
G. Tziatzios +5 more
doaj +1 more source
The creation of a computational model of corrugated beams using the author’s program “GOPRO”
MATEC Web of Conferences, 2018 The program «Gofro» is intended for the automated generation of data on the geometrical scheme of the beam with corrugated or plane web for further use in design complexes.
Alpatov Vadim +2 more
doaj +1 more source
Time invariant data preprocessor for the climate version of the COSMO model (COSMO-CLM)
Meteorologische Zeitschrift, 2008 The PrEProcessor of time invariant parameters required for the boundary data definition in the COSMO-CLM is described. PEP incorporates the present preprocessor from DWD and gives additional access to the geospatial information provided by the ECOCLIMAP ...
Gerhard Smiatek +2 more
doaj +1 more source
Applied Sciences, 2023 The implementation of a brain–computer interface (BCI) using electroencephalography typically entails two phases: feature extraction and classification utilizing a classifier. Consequently, there are numerous disordered combinations of feature extraction
Kenshi Machida +2 more
doaj +1 more source
Extending SMTCoq, a Certified Checker for SMT (Extended Abstract)
, 2016 This extended abstract reports on current progress of SMTCoq, a communication tool between the Coq proof assistant and external SAT and SMT solvers. Based on a checker for generic first-order certificates implemented and proved correct in Coq, SMTCoq ...
Ekici, Burak +5 more
core +4 more sources
A Noise Reduction Preprocessor for Mobile Voice Communication
EURASIP Journal on Advances in Signal Processing, 2004 We describe a speech enhancement algorithm which leads to significant quality and intelligibility improvements when used as a preprocessor to a low bit rate speech coder.
Rainer Martin +3 more
doaj +1 more source
The use of associative semantic preprocessor in the interactive dialogue systems in natural language
Труды Института системного программирования РАН, 2018 The article explores the possibility of using an associative-semantic preprocessor for special text processing in natural language. The use of associations allow to abstract from the direct meaning of a word and to replace it with a set of other words ...
V. E. Sachkov
doaj +1 more source
Broadband Photonic Down-Conversion Preprocessor for ADC With Arcsine Equalization
IEEE Photonics Journal, 2020 It is a challenge to convert broadband millimeter-wave signals directly with electronic analog-to-digital converters (ADCs). The photonic down-conversion preprocessor is a promising solution.
Rui Guo +6 more
doaj +1 more source
Program development using abstract interpretation (and the ciao system preprocessor) [PDF]
, 2003 The technique of Abstract Interpretation has allowed the development of very sophisticated global program analyses which are at the same time provably correct and practical.
Bueno Carrillo, Francisco +3 more
core +2 more sources