LEADER 02207nam 2200577 a 450 001 9910462691103321 005 20200520144314.0 010 $a1-283-95995-X 010 $a0-8263-5299-5 035 $a(CKB)2670000000325454 035 $a(EBL)1112346 035 $a(OCoLC)826856166 035 $a(SSID)ssj0000820506 035 $a(PQKBManifestationID)11457815 035 $a(PQKBTitleCode)TC0000820506 035 $a(PQKBWorkID)10863155 035 $a(PQKB)10641874 035 $a(MiAaPQ)EBC1112346 035 $a(OCoLC)824698496 035 $a(MdBmJHUP)muse25264 035 $a(Au-PeEL)EBL1112346 035 $a(CaPaEBR)ebr10648832 035 $a(CaONFJC)MIL427245 035 $a(EXLCZ)992670000000325454 100 $a20120808d2013 uy 0 101 0 $aeng 135 $aur|||||||nn|n 181 $ctxt 182 $cc 183 $acr 200 10$aThat every man be armed$b[electronic resource] $ethe evolution of a constitutional right /$fStephen P. Halbrook 205 $aRev. and updated ed. 210 $aAlbuquerque $cUniversity of New Mexico Press$d2013 215 $a1 online resource (338 p.) 300 $aDescription based upon print version of record. 311 $a0-8263-5298-7 320 $aIncludes bibliographical references and index. 327 $aIntroduction : firearms prohibition and constitutional rights -- The elementary books of public right -- The common law of England -- The American revolution and the Second amendment -- Antebellum interpretations -- Freedmen, firearms, and the Fourteenth amendment -- The Supreme Court speaks -- State and federal judicial opinions. 330 $a"A revised and updated edition of Halbrook's 1984 book discussing the Second Amendment and the individual right to bear arms"--Provided by publisher. 606 $aFirearms$xLaw and legislation$zUnited States 608 $aElectronic books. 615 0$aFirearms$xLaw and legislation 676 $a344.7305/33 700 $aHalbrook$b Stephen P$0883620 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910462691103321 996 $aThat every man be armed$92019911 997 $aUNINA LEADER 05659nam 2200577 450 001 996466337103316 005 20210312095925.0 010 $a3-540-74126-7 024 7 $a10.1007/978-3-540-74126-8 035 $a(CKB)1000000000490306 035 $a(SSID)ssj0000316189 035 $a(PQKBManifestationID)11205445 035 $a(PQKBTitleCode)TC0000316189 035 $a(PQKBWorkID)10263463 035 $a(PQKB)11035337 035 $a(DE-He213)978-3-540-74126-8 035 $a(MiAaPQ)EBC3063470 035 $a(MiAaPQ)EBC6408068 035 $a(PPN)123164214 035 $a(EXLCZ)991000000000490306 100 $a20210312d2007 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aAlgorithms in bioinformatics $e7th International Workshop, WABI 2007, Philadelphia, PA, USA, September 8-9, 2007, proceedings /$fRaffaele Giancarlo, Sridhar Hannenhalli (Eds.) 205 $a1st ed. 2007. 210 1$aBerlin ;$aHeidelberg :$cSpringer,$d[2007] 210 4$d©2007 215 $a1 online resource (XIII, 434 p.) 225 1 $aLecture Notes in Bioinformatics ;$v4645 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-74125-9 320 $aIncludes bibliographical references and index. 327 $aShotgun Protein Sequencing -- Locality Kernels for Protein Classification -- When Less Is More: Improving Classification of Protein Families with a Minimal Set of Global Features -- Fault Tolerance for Large Scale Protein 3D Reconstruction from Contact Maps -- Bringing Folding Pathways into Strand Pairing Prediction -- A Fast and Accurate Heuristic for the Single Individual SNP Haplotyping Problem with Many Gaps, High Reading Error Rate and Low Coverage -- Two Birds, One Stone: Selecting Functionally Informative Tag SNPs for Disease Association Studies -- Genotype Error Detection Using Hidden Markov Models of Haplotype Diversity -- Haplotype Inference Via Hierarchical Genotype Parsing -- Seeded Tree Alignment and Planar Tanglegram Layout -- Inferring Models of Rearrangements, Recombinations, and Horizontal Transfers by the Minimum Evolution Criterion -- An ?(n 2/logn) Speed-Up of Heuristics for the Gene-Duplication Problem -- Incremental Discovery of Irredundant Motif Bases in Time O(|?|n 2 logn) -- A Graph Clustering Approach to Weak Motif Recognition -- Informative Motifs in Protein Family Alignments -- Topology Independent Protein Structural Alignment -- Generalized Pattern Search and Mesh Adaptive Direct Search Algorithms for Protein Structure Prediction -- Alignment-Free Local Structural Search by Writhe Decomposition -- Defining and Computing Optimum RMSD for Gapped Multiple Structure Alignment -- Using Protein Domains to Improve the Accuracy of Ab Initio Gene Finding -- Genomic Signatures in De Bruijn Chains -- Fast Kernel Methods for SVM Sequence Classifiers -- On-Line Viterbi Algorithm for Analysis of Long Biological Sequences -- Predicting Protein Folding Kinetics Via Temporal Logic Model Checking -- Efficient Algorithms to Explore Conformation Spaces of Flexible Protein Loops -- Algorithms for the Extraction of Synteny Blocks from Comparative Maps -- Computability of Models for Sequence Assembly -- Fast Algorithms for Selecting Specific siRNA in Complete mRNA Data -- RNA Folding Including Pseudoknots: A New Parameterized Algorithm and Improved Upper Bound -- HFold: RNA Pseudoknotted Secondary Structure Prediction Using Hierarchical Folding -- Homology Search with Fragmented Nucleic Acid Sequence Patterns -- Fast Computation of Good Multiple Spaced Seeds -- Inverse Sequence Alignment from Partial Examples -- Novel Approaches in Psychiatric Genomics -- The Point Placement Problem on a Line ? Improved Bounds for Pairwise Distance Queries -- Efficient Computational Design of Tiling Arrays Using a Shortest Path Approach -- Efficient and Accurate Construction of Genetic Linkage Maps from Noisy and Missing Genotyping Data -- A Novel Method for Signal Transduction Network Inference from Indirect Experimental Evidence -- Composing Globally Consistent Pathway Parameter Estimates Through Belief Propagation. 330 $aThis book constitutes the refereed proceedings of the 7th International Workshop on Algorithms in Bioinformatics, WABI 2007, held in Philadelphia, PA, USA in September 2007. The 38 revised full papers presented together with the abstract of a keynote talk were carefully reviewed and selected from 133 submissions. All current issues of algorithms in bioinformatics are addressed, ranging from mathematical tools to experimental studies of approximation algorithms and reports on significant computational analyses. Numerous biological problems are dealt with, including genetic mapping, sequence alignment and sequence analysis, phylogeny, comparative genomics, and protein structure. Furthermore the papers feature high-performance computing approaches to computationally hard learning and optimization problems in bioinformatics and cover methods, software and dataset repositories for development and testing of such algorithms and their underlying models. 410 0$aLecture notes in computer science.$pLecture notes in bioinformatics ;$v4645. 606 $aComputer programming$vCongresses 615 0$aComputer programming 676 $a005.1 702 $aGiancarlo$b Raffaele 702 $aHannenhalli$b Sridhar 712 12$aWABI (Workshop) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466337103316 996 $aAlgorithms in Bioinformatics$9772095 997 $aUNISA LEADER 01845nam0 2200409 i 450 001 LO10314362 005 20251003044208.0 010 $a8825604513 100 $a20130827d1993 ||||0itac50 ba 101 | $aita 102 $ait 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 1 $aGuida al C++$ecorso completo di programmazione$fRussel Winder 210 $aMilano: Jackson libri$d1993 215 $aVII, 490 p.$d24 cm. 500 10$aDeveloping C++ software.$3LO10324406$9MILV054770$9382880 606 $aELABORATORI ELETTRONICI$xProgrammazione$xLinguaggio C++$2FIR$3VEAC021851$9I 606 $aElaboratori elettronici$xProgrammi$xSviluppo$2FIR$3CFIC084013$9I 676 $a005.133$9SPECIFICI LINGUAGGI DI PROGRAMMAZIONE$v19 676 $a005.2$9PROGRAMMAZIONE PER SPECIFICI TIPI DI ELABORATORE, PER SPECIFICI SISTEMI OPERATIVI, PER SPECIFICHE INTERFACCE UTENTE$v14 676 $a005.262$9PROGRAMMAZIONE IN SPECIFICI LINGUAGGI DI PROGRAMMAZIONE$v21 676 $a005.262$9Specifici linguaggi di programmazione$v22 696 $aProgrammi didattici$aProgrammi scolastici$aPiani di lavoro 699 $aProgrammi$yProgrammi didattici 699 $aProgrammi$yProgrammi scolastici 699 $aProgrammi$zPiani di lavoro 700 1$aWinder$b, Russel$3MILV054770$4070$060143 801 3$aIT$bIT-000000$c20130827 850 $aIT-BN0095 $aIT-NA0079 901 $bNAP BN$cS.MOD $nLa consegna dei documenti è effettuata dall'Ufficio Distribuzione 901 $bNAP 01$cSALA DING $n$ 912 $aLO10314362 950 0$aBiblioteca Centralizzata di Ateneo$b1 v.$c1 v.$d 01SALA DING 005.2 WIN.gu$e 0102 0000011215 VMA A4 1 v. (rist., 1995)$fY $h19940614$i19940614 977 $a 01$a BN 996 $aDeveloping C++ software$9382880 997 $aUNISANNIO