LEADER 05566nam 2200673 450 001 9910462521303321 005 20200903223051.0 010 $a3-03813-416-3 035 $a(CKB)2670000000229331 035 $a(EBL)1869279 035 $a(SSID)ssj0000760541 035 $a(PQKBManifestationID)11408048 035 $a(PQKBTitleCode)TC0000760541 035 $a(PQKBWorkID)10714603 035 $a(PQKB)10673427 035 $a(MiAaPQ)EBC1869279 035 $a(Au-PeEL)EBL1869279 035 $a(CaPaEBR)ebr10814335 035 $a(OCoLC)865824947 035 $a(EXLCZ)992670000000229331 100 $a20100609h20102010 uy| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aPowder technology and application II $eselected, peer reviewed papers from the 2009 International Powder Technology & Application Forum /$fedited by Yuexin Han 210 1$aStafa-Zurich, Switzerland ;$aEnfield, New Hampshire :$cTrans Tech Publications,$d[2010] 210 4$d©2010 215 $a1 online resource (282 p.) 225 1 $aAdvanced materials research,$x1022-6680 ;$vvolume 92 300 $aDescription based upon print version of record. 311 $a0-87849-296-8 320 $aIncludes bibliographical references and indexes. 327 $aPowder Technology and Application II; Preface; Table of Contents; A Facile Reaction for the Preparation of BN Nanospheres; A Novel Method for Preparation of Carbon Coating Iron Nanoparticles; A Novel Combined Flowsheet of Beneficiation and Acid Leaching under High Pressure for Complex Lead-Zinc Ores; Application of Au Nanoparticles-AgCl@Polypyrrole Hybrid Material to Amperometric Biosensor; Attempt to Synthesize Carbon Nanotube by a Thermal Reduction of Ether ; Cubic-Shaped Nano-MgO Powder and its Infrared Absorption Properties; Combustion Synthesis of Si3N4/MoSi2 Composite 327 $aControlling Mechanism of Soluble Phosphates during CaCO3 Whiskers SynthesisCo-Precipitation Synthesis and Optimization Process for LiCo1/3Ni1/3Mn1/3O2; Crystallization Behavior and Performance of MgO-Al2O3-SiO2 Glass-Ceramics by Sintering; Dispersion and Behavior of Silane Coupling Agent to Surface Modification of n-Cu Particles; Effect of Crystal Contolling Agents on Shapes of Nanometer Calcium Carbonate; Experimental Study on Developing White Carbon Black by Using Wollastonite; Flotation and Purification Research on Low Grade Magnesite in Kuandian of Liaoning 327 $aFloatation Separation Research on Siderite-Containing Iron ConcentrateFundamental Research in Comprehensive Utilization of Bayan Obo Ore by Direct Reduction; Large Scale Synthesis of Shuttle like CuO Nanocrystals by Microwave Irradiation; Hydrothermal Synthesis of Luminescent Wollastonite-CePO4 Nanocomposites; MgO-Al2O3-SiO2 Glass-Ceramic Prepared by Sol-Gel Method; Microwave-Assisted Controlled Synthesis of CaCO3 with Various Biomimetic Morphologies Using Basic Additives in Polyol; Physicochemical Characterization of Qianghuo Particles by Ultrafine Pulverization 327 $aPreparation and Electrochemical Properties of LiFePO4/PPy Composite Cathode Materials for Lithium-Ion BatteriesPreparation and Particle Size Characterization of Cu Nanoparticles Prepared by Anodic Arc Plasma; Preparation of Carbon Materials with Different Morphologies; Preparation of Liposome Particle of Atractylone by Supercritical Carbon Dioxide Process; Preparation of Silica Abrasives from Water Glass and Application in Silicon Wafer Polishing; Preparation of Y2O3 Nano-Phased Powders by Polyacrylamide Gel Method ; Preparation of Zinc-Flake by High Energy Milling 327 $aRelationship of Particle Content and Size of Spherical Silica with the Flowability of Epoxy Molding Compounds for Large-Scale Integrated Circuits PackagingResearch of Improving Water Injection Effect by Using Active SiO2 Nano-Powder in the Low-Permeability Oilfield; Research on Fuxin Plant Coal Ash as a Fluoride-Containing Wastewater and Mechanism of Fluoride Removal; Study on Size Distribution of the Copper and Nickel Ore; Study on the Surface Modification of Nanometer Calcium Carbonate; Study on the Synthesis of High Quality Nanometer Calcium Carbonate Using Ultrasonic Technology 327 $aStudy of Mechanical Properties of Magnesium Oxysulfate Whisker/ABS Composites 330 $aThe theme of this special collection of peer-reviewed papers is the preparation and application of High-Performance Mineral-based Powders (HQMP). Here, HQMP refers to powder prepared from natural minerals with high specifications. It is predicted that the area of application of HQMP will become increasingly extensive. The future development of HQMP lies in the further exploitation and improvement of the manufacturing and production technologies of HQMP-orientated towards markets, and this collection will provide a handy roadmap for these likely developments. 410 0$aAdvanced materials research ;$vv. 92. 606 $aPowders$vCongresses 606 $aPowder metallurgy$vCongresses 606 $aNanoparticles$vCongresses 608 $aElectronic books. 615 0$aPowders 615 0$aPowder metallurgy 615 0$aNanoparticles 676 $a671.3/7 701 $aHan$b Yuexin$0868978 712 12$aInternational Forum on Powder Technology & Application 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910462521303321 996 $aPowder technology and application II$91939871 997 $aUNINA LEADER 06898nam 2200469 450 001 996464535103316 005 20220425120939.0 010 $a3-030-94479-4 035 $a(MiAaPQ)EBC6846187 035 $a(Au-PeEL)EBL6846187 035 $a(CKB)20592832400041 035 $a(PPN)261525778 035 $a(EXLCZ)9920592832400041 100 $a20220302d2022 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aPractical aspects of declarative languages $e24th international symposium, PADL 2022, Philadelphia, PA, USA, January 17-18, 2022 : proceedings /$fJames Cheney, Simona Perri (editors) 210 1$aCham, Switzerland :$cSpringer,$d[2022] 210 4$d©2022 215 $a1 online resource (225 pages) 225 1 $aLecture notes in computer science ;$v13165 300 $aIncludes index. 311 08$aPrint version: Cheney, James Practical Aspects of Declarative Languages Cham : Springer International Publishing AG,c2022 9783030944780 327 $aIntro -- Preface -- Organization -- Abstracts of Invited Talks -- People, Ideas, and the Path Ahead -- Declarative Programming and Education -- Contents -- Invited Talk -- People, Ideas, and the Path Ahead -- 1 Introduction -- 2 KR Methodology and Practical Applications -- 3 Hybrid Declarative Languages for Practical Applications -- 4 Intelligent Agents as Thought Partners -- 5 Conclusion -- References -- Answer Set Programming -- Modelling the Outlier Detection Problem in ASP(Q) -- 1 Introduction -- 2 Preliminaries -- 3 Outlier Detection -- 4 ASP(Q) Encoding -- 5 Experiments -- 6 Conclusion -- References -- Multi-agent Pick and Delivery with Capacities: Action Planning Vs Path Finding -- 1 Introduction -- 2 Related Work -- 3 MAPDC-P: Solving MAPDC with a Planning Approach -- 3.1 MAPDC as a Planning Problem -- 3.2 Solving MAPDC-P Using Multi-shot ASP -- 4 MAPDC-G: Solving MAPDC with a Path Finding Approach -- 4.1 MAPDC as a Graph Problem -- 4.2 Solving MAPDC-G Using Multi-shot ASP -- 5 Experimental Evaluations -- 6 Conclusions -- References -- Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers -- 1 Introduction -- 2 Background -- 3 Reversibility of Actions -- 4 ASP(Q) Encodings of Reversibility -- 4.1 the plasp Format -- 4.2 a Uniform Reversibility Encoding Using ASP(Q) -- 4.3 A Non-uniform Reversibility Encoding Using ASP(Q) -- 5 Experiments -- 6 Conclusions -- References -- Functional Programming -- Functional Programming on Top of SQL Engines -- 1 Recursive SQL UDFs: From 1000s of Plans to One Plan -- 2 Treating SQL UDFs Like Functions (Not Queries) -- 2.1 Transition from SQL to FP -- 2.2 From Recursion Towards Iteration: CPS and Defunctionalization -- 2.3 Trampolined Style: Single Loop Replaces Mutual Recursion -- 3 An Iterative SQL-Based Interpreter for Recursive UDFs. 327 $a3.1 Memoizing the Results of Recursive Calls -- 3.2 Optimizations: Slimmer/Shorter Working and Union Tables -- 4 Experiments: Functional Programming on Top of PostgreSQL -- 5 More Related Work -- 6 Wrap-Up -- References -- CircuitFlow: A Domain Specific Language for Dataflow Programming -- 1 Introduction -- 2 CircuitFlow Language -- 2.1 DataStores -- 2.2 Circuit Type -- 2.3 Circuit Constructors -- 2.4 CircuitFlow in Action -- 2.5 mapC Operator -- 3 CircuitFlow Under the Hood -- 3.1 Circuit API -- 3.2 Network Typeclass -- 3.3 The Basic Network Representation -- 3.4 Translation to a BasicNetwork -- 4 Benchmarks -- 5 Discussion and Related Work -- 6 Conclusion -- References -- Languages, Methods and Tools -- Timed Concurrent Language for Argumentation: An Interleaving Approach -- 1 Introduction -- 2 Background -- 3 Syntax and Semantics -- 4 Modelling a Dialogue -- 5 tcla Simulator -- 6 Related Work -- 7 Conclusion -- References -- Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming -- 1 Introduction -- 2 Background: S(CASP) -- 2.1 Execution Procedure of s(CASP) -- 2.2 Unsafe Variables and Uninterpreted Function Symbols -- 2.3 s(CASP) as a Conservative Extension of ASP -- 2.4 The s(CASP) Interpreter -- 3 Dynamic Consistency Checking in s(CASP) -- 3.1 Motivation -- 3.2 Outline of the DCC Approach -- 3.3 Implementation of DCC in s(CASP) -- 4 Evaluation -- 5 Conclusions -- References -- Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo -- 1 Introduction -- 2 Preliminaries -- 2.1 Minimal and Stable Models -- 2.2 Stable-Unstable Semantics -- 3 Modularity -- 4 Translating NLPs into SAT -- 5 Saturation -- 6 Capturing Stable-Unstable Semantics -- 7 Implementation and Practical Modeling -- 7.1 Practical Modeling -- 7.2 Performance Analysis -- 8 Discussion and Conclusion -- References. 327 $aSmart Devices and Large Scale Reasoning via ASP: Tools and Applications -- 1 Introduction -- 2 The DLV-LS System -- 3 A Use Case Application of DLV-LS -- 4 Conclusion -- References -- Declarative Solutions -- Decomposition-Based Job-Shop Scheduling with Constrained Clustering -- 1 Introduction -- 2 Job-Shop Scheduling Problem -- 3 Feature Extraction -- 4 Constrained Clustering Algorithm -- 5 Evaluation Results -- 6 Related Work -- 7 Conclusions -- References -- Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP) -- 1 Introduction -- 2 Background -- 2.1 Easy Approach to Requirement Syntax (EARS) -- 2.2 Basic Event Calculus (BEC) -- 2.3 Goal-Directed Answer Set Programming -- 3 Modeling and Verifying Cyber Physical Systems in EC -- 3.1 Train-Gate-Controller in EARS -- 3.2 Train-Gate-Requirements in EC Using s(CASP) -- 4 Checking Safety and Liveness of Train-Gate-Controller -- 4.1 Safety and Liveness Queries -- 5 Conclusion and Future Work -- References -- Parallel Declarative Solutions of Sequencing Problems Using Multi-valued Decision Diagrams and GPUs -- 1 Introduction -- 2 Background -- 2.1 Multi-valued Decision Diagrams -- 2.2 Large Neighborhood Search -- 2.3 GPGPU with CUDA -- 2.4 Related Works -- 3 Design and Implementation -- 3.1 Overview -- 3.2 LNS Parallelization -- 3.3 Implementation Details -- 4 Results and Analysis -- 4.1 Results -- 4.2 Analysis -- 5 Conclusions and Future Work -- References -- Green Application Placement in the Cloud-IoT Continuum -- 1 Introduction -- 2 GFogBrain in Action -- 3 Related Work -- 4 Concluding Remarks -- References -- Author Index. 410 0$aLecture notes in computer science ;$v13165. 606 $aDeclarative programming languages$vCongresses 615 0$aDeclarative programming languages 676 $a005.131 702 $aCheney$b James 702 $aPerri$b Simona 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996464535103316 996 $aPractical Aspects of Declarative Languages$9772495 997 $aUNISA LEADER 01232aam a2200301 i 4500 001 991001236299707536 005 20020502185523.0 008 941223s1992 it ||| | ita 020 $a8815036474 035 $ab11483386-39ule_inst 035 $aPRUMB57285$9ExL 040 $aDip. di SSSC - Sociologia$bita 041 $aita 082 0 $a509 100 1 $aOlmi, Giuseppe$0153369 245 12$aL'inventario del mondo :$bcatalogazione della natura e luoghi del sapere nella prima etą moderna /$cGiuseppe Olmi 260 $aBologna :$bIl Mulino,$c[1992] 300 $a457 p. :$b[16] c. di tav. ;$c22 cm. 490 0 $aAnnali dell'Istituto storico italo-germanico. Monografia ;$v17 650 4$aNatura$xConcezione$ySec. 16.-17.$vSaggi 650 4$aNaturalisti$xSec. 16.-17. 907 $a.b11483386$b01-03-17$c01-07-02 912 $a991001236299707536 945 $aLE002 Bibl. Ris. 243 $c $g1$i2002000407689 $lle002$op$pE28.41$q-$rn$so $t0$u1$v0$w1$x0$y.i14127738$z21-09-05 945 $aLE021 NIE50$g1$iLE021N-10048$lle021$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i11674465$z01-07-02 996 $aInventario del mondo$9176264 997 $aUNISALENTO 998 $ale002$ale021$b01-01-94$cm$da $e-$fita$git $h2$i2