Filters








606 Hits in 7.7 sec

Stochastic Games with Lexicographic Reachability-Safety Objectives [chapter]

Krishnendu Chatterjee, Joost-Pieter Katoen, Maximilian Weininger, Tobias Winkler
2020 Lecture Notes in Computer Science  
We establish determinacy of such games and present strategy and computational complexity results.  ...  We present an algorithm that computes the lexicographically optimal strategies via a reduction to computation of optimal strategies in a sequence of single-objectives games.  ...  The actions of q and r are omitted in the Ω-stage, as upon visiting these states, a new stage begins.  ... 
doi:10.1007/978-3-030-53291-8_21 fatcat:kkfdu5dm3bd3hfeyn7cqf6fiky

Synchronization and Control of Quantitative Systems [article]

Simon Laursen
2016 Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet  
However, formal modeling of software is not trivial, and the ever increasing demand for software functionality and the complexity of such software systems makes modeling even harder.  ...  Formal methods, such as model checking, theorem proving and static analysis, are used to provide confidence in system models and designs, as it can assist in all phases of system development and testing  ...  We thank these institutions for their hospitality, and for the support by the DFG project TriCS (ZI 1516/1-1), the ERC Advanced Grant LASSO and the EU FET projects SENSATION and CASSTING.  ... 
doi:10.5278/vbn.phd.engsci.00182 fatcat:kftiafaw4fhf5lyrvqha7vaoce

How Simplicity Helps You Find the Truth without Pointing at it [chapter]

Kevin T. Kelly
2007 Induction, Algorithmic Learning Theory, and Philosophy  
So the miracle argument amounts to an a priori bias in favor of simple parameter settings over complex parameter settings.  ...  simplest, uniquely minimizes reversals of opinion and the times at which the reversals occur prior to convergence to the truth.  ...  Martin's Borel determinacy theorem (1975) has the following consequence: Proposition 3 (determinacy of Borel forcing games) If (K, Π) is solvable and if K is a Borel set and e is a finite input sequence  ... 
doi:10.1007/978-1-4020-6127-1_4 dblp:series/leus/Kelly07 fatcat:5n6larmyovd7nmxodg25a2sacy

Stochastic Games with Lexicographic Reachability-Safety Objectives [article]

Krishnendu Chatterjee, Joost-Pieter Katoen, Maximilian Weininger, Tobias Winkler
2020 arXiv   pre-print
We establish determinacy of such games and present strategy and computational complexity results.  ...  We present an algorithm that computes the lexicographically optimal strategies via a reduction to computation of optimal strategies in a sequence of single-objectives games.  ...  The actions of q and r are omitted in the Ω-stage, as upon visiting these states, a new stage begins. Theorem 3 ( 3 Determinacy).  ... 
arXiv:2005.04018v2 fatcat:n55jokiadncubhx7biifxv2mee

The Heartland Intermodal Corridor: public private partnerships and the transformation of institutional settings

Jason Monios, Bruce Lambert
2013 Journal of Transport Geography  
The aim of the project was to decrease transport costs and increase competitiveness for peripheral regions such as West Virginia by upgrading existing branch lines to double-stack capacity and building  ...  subjective nature, and towards a more transparent, bid-based system.  ...  of numerous interviews conducted in September 2010.  ... 
doi:10.1016/j.jtrangeo.2012.03.015 fatcat:5vfmpdbhqrfsnmw4m6h2wz4pna

Ghoshal's Ghost: Financialization and the End of Management Theory

