Results 91 to 100 of about 2,137,054 (245)

A Short Note on Generating a Random Sample from Finite Mixture Distributions

Axioms
Computational statistics is a critical skill for professionals in fields such as data science, statistics, and related disciplines. One essential aspect of computational statistics is the ability to simulate random variables from specified probability ...
Luai Al-Labadi, Anna Ly
doaj   +1 more source

DigiChrom: A Domain Ontology for Semantic Representation of Trivalent Chromium Platings and Its Large Language Model‐Based Alignment With Multiple Mid‐Level Ontologies

Advanced Engineering Materials, EarlyView.
Digitalizing electroplating requires both domain knowledge and interoperability. This work introduces PlatOn, a domain ontology for trivalent chromium plating and coating characterization, and a hybrid pipeline that aligns it to a mid‐level reference ontology by combining eight similarity metrics with language model reasoning. Expert‐validated mappings
Janik Harter, Elena Garcia Trelles, Christoph Schweizer, Thomas Seifert, Christoph Baumer, Mahmoud Elkady, Katja Feige, Daniel Grimme, Edgar Hoffmann, Andreas Waibel, Anke Walter   +10 more
wiley   +1 more source

Efficient Volume Computation for SMT Formulas

Proceedings of the TwentySecond International Conference on Principles of Knowledge Representation and Reasoning
Satisfiability 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, Uddalok Sarkar, Kuldeep S. Meel   +2 more
openaire   +2 more sources

DLNet: A Dual-Level Network with Self- and Cross-Attention for High-Resolution Remote Sensing Segmentation

Remote Sensing
With advancements in remote sensing technologies, high-resolution imagery has become increasingly accessible, supporting applications in urban planning, environmental monitoring, and precision agriculture.
Weijun Meng, Lianlei Shan, Sugang Ma, Dan Liu, Bin Hu   +4 more
doaj   +1 more source

High‐Resolution Corrosion Fingerprinting of Alloy Libraries via Microdroplet Spectroelectrochemistry

Advanced Engineering Materials, EarlyView.
Ionic‐liquid microdroplet spectroelectrochemistry enables stable, localized electrochemical measurements over extended timescales. By coupling impedance spectroscopy, wetting analysis, finite‐element simulations, and operando Raman spectroscopy, it disentangles geometrical and electrochemical effects, opening new opportunities for rapid corrosion ...
Ekaterina Kurchavova, Oumaïma Gharbi, Mireille Turmine, Vincent Vivier   +3 more
wiley   +1 more source

On Computing k-CNF Formula Properties [PDF]

, 2004
The latest generation of SAT solvers (e.g. [10,7]) generally have three key features: randomization of variable selection, backtracking search, and some form of clause learning. We present a simple algorithm with these three features and prove that for instances with constant Δ (where Δ is the clause-to-variable ratio) the algorithm indeed has good ...
openaire   +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, Clara Lebrato-Vázquez, Juan Antonio Castro-García, Gemma Sánchez-Antón, Alberto Jesús Molina-Cantero   +4 more
doaj   +1 more source

[Formula SENA. jurados]

, 2010
Nota sobre el trabajo realizado por el SENA en la preparación de aprendices capacitados para elaborar bólidos de carrera tipo monoplaza formula mil, se mencionan los jurados del campeonato, las 12 escuderías del campeonato formula SENA conformada por ...

core  

OntOMat: Toward Ontology‐Based Product and Process Design Engineering and Optimization Solutions Fueling Circular Value Chains

Advanced Engineering Materials, EarlyView.
The OntOMat ontology establishes a structured framework for polymer matrix fiber reinforced composite materials, integrating manufacturing processes, characterization methods, and multiscale design through the VDI/VDE 3682 formalized process description standard.
Nicolas Christ, Jörg Hohe, Martin Kördel, Michael Giese, Niklas Toffert, Christian Seidel, Olaf Rehme, Patrik Schneider, Oliver Focke, Elie Abi Aoun, Claas Falldorf, Beñat Gutierrez, Alexandra Kühn, Sven Torstrick-von der Lieth, Christoph Herden, Erik Johannsen, Jan‐Uwe R. Schmidt, Felix Winkelmann, Andreas Schott, Daniel Schott   +19 more
wiley   +1 more source

Reliable computation by formulas in the presence of noise

IEEE Transactions on Information Theory, 1988
Summary: It is shown that if formulas are used to compute Boolean functions in the presence of randomly occurring failures (as has been suggested by von Neumann and others), then 1) there is a limit strictly less than 1/2 to the failure probability per gate that can be tolerated, and 2) formulas that tolerate failures must be deeper (and, therefore ...
openaire   +4 more sources