LEADER 04892nam 22007575 450 001 996465959603316 005 20230329191413.0 010 $a3-319-40946-8 024 7 $a10.1007/978-3-319-40946-7 035 $a(CKB)3710000000765250 035 $a(DE-He213)978-3-319-40946-7 035 $a(MiAaPQ)EBC6296937 035 $a(MiAaPQ)EBC5587341 035 $a(Au-PeEL)EBL5587341 035 $a(OCoLC)1066178899 035 $a(PPN)194514889 035 $a(EXLCZ)993710000000765250 100 $a20160705d2016 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aImplementation and Application of Automata$b[electronic resource] $e21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings /$fedited by Yo-Sub Han, Kai Salomaa 205 $a1st ed. 2016. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016. 215 $a1 online resource (XVI, 335 p. 91 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9705 311 $a3-319-40945-X 327 $aDecision Problems for Finite Automata over Infinite Algebraic Structures -- The Degree of Irreversibility in Deterministic Finite Automata -- Deterministic Stack Transducers -- Computing the Expected Edit Distance from a String to a PFA -- Derived-Term Automata of Multitape Rational Expressions -- Solving Parity Games Using an Automata-Based Algorithm -- Ternary Equational Languages -- Problems on Finite Automata and the Exponential Time Hypothesis -- A Practical Algorithm for the Uniform Membership Problem of Labeled Multidigraphs of Tree-Width 2 for Spanning Tree Automata -- A Practical Simulation Result for Two-Way Pushdown Automata -- Nondeterministic Complexity of Operations on Closed and Ideal Languages -- On Bounded Semilinear Languages, Counter Machines, and Finite-Index ET0L -- Kuratowski Algebras Generated by Prefix-Free Languages -- A Logical Characterization of Small 2NFAs -- Experiments with Synchronizing Automata -- Implementation of Code Properties via Transducers -- On Synchronizing Automata and Uniform Distribution -- Looking for the Pairs that are Hard to Separate: A Quantum Approach -- Prefix Distance Between Regular Languages -- Complexity of Sets of Two-Dimensional Patterns -- The Complexity of Fixed-Height Patterned Tile Self-Assembly -- Derivative-Based Diagnosis of Regular Expression Ambiguity -- Regular Approximation of Weighted Linear Nondeleting Context-Free Tree Languages -- Derivatives for Enhanced Regular Expressions -- Weighted Restarting Automata as Language Acceptors -- Enhancing Practical TAG Parsing Efficiency by Capturing Redundancy -- Analyzing Matching Time Behavior of Backtracking Regular Expression Matchers by Using Ambiguity of NFA. 330 $aThis book constitutes the refereed proceedings of the 21st International Conference on Implementation and Application of Automata, CIAA 2016, held in Seoul, South Korea, in July 2016. The 26 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers cover a wide range of topics including characterizations of automata, computing distances between strings and languages, implementations of automata and experiments, enhanced regular expressions, and complexity analysis. . 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9705 606 $aComputer science 606 $aMachine theory 606 $aAlgorithms 606 $aArtificial intelligence?Data processing 606 $aComputer science?Mathematics 606 $aDiscrete mathematics 606 $aTheory of Computation 606 $aComputer Science Logic and Foundations of Programming 606 $aFormal Languages and Automata Theory 606 $aAlgorithms 606 $aData Science 606 $aDiscrete Mathematics in Computer Science 615 0$aComputer science. 615 0$aMachine theory. 615 0$aAlgorithms. 615 0$aArtificial intelligence?Data processing. 615 0$aComputer science?Mathematics. 615 0$aDiscrete mathematics. 615 14$aTheory of Computation. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aFormal Languages and Automata Theory. 615 24$aAlgorithms. 615 24$aData Science. 615 24$aDiscrete Mathematics in Computer Science. 676 $a511.3 702 $aHan$b Yo-Sub$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSalomaa$b Kai$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465959603316 996 $aImplementation and Application of Automata$92860279 997 $aUNISA LEADER 02003nam 22005171 450 001 9910132246003321 005 20230803034237.0 010 $a92-5-107490-9 035 $a(CKB)3710000000075756 035 $a(EBL)3239230 035 $a(SSID)ssj0001158150 035 $a(PQKBManifestationID)11653944 035 $a(PQKBTitleCode)TC0001158150 035 $a(PQKBWorkID)11229934 035 $a(PQKB)11526518 035 $a(MiAaPQ)EBC3239230 035 $a(EXLCZ)993710000000075756 100 $a20130624d2013 uf 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aFAO policy on gender equality $eattaining food security goals in agriculture and rural development 210 1$aRome :$cFood and Agriculture Organization of the United Nations,$d2013. 215 $a1 online resource (32 p.) 300 $aDescription based upon print version of record. 320 $aIncludes bibliographical references. 327 $a""CONTENTS""; ""Acronyms""; ""FOREWORD""; ""INTRODUCTION""; ""RATIONALE""; ""FAOa???s Gender Equality Goal and Objecti ves""; ""FAOa???s Gender Equality Strategy""; ""Annex A: FAO Policy on Gender Equality accounta bility fra mewor k""; ""Annex B: Responsibility for implementing FAO gender Equality Minimum Standards "" 606 $aWomen in agriculture$xGovernment policy 606 $aEquality$xGovernment policy 606 $aAgriculture$xEconomic aspects 606 $aFood security$xEconomic aspects 615 0$aWomen in agriculture$xGovernment policy. 615 0$aEquality$xGovernment policy. 615 0$aAgriculture$xEconomic aspects. 615 0$aFood security$xEconomic aspects. 676 $a338.1082 712 02$aFood and Agriculture Organization of the United Nations. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910132246003321 996 $aFAO policy on gender equality$92881614 997 $aUNINA LEADER 05046nam 22006495 450 001 9910254085203321 005 20200817135935.0 010 $a3-319-48457-5 024 7 $a10.1007/978-3-319-48457-0 035 $a(CKB)3710000001041185 035 $a(DE-He213)978-3-319-48457-0 035 $a(MiAaPQ)EBC5610854 035 $a(PPN)19834192X 035 $a(EXLCZ)993710000001041185 100 $a20170113d2016 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aNumerical Simulation in Applied Geophysics /$fby Juan Enrique Santos, Patricia Mercedes Gauzellino 205 $a1st ed. 2016. 210 1$aCham :$cSpringer International Publishing :$cImprint: Birkhäuser,$d2016. 215 $a1 online resource (XV, 309 p.) 225 1 $aLecture Notes in Geosystems Mathematics and Computing,$x2730-5996 311 $a3-319-48456-7 327 $a1.Waves in porous media -- 2.Extensions of Biot Theory -- 3.Absorbing Boundary Conditions in Viscoelastic and -- 4.Induced Anisotropy, Viscoelastic and Poroelastic -- 5.Wave Propagation in Poroelastic Media. The Finite -- 6.The Mesoscale and the Macroscale. Isotropic Case -- 7.The Mesoscale and the Macroscale. VTI Case -- 8.Wave Propagation at the Macroscale -- . 330 $aThis book presents the theory of waves propagation in a fluid-saturated porous medium (a Biot medium) and its application in Applied Geophysics. In particular, a derivation of absorbing boundary conditions in viscoelastic and poroelastic media is presented, which later is employed in the applications. The partial differential equations describing the propagation of waves in Biot media are solved using the Finite Element Method (FEM). Waves propagating in a Biot medium suffer attenuation and dispersion effects. In particular the fast compressional and shear waves are converted to slow diffusion-type waves at mesoscopic-scale heterogeneities (on the order of centimeters), effect usually occurring in the seismic range of frequencies. In some cases, a Biot medium presents a dense set of fractures oriented in preference directions. When the average distance between fractures is much smaller than the wavelengths of the travelling fast compressional and shear waves, the medium behaves as an effective viscoelastic and anisotropic medium at the macroscale. The book presents a procedure determine the coefficients of the effective medium employing a collection of time-harmonic compressibility and shear experiments, in the context of Numerical Rock Physics. Each experiment is associated with a boundary value problem, that is solved using the FEM. This approach offers an alternative to laboratory observations with the advantages that they are inexpensive, repeatable and essentially free from experimental errors. The different topics are followed by illustrative examples of application in Geophysical Exploration. In particular, the effects caused by mesoscopic-scale heterogeneities or the presence of aligned fractures are taking into account in the seismic wave propagation models at the macroscale. The numerical simulations of wave propagation are presented with sufficient detail as to be easily implemented assuming the knowledge of scientific programming techniques. 410 0$aLecture Notes in Geosystems Mathematics and Computing,$x2730-5996 606 $aMathematical models 606 $aGeophysics 606 $aDifferential equations, Partial 606 $aMathematical physics 606 $aMathematical Modeling and Industrial Mathematics$3https://scigraph.springernature.com/ontologies/product-market-codes/M14068 606 $aGeophysics/Geodesy$3https://scigraph.springernature.com/ontologies/product-market-codes/G18009 606 $aPartial Differential Equations$3https://scigraph.springernature.com/ontologies/product-market-codes/M12155 606 $aGeophysics and Environmental Physics$3https://scigraph.springernature.com/ontologies/product-market-codes/P32000 606 $aMathematical Applications in the Physical Sciences$3https://scigraph.springernature.com/ontologies/product-market-codes/M13120 615 0$aMathematical models. 615 0$aGeophysics. 615 0$aDifferential equations, Partial. 615 0$aMathematical physics. 615 14$aMathematical Modeling and Industrial Mathematics. 615 24$aGeophysics/Geodesy. 615 24$aPartial Differential Equations. 615 24$aGeophysics and Environmental Physics. 615 24$aMathematical Applications in the Physical Sciences. 676 $a550.15118 700 $aSantos$b Juan Enrique$4aut$4http://id.loc.gov/vocabulary/relators/aut$0756020 702 $aGauzellino$b Patricia Mercedes$4aut$4http://id.loc.gov/vocabulary/relators/aut 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910254085203321 996 $aNumerical Simulation in Applied Geophysics$92070243 997 $aUNINA