Filters








6 Hits in 5.9 sec

Fatal Attractors in Parity Games: Building Blocks for Partial Solvers [article]

Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
2014 arXiv   pre-print
Attractors in parity games are a technical device for solving "alternating" reachability of given node sets.  ...  For one partial solver we prove that its run-time is at most cubic in the number of nodes in the parity game, that its output game is independent of the order in which monotone attractors are computed,  ...  Section 3 introduces the building block of our partial solvers, a new form of attractor.  ... 
arXiv:1405.0386v2 fatcat:2psoi2zpirdghedq67ip4hooc4

Fatal Attractors in Parity Games [chapter]

Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
2013 Lecture Notes in Computer Science  
We study a new form of attractor in parity games and use it to define solvers that run in PTIME and are partial in that they do not solve all games completely.  ...  For one partial solver we prove that its runtime is in O(| V | 3 ), that its output game is independent of the order in which attractors are computed, and that it solves all Büchi games.  ...  Section 3 introduces the building block of our partial solvers, a new form of attractor.  ... 
doi:10.1007/978-3-642-37075-5_3 fatcat:uxqp357lvjb7pi5jv7e552hg24

With diversity in mind: Freeing the language sciences from Universal Grammar

Nicholas Evans, Stephen C. Levinson
2009 Behavioral and Brain Sciences  
Recognizing the true extent of structural diversity in human language opens up exciting new research directions for cognitive scientists, offering thousands of different natural experiments given by different  ...  In fact, there are vanishingly few universals of language in the direct sense that all languages exhibit them. Instead, diversity can be found at almost every level of linguistic organization.  ...  Linguists, like chemists, must look beyond surface appearances to discover universal building blocks and their properties.  ... 
doi:10.1017/s0140525x09990525 fatcat:pqieza6vancijg4vfnu7humrli

The myth of language universals: Language diversity and its importance for cognitive science

Nicholas Evans, Stephen C. Levinson
2009 Behavioral and Brain Sciences  
Recognizing the true extent of structural diversity in human language opens up exciting new research directions for cognitive scientists, offering thousands of different natural experiments given by different  ...  In fact, there are vanishingly few universals of language in the direct sense that all languages exhibit them. Instead, diversity can be found at almost every level of linguistic organization.  ...  Linguists, like chemists, must look beyond surface appearances to discover universal building blocks and their properties.  ... 
doi:10.1017/s0140525x0999094x pmid:19857320 fatcat:mjf3lbg5e5c7rgz5gi5y3aif7y

ROMANIAN ECONOMIC AND BUSINESS REVIEW

Lucian Botea, Flavia Anghel, Luminiţa Tuleaşcă, Iuliu Ivănescu
unpublished
Statement of Purpose The Romanian Economic and Business Review (ISSN 1842-2497) intends to provide a forum for academic analysis of the economic phenomena and institutions affecting the world economy in  ...  general, and Romania, in particular.  ...  The Tokyo Olympic Games in 2020, Cool Japan, and, although for a different reason, Fukushima, have put Japan firmly on the global map.  ... 
fatcat:66khyfl74ncwpbxpujrxuaqyy4

Philosophy as conceptual engineering : inductive logic in Rudolf Carnap's scientific philosophy

Christopher Forbes French
2015
It does this by looking in detail at his philosophical practice in his most sustained mature project, his work on pure and applied inductive logic.  ...  I then model Carnap's practice based on those lessons and uncover ways in which Carnap's technical work in inductive logic takes some of these lessons on board.  ...  in this article to explain how his General Problem Solver could possibly solve ISPs.  ... 
doi:10.14288/1.0216005 fatcat:rpa65yutujdwlkfnhnolns5nsq