LEADER 00918nam0-22003011i-450- 001 990000584580403321 005 20001010 035 $a000058458 035 $aFED01000058458 035 $a(Aleph)000058458FED01 035 $a000058458 100 $a20001010d--------km-y0itay50------ba 101 0 $aita 105 $ay-------001yy 200 1 $aMATHEMATICAL THEORY OF RELIABILITY$fBARLOW RICHARD E. - PROSCHAN FRANK - HUNTER LARRY C. 210 $aNew York$cJohn Wiley & Sons$d1965 610 0 $aTecnica della Sperimentazione su materiali e strutture 610 0 $aFotoelasticitą 610 0 $aCalcolo delle probabilitą e applicazioni 700 1$aBarlow,$bRichard E.$030930 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990000584580403321 952 $a07 E-21$b3283$fDINSC 959 $aDINSC 996 $aMathematical theory of reliability$9254071 997 $aUNINA DB $aING01 LEADER 08617nam 22008535 450 001 996465917103316 005 20230406010350.0 010 $a3-540-70575-9 024 7 $a10.1007/978-3-540-70575-8 035 $a(CKB)1000000000490350 035 $a(SSID)ssj0000316391 035 $a(PQKBManifestationID)11285844 035 $a(PQKBTitleCode)TC0000316391 035 $a(PQKBWorkID)10263936 035 $a(PQKB)11609407 035 $a(DE-He213)978-3-540-70575-8 035 $a(MiAaPQ)EBC3063821 035 $a(MiAaPQ)EBC6511716 035 $a(Au-PeEL)EBL6511716 035 $a(OCoLC)272314715 035 $a(PPN)127054960 035 $a(EXLCZ)991000000000490350 100 $a20100301d2008 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAutomata, Languages and Programming$b[electronic resource] $e35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I /$fedited by Luca Aceto, Ivan Damgaard, Leslie Ann Goldberg, Magnus M. Halldorsson, Anna Ingolfsdottir, Igor Walukiewicz 205 $a1st ed. 2008. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008. 215 $a1 online resource (XXIII, 896 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5125 300 $aIncludes index. 311 $a3-540-70574-0 320 $aIncludes bibliographical references and index. 327 $aInvited Lectures -- Graph Structure and Monadic Second-Order Logic: Language Theoretical Aspects -- Internet Ad Auctions: Insights and Directions -- Track A: Algorithms, Automata, Complexity, and Games -- The Complexity of Boolean Formula Minimization -- Optimal Cryptographic Hardness of Learning Monotone Functions -- On Berge Multiplication for Monotone Boolean Dualization -- Diagonal Circuit Identity Testing and Lower Bounds -- Cell-Probe Proofs and Nondeterministic Cell-Probe Complexity -- Constructing Efficient Dictionaries in Close to Sorting Time -- On List Update with Locality of Reference -- A New Combinatorial Approach for Sparse Graph Problems -- How to Explore a Fast-Changing World (Cover Time of a Simple Random Walk on Evolving Graphs) -- Networks Become Navigable as Nodes Move and Forget -- Fast Distributed Computation of Cuts Via Random Circulations -- Finding a Maximum Matching in a Sparse Random Graph in O(n) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved Approximation Algorithms for Budgeted Allocations -- The Travelling Salesman Problem in Bounded Degree Graphs -- Treewidth Computation and Extremal Combinatorics -- Fast Scheduling of Weighted Unit Jobs with Release Times and Deadlines -- Approximation Algorithms for Scheduling Parallel Jobs: Breaking the Approximation Ratio of 2 -- A PTAS for Static Priority Real-Time Scheduling with Resource Augmentation -- Optimal Monotone Encodings -- Polynomial-Time Construction of Linear Network Coding -- Complexity of Decoding Positive-Rate Reed-Solomon Codes -- Computational Complexity of the Distance Constrained Labeling Problem for Trees (Extended Abstract) -- The Randomized Coloring Procedure with Symmetry-Breaking -- The Local Nature of List Colorings for Graphs of High Girth -- Approximating List-Coloring on a Fixed Surface -- Asymptotically Optimal Hitting Sets Against Polynomials -- The Smoothed Complexity of Edit Distance -- Randomized Self-assembly for Approximate Shapes -- Succinct Data Structures for Retrieval and Approximate Membership (Extended Abstract) -- Competitive Weighted Matching in Transversal Matroids -- Scheduling for Speed Bounded Processors -- Faster Algorithms for Incremental Topological Ordering -- Dynamic Normal Forms and Dynamic Characteristic Polynomial -- Algorithms for ?-Approximations of Terrains -- An Approximation Algorithm for Binary Searching in Trees -- Algorithms for 2-Route Cut Problems -- The Two-Edge Connectivity Survivable Network Problem in Planar Graphs -- Efficiently Testing Sparse GF(2) Polynomials -- Testing Properties of Sets of Points in Metric Spaces -- An Expansion Tester for Bounded Degree Graphs -- Property Testing on k-Vertex-Connectivity of Graphs -- Almost 2-SAT Is Fixed-Parameter Tractable (Extended Abstract) -- On Problems without Polynomial Kernels (Extended Abstract) -- Faster Algebraic Algorithms for Path and Packing Problems -- Understanding the Complexity of Induced Subgraph Isomorphisms -- Spanners in Sparse Graphs -- Distance Oracles for Unweighted Graphs: Breaking the Quadratic Barrier with Constant Additive Error -- All-Pairs Shortest Paths with a Sublinear Additive Error -- Simpler Linear-Time Modular Decomposition Via Recursive Factorizing Permutations -- The Complexity of the Counting Constraint Satisfaction Problem -- On the Hardness of Losing Weight -- Product Theorems Via Semidefinite Programming -- Sound 3-Query PCPPs Are Long -- Approximative Methods for Monotone Systems of Min-Max-Polynomial Equations -- Recursive Stochastic Games with Positive Rewards -- Complementation, Disambiguation, and Determinization of Büchi Automata Unified -- Tree Projections: Hypergraph Games and Minimality -- Explicit Non-adaptive Combinatorial Group Testing Schemes -- Tight Lower Bounds for Multi-pass Stream Computation Via Pass Elimination -- Impossibility of a Quantum Speed-Up with a Faulty Oracle -- Superpolynomial Speedups Based on Almost Any Quantum Circuit -- The Speed of Convergence in Congestion Games under Best-Response Dynamics -- Uniform Budgets and the Envy-Free Pricing Problem -- Bayesian Combinatorial Auctions -- Truthful Unification Framework for Packing Integer Programs with Choices -- Upper Bounds on the Noise Threshold for Fault-Tolerant Quantum Computing -- Finding Optimal Flows Efficiently -- Optimal Quantum Adversary Lower Bounds for Ordered Search -- Quantum SAT for a Qutrit-Cinquit Pair Is QMA 1-Complete -- Superpolynomial Speedups Based on Almost Any Quantum Circuit. 330 $aThe two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP 2008, held in Reykjavik, Iceland, in July 2008. The 126 revised full papers presented together with 4 invited lectures were carefully reviewed and selected from a total of 407 submissions. The papers are grouped in three major tracks on algorithms, automata, complexity and games, on logic, semantics, and theory of programming, and on security and cryptography foundations. LNCS 5125 contains 70 contributions of track A selected from 269 submissions as well as 2 invited lectures. The papers are organized in topical sections on complexity: boolean functions and circuits, data structures, random walks and random structures, design and analysis of algorithms, scheduling, codes and coding, coloring, randomness in computation, online and dynamic algorithms, approximation algorithms, property testing, parameterized algorithms and complexity, graph algorithms, computational complexity, games and automata, group testing, streaming, and quantum, algorithmic game theory, and quantum computing. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5125 606 $aSoftware engineering 606 $aComputer programming 606 $aComputer science 606 $aComputer science?Mathematics 606 $aDiscrete mathematics 606 $aNumerical analysis 606 $aArtificial intelligence?Data processing 606 $aSoftware Engineering 606 $aProgramming Techniques 606 $aTheory of Computation 606 $aDiscrete Mathematics in Computer Science 606 $aNumerical Analysis 606 $aData Science 615 0$aSoftware engineering. 615 0$aComputer programming. 615 0$aComputer science. 615 0$aComputer science?Mathematics. 615 0$aDiscrete mathematics. 615 0$aNumerical analysis. 615 0$aArtificial intelligence?Data processing. 615 14$aSoftware Engineering. 615 24$aProgramming Techniques. 615 24$aTheory of Computation. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aNumerical Analysis. 615 24$aData Science. 676 $a004.0151 702 $aAceto$b Luca 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465917103316 996 $aAutomata, languages and programming$9339738 997 $aUNISA LEADER 05779oam 2200721I 450 001 9910790642103321 005 20230803022125.0 010 $a1-317-92248-4 010 $a1-138-15051-7 010 $a1-315-85370-1 010 $a1-317-92249-2 024 7 $a10.4324/9781315853703 035 $a(CKB)2550000001136459 035 $a(EBL)1487284 035 $a(SSID)ssj0001037062 035 $a(PQKBManifestationID)12460500 035 $a(PQKBTitleCode)TC0001037062 035 $a(PQKBWorkID)11042792 035 $a(PQKB)10755187 035 $a(MiAaPQ)EBC1487284 035 $a(Au-PeEL)EBL1487284 035 $a(CaPaEBR)ebr10783025 035 $a(CaONFJC)MIL536162 035 $a(OCoLC)861692107 035 $a(OCoLC)958101218 035 $a(EXLCZ)992550000001136459 100 $a20180706e20132002 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aHandbook on teacher portfolios for evaluation and professional development /$fPamela D. Tucker, James H. Stronge, Christopher R. Gareis 210 1$aNew York :$cRoutledge,$d2013. 215 $a1 online resource (310 p.) 300 $aFirst published 2002 by Eye on Education. 311 $a1-930556-32-2 311 $a1-306-04911-3 320 $aIncludes bibliographical references. 327 $aCover; Title Page; Copyright Page; Dedication; About the Companion Compact Disk; Acknowledgments; Table of Contents; About the Authors; Preface; 1 Handbook on Teacher Portfolios: An Introduction; Why Teacher Portfolios?; What is a Teacher Portfolio?; What a Portfolio Is Not; Key Components of a Portfolio; Purposes for a Teacher Portfolio; What is the Portfolio's Value for Teacher Evaluation?; What's Wrong with TraditionalTeacher Evaluation; What's Right with Portfolios in Teacher Evaluation; What is the Portfolio's Value for Professional Development?; Portfolios and Teacher Self-Reflection 327 $aPortfolios and CollaborationSummary; A Case Study: National Board for Professional Teaching Standards; A Case Study: Connecticut's Beginning Educator Support and Training Program (BEST); Case Study: The Douglas County Outstanding Teacher Program; References; 2 Developing a Teacher Portfolio; What is the Role of Performance Standards in Developing Portfolios?; What Should a Teacher Portfolio "Look Like"?; Portfolio Notebook; Digital Portfolio; Portfolios for Other Purposes: Action Research Portfolios and Employment Portfolios; What Is the Role of Artifacts in Portfolios?; What are Artifacts? 327 $aTypes of Artifacts Available to TeachersHow Can Captions Add Value to Portfolios?; How Can Portfolios be Organized Effectively?; Using Performance Standards to Organize Portfolios; Using Required Entries to Organize Portfolios; Summary; References; 3 Putting Portfolios into Action; What Practical Tips Will Help Teachers to Assemble and Sustain Portfolios?; Assembling a Teacher Portfolio; Sustaining a Teacher Portfolio; Know What You're Going For; Capture the Practice; Work on Your Portfolio Over Time; Emphasize Quality Over Quantity; Be Selective; Collaborate with Other Professionals 327 $aSelecting ArtifactsHow Can a School or District Begin to Implement Portfolios?; Key Questions to Answer Before Implementing Portfolios; Steps to Take in Implementing Portfolios; Enlist Volunteers; Start Small; Minimize Risk; Offer Incentives and Provide Support; Study Examples of Best Practice; Allow Time for Change; Provide Training; Conduct Field Tests and Refine the Portfolio Process; Communicate and Collaborate; Evaluate the Use of Portfolios After Implementation; Summary; References; 4 Teacher Portfolios and Teacher Evaluation 327 $aWhat Are Alternatives to Observation- Only Teacher Evaluation Systems?Do Teacher Portfolios Contribute to a Valid Assessment of Teacher Performance?; Validity of Portfolios: A Case Study; Validity of Portfolios: Additional Evidence; Enhanced Validity and the Use of Multiple Data Sources; Balancing Process and Product in Teacher Evaluation; Do Portfolios Have a Value-Added Effect on Teacher Evaluation?; Differentiating Performance in Teacher Evaluation; Differentiating Teacher Effectiveness: The National Board Study; Differentiating Summative Results: A School District Study 327 $aWhat Are Additional Benefits in Using Portfolios in Teacher Evaluation? 330 $aThis research-based book provides details on how educators can dramatically increase student achievement. It offers numerous experience-based ideas and strategies which can be applied to any school or district.This book will help you: establish a results-oriented focus on the curriculum, increase time-on-task and academic rigor for ALL students, provide a supportive accountability system for all staff members, identify and eliminate educational practices that lower student achievement, and introduce an achievement audit process that will increase student performance in any school or district. 606 $aPortfolios in education$zUnited States$vHandbooks, manuals, etc 606 $aTeachers$xRating of$zUnited States$vHandbooks, manuals, etc 606 $aTeachers$xIn-service training$zUnited States$vHandbooks, manuals, etc 615 0$aPortfolios in education 615 0$aTeachers$xRating of 615 0$aTeachers$xIn-service training 676 $a193 700 $aTucker$b Pamela D.$0908507 701 $aGareis$b Christopher R$01556867 701 $aStronge$b James H$0861843 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910790642103321 996 $aHandbook on teacher portfolios for evaluation and professional development$93866216 997 $aUNINA