Results 21 to 30 of about 380,355 (349)
Mathematics, 2023 In the realm of data protection strategies, differential privacy ensures that unauthorized entities cannot reconstruct original data from system outputs. This study explores discrete event systems, specifically through probabilistic automata.
Tareq Ahmad Al-Sarayrah +4 more
doaj +1 more source
Journal of Electrical and Computer Engineering, 2022 With the increasing improvement of people’s living standards, more and more tourists choose to travel independently, which puts forward higher requirements for the existing tourist guide system of scenic spots. Augmented reality (AR) is a technology that
Xueqiu Zhuang, Huihua Jiao, Kai Lu
doaj +1 more source
Uncertainty Quantification of Steady-State Seepage Through Earth-fill Dams by Random Finite Element Method and Multivariate Adaptive Regression Splines [PDF]
Journal of Hydraulic Structures, 2023 This paper aims to investigate the effects of uncertainty in soil characteristics and dam geometry on seepage flow using the hybrid Multivariate Adaptive Regression Splines (MARS) and Monte Carlo Method (MCM).
Milad Kheiry, Farhoud Kalateh
doaj +1 more source
RDA: A Coq Library to Reason about Randomised Distributed Algorithms in the Message Passing Model [PDF]
Scientific Annals of Computer Science, 2016 Distributed algorithms have received considerable attention and were studied intensively in the past few decades. Under some hypotheses on the distributed system, there is no deterministic solution to certain classical problems.
A. Fontaine, A. Zemmari
doaj +1 more source
Some recent results in the analysis of greedy algorithms for assignment problems [PDF]
, 1993 We survey some recent developments in the analysis of greedy algorithms for assignment and transportation problems. We focus on the linear programming model for matroids and linear assignment problems with Monge property, on general linear programs ...
Faigle, Ulrich
core +7 more sources
An assessment tool for computer-assisted semen analysis (CASA) algorithms
Scientific Reports, 2022 Computer-Assisted Semen Analysis (CASA) enables reliable analysis of semen images, and is designed to process large number of images with high consistency, accuracy, and repeatability.
Ji-won Choi +5 more
doaj +1 more source
应用气象学报, 2022 To address the practical needs of objectively describing the uncertainty of rainfall-based landslides and the existing problems of single warning indicators and subjective forecasting methods in the meteorological disaster early warning business ...
Liu Haizhi +6 more
doaj +1 more source
Quantitative analysis of assertion violations in probabilistic programs [PDF]
ACM-SIGPLAN Symposium on Programming Language Design and Implementation, 2020 We consider the fundamental problem of deriving quantitative bounds on the probability that a given assertion is violated in a probabilistic program.
Jinyi Wang +4 more
semanticscholar +1 more source
A deterministic algorithm for the discrete logarithm problem in a semigroup
Journal of Mathematical Cryptology, 2022 The discrete logarithm problem (DLP) in a finite group is the basis for many protocols in cryptography. The best general algorithms which solve this problem have a time complexity of O(NlogN)O\left(\sqrt{N}\log N) and a space complexity of O(N)O\left ...
Tinani Simran, Rosenthal Joachim
doaj +1 more source
Public Opinion Sentiment Big Data Analysis Ensemble Method Based on Spark [PDF]
Jisuanji kexue, 2021 With the development of mobile Internet technology,social media has become the main approach for the public to share views and express their emotions.Sentiment analysis for social media texts in major social events can effectively monitor public opinion ...
DAI Hong-liang, ZHONG Guo-jin, YOU Zhi-ming , DAI Hong-ming
doaj +1 more source