Filters








5,249 Hits in 5.4 sec

Pbft Vs Proof-Of-Authority: Applying The Cap Theorem To Permissioned Blockchain

S. De Angelis, L. Aniello, R. Baldoni, F. Lombardi, A. Margheri, V. Sassone
2017 Zenodo  
First, we derive their functioning including how messages are exchanged, then we weight, by relying on the CAP theorem, consistency, availability and partition tolerance guarantees.  ...  The analysis advocates that PoA for per-missioned blockchains, deployed over the Internet with Byzantine nodes, do not provide adequate consistency guarantees for scenarios where data integrity is essential  ...  Consistency and Availability Analysis based on CAP Theorem The CAP Theorem [3] states that in a distributed data store only two out of the three following properties can be ensured: Consistency (C),  ... 
doi:10.5281/zenodo.1169272 fatcat:kgy2m4inkja5tbryaiwkpehjfq

Formalizing the Solution to the Cap Set Problem

Sander R. Dahmen, Johannes Hölzl, Robert Y. Lewis, Michael Wagner
2019 International Conference on Interactive Theorem Proving  
This problem has received much mathematical attention, particularly in the case q = 3, where it is commonly known as the cap set problem.  ...  Ellenberg and Gijswijt's proof was published in the Annals of Mathematics and is noteworthy for its clever use of elementary methods.  ...  We thank Jeremy Avigad and Jasmin Blanchette for helpful comments on this paper, Dion Gijswijt for suggesting an improvement to our asymptotic bound argument, and Manuel Eberl for pointing us to related  ... 
doi:10.4230/lipics.itp.2019.15 dblp:conf/itp/DahmenHL19 fatcat:7t7grrrxsne3favfrb6yoxmqiy

Calabi-Yau caps, uniruled caps and symplectic fillings

Tian-Jun Li, Cheuk Yu Mak, Kouichi Yasui
2017 Proceedings of the London Mathematical Society  
We introduce symplectic Calabi-Yau caps to obtain new obstructions to exact fillings.  ...  its disk cotangent bundle.  ...  He also thanks Michigan State university and University of Minnesota, where this work was mainly done, for their hospitality.  ... 
doi:10.1112/plms.12007 fatcat:6fwpxa7o2bca5kcfahihizefpy

Achieving fault tolerance on capped color codes with few ancillas [article]

Theerapat Tansuwannont, Debbie Leung
2022 arXiv   pre-print
A 104, 042410 (2021)] to families of capped and recursive capped color codes.  ...  Our protocols for a capped or a recursive capped color code of any distance require only 2 ancillas, assuming that the ancillas can be reused.  ...  and stacked codes, the alternative proof of Theorem 2 presented in this work, and possible future directions.  ... 
arXiv:2106.02649v4 fatcat:ewbpxqrjjvau5adfataehokbl4

Logically Consistent Adversarial Attacks for Soft Theorem Provers [article]

Alexander Gaskell, Yishu Miao, Lucia Specia, Francesca Toni
2022 arXiv   pre-print
Recent efforts within the AI community have yielded impressive results towards "soft theorem proving" over natural language sentences using language models.  ...  Finally, in addition to effective probing of these models, we show that training on the generated samples improves the target model's performance.  ...  Quantitative Table 5 Related Work Transformers as Soft Theorem Provers Our study is closely related to the RuleTakers line of work .  ... 
arXiv:2205.00047v1 fatcat:jjtwzez75fbzpfkkvtrspyxgdm

Identifying the Mysterious EGRET Sources: Signatures of Polar Cap Pulsar Models [article]

Matthew G. Baring
2001 arXiv   pre-print
This review summarizes relevant characteristics of the polar cap model, emphasizing where possible distinctions from the competing outer gap model.  ...  At this juncture, it is salient to outline the principal predictions of pulsar models that might aid identification of gamma-ray sources, and moreover propel subsequent interpretation of their properties  ...  POLAR CAP MODELS OF GAMMA-RAY PULSARS The polar cap scenario is attractive from a physics perspective. Nevertheless, like its outer gap competitor, it remains unproven.  ... 
arXiv:astro-ph/0106161v1 fatcat:yaw7ug4cjzaf7br4kiotqpsw7i

Assessment of US GHG cap-and-trade proposals

SERGEY PALTSEV, JOHN M. Reilly, HENRY D. JACOBY, ANGELO C. GURGEL, GILBERT E. METCALF, ANDREI P. SOKOLOV, JENNIFER F. HOLAK
2008 Climate Policy  
The MIT Emissions Prediction and Policy Analysis model is applied to an assessment of a set of cap-and-trade proposals being considered by the U.S. Congress in spring 2007.  ...  Simulations using the MIT Integrated System Model show that the 50% to 80% targets are consistent with global goals of atmospheric stabilization at 450 to 550 ppmv CO 2 but only if other nations, including  ...  , and prices and quantities are revised to be consistent with that improving knowledge.  ... 
doi:10.3763/cpol.2007.0437 fatcat:w5cv2v5yyrb6jpsulbdliaepeu

The Optimal Decisions for a Sustainable Supply Chain with Carbon Information Asymmetry under Cap-and-Trade

