LEADER 05877nam 22007935 450 001 996465856703316 005 20230221020953.0 010 $a3-540-73445-7 024 7 $a10.1007/978-3-540-73445-1 035 $a(CKB)1000000000490761 035 $a(EBL)3061520 035 $a(SSID)ssj0000318710 035 $a(PQKBManifestationID)11224873 035 $a(PQKBTitleCode)TC0000318710 035 $a(PQKBWorkID)10311453 035 $a(PQKB)11075847 035 $a(DE-He213)978-3-540-73445-1 035 $a(MiAaPQ)EBC3061520 035 $a(MiAaPQ)EBC6451345 035 $a(PPN)123728258 035 $a(EXLCZ)991000000000490761 100 $a20100301d2007 u| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aLogic, Language, Information and Computation$b[electronic resource] $e14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings /$fedited by Daniel Leivant, Ruy de Queiroz 205 $a1st ed. 2007. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2007. 215 $a1 online resource (370 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4576 300 $aDescription based upon print version of record. 311 $a3-540-73443-0 320 $aIncludes bibliographical references and index. 327 $aA Grammatical Representation of Visibly Pushdown Languages -- Fully Lexicalized Pregroup Grammars -- Bounded Lattice T-Norms as an Interval Category -- Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps -- Continuation Semantics for Symmetric Categorial Grammar -- Ehrenfeucht?Fraïssé Games on Linear Orders -- Hybrid Logical Analyses of the Ambient Calculus -- Structured Anaphora to Quantifier Domains: A Unified Account of Quantificational and Modal Subordination -- On Principal Types of BCK-?-Terms -- A Finite-State Functional Grammar Architecture -- Pregroup Calculus as a Logic Functor -- A Formal Calculus for Informal Equality with Binding -- Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm -- An Introduction to Context Logic -- Numerical Constraints for XML -- Modules over Monads and Linearity -- Hydra Games and Tree Ordinals -- Spin Networks, Quantum Topology and Quantum Computation -- Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus -- Computational Interpretations of Classical Linear Logic -- Autonomous Programmable Biomolecular Devices Using Self-assembled DNA Nanostructures -- Interval Valued QL-Implications -- Behavioural Differential Equations and Coinduction for Binary Trees -- A Sketch of a Dynamic Epistemic Semiring -- A Modal Distributive Law (abstract) -- Ant Colony Optimization with Adaptive Fitness Function for Satisfiability Testing. 330 $aWelcome to the proceedings of the 14th WoLLIC meeting, which was held in Rio de Janeiro, Brazil, July 2 - 5, 2007. The Workshop on Logic, Language, Information and Computation (WoLLIC) is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. The WoLLIC meetings alternate between Brazil (and Latin America) and other countries, with the aim of fostering interest in applied logic among Latin Am- ican scientists and students, and facilitating their interaction with the international - plied logic community. WoLLIC 2007 focused on foundationsof computing and programming,novel c- putation models and paradigms, broad notions of proof and belief, formal methods in software and hardware development; logical approaches to natural language and r- soning; logics of programs, actions and resources; foundational aspects of information organization, search, ?ow, sharing, and protection. The Program Committee for this meeting, consisting of the 28 colleagues listed here, was designed to promote these inter-disciplinary and cross-disciplinary topics. Like its predecessors, WoLLIC 2007 included invited talks and tutorials as well as contributed papers. The Program Committee received 52 complete submissions (aside from 15 preliminary abstracts which did not materialize). A thorough review process by the Program Committee, assisted by over 70 external reviewers, led to the acc- tance of 21 papers for presentation at the meeting and inclusion in these proceedings. The conference program also included 16 talks and tutorials by 10 prominent invited speakers, who graciously accepted the Program Committee?s invitation. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4576 606 $aComputer science 606 $aAlgorithms 606 $aMachine theory 606 $aComputer science?Mathematics 606 $aArtificial intelligence 606 $aTheory of Computation 606 $aAlgorithms 606 $aFormal Languages and Automata Theory 606 $aMathematics of Computing 606 $aArtificial Intelligence 615 0$aComputer science. 615 0$aAlgorithms. 615 0$aMachine theory. 615 0$aComputer science?Mathematics. 615 0$aArtificial intelligence. 615 14$aTheory of Computation. 615 24$aAlgorithms. 615 24$aFormal Languages and Automata Theory. 615 24$aMathematics of Computing. 615 24$aArtificial Intelligence. 676 $a511.3 702 $aLeivant$b Daniel Maurice Raphaël 702 $aQueiroz$b Ruy J. G. B. de 712 12$aWorkshop on Logic, Language, Information and Computation 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bUtOrBLW 906 $aBOOK 912 $a996465856703316 996 $aLogic, Language, Information and Computation$9772504 997 $aUNISA LEADER 04159nam 22007575 450 001 9910437864403321 005 20250410125610.0 010 $a1-4614-5838-2 024 7 $a10.1007/978-1-4614-5838-8 035 $a(CKB)2670000000340830 035 $a(EBL)1082014 035 $a(SSID)ssj0000879423 035 $a(PQKBManifestationID)11477738 035 $a(PQKBTitleCode)TC0000879423 035 $a(PQKBWorkID)10868227 035 $a(PQKB)10331126 035 $a(DE-He213)978-1-4614-5838-8 035 $a(MiAaPQ)EBC6311841 035 $a(MiAaPQ)EBC1082014 035 $a(Au-PeEL)EBL1082014 035 $a(CaPaEBR)ebr10983278 035 $a(OCoLC)831412354 035 $a(PPN)169135837 035 $a(EXLCZ)992670000000340830 100 $a20130321d2013 u| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aOptimization /$fby Kenneth Lange 205 $a2nd ed. 2013. 210 1$aNew York, NY :$cSpringer New York :$cImprint: Springer,$d2013. 215 $a1 online resource (540 p.) 225 1 $aSpringer Texts in Statistics,$x2197-4136 ;$v95 300 $aDescription based upon print version of record. 311 08$a1-4899-9270-7 311 08$a1-4614-5837-4 327 $aElementary Optimization -- The Seven C?s of Analysis -- The Gauge Integral -- Differentiation -- Karush-Kuhn-Tucker Theory -- Convexity -- Block Relaxation -- The MM Algorithm -- The EM Algorithm -- Newton?s Method and Scoring -- Conjugate Gradient and Quasi-Newton -- Analysis of Convergence -- Penalty and Barrier Methods -- Convex Calculus -- Feasibility and Duality -- Convex Minimization Algorithms -- The Calculus of Variations -- Appendix: Mathematical Notes -- References -- Index. 330 $aFinite-dimensional optimization problems occur throughout the mathematical sciences. The majority of these problems cannot be solved analytically. This introduction to optimization attempts to strike a balance between presentation of mathematical theory and development of numerical algorithms. Building on students? skills in calculus and linear algebra, the text provides a rigorous exposition without undue abstraction. Its stress on statistical applications will be especially appealing to graduate students of statistics and biostatistics. The intended audience also includes students in applied mathematics, computational biology, computer science, economics, and physics who want to see rigorous mathematics combined with real applications.   In this second edition, the emphasis remains on finite-dimensional optimization. New material has been added on the MM algorithm, block descent and ascent, and the calculus of variations. Convex calculus is now treated in much greater depth.  Advanced topics such as the Fenchel conjugate, subdifferentials, duality, feasibility, alternating projections, projected gradient methods, exact penalty methods, and Bregman iteration will equip students with the essentials for understanding modern data mining techniques in high dimensions. 410 0$aSpringer Texts in Statistics,$x2197-4136 ;$v95 606 $aStatistics 606 $aMathematical optimization 606 $aOperations research 606 $aStatistics 606 $aStatistical Theory and Methods 606 $aOptimization 606 $aOperations Research and Decision Theory 606 $aStatistics in Engineering, Physics, Computer Science, Chemistry and Earth Sciences 615 0$aStatistics. 615 0$aMathematical optimization. 615 0$aOperations research. 615 0$aStatistics. 615 14$aStatistical Theory and Methods. 615 24$aOptimization. 615 24$aOperations Research and Decision Theory. 615 24$aStatistics in Engineering, Physics, Computer Science, Chemistry and Earth Sciences. 676 $a519.3 700 $aLange$b Kenneth$4aut$4http://id.loc.gov/vocabulary/relators/aut$059343 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910437864403321 996 $aOptimization$9748060 997 $aUNINA