05599nam 22007455 450 99646615500331620200630030318.03-540-45007-610.1007/3-540-45007-6(CKB)1000000000212061(SSID)ssj0000322561(PQKBManifestationID)11243985(PQKBTitleCode)TC0000322561(PQKBWorkID)10288791(PQKB)11415206(DE-He213)978-3-540-45007-8(MiAaPQ)EBC3072488(PPN)15516872X(EXLCZ)99100000000021206120121227d2003 u| 0engurnn#008mamaatxtccrDevelopments in Language Theory[electronic resource] 7th International Conference, DLT 2003, Szeged, Hungary, July 7-11, 2003, Proceedings /edited by Zoltán Ésik, Zoltán Fülöp1st ed. 2003.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2003.1 online resource (XI, 436 p.)Lecture Notes in Computer Science,0302-9743 ;2710Bibliographic Level Mode of Issuance: Monograph3-540-40434-1 Includes bibliographical references at the end of each chapters and index.Invited Presentations -- Quantum Computing: 1-Way Quantum Automata -- An Automata-Theoretic Approach to Software Verification -- Comments on Complete Sets of Tree Automata -- On a Conjecture of Schnoebelen -- Restarting Automata and Their Relations to the Chomsky Hierarchy -- Test Sets for Large Families of Languages -- Complexity Theory Made Easy -- Contributions -- Synchronizing Monotonic Automata -- Covering Problems from a Formal Language Point of View -- Regular Languages Generated by Reflexive Finite Splicing Systems -- The Myhill-Nerode Theorem for Recognizable Tree Series -- Generating Series of the Trace Group -- Residual Finite Tree Automata -- From Glushkov WFAs to Rational Expressions -- NFA Reduction Algorithms by Means of Regular Inequalities -- Tile Rewriting Grammars -- Distributed Pushdown Automata Systems: Computational Power -- On Well Quasi-orders on Languages -- Frequency of Symbol Occurrences in Simple Non-primitive Stochastic Models -- On Enumeration of Müller Automata -- Branching Grammars: A Generalization of ET0L Systems -- Learning a Regular Tree Language from a Teacher -- On Three Classes of Automata-Like P Systems -- Computing Languages by (Bounded) Local Sets -- About Duval’s Conjecture -- Computation with Absolutely No Space Overhead -- Deleting String Rewriting Systems Preserve Regularity -- On Deterministic Finite Automata and Syntactic Monoid Size, Continued -- Flip-Pushdown Automata: Nondeterminism is Better than Determinism -- Deciding the Sequentiality of a Finitely Ambiguous Max-Plus Automaton -- Minimizing Finite Automata Is Computationally Hard -- Boolean Grammars -- Syntactic Semiring and Universal Automaton -- Alphabetic Pushdown Tree Transducers. This book constitutes the refereed proceedings of the 7th International Conference on Developments in Language Theory, DLT 2003, held in Szeged, Hungary, in July 2003. The 27 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 57 submissions. All current aspects in language theory are addressed, in particular grammars, acceptors, and transducers for strings, trees, graphs, arrays, etc; algebraic theories for automata and languages; combinatorial properties of words and languages; formal power series; decision problems; efficient algorithms for automata and languages; and relations to complexity theory and logic, picture description and analysis, DNA computing, quantum computing, cryptography, and concurrency.Lecture Notes in Computer Science,0302-9743 ;2710Mathematical logicComputersComputer logicComputer science—MathematicsMathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Science, Humanities and Social Sciences, multidisciplinaryhttps://scigraph.springernature.com/ontologies/product-market-codes/A11007Computation by Abstract Deviceshttps://scigraph.springernature.com/ontologies/product-market-codes/I16013Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XDiscrete Mathematics in Computer Sciencehttps://scigraph.springernature.com/ontologies/product-market-codes/I17028Mathematical logic.Computers.Computer logic.Computer science—Mathematics.Mathematical Logic and Formal Languages.Science, Humanities and Social Sciences, multidisciplinary.Computation by Abstract Devices.Logics and Meanings of Programs.Discrete Mathematics in Computer Science.511.3Ésik Zoltánedthttp://id.loc.gov/vocabulary/relators/edtFülöp Zoltánedthttp://id.loc.gov/vocabulary/relators/edtConference on Developments in Language TheoryMiAaPQMiAaPQMiAaPQBOOK996466155003316Developments in Language Theory772277UNISA02877nam 22005055 450 991048489660332120251113194515.03-030-40767-510.1007/978-3-030-40767-4(CKB)4100000010771012(DE-He213)978-3-030-40767-4(MiAaPQ)EBC6138280(PPN)243229232(EXLCZ)99410000001077101220200316d2020 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierAn Introductory Path to Quantum Theory Using Mathematics to Understand the Ideas of Physics /by Stephen Bruce Sontz1st ed. 2020.Cham :Springer International Publishing :Imprint: Springer,2020.1 online resource (XXV, 286 p. 1 illus.) 3-030-40766-7 Introduction to this Path -- Viewpoint -- Neither Particle nor Wave -- Schrödinger's Equation -- Operators and Canonical Quantization -- The Harmonic Oscillator -- Interpreting: Mathematics -- Interpreting: Physics -- The Language of Hilbert Space -- Interpreting: Measurement -- The Hydrogen Atom -- Angular Momentum -- The Rotation Group SO(3) -- Spin and SU(2) -- Bosons and Fermions -- Classical and Quantum Probability -- The Heisenberg Picture -- Uncertainty (Optional) -- Speaking of Quantum Theory (Optional) -- Complementarity (Optional) -- Axioms (Optional) -- And Gravity? -- Measure Theory: A Crash Course.Since the 17th century, physical theories have been expressed in the language of mathematical equations. This introduction to quantum theory uses that language to enable the reader to comprehend the notoriously non-intuitive ideas of quantum physics. The mathematical knowledge needed for using this book comes from standard undergraduate mathematics courses and is described in detail in the section Prerequisites. This text is especially aimed at advanced undergraduate and graduate students of mathematics, computer science, engineering and chemistry among other disciplines, provided they have the math background even though lacking preparation in physics. In fact, no previous formal study of physics is assumed.Mathematical physicsQuantum physicsMathematical PhysicsQuantum PhysicsMathematical physics.Quantum physics.Mathematical Physics.Quantum Physics.530.15530.12Sontz Stephen Bruceauthttp://id.loc.gov/vocabulary/relators/aut755560MiAaPQMiAaPQMiAaPQBOOK9910484896603321An Introductory Path to Quantum Theory1911023UNINA01080nam a22002891i 450099100182478970753620251114123002.0040407s1975 it |||||||||||||||||ita b1282897x-39ule_instARCHE-080859ExLDip.to Scienze StoricheitaA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l.301.36Borja, Jordi120427Le contraddizioni dello sviluppo urbano /Jordi Borja ; premessa di Franco FerrarottiNapoli :Liguori,1975128 p. ;20 cmBiblioteca. Contributi di sociologia ;23Trad. di G. RicciardiCittàSociologiaUrbanesimoSpagnaFerrarotti, Franco.b1282897x02-04-1416-04-04991001824789707536LE009 GEOG.13-6012009000257566le009-E0.00-l-00000.i1338072216-04-04Contraddizioni dello sviluppo urbano276884UNISALENTOle00916-04-04ma-itait31