Baiyun Yuan, Bingmei Gu, Jin Guo, Liangjie Xia, Chunming Xu
2018 Sustainability  
In this paper, we firstly investigate issues of low carbon supply chain including one retailer and one manufacturer in the context of joint information asymmetry and cap-and-trade mechanism, where the  ...  Finally, we give a couple of numerical examples and undertake sensitivity analysis to illustrate the proposed model and provide some managerial inferences in the conclusions.  ...  Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/su10041002 fatcat:ucemqrywwnhspaqpnq5zevw7ee

Identifying the Mysterious Egret Sources: Signatures of Polar Cap Pulsar Models [chapter]

Matthew G. Baring
2001 Astrophysics and Space Science Library  
This review summarizes relevant characteristics of the polar cap model, emphasizing where possible distinctions from the competing outer gap model.  ...  At this juncture, it is salient to outline the principal predictions of pulsar models that might aid identification of gamma-ray sources, and moreover propel subsequent interpretation of their properties  ...  POLAR CAP MODELS OF GAMMA-RAY PULSARS The polar cap scenario is attractive from a physics perspective. Nevertheless, like its outer gap competitor, it remains unproven.  ... 
doi:10.1007/978-94-010-1007-8_12 fatcat:anzbtmjewzfdfh7gkqlvwverie

The Bell-Kochen-Specker Theorem [article]

D. M. Appleby
2003 arXiv   pre-print
Meyer, Kent and Clifton (MKC) claim to have nullified the Bell-Kochen-Specker (Bell-KS) theorem. It is true that they invalidate KS's account of the theorem's physical implications.  ...  We prove a general theorem which shows that their extent is at least as great as the patches of white in a conventional approach.  ...  It means, in particular, that Bell's emphasis on the active role of the apparatus needs revision. Nevertheless, their models still are hidden variables theories.  ... 
arXiv:quant-ph/0308114v1 fatcat:vwypyzxc7rbzjekdeycnqryr44

The Bell–Kochen–Specker theorem

D.M. Appleby
2005 Studies in history and philosophy of modern physics  
Meyer, Kent and Clifton (MKC) claim to have nullified the Bell-Kochen-Specker (Bell-KS) theorem. It is true that they invalidate KS's account of the theorem's physical implications.  ...  We prove a general theorem which shows that their extent is at least as great as the patches of white in a conventional approach.  ...  It means, in particular, that Bell's emphasis on the active role of the apparatus needs revision. Nevertheless, their models still are hidden variables theories.  ... 
doi:10.1016/j.shpsb.2004.05.003 fatcat:s5pgegwlazaozpeqlu5cwiqabu

Collecting commonsense experiences

Push Singh, Barbara Barry
2003 Proceedings of the international conference on Knowledge capture - K-CAP '03  
The OMCS project focused on collecting largely assertional commonsense knowledge, and we describe some of its products and spin-offs.  ...  We then explain the features of the new OMEX site and give an evaluation of system based on a preliminary user study. We conclude by discussing our future directions.  ...  This project was supported by the sponsors of the MIT Media Lab.  ... 
doi:10.1145/945649.945668 fatcat:wxsoykxecjgdjaie4ut4r2p2dy

Double-diffusive convection in a rotating cylindrical annulus with conical caps

Radostin D. Simitev
2011 Physics of the Earth and Planetary Interiors  
It is shown that the neutral surface describing the onset of convection in the double-buoyancy case is essentially different from that of the well-studied purely thermal case, and does indeed allow the  ...  Double-diffusive convection driven by both thermal and compositional buoyancy in a rotating cylindrical annulus with conical caps is considered with the aim to establish whether a small fraction of compositional  ...  To this end, a simple model of a rotating cylindrical annulus with conical end caps is considered here.  ... 
doi:10.1016/j.pepi.2011.04.007 fatcat:rhwkvluxrfa6nl36pbv756cise

No One Knows the Date or the Hour: An Unorthodox Application of Rev. Bayes's Theorem

Paul Bartha, Christopher Hitchcock
1999 Philosophy of Science  
Carter and Leslie (1996) have argued, using Bayes's theorem, that our being alive now supports the hypothesis of an early 'Doomsday'.  ...  The University of Chicago Press and Philosophy of Science Association are collaborating with JSTOR to digitize, preserve and extend access to Philosophy of Science.  ...  Nonetheless, it is worth exploring the consequences of removing the cap for Leslie's argument.  ... 
doi:10.1086/392736 fatcat:q36kvjj4sfec7i3tw2m5i6x4hu

The Relative Valuation of Caps and Swaptions: Theory and Empirical Evidence

Francis A. Longstaff, Pedro Santa-Clara, Eduardo S. Schwartz
2000 Social Science Research Network  
Although traded as distinct products, caps and swaptions are linked by no-arbitrage relations through the correlation structure of interest rates.  ...  Using a string market model framework, we solve for the correlation matrix implied by the swaptions market and examine the relative valuation of caps and swaptions.  ...  It is important to note that the relation between swaption and cap prices implied by the model is a contemporaneous one; the prices of caps at time t in the model are implied from the prices of swaptions  ... 
doi:10.2139/ssrn.216458 fatcat:fz5atzpilfdcljfjtebg7mg23i
« Previous Showing results 1 — 15 out of 5,249 results