00739nam0-2200265---450-99000977979040332120131024093128.0000977979FED01000977979(Aleph)000977979FED0100097797920131024d1973----km-y0itay50------baeng--------001yyMethods and techniques of central planningKrzysztof PortwitWarsawas.e.197387 p.24 cmPorwit,Krzysztof311299ITUNINARICAUNIMARCBK990009779790403321ISVE P1-P4.57DECTSDECTSMethods and techniques of central planning832748UNINA05945nam 2200685Ia 450 991045915000332120200520144314.01-282-71640-997866127164093-11-022360-010.1515/9783110223606(CKB)2670000000018699(EBL)516528(OCoLC)630538783(SSID)ssj0000414307(PQKBManifestationID)11261856(PQKBTitleCode)TC0000414307(PQKBWorkID)10394226(PQKB)10448782(MiAaPQ)EBC516528(DE-B1597)37549(OCoLC)646846286(OCoLC)979838035(DE-B1597)9783110223606(PPN)175493871(Au-PeEL)EBL516528(CaPaEBR)ebr10381214(CaONFJC)MIL271640(EXLCZ)99267000000001869920100120d2010 uy 0engur|||||||||||txtccrCognitive perspectives on word formation[electronic resource] /edited by Alexander Onysko, Sascha MichelBerlin ;New York Mouton de Gruyter20101 online resource (440 p.)Trends in linguistics. Studies and monographs ;221Description based upon print version of record.3-11-022359-7 Includes bibliographical references and index. Frontmatter -- Table of contents -- Introduction: Unravelling the cognitive in word formation / Onysko, Alexander / Michel, Sascha -- Part I Theory and interfaces in word formation -- Word-formation or word formation? The formation of complex words in Cognitive Linguistics / Lampert, Martina / Lampert, Giinther -- On the viability of cognitive morphology for explaining language change / Gaeta, Livio -- (Re)defining component structures in morphological constructions: A Cognitive Grammar perspective / van Huyssteen, Gerhard B -- Between phonology and morphology / Elsen, Hilke -- The role of grammatical gender in noun-formation: A diachronic perspective from Norwegian / Conzett, Philipp -- Adjective + Noun constructions between syntax and word formation in Dutch and German / Hüning, Matthias -- Part II Theory and processes of word formation -- Setting limits on creativity in the production and use of metaphorical and metonymical compounds / Benczes, Réka -- Casting the conceptual spotlight: Hybrid compounding in German as an example of headframe internal specifier selection / Onysko, Alexander -- Does love come from to love or to love from love? Why lexical motivation has to be regarded as bidirectional / Umbreit, Birgit -- Doubler-upper nouns: A challenge for usage-based models of language? / Cappelle, Bert -- The influence of morphological structure on the processing of German prefixed verbs / Heide, Judith / Lorenz, Antje / Meinunger, André / Burchert, Frank -- Harvesting and understanding on-line neologisms / Veale, Tony / Butnariu, Cristina -- BackmatterWhile cognitive linguistics has become established as a comprehensive research paradigm over the last three decades, it has so far hardly contributed to investigations into processes of lexical creation as traditionally captured in research on word formation. In light of this, the volume at hand is the first one to take a step ahead towards illuminating diverse aspects of word formation from cognitive perspectives. The book combines contributions to the 2nd International Cognitive Linguistics Conference of the German Cognitive Linguistics Association with a selection of invited papers by scholars working on issues of word formation and cognitive linguistics. This selection is guided by pluralism in both methodology and topics. Thus, some contributions are of a primarily theoretical nature discussing, for example, recombinance as a model of word formation and a taxonomy of word formation processes as construction types. Several articles address interface issues such as word formation and phrasal constructions, word formation and inflection, as well as phonology and word formational patterns. The majority of the studies focuses on individual types of word formation (compounding, affixation, and conversion), and they contribute to reframing our understanding of these processes. With a focus on mostly Germanic languages (Afrikaans, Dutch, English, German, Luxembourgish, and Norwegian), data-driven analyses include corpus linguistic investigations, elicited data, psycholinguistic experiments, and computational linguistic applications. A few contributions follow a mainly introspective path of reasoning based on the discussion of selected examples as in the analysis of creative compounds. Overall, the volume provides a rich array of topics emerging under the umbrella of cognitive linguistic thought and established patterns and processes of word formation. The various studies add to a yet marginal body of research in cognitive word formation and, thus, advance our awareness about the benefits of applying cognitive linguistic thoughts for investigating processes of lexical creation. Trends in linguistics.Studies and monographs ;221.Grammar, Comparative and generalWord formationGrammar, Comparative and generalMorphologyElectronic books.Grammar, Comparative and generalWord formation.Grammar, Comparative and generalMorphology.415/.92Onysko Alexander1045857Michel Sascha1045858MiAaPQMiAaPQMiAaPQBOOK9910459150003321Cognitive perspectives on word formation2472425UNINA07770nam 22008175 450 99646636760331620200703155315.03-642-05089-110.1007/978-3-642-05089-3(CKB)1000000000804425(SSID)ssj0000355501(PQKBManifestationID)11294242(PQKBTitleCode)TC0000355501(PQKBWorkID)10320431(PQKB)11346413(DE-He213)978-3-642-05089-3(MiAaPQ)EBC3064748(PPN)139962360(EXLCZ)99100000000080442520100301d2009 u| 0engurnn#008mamaatxtccrFM 2009: Formal Methods[electronic resource] Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings /edited by Ana Cavalcanti, Dennis Dams1st ed. 2009.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2009.1 online resource (XVII, 820 p.)Programming and Software Engineering ;5850Bibliographic Level Mode of Issuance: Monograph3-642-05088-3 Includes bibliographical references and index.Invited Papers -- Formal Methods for Privacy -- What Can Formal Methods Bring to Systems Biology? -- Guess and Verify – Back to the Future -- Verification, Testing and Statistics -- Security, Probability and Nearly Fair Coins in the Cryptographers’ Café -- Model Checking I -- Recursive Abstractions for Parameterized Systems -- Abstract Model Checking without Computing the Abstraction -- Three-Valued Spotlight Abstractions -- Fair Model Checking with Process Counter Abstraction -- Compositionality -- Systematic Development of Trustworthy Component Systems -- Partial Order Reductions Using Compositional Confluence Detection -- A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition -- Verification -- Abstract Specification of the UBIFS File System for Flash Memory -- Inferring Mealy Machines -- Formal Management of CAD/CAM Processes -- Concurrency -- Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way -- Symbolic Predictive Analysis for Concurrent Programs -- On the Difficulties of Concurrent-System Design, Illustrated with a 2×2 Switch Case Study -- Refinement -- Sums and Lovers: Case Studies in Security, Compositionality and Refinement -- Iterative Refinement of Reverse-Engineered Models by Model-Based Testing -- Model Checking Linearizability via Refinement -- Static Analysis -- It’s Doomed; We Can Prove It -- “Carbon Credits” for Resource-Bounded Computations Using Amortised Analysis -- Field-Sensitive Value Analysis by Field-Insensitive Analysis -- Theorem Proving -- Making Temporal Logic Calculational: A Tool for Unification and Discovery -- A Tableau for CTL* -- Certifiable Specification and Verification of C Programs -- Formal Reasoning about Expectation Properties for Continuous Random Variables -- Semantics -- The Denotational Semantics of slotted-Circus -- Unifying Probability with Nondeterminism -- Towards an Operational Semantics for Alloy -- A Robust Semantics Hides Fewer Errors -- Special Track: Industrial Applications I -- Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks -- Formal Verification of Avionics Software Products -- Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study -- Object-Orientation -- Connecting UML and VDM++ with Open Tool Support -- Language and Tool Support for Class and State Machine Refinement in UML-B -- Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects -- Abstract Object Creation in Dynamic Logic -- Pointers -- Reasoning about Memory Layouts -- A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis -- Real-Time -- On the Complexity of Synthesizing Relaxed and Graceful Bounded-Time 2-Phase Recovery -- Verifying Real-Time Systems against Scenario-Based Requirements -- Special Track: Tools and Industrial Applications II -- Formal Specification of a Cardiac Pacing System -- Automated Property Verification for Large Scale B Models -- Reduced Execution Semantics of MPI: From Theory to Practice -- Model Checking II -- A Metric Encoding for Bounded Model Checking -- An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method -- Verifying Information Flow Control over Unbounded Processes -- Specification and Verification of Web Applications in Rewriting Logic -- Industry-Day Abstracts -- Verifying the Microsoft Hyper-V Hypervisor with VCC -- Industrial Practice in Formal Methods: A Review -- Model-Based GUI Testing Using Uppaal  at Novo Nordisk.This book presents the refereed proceedings of FM 2009, the 16th International Symposium on Formal Methods, held as the Second World Congress on Formal Methods in Eindhoven, The Netherlands, in November 2009 in the course of the first International Formal Methods Week, FMWeek 2009. The 45 revised full papers presented together with 5 invited papers and 3 additional papers from the Industry Day were carefully reviewed and selected from 139 submissions. The papers are organized in topical sections on model checking, compositionality, verification, concurrency, refinement, static analysis, theorem proving, semantics, industrial applications, object-orientation, pointers, real-time, tools and industrial applications, and industry-day abstracts.Programming and Software Engineering ;5850Software engineeringUser interfaces (Computer systems)Computer logicProgramming languages (Electronic computers)Computer programmingSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Software Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002User Interfaces and Human Computer Interactionhttps://scigraph.springernature.com/ontologies/product-market-codes/I18067Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XProgramming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Eindhoven (2009)swdKongress.swdSoftware engineering.User interfaces (Computer systems).Computer logic.Programming languages (Electronic computers).Computer programming.Software Engineering.Software Engineering/Programming and Operating Systems.User Interfaces and Human Computer Interaction.Logics and Meanings of Programs.Programming Languages, Compilers, Interpreters.Programming Techniques.005.1DAT 310fstubDAT 510fstubSS 4800rvkCavalcanti Anaedthttp://id.loc.gov/vocabulary/relators/edtDams Dennisedthttp://id.loc.gov/vocabulary/relators/edtInternational Symposium of Formal Methods EuropeBOOK996466367603316FM 2009: Formal Methods773761UNISA