01701nam 2200409 450 991070434680332120130130163107.0(CKB)5470000002440217(OCoLC)826037577(EXLCZ)99547000000244021720130130d2012 ua 0engurmn|||||||||rdacontentrdamediardacarrierAir passenger screening Transportation Security Administration needs to improve complaint processes : testimony before the Subcommittee on Aviation, Committee on Transportation and Infrastructure, House of Representatives /statement of Stephen M. Lord[Washington, D.C.] :United States Government Accountability Office,2012.1 online resource (9 pages) illustrationsTestimony ;GAO-13-186TTitle from title screen (viewed Jan. 28, 2013)."For release ... November 29, 2012."Includes bibliographical references.Air passenger screening Airline passenger security screeningUnited StatesConsumer complaintsGovernment policyUnited StatesAirline passenger security screeningConsumer complaintsGovernment policyLord Stephen M.1387410United States.Congress.House.Committee on Transportation and Infrastructure.Subcommittee on Aviation,United States.Government Accountability Office,GPOGPOBOOK9910704346803321Air passenger screening3490498UNINA05689nam 22007455 450 99646561580331620230927174030.010.1007/11555964(CKB)1000000000213254(SSID)ssj0000316855(PQKBManifestationID)11258551(PQKBTitleCode)TC0000316855(PQKBWorkID)10286408(PQKB)10224247(DE-He213)978-3-540-32070-8(MiAaPQ)EBC3067739(PPN)123097568(EXLCZ)99100000000021325420100317d2005 u| 0engurnn#008mamaatxtccrComputer Algebra in Scientific Computing[electronic resource] 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings /edited by Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov1st ed. 2005.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2005.1 online resource (XII, 504 p.)Theoretical Computer Science and General Issues,2512-2029 ;3718Bibliographic Level Mode of Issuance: Monograph3-540-32070-9 3-540-28966-6 Includes bibliographical references and index.On Regular and Logarithmic Solutions of Ordinary Linear Differential Systems -- Computing the Betti Numbers of Arrangements in Practice -- A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue Problem by a Self-consistent Basis Method -- RelView – An OBDD-Based Computer Algebra System for Relations -- On the Use of Gröbner Bases for Computing the Structure of Finite Abelian Groups -- Normal Forms and Integrability of ODE Systems -- Resultant-Based Methods for Plane Curves Intersection Problems -- Symbolic Calculations in Studying the Stability of Dynamically Symmetric Satellite Motion -- Generation of Orthogonal Grids on Curvilinear Trimmed Regions in Constant Time -- Computer Algebra in Nanosciences: Modeling Electronic States in Quantum Dots -- Cayley-Dixon Resultant Matrices of Multi-univariate Composed Polynomials -- A Descartes Algorithm for Polynomials with Bit-Stream Coefficients -- Real Solving of Bivariate Polynomial Systems -- Nouvelle Cuisine for the Computation of the Annihilating Ideal of f s -- Janet-Like Monomial Division -- Janet-Like Gröbner Bases -- Circulant Digraphs and Monomial Ideals -- Algebraic Topological Analysis of Time-Sequence of Digital Images -- Hilbert Stratification and Parametric Gröbner Bases -- Investigation of the Stability Problem for the Critical Cases of the Newtonian Many-Body Problem -- Symbolic-Numerical Algorithm for Solving the Time-Dependent Schrödinger Equation by Split-Operator Method -- On Some Results of Investigation of Kirchhoff Equations in Case of a Rigid Body Motion in Fluid -- On Compatibility of Discrete Relations -- Construction of Two Level Orthogonal Arrays Via Solutions of Linear Systems -- Counting Techniques Specifying the Existence of Submatrices in Weighing Matrices -- Fast Verification for Respective Eigenvalues of Symmetric Matrix -- Towards More Accurate Separation Bounds of Empirical Polynomials II -- Compiler-Enforced Memory Semantics in the SACLIB Computer Algebra Library -- Meta-Petro: An Expert System for Training Undergraduates in Metamorphic Rocks Recognition and Classification Using Photomicrographies -- The Diamond Operator – Implementation of Exact Real Algebraic Numbers -- Constructing the Numerical Method for Navier — Stokes Equations Using Computer Algebra System -- Nonlinear Waves in a Rod -- A Symbolic-Numeric Method for Solving Boundary Value Problems of Kirchhoff Rods -- Differential and Difference Equations for Products of Classical Orthogonal Polynomials -- Algorithm of Local Resolution of Singularities of a Space Curve -- Quantifier Elimination for Constraint Logic Programming -- Computation of Full Comprehensive Gröbner Bases -- Recursive Polynomial Remainder Sequence and the Nested Subresultants -- Interdependence Between the Laurent-Series and Elliptic Solutions of Nonintegrable Systems -- Solving Linear Differential Problems with Parameters -- Approximate Solution of the Dirichlet Problem for Elliptic PDE and Its Error Estimate.Theoretical Computer Science and General Issues,2512-2029 ;3718Computer science—MathematicsAlgebraComputer programmingDiscrete mathematicsAlgorithmsMathematics of ComputingAlgebraSymbolic and Algebraic ManipulationProgramming TechniquesDiscrete Mathematics in Computer ScienceAlgorithmsComputer science—Mathematics.Algebra.Computer programming.Discrete mathematics.Algorithms.Mathematics of Computing.Algebra.Symbolic and Algebraic Manipulation.Programming Techniques.Discrete Mathematics in Computer Science.Algorithms.512.00285Ganzha Victor Gedthttp://id.loc.gov/vocabulary/relators/edtMayr Ernst Wedthttp://id.loc.gov/vocabulary/relators/edtVorozhtsov Evgenii Vedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465615803316Computer Algebra in Scientific Computing772100UNISA