Gregory A. Daneke, Alexander Sager
2015 Philosophy of Management  
Ghoshal took academics to task for promulgating false and morally suspect ideas and insisted that they were partly to blame for managerial actions in a number of corporate scandals (e.g., Enron and Tyco  ...  Management theories anchored in agency theory (and neo-classical economics generally) continue to abet the financialization of society and undermine the functioning of business.  ...  Management theorists once had a faddish interest in these concepts (and a passing familiarity with the tools). It is high time for a more earnest involvement.  ... 
doi:10.1007/s40926-015-0005-7 fatcat:fgi2bhtflffsxer7dlq2t3hi6i

Fighting Against Currency Depreciation, Macroeconomic Instability and Sudden Stops

Luis-Felipe Zanna, Board of Governors of the Federal Reserve System
2005 International Finance Discussion Paper  
Although appealing this intuition is incomplete unless we show that all the equilibrium conditions of the economy in "good times" are satisfied on the entire equilibrium path.  ...  A crisis is a time when the constraint is binding.  ...  analysis for such a complex system.  ... 
doi:10.17016/ifdp.2005.848 fatcat:h4xivxjdizci7difpdr23o2ac4

Foucault in the Bush. The Social Life of Post-Structuralist Theory in East Berlin's Prenzlauer Berg

Dominic C. Boyer
2001 Ethnos  
The 'Prenzlauer Berg Scene' of artists and writers utilized post-structuralism as a distinctive register for defining their social identity and as an analytical and interpretive paradigm for articulating  ...  This essay seeks to make critical theory an object of ethnographic contextualization and inquiry through an exploration of the social life of post-structuralist theory in 1980s East Berlin.  ...  Following in the w ake of the 1 990 savaging of East German writer Christa Wolf 's continuing support for a 'third way ' of humanitarian socialism, 143 the West German literary establishment seized upon  ... 
doi:10.1080/00141840120070949 fatcat:fyccsooanjdlbbyvgkelep4ihy

The Beliefs-Rules-Equilibrium Account of Institutions: A Contribution to a Naturalistic Social Ontology

Cyril Hédoin
2021 Journal of Social Ontology  
This account of institutions emerges from a growing number of works in economics that use game theory to study the role and the functioning of institutions in human societies.  ...  have is a knowledge of what are the rules within a specific institution, which the agents consider to be essential in their institutional practice.  ...  I also thank the participants in seminars at the University of Paris 1 Sorbonne, at the Ecole Normale Supérieure of Lyon, and at the University of Reims Champagne-Ardenne, where different versions of this  ... 
doi:10.1515/jso-2020-0001 fatcat:2h6aa5r33janjoampv4viqwuwq

Technological Diffusion: Alternative Theories and Historical Evidence

Jayati Sarkar
2002 Journal of economic surveys (Print)  
This paper presents an interpretive survey of the neoclassical and evolutionary approaches to modeling the process of technological diffusion, with an orientation that is distinct in two important respects  ...  First, the present survey is designed to provide a comparative overview of the alternative approaches within a unified framework of analysis.  ...  Acknowledgements This paper is an expanded version of a chapter of my Ph.D. thesis on technological diffusion written at the University of Southern California.  ... 
doi:10.1111/1467-6419.00051 fatcat:gbvpueajnbgmrpjauavhh5cuv4

How Is Individuality Possible? Georg Simmel's Philosophy and Sociology of Individualism

Hans-Peter Müller, Alessandro Cavalli, Alessandro Ferrara
2018 Simmel Studies  
L'utilisation des services d'Érudit (y compris la reproduction) est assujettie à sa politique d'utilisation que vous pouvez consulter en ligne. https://apropos.erudit.org/fr/usagers/politique-dutilisation  ...  In order to answer this complex and complicated question he takes the reader on a long and protracted journey touching upon 'life and work', 'truth', 'the unity of the world elements' as well as 'the separatedness  ...  It was the time around the turn of the Century immediately preceding the time in which a number of thinkers started to elaborate the concept of mass and mass society.  ... 
doi:10.7202/1051006ar fatcat:q7dttobt45eqxfwoeb377x3apu

Procedural Architecture Matters

J. Brad Bernthal
2014 Texas A&M Law Review  
A detail-rich examination of the FCC's procedural architecture—viz., the Agency's formal and informal procedures, resources, and institutional norms—reveals systemic FCC leanings that are in tension with  ...  The Article cracks the black box problem, whereby much Agency decision-making is not readily observable, by studying a key yet understudied input: the advocacy of those who practice in front of the FCC  ...  As emphasized in Part II, this Article owes a debt to Bruce Owen and Ronald Braeutigam who, in their now out-of-print 1978 book The Regulatory Game, focused upon advocate behavior and the institutional  ... 
doi:10.37419/lr.v1.i3.5 fatcat:kmagajeufvc2rjw7velyo2xtni

Transcendental Nonsense, Metaphoric Reasoning, and the Cognitive Stakes for Law

Steven L. Winter
1989 University of Pennsylvania law review  
All hands on deck, a good hand at cards, lend a hand, and give her a hand are all metonymies. 1 3 8 Like meta-136 Wittgenstein gives the examples of board-games, card-games, ball-games, Olympic games,  ...  that a 'time, place, or manner restriction may not be based upon either the content or subject matter of speech.'"  ...  This account of Holmes' opinion in Moore demonstrates the systematicity of the rights as paths metaphor and the way in which it operates in legal analysis.  ... 
doi:10.2307/3312131 fatcat:nsmtipffwzdtlb7dwctonwr6sq

A structural-relational analysis of party dynamics in proxy wars

Vladimir Rauta
2018 International Relations  
This is then applied to the issues of defining and theorising party dynamics in proxy wars.  ...  Proxy wars are still under-represented in conflict research and a key cause for this is the lack of conceptual and terminological care.  ...  In doing so it invites a reconsideration of how we define and explain proxy wars.  ... 
doi:10.1177/0047117818802436 fatcat:uxhc26bdi5ee7lzhtx6armj5rm

Fighting Against Currency Depreciation, Macroeconomic Instability, and Sudden Stops

Luis-Felipe Zanna
2006 Social Science Research Network  
These facts include a decline in domestic production and aggregate demand, a collapse in asset prices, a sharp correction in the price of traded goods relative to non-traded goods, an improvement in the  ...  real determinacy") interchangeably.  ...  In addition, note that once we solve for {c T The Determinacy of Equilibrium Analysis In order to pursue the determinacy of equilibrium analysis, we log-linearize the system of equations that describe  ... 
doi:10.2139/ssrn.875369 fatcat:e73jnv6xv5hd3jbb6lz22ygbti
« Previous Showing results 1 — 15 out of 606 results