Results 241 to 250 of about 21,114 (301)
Postponement of $$\mathsf {raa}$$ raa and Glivenko’s Theorem, Revisited
Studia Logica, 2018 We study how to postpone the application of the reductio ad absurdum rule (raa) in classical natural deduction. This technique is connected with two normalization strategies for classical logic, due to Prawitz and Seldin, respectively. We introduce a variant of Seldin’s strategy for the postponement of raa, which induces a negative translation (a ...
Giulio Guerrieri, Alberto Naibo
openaire +3 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
2018 18th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGRID), 2018
Cloud computing is continuously increasing its popularity as key features such as scalability, pay-per-use and availability continue to evolve. It is also becoming a competitive platform for running high performance computing (HPC) and parallel applications due to the increasing performance of virtualized, highly-available instances. However, migrating
Jorge Villamayor +3 more
openaire +1 more source
Cloud computing is continuously increasing its popularity as key features such as scalability, pay-per-use and availability continue to evolve. It is also becoming a competitive platform for running high performance computing (HPC) and parallel applications due to the increasing performance of virtualized, highly-available instances. However, migrating
Jorge Villamayor +3 more
openaire +1 more source
Expert Review of Cardiovascular Therapy, 2011
The renin–angiotensin–aldosterone system (RAAS) plays a critical role in the homeostatic control of vascular tone and extracellular volume.
Niren K, Shah +2 more
openaire +2 more sources
The renin–angiotensin–aldosterone system (RAAS) plays a critical role in the homeostatic control of vascular tone and extracellular volume.
Niren K, Shah +2 more
openaire +2 more sources
2016 IEEE International Conference on Services Computing (SCC), 2016
Choice is a pervasive feature of social life that profoundly affects us. Ranking results can be used as a reference to help people make a correct choice. But there are two problems. One problem is that fixed ranking results instead of the ranking methods are provided to people by service providers as a reference when making choice at most time.
Chen-Cheng Ye 0003 +4 more
openaire +1 more source
Choice is a pervasive feature of social life that profoundly affects us. Ranking results can be used as a reference to help people make a correct choice. But there are two problems. One problem is that fixed ranking results instead of the ranking methods are provided to people by service providers as a reference when making choice at most time.
Chen-Cheng Ye 0003 +4 more
openaire +1 more source
Repository as a Service (RaaS). [PDF]
J. Digit. Inf., 2012 In his oft-quoted seminal paper ‘Institutional Repositories: Essential Infrastructure For Scholarship In The Digital Age’ Clifford Lynch (2003) described the Institutional Repository as “a set of services that a university offers to the members of its community for the management and dissemination of digital materials created by the institution and its
Lewis, Stuart +4 more
openaire +3 more sources
Communications of the ACM, 2014
In the RaaS cloud, virtual machines trade in fine-grain resources on the fly.
Orna Agmon Ben-Yehuda +3 more
openaire +1 more source
In the RaaS cloud, virtual machines trade in fine-grain resources on the fly.
Orna Agmon Ben-Yehuda +3 more
openaire +1 more source
RaaS and Hierarchical Aggregation Revisited
2017 IEEE International Conference on Web Services (ICWS), 2017Consumer ratings are widely used in online marketplaces—helping vendors in assessing the quality of offerings and consumers in discovery and purchase decisions. To build trust in a marketplace, which has a direct impact on sales, an accurate assessment of ratings is essential in determining the quality of offerings. This paper proposes novel extensions
Rohit Ranchal +5 more
openaire +2 more sources