LEADER 04036nam 2200685 450 001 9910464069503321 005 20200520144314.0 010 $a1-5017-5129-8 010 $a1-60909-157-4 024 7 $a10.7591/9781501751295 035 $a(CKB)2670000000557807 035 $a(EBL)3382558 035 $a(SSID)ssj0001266321 035 $a(PQKBManifestationID)11835126 035 $a(PQKBTitleCode)TC0001266321 035 $a(PQKBWorkID)11243543 035 $a(PQKB)10050146 035 $a(MiAaPQ)EBC3382558 035 $a(OCoLC)879927552 035 $a(MdBmJHUP)muse33099 035 $a(DE-B1597)546134 035 $a(DE-B1597)9781501751295 035 $a(Au-PeEL)EBL3382558 035 $a(CaPaEBR)ebr10950042 035 $a(OCoLC)923310847 035 $a(OCoLC)1198931150 035 $a(EXLCZ)992670000000557807 100 $a20141015h20142014 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aReason, revelation, and the civic order $epolitical philosophy and the claims of faith /$fedited by Paul R. DeHart and Carson Holloway ; Shaun Allshouse, design 210 1$aDeKalb, Illinois :$cNIU Press,$d2014. 210 4$d©2014 215 $a1 online resource (270 p.) 300 $aIncludes index. 311 $a0-87580-484-5 327 $aIntroduction / Carson Holloway and Paul R. DeHart -- Heinrich Meier's Straussian refutation of revelation / Carson Holloway -- Political philosophy after the collapse of classical, epistemic foundationalism / Paul R. DeHart -- Eros and agape revisited : reconciling classical eudaemonism with Christian love? / Robert C. Koons -- The strange second life of confessional states / J. Budziszewski -- Defending the personal logos today / Peter Augustine Lawler -- Pierre Manent : between nature and history / Ralph C. Hancock -- Catholicism and the constitution / James R. Stoner, Jr -- Beholden to revelation? : scripture's role as public knowledge and moral authority / Micah Watson -- Fides, ratio et juris : how some courts and some legal theorists misrepresent the rational status of religious beliefs / Francis J. Beckwith -- Richard Rorty's secular gods and unphilosophic philosophers / Luigi Bradizza -- Converting secularism / R.J. Snell. 330 $aWhile the dominant approaches to the current study of political philosophy are various, with some friendlier to religious belief than others, almost all place constraints on the philosophic and political role of revelation. Mainstream secular political theorists do not entirely disregard religion. But to the extent that they pay attention, their treatment of religious belief is seen more as a political or philosophic problem to be addressed rather than as a positive body of thought from which we might derive important insights about the nature of politics and the truth of the human condition.In a one-of-a-kind collection, DeHart and Holloway bring together leading scholars from various fields, including political science, philosophy, and theology, to challenge the prevailing orthodoxy and to demonstrate the role that religion can and does play in political life. Contributing authors include such important thinkers as Peter Augustine Lawler, Robert C. Koons, J. Budziszewski, Francis J. Beckwith, and James Stoner.   606 $aReligion and politics 606 $aRevelation 606 $aPolitical science$xPhilosophy 608 $aElectronic books. 615 0$aReligion and politics. 615 0$aRevelation. 615 0$aPolitical science$xPhilosophy. 676 $a201/.72 700 $aHolloway$b Carson, $4aut$4http://id.loc.gov/vocabulary/relators/aut$01047808 702 $aDeHart$b Paul R.$f1975- 702 $aHolloway$b Carson$f1969- 702 $aShaun Allshouse$b Shaun 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910464069503321 996 $aReason, revelation, and the civic order$92475663 997 $aUNINA LEADER 07659nam 22008655 450 001 996215839903316 005 20230220133345.0 010 $a3-662-48096-4 024 7 $a10.1007/978-3-662-48096-0 035 $a(CKB)3710000000454296 035 $a(SSID)ssj0001558509 035 $a(PQKBManifestationID)16183643 035 $a(PQKBTitleCode)TC0001558509 035 $a(PQKBWorkID)14818936 035 $a(PQKB)10753180 035 $a(DE-He213)978-3-662-48096-0 035 $a(MiAaPQ)EBC6281113 035 $a(MiAaPQ)EBC5595709 035 $a(Au-PeEL)EBL5595709 035 $a(OCoLC)1076258165 035 $a(PPN)187689008 035 $a(EXLCZ)993710000000454296 100 $a20150724d2015 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aEuro-Par 2015: Parallel Processing$b[electronic resource] $e21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings /$fedited by Jesper Larsson Träff, Sascha Hunold, Francesco Versaci 205 $a1st ed. 2015. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2015. 215 $a1 online resource (XXXV, 703 p. 232 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9233 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-662-48095-6 327 $aConcurrent Systems: Hybrid Object Implementations and Abortable Objects -- Runtime-Aware Architectures -- MPI Thread-Level Checking for MPI+OpenMP Applications -- Event-Action Mappings for Parallel Tools Infrastructures -- Low-Overhead Detection of Memory Access Patterns and Their Time Evolution -- Automatic On-line Detection of MPI Application Structure with Event Flow Graphs -- Online Automated Reliability Classification of Queueing Models for Streaming Processing Using Support Vector Machines -- A Duplicate-Free State-Space Model for Optimal Task Scheduling -- On the Heterogeneity Bias of Cost Matrices when Assessing Scheduling Algorithms -- Hardware Round-Robin Scheduler for Single-ISA Asymmetric Multi-Core -- Moody Scheduling for Speculative Parallelization -- Allocating Jobs with Periodic Demands -- A Multi?Level Hypergraph Partitioning Algorithm Using Rough Set Clustering -- Non-preemptive Throughput Maximization for Speed-Scaling with Power-Down -- Scheduling Tasks from Selfish Multi-tasks Agents -- Locality and Balance for Communication-Aware Thread Mapping in Multicore Systems -- Concurrent Priority Queues Are not Good Priority Schedulers -- Load Balancing Prioritized Tasks via Work-Stealing -- Optimizing Task Parallelism with Library-Semantics-Aware Compilation -- Data Layout Optimization for Portable Performance -- Automatic Data Layout Optimizations for GPUs -- Performance Impacts with Reliable Parallel File Systems at Exascale Level -- Rapid Tomographic Image Reconstruction via Large-Scale Parallelization -- Software consolidation as an efficient energy and cost Saving Solution for a SaaS/PaaS Cloud Model -- VMPlaceS A Generic Tool to Investigate and Compare VM Placement Algorithms -- A Connectivity Model for Agreement in Dynamic Systems -- DFEP: Distributed Funding-based Edge Partitioning -- PR-STM: Priority Rule Based Software Transactions on the GPU -- Leveraging MPI-3 Shared-Memory Extensions for Efficient PGAS Runtime Systems -- A Practical Transactional Memory Interface -- A Multicore Parallelization of Continuous Skyline Queries on Data Streams -- A Fast and Scalable Graph Coloring Algorithm for Multi-core and Many-core Architectures -- A Composable Deadlock-Free Approach to Object-Based Isolation -- Scalable Data-Driven PageRank: Algorithms, System Issues & Lessons Learned -- How Many Threads Will Be Too Many? On the Scalability of OpenMP Implementations -- Efficient Nested Dissection for Multicore Architectures -- Scheduling Trees of Malleable Tasks for Sparse Linear Algebra -- Elastic Tasks: Unifying Task Parallelism and SPMD Parallelism with an Adaptive Runtime -- Semi-discrete Matrix-Free Formulation of 3D Elastic Full Waveform Inversion Modeling -- 10,000 Performance Models per Minute - Scalability of the UG4 Simulation Framework -- Exploiting Task-Based Parallelism in Bayesian Uncertainty Quantification -- Parallelization of an Advection-Diffusion Problem Arising in Edge Plasma Physics Using Hybrid MPI/OpenMP Programming -- Behavioral Non-Portability in Scientific Numeric Computing -- Fast Parallel Suffix Array on the GPU -- Effective Barrier Synchronization on Intel Xeon Phi Coprocessor -- High Performance Multi-GPU SpMV for Multi-component PDE-based Applications -- Accelerating Lattice Boltzmann Applications with OpenACC -- High-Performance and Scalable Design of MPI-3 RMA on Xeon Phi Clusters -- Improving Performance of Convolutional Neural Networks by Separable Filters on GPU -- Iterative Sparse Triangular Solves for Preconditioning -- Targeting the Parallella -- Systematic Fusion of CUDA Kernels for Iterative Sparse Linear System Solvers -- Efficient Execution of Multiple CUDA Applications using Transparent Suspend, Resume and Migration. 330 $aThis book constitutes the refereed proceedings of the 21st International Conference on Parallel and Distributed Computing, Euro-Par 2015, held in Vienna, Austria, in August 2015. The 51 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 190 submissions. The papers are organized in the following topical sections: support tools and environments; performance modeling, prediction and evaluation; scheduling and load balancing; architecture and compilers; parallel and distributed data management; grid, cluster and cloud computing; distributed systems and algorithms; parallel and distributed programming, interfaces and languages; multi- and many-core programming; theory and algorithms for parallel computation; numerical methods and applications; and accelerator computing. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9233 606 $aCompilers (Computer programs) 606 $aOperating systems (Computers) 606 $aElectronic digital computers?Evaluation 606 $aComputer engineering 606 $aComputer networks 606 $aAlgorithms 606 $aSoftware engineering 606 $aCompilers and Interpreters 606 $aOperating Systems 606 $aSystem Performance and Evaluation 606 $aComputer Engineering and Networks 606 $aAlgorithms 606 $aSoftware Engineering 615 0$aCompilers (Computer programs). 615 0$aOperating systems (Computers). 615 0$aElectronic digital computers?Evaluation. 615 0$aComputer engineering. 615 0$aComputer networks. 615 0$aAlgorithms. 615 0$aSoftware engineering. 615 14$aCompilers and Interpreters. 615 24$aOperating Systems. 615 24$aSystem Performance and Evaluation. 615 24$aComputer Engineering and Networks. 615 24$aAlgorithms. 615 24$aSoftware Engineering. 676 $a004.35 702 $aTräff$b Jesper Larsson$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHunold$b Sascha$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aVersaci$b Francesco$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996215839903316 996 $aEuro-Par 2015: Parallel Processing$92830014 997 $aUNISA