Results 11 to 20 of about 1,164,839 (255)
Journal of Automated Reasoning, 2023 AbstractAVATAR is an elegant and effective way to split clauses in a saturation prover using a SAT solver. But is it refutationally complete? And how does it relate to other splitting architectures? To answer these questions, we present a unifying framework that extends a saturation calculus (e.g., superposition) with splitting and that embeds the ...
Ebner, Gabriel +2 more
openaire +5 more sources
Annals of Mathematics and Artificial Intelligence, 2008 We define a superposition calculus with explicit splitting and an explicit, new backtracking rule on the basis of labelled clauses. For the first time we show a superposition calculus with explicit backtracking rule sound and complete. The new backtracking rule advances backtracking with branch condensing known from SPASS. An experimental evaluation of
Fietzke, A. +1 more
openaire +5 more sources
End-to-End Evaluation of Federated Learning and Split Learning for Internet of Things [PDF]
IEEE International Symposium on Reliable Distributed Systems, 2020 Federated learning (FL) and split neural networks (SplitNN) are state-of-art distributed machine learning techniques to enable machine learning without directly accessing raw data on clients or end devices.
Yansong Gao +8 more
semanticscholar +1 more source
Large scale bias and the peak background split [PDF]
, 1999 Dark matter haloes are biased tracers of the underlying dark matter distribution. We use a simple model to provide a relation between the abundance of dark matter haloes and their spatial distribution on large scales.
Ravi K. Sheth Giuseppe Tormen
semanticscholar +1 more source
Unleashing the Tiger: Inference Attacks on Split Learning [PDF]
Conference on Computer and Communications Security, 2020 We investigate the security of split learning---a novel collaborative machine learning framework that enables peak performance by requiring minimal resource consumption.
Dario Pasquini +2 more
semanticscholar +1 more source
The American Journal of Human Genetics, 2002 Causative TP63 mutations have been identified in five distinct human developmental disorders that are characterized by various degrees of limb abnormalities, ectodermal dysplasia, and facial clefts. The distribution of mutations over the various p63 protein domains and the structural and functional implications of these mutations establish a clear ...
Bokhoven, J.H.L.M. van, Brunner, H.G.
openaire +3 more sources
Effect of Dataset Size and Train/Test Split Ratios in QSAR/QSPR Multiclass Classification
Molecules, 2021 Applied datasets can vary from a few hundred to thousands of samples in typical quantitative structure-activity/property (QSAR/QSPR) relationships and classification.
Anita Rácz, D. Bajusz, K. Héberger
semanticscholar +1 more source
Split Decisions, Split Decisions [PDF]
The Scientific World Journal, 2000 The lead stories in Nature and Science went in opposite directions this week. Science chose outer space, launching into NASA’s hotly disputed decision to shelve a planned mission to Pluto. Nature plunged into inner space with a story about a report to the European Commission advising against granting “premature” approval to create human embryos for ...
openaire +3 more sources
Splithalf: Robust Estimates of Split Half Reliability
Journal of Open Source Software, 2021 The methods in splithalf are built around split half reliability estimation. To increase the robustness of these estimates, the package implements a permutation approach that takes a large number of random (without replacement) split halves of the data ...
S. Parsons
semanticscholar +1 more source