LEADER 01378nam0 2200337 450 001 000044004 005 20180207134817.0 100 $a20180129d1950----km-y0itaa50------ba 101 0 $aita 102 $aIT 200 1 $aMisure locali per le superfici agrarie$fIstituto centrale di statistica 205 $a2. ed 210 $aRoma$cAbete$d1950 215 $a191 p.$d26 cm. 300 $aIn testa al frontespizio: Repubblica italiana 316 $aSulla pagina precedente il frontespizio, firma autografa e data: Gioacchino Viggiani, 23-9-1950 606 1 $aAgrimensura$yItalia$z1949 606 2 $aItalia$xComuni$xSuperfici agrarie$xMisurazione 676 $a333.08$v(22. ed.)$9Agrimensura 676 $a389.150945$v(22. ed.)$9Metrologia e standardizzazione. Sistemi di misura. Italia 710 02$aIstat$0374421 801 0$aIT$bUniversità della Basilicata - B.I.A.$gREICAT$2unimarc 912 $a000044004 996 $aMisure locali per le superfici agrarie$9744450 997 $aUNIBAS CAT $aSTD016$b01$c20180129$lBAS01$h1808 CAT $aTTM$b30$c20180207$lBAS01$h1326 CAT $aTTM$b30$c20180207$lBAS01$h1326 CAT $aTTM$b30$c20180207$lBAS01$h1348 FMT Z30 -1$lBAS01$LBAS01$mBOOK$1BASA2$APolo Tecnico-Scientifico$2FVIG$BFondo Viggiani$3FVig/41895$641895$5T41895$7Collocato presso la Scuola di Agraria$820180129$f35$FStanza riservata LEADER 05475nam 22008055 450 001 9910484946703321 005 20251226202559.0 010 $a1-280-38549-9 010 $a9786613563415 010 $a3-642-11467-9 024 7 $a10.1007/978-3-642-11467-0 035 $a(CKB)2670000000003394 035 $a(SSID)ssj0000355558 035 $a(PQKBManifestationID)11227494 035 $a(PQKBTitleCode)TC0000355558 035 $a(PQKBWorkID)10340625 035 $a(PQKB)10732432 035 $a(DE-He213)978-3-642-11467-0 035 $a(MiAaPQ)EBC3064952 035 $a(PPN)149054912 035 $a(EXLCZ)992670000000003394 100 $a20100301d2010 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aMembrane Computing $e10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers /$fedited by Gheorghe Paun, Mario J. Perez-Jimenez, Agustin Riscos-Nunez, Grzegorz Rozenberg, Arto Salomaa 205 $a1st ed. 2010. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010. 215 $a1 online resource (IX, 487 p. 86 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5957 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-11466-0 320 $aIncludes bibliographical references and index. 327 $aInvited Presentations -- P Automata: Concepts, Results, and New Aspects -- Computational Nature of Processes Induced by Biochemical Reactions -- Transition and Halting Modes in (Tissue) P Systems -- Conformon P Systems and Topology of Information Flow -- Formal Verification and Testing Based on P Systems -- A Look Back at Some Early Results in Membrane Computing -- From P to MP Systems -- The Biological Cell in Spectacle -- Energy-Based Models of P Systems -- A Computational Complexity Theory in Membrane Computing -- Regular Presentations -- Evolving by Maximizing the Number of Rules: Complexity Study -- On Reversibility and Determinism in P Systems -- Typed Membrane Systems -- A P System Based Model of an Ecosystem of Some Scavenger Birds -- Metabolic P System Flux Regulation by Artificial Neural Networks -- A Novel Variant of P Systems for the Modelling and Simulation of Biochemical Systems -- Implementing P Systems Parallelism by Means of GPUs -- Regulation and Covering Problems in MP Systems -- (Tissue) P Systems with Hybrid Transition Modes -- An Overview of P-Lingua 2.0 -- Characterizing Tractability by Tissue-Like P Systems -- Searching Previous Configurations in Membrane Computing -- Modelling Signalling Networks with Incomplete Information about Protein Activation States: A P System Framework of the KaiABC Oscillator -- Solving NP-Complete Problems by Spiking Neural P Systems with Budding Rules -- Tuning P Systems for Solving the Broadcasting Problem -- An Improved Membrane Algorithm for Solving Time-Frequency Atom Decomposition -- A Region-Oriented Hardware Implementation for Membrane Computing Applications -- Discovering the Membrane Topology of Hyperdag P Systems -- A Note on Small Universal Spiking Neural P Systems -- On the Power of Computing with Proteins on Membranes -- An EfficientSimulation of Polynomial-Space Turing Machines by P Systems with Active Membranes -- Look-Ahead Evolution for P Systems. 330 $aThis book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Membrane Computing, WMC 2009, held in Curtea de Arges, Romania, during August 24 to 27, 2009 under the auspices of the European Molecular Computing Consortium (EMCC) and the Molecular Computing Task Force of IEEE Computational Intelligence Society. The 22 revised full papers presented together with 10 invited papers went through two rounds of reviewing and improvement. The papers in this volume cover all the main directions of research in membrane computing, ranging from theoretical topics in mathematics and computer science to application issues; the invited lectures present fundamental contributions to membrane computing; thus highlighting important directions of current research in this area. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5957 606 $aComputer science 606 $aMachine theory 606 $aComputer simulation 606 $aBioinformatics 606 $aTheory of Computation 606 $aFormal Languages and Automata Theory 606 $aComputer Modelling 606 $aComputational and Systems Biology 615 0$aComputer science. 615 0$aMachine theory. 615 0$aComputer simulation. 615 0$aBioinformatics. 615 14$aTheory of Computation. 615 24$aFormal Languages and Automata Theory. 615 24$aComputer Modelling. 615 24$aComputational and Systems Biology. 676 $a004.0151 686 $a004$2sdnb 686 $aDAT 168f$2stub 686 $aSS 4800$2rvk 701 $aPaun$b Gheorghe$f1950-$062709 701 $aPerez-Jimenez$b Mario J$01757463 701 $aRiscos-Nunez$b Augustin$01757464 701 $aRozenberg$b Grzegoz$01757465 701 $aSalomaa$b Arto$025836 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484946703321 996 $aMembrane computing$94195316 997 $aUNINA LEADER 04719nam 22008295 450 001 9910484424503321 005 20251226203831.0 010 $a1-280-85308-5 010 $a9786610853083 010 $a3-540-69611-3 024 7 $a10.1007/978-3-540-69611-7 035 $a(CKB)1000000000284135 035 $a(EBL)3036595 035 $a(SSID)ssj0000225581 035 $a(PQKBManifestationID)11192095 035 $a(PQKBTitleCode)TC0000225581 035 $a(PQKBWorkID)10233520 035 $a(PQKB)11285537 035 $a(DE-He213)978-3-540-69611-7 035 $a(MiAaPQ)EBC3036595 035 $a(MiAaPQ)EBC6806129 035 $a(Au-PeEL)EBL6806129 035 $a(OCoLC)1285783222 035 $a(PPN)123726638 035 $a(Association for Computing Machinery)10.5555/2174020 035 $a(MiAaPQ)EBC302131 035 $a(BIP)46091745 035 $a(BIP)13947301 035 $a(EXLCZ)991000000000284135 100 $a20100301d2007 u| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aPractical Aspects of Declarative Languages $e9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings /$fedited by Michael Hanus 205 $a1st ed. 2007. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2007. 215 $a1 online resource (343 p.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v4354 300 $aInternational conference proceedings. 311 08$a3-540-69608-3 320 $aIncludes bibliographical references and index. 327 $aQuickCheck Testing for Fun and Profit -- A Constraint Programming Approach to Bioinformatics Structural Problems -- Rewriting Haskell Strings -- Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning -- Algebraic Knowledge Discovery Using Haskell -- Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang -- Automatic Incrementalization of Prolog Based Static Analyses -- Verification of Java Bytecode Using Analysis and Transformation of Logic Programs -- Combining Static Analysis and Profiling for Estimating Execution Times -- On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation -- Compiling Constraint Handling Rules for Efficient Tabled Evaluation -- Prolog Performance on Larger Datasets -- BAD, a Declarative Logic-Based Language for Brain Modeling -- From Zinc to Design Model -- Inductive Logic Programming by Instance Patterns -- ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement -- The Joins Concurrency Library -- HPorter: Using Arrows to Compose Parallel Processes -- Coupled Schema Transformation and Data Conversion for XML and SQL -- Aspect-Oriented Programming in Higher-Order and Linear Logic -- Partial Evaluation of Pointcuts. 330 $aThis book constitutes the refereed proceedings of the 9th International Symposium on Practical Aspects of Declarative Languages, PADL 2007, held in Nice, France, in January 2007, colocated with POPL 2007, the Symposium on Principles of Programming Languages. The 19 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 58 submissions. All current aspects of declarative programming are addressed including implementational issues and innovative applications in areas such as database management, software engineering, functional logic, decision support systems, constraint programming, model checking, probabilistic programming, Java and Prolog programming. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v4354 606 $aCompilers (Computer programs) 606 $aComputer programming 606 $aComputer science 606 $aSoftware engineering 606 $aCompilers and Interpreters 606 $aProgramming Techniques 606 $aComputer Science Logic and Foundations of Programming 606 $aSoftware Engineering 615 0$aCompilers (Computer programs) 615 0$aComputer programming. 615 0$aComputer science. 615 0$aSoftware engineering. 615 14$aCompilers and Interpreters. 615 24$aProgramming Techniques. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aSoftware Engineering. 676 $a005.131 700 $aHanus$b Michael$f1959-$01227460 712 12$aPADL 2007 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484424503321 996 $aPractical aspects of declarative languages$92906364 997 $aUNINA