LEADER 02064oam 2200457zu 450 001 996280727703316 005 20210806235959.0 010 $a0-7381-3139-3 024 7 $a10.1109/IEEESTD.1997.85817 035 $a(CKB)1000000000035160 035 $a(SSID)ssj0000630448 035 $a(PQKBManifestationID)12199435 035 $a(PQKBTitleCode)TC0000630448 035 $a(PQKBWorkID)10744972 035 $a(PQKB)10261056 035 $a(NjHacI)991000000000035160 035 $a(EXLCZ)991000000000035160 100 $a20160829d1996 uy 101 0 $aeng 135 $aur||||||||||| 181 $ctxt 182 $cc 183 $acr 200 00$aIEEE Standard for Information Technology-Portable Operating Interface System: Part 3: User and Group Account Administration (ANSI) 1387.3-1996 210 31$a[Place of publication not identified]$cIEEE$d1996 215 $a1 online resource 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a1-55937-866-2 330 $aSystem Administration Interface/User and Group Administration for Computer Operating System Environments, is part of the POSIX®series of standards for applications and user interfaces to open systems. The purpose of this standard is to provide a common set of utility programs, for the administration of theUser and Group Account entities described in the ISO/IEC 9945-1:1996 (IEEE Std1003.1-1996) and ISO/IEC 9945-2:1993 (IEEE Std 1003.2-1992) standards. 606 $aComputer interfaces$xStandards 606 $aOperating systems (Computers)$xStandards 606 $aPOSIX (Computer software standard) 615 0$aComputer interfaces$xStandards. 615 0$aOperating systems (Computers)$xStandards. 615 0$aPOSIX (Computer software standard) 676 $a621.3916 801 0$bPQKB 906 $aDOCUMENT 912 $a996280727703316 996 $aIEEE Standard for Information Technology-Portable Operating Interface System: Part 3: User and Group Account Administration (ANSI) 1387.3-1996$92579456 997 $aUNISA LEADER 05465nam 22006015 450 001 996696878103316 005 20260102122940.0 010 $a981-9548-39-X 024 7 $a10.1007/978-981-95-4839-2 035 $a(MiAaPQ)EBC32470090 035 $a(Au-PeEL)EBL32470090 035 $a(CKB)44768765000041 035 $a(DE-He213)978-981-95-4839-2 035 $a(OCoLC)1572114726 035 $a(EXLCZ)9944768765000041 100 $a20260102d2026 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aTheory and Applications of Models of Computation $e19th Annual Conference, TAMC 2025, Jinan, China, September 19?21, 2025, Proceedings /$fedited by Min Li, Mingji Xia, Peng Zhang 205 $a1st ed. 2026. 210 1$aSingapore :$cSpringer Nature Singapore :$cImprint: Springer,$d2026. 215 $a1 online resource (728 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v16084 311 08$a981-9548-38-1 327 $a -- Computational Complexity and Algorithms. -- Complexity and Approximation Algorithms for Fixed Charge Transportation Problems. -- Closure Properties and Characterizations of TotP. -- Fair k-Center Clustering with Minimum Representation Guarantees. -- Models of Computation. -- Approximate EFX and Effcient Allocations of Chores for Bounded Preferences. -- Strategies for Non-Myopic Users in EIP-1559. -- A Lookup Table Design Method: Achieving O(1)-query Complexity and No Memory Waste. -- Logic and Proof Theory. -- On a computability-theoretic approach to Boolean-valued models. -- Separation between Walksat and DPLL. -- Algorithmic Game Theory. -- How to Play Mastermind without Game Master. -- Constrained Distributed Heterogeneous Two-Facility Location Problems with Max-Variant Cost. -- Truthful Two-Obnoxious-Facility Location Games with Optional Preferences and Minimum Distance Constraint. -- Approximating EFX through a New Notion of Fairness. -- Parallel and Distributed Computing. -- A Distributed Algorithm for Robust Sequential Submodular Optimization in Multi-Robot Systems. -- Approximation algorithms for the parallel-machine customer order scheduling with weighted and submodular rejection penalties. -- Parallelizing Scheduling Algorithms for Resource Allocation under v-RAN. -- Computational Geometry and Graph Theory. -- Constructive Upper Bounds on Rectangle Eliminating Number in Grid Graphs. -- Some Combinatorial Algorithms on the Eliminating Edge Feedback Number of Hypergraphs. -- A space-partition based approach to the 2-center problem in three and higher dimensions. -- Combinatorial Optimization. -- An LP-rounding Based Algorithm for Hard Capacitated Uniform Facility Location Problem with Soft Penalties. -- Prediction-Augmented Mechanism Design for Weighted Facility Location. -- Max-Min Four-dispersion Problems. -- Generalized Last Open-End Bin Packing Problem. -- On the windy k-traveling salesman problem. -- Approximating Total E ective Resistance Minimization With Small Budget. -- Modified Greedy Algorithm for Monotone Submodular Maximization with Knapsack and Partition Matroid Constraints. -- Random Greedy Deployment of Heterogeneous UAVs. -- Parameterized Algorithms. -- A parameterized approximation algorithm for the diversity-aware l-centrum problem. -- An Improved Approximation Algorithm for the k-Supplier Problem with Parameterized Triangle Inequality. -- A Quadratic Kernel for fClaw, Diamondg-free Deletion. -- Continuous Optimization and Lattice Optimization. -- An LP-rounding Based Algorithm for Hard Capacitated Uniform Facility Location Problem with Soft Penalties. -- Prediction-Augmented Mechanism Design for Weighted Facility Location. -- Max-Min Four-dispersion Problems. -- Generalized Last Open-End Bin Packing Problem. -- On the windy k-traveling salesman problem. 330 $aThis book constitutes the proceedings of the 19th Annual Conference on Theory and Applications of Models of Computation, TAMC 2025, which was held in Jinan, China, during September 19?21, 2025. The 32 papers included in these proceedings were carefully reviewed and selected from 71 submissions. They were organized in topical sections as follows: Computational Complexity and Algorithms; Models of Computation; Logic and Proof Theory; Algorithmic Game Theory; Parallel and Distributed Computing; Computational Geometry and Graph Theory; Combinatorial Optimization; Parameterized Algorithms; Continuous Optimization and Lattice Optimization. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v16084 606 $aAlgorithms 606 $aComputer science$xMathematics 606 $aDiscrete mathematics 606 $aComputer science 606 $aAlgorithms 606 $aDiscrete Mathematics in Computer Science 606 $aTheory of Computation 615 0$aAlgorithms. 615 0$aComputer science$xMathematics. 615 0$aDiscrete mathematics. 615 0$aComputer science. 615 14$aAlgorithms. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aTheory of Computation. 676 $a518.1 700 $aLi$b Min$0636103 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996696878103316 996 $aTheory and Applications of Models of Computation$94519887 997 $aUNISA