LEADER 01113nam0-22003011i-450- 001 990000082640403321 035 $a000008264 035 $aFED01000008264 035 $a(Aleph)000008264FED01 035 $a000008264 100 $a20011111d--------km-y0itay50------ba 101 0 $aita 105 $ay-------001yy 200 1 $aNella causa vertente fra la Societŕ italiana per le strade ferrate meridionali... ed i signori FilippoJacobelli , Benedetto Stragazi ed il Prefetto di Benevento promossa in seguito alla rovina avvenuta nel dicembre 1875 del ponte denominato Torello sul fiume Calore...$frelazione di perizia di Ambrogio Mendia , Gennaro Di Gennaro e Felice Abate. 210 $aAncona$cStabilimento tipografico Civelli$d1878 215 $a324 p., 5 tav.$cill.$d31 cm 610 0 $aCalore (Fiume) 676 $a347.067 700 1$aMendia,$bAmbrogio 702 1$aAbate,$bFelice 702 1$aDi Gennaro,$bGennaro 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990000082640403321 952 $a13 AR 18 E 35$b4239$fFINBC 959 $aFINBC 997 $aUNINA DB $aING01 LEADER 04102nam 22006375 450 001 9910427676203321 005 20251113194624.0 010 $a3-030-62536-2 024 7 $a10.1007/978-3-030-62536-8 035 $a(CKB)4100000011558607 035 $a(DE-He213)978-3-030-62536-8 035 $a(MiAaPQ)EBC6386171 035 $a(PPN)252506731 035 $a(EXLCZ)994100000011558607 100 $a20201107d2020 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aDescriptional Complexity of Formal Systems $e22nd International Conference, DCFS 2020, Vienna, Austria, August 24?26, 2020, Proceedings /$fedited by Galina Jirásková, Giovanni Pighizzini 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (X, 245 p. 327 illus., 9 illus. in color.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12442 300 $aIncludes index. 311 08$a3-030-62535-4 327 $aMutually Accepting Capacitated Automata -- Bad pictures: some structural properties related to overlaps -- Regular Expression Length via Arithmetic Formula Complexity -- Crisp-determinization of Weighted Tree Automata over Additively Locally Finite and Past-finite Monotonic Strong Bimonoids is Decidable -- On the Power of Generalized Forbidding Insertion-Deletion Systems -- State Complexity Bounds for the Commutative Closure of Group Languages -- Multiple Concatenation and State Complexity (Extended Abstract) -- Combining Limited Parallelism and Nondeterminism in Alternating Finite Automata -- Longer shortest strings in two-way finite automata -- Iterated Uniform Finite-State Transducers: Descriptional Complexity of Nondeterminism and Two-Way Motion -- Descriptional Complexity of Winning Sets of Regular Languages -- State complexity of GF(2)-inverse and GF(2)-star on binary languages -- Complexity of Two-dimensional Rank-reducing Grammars -- Palindromic Length of Words with Many Periodic Palindromes -- Operational Complexity of Straight Line Programs for Regular Languages -- Classifying ?-Regular Aperiodic k-Partitions -- Recognition and Complexity Results for Projection Languages of Two-Dimensional Automata -- On the Generative Power of Quasiperiods -- Insertion-Deletion Systems With Substitutions II. 330 $aThis book constitutes the proceedings of the 22nd International Conference on Descriptional Complexity of Format Systems, DCFS 2020, which was supposed to take place in Vienna, Austria, in August 2020, but the conference was canceled due to the COVID-19 crisis. The 19 full papers presented in this volume were carefully reviewed and selected from 31 submissions. They deal with all aspects of descriptional complexity and costs of description of objects in various computational models, such as Turing machines, pushdown automata, finite automata, grammars, and others. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12442 606 $aComputer science 606 $aArtificial intelligence 606 $aMachine theory 606 $aDatabase management 606 $aComputer Science Logic and Foundations of Programming 606 $aArtificial Intelligence 606 $aFormal Languages and Automata Theory 606 $aDatabase Management 615 0$aComputer science. 615 0$aArtificial intelligence. 615 0$aMachine theory. 615 0$aDatabase management. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aArtificial Intelligence. 615 24$aFormal Languages and Automata Theory. 615 24$aDatabase Management. 676 $a005.1015113 702 $aPighizzini$b Giovanni 702 $aJira?skova?$b Galina 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910427676203321 996 $aDescriptional Complexity of Formal Systems$91904989 997 $aUNINA LEADER 05774nam 22008655 450 001 9910483355503321 005 20251226195248.0 010 $a3-642-10865-2 024 7 $a10.1007/978-3-642-10865-5 035 $a(CKB)1000000000812696 035 $a(SSID)ssj0000355616 035 $a(PQKBManifestationID)11233505 035 $a(PQKBTitleCode)TC0000355616 035 $a(PQKBWorkID)10341195 035 $a(PQKB)10071529 035 $a(DE-He213)978-3-642-10865-5 035 $a(MiAaPQ)EBC3064890 035 $a(PPN)139963022 035 $a(EXLCZ)991000000000812696 100 $a20100301d2009 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aSelf-Organizing Systems $e4th IFIP TC 6 International Workshop, IWSOS 2009, Zurich, Switzerland, December 9-11, 2009, Proceedings /$fedited by Thrasyvoulos Spyropoulos, Karin Anna Hummel 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (XI, 269 p.) 225 1 $aComputer Communication Networks and Telecommunications,$x2945-9184 ;$v5918 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-10864-4 320 $aIncludes bibliographical references and index. 327 $aAd Hoc and Sensor Networks -- Self-management of Routing on Human Proximity Networks -- Revisiting P2P Content Sharing in Wireless Ad Hoc Networks -- Event Detection Using Unmanned Aerial Vehicles: Ordered versus Self-organized Search -- Services, Storage, and Internet Routing -- A Survey of Models and Design Methods for Self-organizing Networked Systems -- Laying Pheromone Trails for Balanced and Dependable Component Mappings -- Self-organized Data Redundancy Management for Peer-to-Peer Storage Systems -- Self-organization of Internet Paths -- Peer-to-Peer Systems -- Non-Sticky Fingers: Policy-Driven Self-optimization for DHTs -- Passive/Active Load Balancing with Informed Node Placement in DHTs -- Optimal TCP-Friendly Rate Control for P2P Streaming: An Economic Approach -- Theory and General Approaches -- The Degree of Global-State Awareness in Self-Organizing Systems -- Revisiting the Auto-Regressive Functions of the Cross-Entropy Ant System -- Quantitative Modeling of Self-organizing Properties -- Overlay Networks -- Resolving the Noxious Effect of Churn on Internet Coordinate Systems -- Tuning Vivaldi: Achieving Increased Accuracy and Stability -- Short Papers -- A Stable Random-Contact Algorithm for Peer-to-Peer File Sharing -- A Decentralized Architecture for Distributed Neighborhood Based Search -- Scheduling in P2P Streaming: From Algorithms to Protocols -- Network Heterogeneity and Cascading Failures ? An Evaluation for the Case of BGP Vulnerability -- A Self-organizing Approach to Activity Recognition with Wireless Sensors -- Congestion Control in Wireless Sensor Networks Based on the Bird Flocking Behavior -- A Distributed Range Assignment Protocol -- A Distributed Power Saving Algorithm for Cellular Networks -- Local Optimum Based Power Allocation Approach for Spectrum Sharing inUnlicensed Bands -- Economics-Driven Short-Term Traffic Management in MPLS-Based Self-adaptive Networks -- Self-organized Evacuation Based on LifeBelt -- On the Role of Self-organisation as a Model for Networked Systems -- Addressing Stability of Control-Loops in the Context of the GANA Architecture: Synchronization of Actions and Policies. 330 $aThis book constitutes the refereed proceedings of the 4th International Workshop on Self-Organizing Systems, IWSOS 2009, held in Zurich, Switzerland, in December 2009. The 14 revised full papers and 13 revised short papers presented were carefully selected from the 34 full and 27 short paper submissions. The papers are organized in topical sections on ad hoc and sensor networks; services, storage, and internet routing; peer-to-peer systems; theory and general approaches; overlay networks; peer-to-peer systems and internet routing; wireless networks; and network topics. 410 0$aComputer Communication Networks and Telecommunications,$x2945-9184 ;$v5918 606 $aComputer networks 606 $aArtificial intelligence 606 $aComputer simulation 606 $aComputers, Special purpose 606 $aData mining 606 $aInformation storage and retrieval systems 606 $aComputer Communication Networks 606 $aArtificial Intelligence 606 $aComputer Modelling 606 $aSpecial Purpose and Application-Based Systems 606 $aData Mining and Knowledge Discovery 606 $aInformation Storage and Retrieval 615 0$aComputer networks. 615 0$aArtificial intelligence. 615 0$aComputer simulation. 615 0$aComputers, Special purpose. 615 0$aData mining. 615 0$aInformation storage and retrieval systems. 615 14$aComputer Communication Networks. 615 24$aArtificial Intelligence. 615 24$aComputer Modelling. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aData Mining and Knowledge Discovery. 615 24$aInformation Storage and Retrieval. 676 $a004n/a 686 $aDAT 250f$2stub 686 $aDAT 718f$2stub 686 $aSS 4800$2rvk 701 $aHummel$b Karin Anna$01753708 701 $aSpyropoulos$b Thrasyvoulos$0885014 712 02$aInternational Federation for Information Processing.$bTechnical Committee 6. 712 12$aIWSOS 2009 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483355503321 996 $aSelf-organizing systems$94189688 997 $aUNINA