LEADER 03469nam 2200757 a 450 001 9910453248503321 005 20200520144314.0 010 $a1-281-93648-0 010 $a9786611936488 010 $a90-474-2141-8 024 7 $a10.1163/ej.9789004161764.i-296 035 $a(CKB)1000000000551773 035 $a(EBL)468357 035 $a(OCoLC)646789516 035 $a(SSID)ssj0000240754 035 $a(PQKBManifestationID)11191363 035 $a(PQKBTitleCode)TC0000240754 035 $a(PQKBWorkID)10267810 035 $a(PQKB)10655533 035 $a(MiAaPQ)EBC468357 035 $a(OCoLC)137222294 035 $a(nllekb)BRILL9789047421412 035 $a(PPN)174390122 035 $a(Au-PeEL)EBL468357 035 $a(CaPaEBR)ebr10270790 035 $a(EXLCZ)991000000000551773 100 $a20070703d2007 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 14$aThe salt of the earth$b[electronic resource] $enatural philosophy, medicine, and chymistry in England, 1650-1750 /$fby Anna Marie Roos 210 $aLeiden ;$aBoston $cBrill$d2007 215 $a1 online resource (312 p.) 225 1 $aHistory of science and medicine library,$x1872-0684 ;$vv. 3 300 $aDescription based upon print version of record. 311 $a90-04-16176-7 320 $aIncludes bibliographical references and index. 327 $aThe context of salts -- Paracelsian concepts of salts -- Van Helmont, salts, and natural history in early modern England -- From salts to saline spirits-the rise of acids -- Salts and saline spirits in the medical marketplace and literature : patent medicines and chymical satire. 330 $aConsisting of a series of case studies, this book is devoted to the concept and uses of salt in early modern science, which have played a crucial role in the evolution of matter theory from Aristotelian concepts of the elements to Newtonian chymistry. No reliable study on this subject has been previously available. Its exploration of natural history?s and medicine?s intersection with chemical investigation in early modern England demonstrates the growing importance of the senses and experience as causes of intellectual change from 1650-1750. It demonstrates that an understanding of the changing definitions of ?salt? is also crucial to a historical comprehension of the transition between alchemy and chemistry. 410 0$aHistory of science and medicine library ;$vv. 3. 606 $aScience$zEurope$xPhilosophy$xHistory$y16th century 606 $aScience$zEurope$xPhilosophy$xHistory$y17th century 606 $aMedicine$zEurope$xPhilosophy$xHistory$y16th century 606 $aMedicine$zEurope$xPhilosophy$xHistory$y17th century 606 $aSalt$zEurope$xHistory 606 $aSalt$xHealth aspects 606 $aRenaissance 608 $aElectronic books. 615 0$aScience$xPhilosophy$xHistory 615 0$aScience$xPhilosophy$xHistory 615 0$aMedicine$xPhilosophy$xHistory 615 0$aMedicine$xPhilosophy$xHistory 615 0$aSalt$xHistory. 615 0$aSalt$xHealth aspects. 615 0$aRenaissance. 676 $a546/.3409409031 700 $aRoos$b Anna Marie Eleanor$0902325 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910453248503321 996 $aThe salt of the earth$92016977 997 $aUNINA LEADER 02231nam 2200433 n 450 001 996393138803316 005 20221108075003.0 035 $a(CKB)1000000000683395 035 $a(EEBO)2264211926 035 $a(UnM)99847161 035 $a(EXLCZ)991000000000683395 100 $a19911122d1574 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 00$aMost briefe tables to knovve redily hovve manye ranckes of footemen armed with corslettes, as vnarmed, go to the making of a iust battayle$b[electronic resource] $efrom an hundred vnto twentye thousande. Next a very easye, and approued vvay to arme a battaile vvith harkabuzers, and winges of horsemen according to the vse at these daies nevvlye increased, and largelye amplified both in the tables, as in the declarations of the same, by the aucthour him selfe. Girolamo Cataneo Nouarese. Tourned out of Italion into English by. H.G 210 $aImprinted at London $cBy VV. VVilliamson: for Iohn VVight$dAnno. M.D.LXXIIII. [1574] 215 $a[68] p 300 $aH.G. = Henry Grantham?. 300 $aA translation of: Modo di formare con prestezza le moderne battaglie di picche, archibugieri, et cavalleria. 300 $aSignatures: A⁶ B-D⁴ E² F-H⁴ I² . 300 $aThe last leaf is blank. 300 $aMost copies are found as part 3 of: Machiavelli, Niccolò. The arte of warre, 1573 [i.e. 1574]. 300 $aIdentified as part three of STC 17165 on UMI microfilm reel 431. 300 $aReproductions of the original in the Henry E. Huntington Library and Art Gallery. 300 $aAppears at reels 312 and 431 (same copy filmed twice). 330 $aeebo-0113 606 $aMilitary art and science$vEarly works to 1800 615 0$aMilitary art and science 700 $aCataneo$b Girolamo$0889651 701 $aGrantham$b Henry$ffl. 1571-1587.$0845268 801 0$bCu-RivES 801 1$bCu-RivES 801 2$bUk-ES 801 2$bCStRLIN 801 2$bWaOLN 906 $aBOOK 912 $a996393138803316 996 $aMost briefe tables to knovve redily hovve manye ranckes of footemen armed with corslettes, as vnarmed, go to the making of a iust battayle$92357238 997 $aUNISA LEADER 10987nam 2200481 450 001 996550556703316 005 20230929034653.0 010 $a3-031-42921-4 035 $a(MiAaPQ)EBC30745839 035 $a(Au-PeEL)EBL30745839 035 $a(EXLCZ)9928234560000041 100 $a20230929d2023 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aApplied Reconfigurable Computing. Architectures, Tools, and Applications $e19th International Symposium, ARC 2023, Cottbus, Germany, September 27-29, 2023, Proceedings /$fFrancesca Palumbo [and three others], editors 205 $aFirst edition. 210 1$aCham, Switzerland :$cSpringer Nature Switzerland AG,$d[2023] 210 4$d2023 215 $a1 online resource (380 pages) 225 1 $aLecture Notes in Computer Science Series ;$vVolume 14251 311 08$aPrint version: Palumbo, Francesca Applied Reconfigurable Computing. Architectures, Tools, and Applications Cham : Springer,c2023 9783031429200 320 $aIncludes bibliographical references and index. 327 $aIntro -- Preface -- Organization -- Contents -- Design Methods andTools -- High-Level Synthesis of Memory Systems for Decoupled Data Orchestration -- 1 Introduction -- 2 Background and Related Work -- 2.1 Taxonomy of Data Orchestration -- 2.2 Storage Idioms -- 3 PIPO: An Data Structure for Decoupled Data Orchestration -- 3.1 Definition of PIPO -- 3.2 Automatic Insertion of API Calls -- 4 Automatic Decoupling of Data Orchestration -- 4.1 RAM-Wise Decoupling -- 4.2 Decoupling Algorithm -- 4.3 Compilation Example -- 5 Automatic Partial Decoupling -- 5.1 Partial Decoupling Based on the Fork-Join Model -- 5.2 Automatically Determining the Fork and Join Points -- 6 BuffetLike: Another Data Structure for Decoupled Data Orchestration -- 7 Evaluation -- 7.1 Experimental Setup -- 7.2 Execution Time -- 7.3 Resource Utilization -- 7.4 Discussion -- 8 Conclusion -- References -- Rapid Prototyping of Complex Micro-architectures Through High-Level Synthesis -- 1 Introduction -- 2 Background and Motivation -- 2.1 Different Micro-architecture Design Tools -- 2.2 HLS Limitation in Pipelining an Instruction Set Simulator -- 3 Related Work -- 3.1 Deploying Speculative and Dynamic Techniques in HLS -- 3.2 Pipelined CPU Designs Using HLS -- 3.3 Dynamic Hart Scheduling in Multi-threaded CPU and GPU -- 4 Proposed Approach -- 4.1 Static Multi-threaded RISC-V Core -- 4.2 Dynamic Single-Threaded RISC-V Core -- 4.3 Dynamic Multi-threaded RISC-V Core -- 4.4 Thread Synchronization -- 4.5 Shared-Memory RISC-V Multi-core -- 5 Experimental Validation -- 6 Conclusion -- References -- NVMulator: A Configurable Open-Source Non-volatile Memory Emulator for FPGAs -- 1 Introduction -- 2 Storage Technologies and Related Work -- 2.1 NVM Storage Technologies -- 2.2 Related Work -- 3 Proposed Approach -- 3.1 NVMulator Micro-Architecture -- 3.2 TaPaSCo Integration. 327 $a4 Experimental Setup and Evaluation -- 4.1 Latency -- 4.2 FIO Bandwidth -- 4.3 Database Application -- 5 Conclusion -- References -- On the OpenCL Support for Streaming Fixed-Function Accelerators on Embedded SoC FPGAs -- 1 Introduction -- 2 Related Work -- 3 Methodology -- 3.1 Application Software -- 3.2 Custom Device Driver and Kernel Interaction -- 4 CNN Application -- 5 Results and Discussion -- 6 Conclusion and Future Work -- References -- Design Space Exploration of Application Specific Number Formats Targeting an FPGA Implementation of SPICE -- 1 Introduction -- 2 Background -- 2.1 Related Work -- 2.2 Posit Numbers -- 2.3 Principle of Circuit Simulation with SPICE -- 3 Analysis of Number Formats in SPICE -- 3.1 Distribution of Operations -- 3.2 Impact on Convergence and Output Error -- 3.3 Impact on Simulation Runtime -- 4 Operator Implementation -- 5 Whole Application Analysis -- 6 Conclusion -- References -- Memory-Aware Scheduling for a Resource-Elastic FPGA Operating System -- 1 Introduction -- 2 Background and Related Work -- 2.1 DRAM Performance -- 2.2 Related Work -- 3 The Proposed Approach -- 3.1 Task's Memory Characteristics -- 3.2 Memory Model-Aware (MMA) Scheduling -- 3.3 Memory Access Pattern-Aware (MAPA) Scheduling -- 4 Evaluation -- 4.1 Evaluation Design -- 4.2 Results and Discussion -- 5 Conclusion -- References -- ArcvaVX: OpenVX Framework for Adaptive Reconfigurable Computer Vision Architectures -- 1 Introduction -- 2 Related Work -- 3 Framework -- 3.1 Library Module -- 3.2 Graph Creation Module -- 3.3 Hardware Creation Module -- 4 Evaluation -- 5 Conclusion -- References -- Applications -- FPGA-Integrated Bag of Little Bootstraps Accelerator for Approximate Database Query Processing -- 1 Introduction -- 2 Related Work -- 3 Architecture and Optimizations -- 3.1 Bag of Little Bootstraps for AQP -- 3.2 Streaming BLB. 327 $a3.3 Gauss Random Number Generator (GRNG) -- 3.4 BLB Block Design -- 4 Test Setup for Evaluation -- 4.1 Hardware Platform -- 4.2 Test System Structure -- 4.3 CPU Implementation -- 5 Evaluation -- 6 Conclusion -- References -- Accelerating Graph Neural Networks in Pytorch with HLS and Deep Dataflows -- 1 Introduction -- 2 Related Work and Motivation -- 3 Dataflow Description -- 3.1 Combination Engine -- 3.2 Aggregation Engine -- 4 Dataflow Optimization -- 5 Multi-threaded Extension -- 6 Pytorch Integration -- 7 Performance Evaluation -- 8 Conclusions -- References -- DNN Model Theft Through Trojan Side-Channel on Edge FPGA Accelerator -- 1 Introduction -- 2 Background -- 2.1 Versatile Tensor Accelerator -- 2.2 Reverse Engineering DNN Architecture -- 2.3 Threat Model -- 3 Methodology -- 3.1 Hardware Trojan Design -- 3.2 Predicting the Layer Hyperparameters -- 4 Experiment Results -- 4.1 Demonstration of Our Attack on ResNet18 -- 4.2 Evaluation of Our Attack on Randomly-chained DNNs -- 4.3 Hardware Trojan Overheads -- 5 Limitations and Future Work -- 6 Conclusion -- References -- Towards Secure andEfficient Multi-generation Cellular Communications: Multi-mode SNOW-3G/V ASIC andFPGA Implementations -- 1 Introduction -- 2 SNOW 3G andSNOW-V -- 2.1 The SNOW 3G Algorithm -- 2.2 The SNOW-V Algorithm -- 3 Proposed Multi-mode Architectures -- 3.1 SNOW-3G/V forArea Efficiency -- 3.2 SNOW-3G/V forHigh Performance -- 4 Experimental Results andComparisons -- 5 Conclusions -- References -- A Convolution Neural Network Based Displaced Vertex Trigger for the Belle II Experiment*-1pc -- 1 Introduction -- 2 State of the Art -- 3 Concept of a Displaced Vertex Trigger -- 3.1 Hit Image Converter -- 3.2 Parallel Convolution Layer -- 3.3 Training -- 3.4 Hardware Generator -- 4 Result -- 5 Summary -- References. 327 $aOn-FPGA Spiking Neural Networks for Multi-variable End-to-End Neural Decoding -- 1 Introduction -- 2 Related Works -- 3 Methods -- 3.1 Neural Recording and Decoding Problem -- 3.2 Signal Processing: Spike Detection -- 3.3 Neural Decoding -- 3.4 Training Scheme -- 4 Hardware Architecture -- 4.1 PC-FPGA Communication -- 4.2 Spiking Neural Network Architecture -- 5 Discussion -- 5.1 Accuracy -- 5.2 Resource Utilization -- 5.3 Power Consumption -- 5.4 Adaptability to Different Experiments -- 6 Comparison with State of Art -- 7 Conclusion -- References -- Implementation of a Perception System for Autonomous Vehicles Using a Detection-Segmentation Network in SoC FPGA -- 1 Introduction -- 2 Previous Work -- 3 Implementation of the Perception and Control System -- 3.1 Detection-Segmentation Network in SoC FPGA -- 3.2 Vehicle Control Algorithm -- 3.3 Hardware Setup -- 4 Evaluation of the Detection-Segmentation Network -- 5 Conclusion -- References -- Architectures -- Increasing the Fault Tolerance of COTS FPGAs in Space: SEU Mitigation Techniques on MPSoC*-1pc -- 1 Introduction -- 2 Related Work -- 3 Development of Fault-Tolerance Techniques -- 3.1 HW/SW Fault-Tolerant Architecture -- 3.2 Coarse-Grained Application-Independent Redundancy -- 3.3 Fine-Grained Application-Specific Redundancy -- 3.4 Correction of Configuration Memory -- 4 Experimental Evaluation -- 4.1 Fault Injection and Evaluation Campaign -- 4.2 Experimental Results -- 5 Conclusion -- References -- Scalable and Energy-Efficient NN Acceleration with GPU-ReRAM Architecture -- 1 Introduction -- 2 Background: ReRAM for In-Memory NN Computing -- 3 Related Work -- 4 Proposed Architecture -- 4.1 Overall Architecture -- 4.2 GPU Layer -- 4.3 ReRAM Layer -- 4.4 Offloading: Selecting the Best Layers for ReRAM Acceleration -- 5 Evaluation Methodology -- 6 Results -- 6.1 Synthesis Results. 327 $a6.2 Computing Efficiency -- 6.3 Inference Accuracy -- 6.4 Energy Consumption -- 7 Conclusion and Future Work -- References -- On Guaranteeing Schedulability of Periodic Real-Time Hardware Tasks Under ReconOS64 -- 1 Introduction -- 2 Related Work -- 2.1 Real-Time Scheduling and Shared Resources on FPGAs -- 2.2 Operating Systems for FPGAs -- 2.3 Fixed-Priority Multi-processor Scheduling -- 3 System Architecture -- 4 Task Model and Runtime System -- 4.1 Task Model -- 4.2 Runtime System -- 5 Schedulability Analysis -- 6 Practical Example -- 6.1 Implementation Based on ReconOS64 -- 6.2 Exemplary Task Set -- 6.3 Applying the Schedulability Test -- 7 Conclusion and Future Work -- References -- Evolutionary FPGA-Based Spiking Neural Networks for Continual Learning*-1pc -- 1 Introduction -- 2 Learning Techniques for SNNs -- 3 The Proposed SNN-Based SoC Architecture -- 4 Proposed Learning Strategy -- 5 Data Encoding Strategy -- 6 Evaluation Setup -- 6.1 Iris Problem -- 6.2 Breast Cancer Wisconsin Dataset -- 6.3 Pima Indian Diabetes Dataset -- 6.4 Wine Dataset -- 6.5 The Mountain Car Environment -- 7 Experimental Results -- 7.1 Resource Utilization -- 7.2 Accuracy Results -- 8 Conclusions and Future Work -- References -- More Efficient CMMs on FPGAs: Instantiated Ternary Adders for Computation Coding -- 1 Introduction -- 2 Related Work -- 3 Computation Coding on FPGAs -- 3.1 Decomposition Algorithm -- 3.2 Hardware Designs -- 4 Hardware Generation Using Primitive Instantiation -- 4.1 Python Hardware Interface -- 4.2 TIAs on FPGAs -- 4.3 Primitive Generation -- 5 Evaluation -- 5.1 Setup -- 5.2 Comparison Between CMM Designs and SoA -- 6 Conclusion -- References -- Energy Efficient DNN Compaction for Edge Deployment -- 1 Introduction -- 2 Related Works -- 3 Proposed Approach -- 4 Experiments and Results -- 4.1 Experimental Setup -- 4.2 Results and Discussion. 327 $a5 Conclusion. 410 0$aLecture notes in computer science ;$vVolume 14251. 606 $aAdaptive computing systems 615 0$aAdaptive computing systems. 676 $a004 702 $aPalumbo$b Francesca 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996550556703316 996 $aApplied Reconfigurable Computing. Architectures, Tools, and Applications$91947573 997 $aUNISA LEADER 04381nam 22005775 450 001 9910484169003321 005 20251226203314.0 010 $a1-280-38824-2 010 $a9786613566164 010 $a3-642-14932-4 024 7 $a10.1007/978-3-642-14932-0 035 $a(CKB)2670000000036367 035 $a(SSID)ssj0000446231 035 $a(PQKBManifestationID)11296934 035 $a(PQKBTitleCode)TC0000446231 035 $a(PQKBWorkID)10491421 035 $a(PQKB)10241170 035 $a(DE-He213)978-3-642-14932-0 035 $a(MiAaPQ)EBC3065675 035 $a(PPN)149018061 035 $a(EXLCZ)992670000000036367 100 $a20100814d2010 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAdvanced Intelligent Computing Theories and Applications: With Aspects of Artificial Intelligence $e6th International Conference on Intelligent Computing, ICIC 2010, Changsha, China, August 18-21, 2010, Proceedings /$fedited by De-Shuang Huang, Xiang Zhang, Carlos Alberto Reyes Garcia, Lei Zhang 205 $a1st ed. 2010. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010. 215 $a1 online resource (XVIII, 685p. 277 illus.) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v6216 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-14931-6 320 $aIncludes bibliographical references and index. 327 $aBiological and Quantum Computing -- Intelligent Computing in Bioinformatics -- Intelligent Computing in Neuroinformatics and Cheminformatics -- Intelligent Computing in Computational Biology and Drug Design -- Computational Genomics and Proteomics -- Intelligent Computing in Signal Processing -- Intelligent Computing in Pattern Recognition -- Intelligent Computing in Image Processing -- Intelligent Computing in Communication and Computer Networks -- Intelligent Computing in Robotics -- Intelligent Computing in Computer Vision -- Intelligent Computing in Brain Imaging and Bio-medical Engineering -- Intelligent Agent and Web Applications -- Intelligent Sensor Networks -- Intelligent Fault Diagnosis and Financial Engineering -- Intelligent Control and Automation -- Intelligent Data Fusion and Security -- Intelligent Prediction and Time Series Analysis -- Natural Language Processing and Expert Systems. 330 $aThe International Conference on Intelligent Computing (ICIC) was formed to provide an annual forum dedicated to the emerging and challenging topics in artificial intel- gence, machine learning, pattern recognition, image processing, bioinformatics, and computational biology. It aims to bring together researchers and practitioners from both academia and industry to share ideas, problems, and solutions related to the m- tifaceted aspects of intelligent computing. ICIC 2010, held in Changsha, China, August 18?21, 2010, constituted the 6th - ternational Conference on Intelligent Computing. It built upon the success of ICIC 2009, ICIC 2008, ICIC 2007, ICIC 2006, and ICIC 2005, that were held in Ulsan, Korea, Shanghai, Qingdao, Kunming, and Hefei, China, respectively. This year, the conference concentrated mainly on the theories and methodologies as well as the emerging applications of intelligent computing. Its aim was to unify the picture of contemporary intelligent computing techniques as an integral concept that highlights the trends in advanced computational intelligence and bridges theoretical research with applications. Therefore, the theme for this conference was ?Advanced Intelligent Computing Technology and Applications.? Papers focusing on this theme were solicited, addressing theories, methodologies, and applications in science and technology. 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v6216 606 $aArtificial intelligence 606 $aArtificial Intelligence 615 0$aArtificial intelligence. 615 14$aArtificial Intelligence. 676 $a006.3 701 $aHuang$b De-Shuang$01732604 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484169003321 996 $aAdvanced Intelligent Computing Theories and Applications: With Aspects of Artificial Intelligence$94520632 997 $aUNINA