Results 1 to 10 of about 762,582 (351)
SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds [PDF]
This paper presents SAILFISH, a scalable system for automatically finding state-inconsistency bugs in smart contracts. To make the analysis tractable, we introduce a hybrid approach that includes (i) a light-weight exploration phase that dramatically ...
Priyanka Bose +5 more
semanticscholar +1 more source
Eluding Secure Aggregation in Federated Learning via Model Inconsistency [PDF]
Secure aggregation is a cryptographic protocol that securely computes the aggregation of its inputs. It is pivotal in keeping model updates private in federated learning.
Dario Pasquini +2 more
semanticscholar +1 more source
Inconsistency of islands in theories with long-range gravity [PDF]
In ordinary gravitational theories, any local bulk operator in an entanglement wedge is accompanied by a long-range gravitational dressing that extends to the asymptotic part of the wedge.
H. Geng +6 more
semanticscholar +1 more source
Tangerang Regency has an economic structure dominated by the industrial sector. Population distribution, settlement location and industrial influenced land use patterns and regional development levels in Tangerang Regency. The objectives of this research
Iis Rismawati +2 more
doaj +1 more source
Delving into the Local: Dynamic Inconsistency Learning for DeepFake Video Detection
The rapid development of facial manipulation techniques has aroused public concerns in recent years. Existing deepfake video detection approaches attempt to capture the discrim- inative features between real and fake faces based on tem- poral modelling ...
Zhihao Gu +5 more
semanticscholar +1 more source
Rough set theory gives approximation models of complex knowledge structure. Agents are not present in the definition of the rough sets. Now we will show that a set of conflicting agents or active set can be used to model inconsistent decision in rough ...
Germano Resconi, Chris Hinde
doaj +1 more source
A Review of the Translation of Qur'an Done by Muhammad Mahdi Fuladvand [PDF]
Mr. M. M. Fuladvand began his translation of the Qur'an 37 years ago. In 1346 Lunear year. as a first step he published a translation of two chapters of the Qur'an under the name of a "Flowers of the Holy Qura'n". This was esteemed by scholars.
Reza Rostamizadeh
doaj +1 more source
Referring to a civil case number 415/Pdt.G/2022/PN.Jkt.Brt, the plaintiffs who are the testator’s wife and daughter file a Tortious lawsuit against the defendant for an unlawful act.
Azmi Ansyari +3 more
doaj +1 more source
Inconsistency thresholds for incomplete pairwise comparison matrices [PDF]
Pairwise comparison matrices are increasingly used in settings where some pairs are missing. However, there exist few inconsistency indices for similar incomplete data sets and no reasonable measure has an associated threshold. This paper generalises the
K. Ágoston, L'aszl'o Csat'o
semanticscholar +1 more source
How Consistent Are Consumers in Their Decisions? Investigation of Houseplant Purchasing
This paper examines the impact of intrinsic consumer attributes on decision consistency in houseplant purchasing intentions. Subjects reported their likelihood to buy (LTB) for themselves and as a gift at perceived bargain and getting expensive price ...
Melinda J. Knuth +2 more
doaj +1 more source

