LEADER 02316nam 2200577Ia 450 001 9910777015603321 005 20230421044847.0 010 $a0-19-774046-4 010 $a1-280-52607-6 010 $a0-19-536083-4 010 $a1-4294-0556-2 035 $a(CKB)1000000000415441 035 $a(EBL)272503 035 $a(OCoLC)476011064 035 $a(SSID)ssj0000226250 035 $a(PQKBManifestationID)11200472 035 $a(PQKBTitleCode)TC0000226250 035 $a(PQKBWorkID)10235069 035 $a(PQKB)10021701 035 $a(Au-PeEL)EBL272503 035 $a(CaPaEBR)ebr10278599 035 $a(CaONFJC)MIL52607 035 $a(OCoLC)466427208 035 $a(MiAaPQ)EBC272503 035 $a(EXLCZ)991000000000415441 100 $a19920709d1993 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aPreaching in the last days$b[electronic resource] $ethe theme of "two witnesses" in the sixteenth and seventeenth centuries /$fRodney L. Petersen 210 $aNew York $cOxford University Press$d1993 215 $a1 online resource (333 p.) 300 $aDescription based upon print version of record. 311 $a0-19-507374-6 320 $aIncludes bibliographical references (p. 265-301) and indexes. 327 $aContents; List of Illustrations; 1. Adventual Prophets; 2. Witnesses Through History; 3. The Dawn of Reformation Preaching; 4. Identification or Representation; 5. Bullinger and the Testimony of the Church; 6. Rebuilding the Temple; 7. Self-Conscious Witnesses: John Foxe and the Martyrs; 8. Forerunners of the Kingdom; 9. Witnesses in the Wilderness; Epilogue; Abbreviations; Selected Bibliography; Name and Subject Index; Scripture Index 330 $aThis is an exhaustive examination of an enigmatic passage in the Book of Revelation (11. 3-13) and its interpretation in medieval times and the Reformation. 606 $aTheology 615 0$aTheology. 676 $a228.06 676 $a228/.06 700 $aPetersen$b Rodney Lawrence$01557870 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910777015603321 996 $aPreaching in the last days$93821834 997 $aUNINA LEADER 03566nam 22006615 450 001 9910984585903321 005 20250303115240.0 010 $a9789819624560$b(electronic bk.) 010 $z9789819624553 024 7 $a10.1007/978-981-96-2456-0 035 $a(MiAaPQ)EBC31942149 035 $a(Au-PeEL)EBL31942149 035 $a(CKB)37771980500041 035 $a(DE-He213)978-981-96-2456-0 035 $a(OCoLC)1511108919 035 $a(EXLCZ)9937771980500041 100 $a20250303d2025 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aProceedings of 2024 International Conference on Smart Electrical Grid and Renewable Energy (SEGRE 2024) $eVolume 1 /$fedited by Fushuan Wen, Haoming Liu, Huiqing Wen, Shunli Wang 205 $a1st ed. 2025. 210 1$aSingapore :$cSpringer Nature Singapore :$cImprint: Springer,$d2025. 215 $a1 online resource (745 pages) 225 1 $aLecture Notes in Electrical Engineering,$x1876-1119 ;$v1363 311 08$aPrint version: Wen, Fushuan Proceedings of 2024 International Conference on Smart Electrical Grid and Renewable Energy (SEGRE 2024) Singapore : Springer,c2025 9789819624553 327 $a -- A novel load forecasting method based on TCN-BiGRU model -- Power Loss Regulation Based on Elastic Capacitance Voltage for MMCs in Photovoltaic Inverter in Application -- Fast Power Adjustment Characteristics of Double fed Variable Speed Pumped Storage Units -- Simulation and Analysis on Electromagnetic Mechanical Characteristics of Transformer -- Dynamic response of Three Phase Enclosure Type GIL Under Electromagnetic Forces, etc. 330 $aThe proceedings presents a comprehensive collection of carefully selected papers from the 2nd International Conference on Smart Electrical Grid and Renewable Energy (SEGRE 2024). With a strong emphasis on electrical engineering, smart grid technology, and green technology, this work serves as a valuable resource for researchers, experts, professionals, and practitioners in the fields of electrical grids and renewable energy. The conference aims to create knowledge exchange, where participants can present their cutting-edge research findings, showcase their latest research project outcomes, and engage in insightful discussions to share their views and experiences. 410 0$aLecture Notes in Electrical Engineering,$x1876-1119 ;$v1363 606 $aElectric power distribution 606 $aElectric power production 606 $aEnergy storage 606 $aRenewable energy sources 606 $aEnergy Grids and Networks 606 $aElectrical Power Engineering 606 $aMechanical and Thermal Energy Storage 606 $aRenewable Energy 615 0$aElectric power distribution. 615 0$aElectric power production. 615 0$aEnergy storage. 615 0$aRenewable energy sources. 615 14$aEnergy Grids and Networks. 615 24$aElectrical Power Engineering. 615 24$aMechanical and Thermal Energy Storage. 615 24$aRenewable Energy. 676 $a321.319 700 $aWen$b Fushuan$01770928 701 $aLiu$b Haoming$01787895 701 $aWen$b Huiqing$01789988 701 $aWang$b Shunli$01424658 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 912 $a9910984585903321 996 $aProceedings of 2024 International Conference on Smart Electrical Grid and Renewable Energy (SEGRE 2024)$94326144 997 $aUNINA LEADER 06921nam 22007935 450 001 9910483132503321 005 20251226203443.0 024 7 $a10.1007/b137280 035 $a(CKB)1000000000213065 035 $a(SSID)ssj0000320381 035 $a(PQKBManifestationID)11937783 035 $a(PQKBTitleCode)TC0000320381 035 $a(PQKBWorkID)10249169 035 $a(PQKB)11553237 035 $a(DE-He213)978-3-540-31679-4 035 $a(MiAaPQ)EBC3068294 035 $a(PPN)123095514 035 $a(EXLCZ)991000000000213065 100 $a20100715d2005 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTheory and Applications of Satisfiability Testing $e8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings /$fedited by Fahiem Bacchus, Toby Walsh 205 $a1st ed. 2005. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005. 215 $a1 online resource (XII, 492 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3569 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$aPrinted edition: 9783540262763 320 $aIncludes bibliographical references and index. 327 $aPreface -- Solving Over-Constrained Problems with SAT Technology -- A Symbolic Search Based Approach for Quantified Boolean Formulas -- Substitutional Definition of Satisfiability in Classical Propositional Logic -- A Clause-Based Heuristic for SAT Solvers -- Effective Preprocessing in SAT Through Variable and Clause Elimination -- Resolution and Pebbling Games -- Local and Global Complete Solution Learning Methods for QBF -- Equivalence Checking of Circuits with Parameterized Specifications -- Observed Lower Bounds for Random 3-SAT Phase Transition Density Using Linear Programming -- Simulating Cutting Plane Proofs with Restricted Degree of Falsity by Resolution -- Resolution Tunnels for Improved SAT Solver Performance -- Diversification and Determinism in Local Search for Satisfiability -- On Finding All Minimally Unsatisfiable Subformulas -- Optimizations for Compiling Declarative Models into Boolean Formulas -- Random Walk with Continuously Smoothed Variable Weights -- Derandomization of PPSZ for Unique-k-SAT -- Heuristics for Fast Exact Model Counting -- A Scalable Method for Solving Satisfiability of Integer Linear Arithmetic Logic -- DPvis ? A Tool to Visualize the Structure of SAT Instances -- Constraint Metrics for Local Search -- Input Distance and Lower Bounds for Propositional Resolution Proof Length -- Sums of Squares, Satisfiability and Maximum Satisfiability -- Faster Exact Solving of SAT Formulae with a Low Number of Occurrences per Variable -- A New Approach to Model Counting -- Benchmarking SAT Solvers for Bounded Model Checking -- Model-Equivalent Reductions -- Improved Exact Solvers for Weighted Max-SAT -- Quantifier Trees for QBFs -- Quantifier Rewriting and Equivalence Models for Quantified Horn Formulas -- A Branching Heuristics for Quantified Renamable Horn Formulas -- AnImproved Upper Bound for SAT -- Bounded Model Checking with QBF -- Variable Ordering for Efficient SAT Search by Analyzing Constraint-Variable Dependencies -- Cost-Effective Hyper-Resolution for Preprocessing CNF Formulas -- Automated Generation of Simplification Rules for SAT and MAXSAT -- Speedup Techniques Utilized in Modern SAT Solvers -- FPGA Logic Synthesis Using Quantified Boolean Satisfiability -- On Applying Cutting Planes in DLL-Based Algorithms for Pseudo-Boolean Optimization -- A New Set of Algebraic Benchmark Problems for SAT Solvers -- A Branch-and-Bound Algorithm for Extracting Smallest Minimal Unsatisfiable Formulas -- Threshold Behaviour of WalkSAT and Focused Metropolis Search on Random 3-Satisfiability -- On Subsumption Removal and On-the-Fly CNF Simplification. 330 $aThe 8th International Conference on Theory and Applications of Satis?ability Testing(SAT2005)providedaninternationalforumforthemostrecentresearch on the satis?ablity problem (SAT). SAT is the classic problem of determining whether or not a propositional formula has a satisfying truth assignment. It was the ?rst problem shown by Cook to be NP-complete. Despite its seemingly specialized nature, satis?ability testing has proved to extremely useful in a wide range of di?erent disciplines, both from a practical as well as from a theoretical point of view. For example, work on SAT continues to provide insight into various fundamental problems in computation, and SAT solving technology has advanced to the point where it has become the most e?ective way of solving a number of practical problems. The SAT series of conferences are multidisciplinary conferences intended to bring together researchers from various disciplines who are interested in SAT. Topics of interest include, but are not limited to: proof systems and proof c- plexity; search algorithms and heuristics; analysis of algorithms; theories beyond the propositional; hard instances and random formulae; problem encodings; - dustrial applications; solvers and other tools. This volume contains the papers accepted for presentation at SAT 2005. The conference attracted a record number of 73 submissions. Of these, 26 papers were accepted for presentation in the technical programme. In addition, 16 - pers were accepted as shorter papers and were presented as posters during the technicalprogramme.Theacceptedpapersandposterpaperscoverthefullrange of topics listed in the call for papers. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3569 606 $aMachine theory 606 $aAlgorithms 606 $aOperating systems (Computers) 606 $aNumerical analysis 606 $aArtificial intelligence 606 $aMathematical logic 606 $aFormal Languages and Automata Theory 606 $aAlgorithms 606 $aOperating Systems 606 $aNumerical Analysis 606 $aArtificial Intelligence 606 $aMathematical Logic and Foundations 615 0$aMachine theory. 615 0$aAlgorithms. 615 0$aOperating systems (Computers). 615 0$aNumerical analysis. 615 0$aArtificial intelligence. 615 0$aMathematical logic. 615 14$aFormal Languages and Automata Theory. 615 24$aAlgorithms. 615 24$aOperating Systems. 615 24$aNumerical Analysis. 615 24$aArtificial Intelligence. 615 24$aMathematical Logic and Foundations. 676 $a511.3 701 $aBacchus$b Fahiem$01757730 701 $aWalsh$b Toby$01649572 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483132503321 996 $aTheory and applications of satisfiability testing$94195677 997 $aUNINA