Results 41 to 50 of about 189,996 (174)

The equivalence problem for programs with mode switching is PSPACE-complete.

Труды Института системного программирования РАН, 2006
We study a formal model of imperative sequential programs. In this model programs are viewed as deterministic finite automata whose semantics is defined on Kripke structures.
Rimma Podlovchenko, Dmitry Rusakov, Vladimir Zakharov   +2 more
doaj  

McDowell and Sellars on Objective Purport

European Journal of Philosophy, EarlyView.
Abstract John McDowell has criticized Wilfrid Sellars on several occasions and over a number of years for his ‘non‐relational’ account of intentionality. This account is, according to McDowell, at least partly responsible for a ‘blind spot’ in Sellars's thinking: Sellars, allegedly, fails to see how objects or states of affairs in the external world ...
Stefan Brandt
wiley   +1 more source

The structures of depictive and resultative constructions in chinese [PDF]

, 2013
In this paper I firstly argue that secondary predicates are complement of v, and v is overtly realized by Merge or Move in secondary predication in Chinese.
Zhang, Niina
core  

The Semantic Automated Discovery and Integration (SADI) Web service Design-Pattern, API and Reference Implementation [PDF]

, 2011
Background. The complexity and inter-related nature of biological data poses a difficult challenge for data and tool integration. There has been a proliferation of interoperability standards and projects over the past decade, none of which ...
Benjamin Vandervalk, Luke McCarthy, Mark Wilkinson   +2 more
core   +2 more sources

On Schopenhauer's Debt to Spinoza1

European Journal of Philosophy, EarlyView.
Abstract Schopenhauer offers ‘nature is not divine but demonic’ as a direct rebuttal of Spinoza's pantheism, his identification of ‘nature’ with ‘God’. And so, one would think, he ought to have been immune to the ‘Spinozism’ that became, as Heine called it, ‘the unofficial religion’ of the age.
Julian Young
wiley   +1 more source

Too good to be true? A systematic literature review about the ambivalent consequences and managerial challenges of purpose implementation

European Management Review, EarlyView.
Abstract Corporate purpose has rapidly gained prominence in management literature and is considered a highly influential concept in business, promising to enable businesses' transformative power. While most existing studies highlight the positive outcomes of incorporating purpose into organizational frameworks, some research highlights negative ...
Nicole Steller, Guido Möllering
wiley   +1 more source

Deriving Quests from Open World Mechanics

, 2017
Open world games present players with more freedom than games with linear progression structures. However, without clearly-defined objectives, they often leave players without a sense of purpose.
Ashmore Calvin, Dormans Joris, Martens Chris   +2 more
core   +1 more source

Monitoring and Institutional Trust Repair

Journal of Applied Philosophy, EarlyView.
ABSTRACT A monitoring‐based strategy for repairing ruptured institutional trust is motivated and defended, bringing together insights about both interpersonal and institutional trust breakdown. The strategy pursued identifies and exploits important differences between interpersonal and institutional trust relations, insofar as monitoring in each case ...
Emma C. Gordon
wiley   +1 more source

Is Partisanship Dysfunctional for Representative Institutions?

Journal of Applied Philosophy, EarlyView.
ABSTRACT As political institutions, representative assemblies can be seen as rule‐governed structures of interrelated roles with power mandates, which elected officeholders must exercise in accordance with the normative values justifying the institutions' establishment.
Chiara Destri
wiley   +1 more source

Out of Many, Many: Variation in East Central Europe Financial Governance Despite the EU's Single Market

JCMS: Journal of Common Market Studies, EarlyView.
Abstract Following the global financial crisis, European financial authorities introduced a host of new initiatives intended to advance market integration, improve the quality of bank oversight and enhance both economic stability and prospects for growth.
Dóra Piroska, Rachel A. Epstein
wiley   +1 more source