25,481 Hits in 8.4 sec

On the Input/Output behavior of argumentation frameworks

Pietro Baroni, Guido Boella, Federico Cerutti, Massimiliano Giacomin, Leendert van der Torre, Serena Villata
2014 Artificial Intelligence  
This papers tackles the fundamental questions arising when looking at argumentation frameworks as interacting components, characterized by an Input/Output behavior, rather than as isolated monolithical  ...  Pursuing this research direction, the paper introduces a general modeling approach and provides a comprehensive set of theoretical results putting the intuitive notion of Input/Output behavior of argumentation  ...  the same Input/Output behavior has no impact on the invariant set of the replacement.  ... 
doi:10.1016/j.artint.2014.08.004 fatcat:jpizbstkyja3bkitnytlgcmluq

On the methodology of input-output analysis

Thijs ten Raa
1994 Regional Science and Urban Economics  
By embedding input-output concepts in a neoclassical framework, specification issues are resolved, notably the problems of construction of coefficients and of determination of value.  ...  Conversely, neoclassical concepts of marginal productivities can be related to a consistent input-output framework of data. Sources of substitution are identified.  ...  First, I shall reproduce the argument of non-substitutability as a source of extreme behavior.  ... 
doi:10.1016/0166-0462(94)90017-5 fatcat:uxrudw6r2zdahnx225zfq34cqa

On the characterization of the Duhem hysteresis operator with clockwise input–output dynamics

Ruiyue Ouyang, Vincent Andrieu, Bayu Jayawardhana
2013 Systems & control letters (Print)  
In this paper we investigate the dissipativity property of a certain class of Duhem hysteresis operator, which has clockwise (CW) input-output (I/O) behavior.  ...  In particular, we provide sufficient conditions on the Duhem operator such that it is CW and propose an explicit construction of the corresponding storage function satisfying dissipation inequality of  ...  From the perspective of input-output behavior, the hysteretic phenomena can be characterized into counterclockwise (CCW) input-output (I/O) dynamics [1] , clockwise (CW) I/O dynamics [2] , or even more  ... 
doi:10.1016/j.sysconle.2012.11.022 fatcat:u7rhzg6lifb5rnbi67d77mnumu

The input/output complexity of triangle enumeration

Rasmus Pagh, Francesco Silvestri
2014 Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems - PODS '14  
We consider the well-known problem of enumerating all triangles of an undirected graph. Our focus is on determining the input/output (I/O) complexity of this problem.  ...  Let E be the number of edges, M 0. Our results are based on a new color coding technique, which may be of independent interest.  ...  of [14] , and the anonymous reviewers for useful comments.  ... 
doi:10.1145/2594538.2594552 dblp:conf/pods/PaghS14 fatcat:2xgvd2vhzzf6bi6yjxxb7wrpea

Untyped lambda-calculus with input-output [chapter]

Jerzy Tiuryn, Mitchell Wand
1996 Lecture Notes in Computer Science  
We introduce an untyped -calculus with input-output, based on Gordon's continuation-passing model of input-output.  ...  This calculus is intended to allow the classi cation of possibly in nite input-output behaviors, such as those required for servers or distributed systems.  ...  Acknowledgements We thank Greg Sullivan for his careful reading of the manuscript and many discussions. Thanks also to Andrew Gordon and Davide Sangiorgi for helpful conversations.  ... 
doi:10.1007/3-540-61064-2_46 fatcat:khlxnvu645azpg74wvwkqnlddu

Interface Input/Output Automata [chapter]

Kim G. Larsen, Ulrik Nyman, Andrzej Wąsowski
2006 Lecture Notes in Computer Science  
Building on the theory of interface automata by de Alfaro and Henzinger we design an interface language for Lynch's I/O automata, a popular formalism used in the development of distributed asynchronous  ...  We introduce an explicit separation of assumptions from guarantees not yet seen in other behavioral interface theories.  ...  We introduce three convenient mapping functions in, out and ext which from a state of the two automata F and S return respectively the set of input, output or external actions of the automata that this  ... 
doi:10.1007/11813040_7 fatcat:k6cxf7oie5h7bg7ez3jgyvr75u

Synthesizing data structure transformations from input-output examples

John K. Feser, Swarat Chaudhuri, Isil Dillig
2015 Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015  
First, we generalize the input-output examples into hypotheses about the structure of the target program.  ...  For each hypothesis, we use deduction to infer new input/output examples for the missing subexpressions.  ...  Several recent papers [9, 28] have studied the synthesis of program proofs from tests (which can be viewed as examples). We believe that λ 2 can be used effectively for this purpose.  ... 
doi:10.1145/2737924.2737977 dblp:conf/pldi/FeserCD15 fatcat:ds54kgfn5zabdhkdndbc2fcc3q

Structural conditions on complex networks for the Michaelis–Menten input–output response

Felix Wong, Annwesha Dutta, Debashish Chowdhury, Jeremy Gunawardena
2018 Proceedings of the National Academy of Sciences of the United States of America  
Michaelis-Menten formula | input-output response | linear framework | complex network | nonequilibrium  ...  The Michaelis-Menten (MM) fundamental formula describes how the rate of enzyme catalysis depends on substrate concentration.  ...  We thank the editor and Rob Phillips for very helpful suggestions. F.W. was supported by the US National Science  ... 
doi:10.1073/pnas.1808053115 pmid:30194237 pmcid:PMC6166846 fatcat:k4bvmpe2urhsxhf2boixih4xbi

The Location of Comparative Advantages on the Basis of Fundamentals Only [chapter]

Thijs ten Raa, Pierre Mohnen
2009 Input–Output Economics: Theory and Applications  
The location of comparative advantages on the basis of fundamentals only ten Raa, Thijs; Mohnen, P.  ...  llnlike Krueger (1984, p. 545) suggests, this property does not depend on the input-output assumption of fixed coefficients.  ...  in the input-output classification and 25 sectors in the capital accounts.  ... 
doi:10.1142/9789812833679_0023 fatcat:czzrur2pfnfntdycby7v5ohonq

Input-Output Finite-Time Stability [article]

Gianmaria De Tommasi and Roberto Ambrosino and Giuseppe Carannante and Carlo Cosentino and Alfredo Pironti and Francesco Amato
2011 arXiv   pre-print
This paper introduces the extension of Finite-Time Stability (FTS) to the input-output case, namely the Input-Output FTS (IO-FTS).  ...  This paper revises some recent results on IO-FTS, both in the context of linear systems and in the context of switching systems.  ...  In this paper we are interested to study the input-output behavior of the system over a finite time interval.  ... 
arXiv:1107.5968v3 fatcat:iycapajlxjcxldgotyzl3zxtpa

Further remarks on input-output linearization of SISO time-varying delay systems [chapter]

Ihab Haidar, Florentina Nicolau, Jean-Pierre Barbot, Woihida Aggoune
2017 2017 Proceedings of the Conference on Control and its Applications  
In this paper, the problem of input-output linearization of nonlinear single-input single-output timevarying delay systems (with delays in the input and the output) is discussed and illustrated via several  ...  Sufficient conditions have been recently developed by the authors. Here, we propose to discuss these conditions and give some insight allowing to improve them.  ...  Conclusion In this paper, we have recalled our main result developed recently in the framework of input-output linearization of nonlinear systems with time-varying delays appearing in the state, the input  ... 
doi:10.1137/1.9781611975024.5 fatcat:c7lcoi3ftbcrpbclf4jwqgdeyu

The Input-Output Multi-Dimensional Analysis: Theoretical Framework

Mario Arturo Ruiz Estrada
2009 Social Science Research Network  
This paper is interested to propose an alternative approach entitled the input-output multi-dimensional analysis.  ...  The idea is to generate an alternative mathematical and graphical modeling approach to analyze the behavior of four production sectors and "i" number of sub-sectors to get the final output of the economy  ...  The basic structure of the input-output table shows a large number of production sectors, but we can observe that almost all the examples are based on the uses of three sectors.  ... 
doi:10.2139/ssrn.1376220 fatcat:jyzohj3rofa57d65yy4lbq4npa

Integral-Input-Output to State Stability [article]

Brian Ingalls
2001 arXiv   pre-print
Within the framework of "input to state stability" (ISS), a dual notion of "output to state stability" (OSS), and a more complete detectability notion, "input-output to state stability" (IOSS) have appeared  ...  This note addresses a variant of the IOSS property, using an integral norm to measure signals, as opposed to the standard supremum norm that appears in ISS theory.  ...  The integral-Input-Output to State Stability Property The main property of interest in this paper is the following.  ... 
arXiv:math/0106138v1 fatcat:niyjrfk6qrcw3id4mcpzmgyoda

The fundamental input/output structure of a linear, time-varying array receiver

J O Coleman
2010 2010 IEEE International Symposium on Phased Array Systems and Technology  
dependent on direction-of-arrival (DOA).  ...  The special case based on periodically varying signal processing is further derived and shows such a system to be fundamentally, structurally incapable of realizing a long-sought goal in navigation engineering  ...  The heart of this paper is in the Section 2 development from first principles of the mathematical input/output structure of a linear, time-varying array receiver, subsequently specialized to periodic signal  ... 
doi:10.1109/array.2010.5613389 fatcat:euraltepvbffte2l7jtznvpjla

A process algebraic view of input/output automata

Rocco De Nicola, Roberto Segala
1995 Theoretical Computer Science  
Input/output automata are a widely used formalism for the specification and verification of concurrent algorithms.  ...  Unfortunately, they lack an algebraic characterization, a formalization which has been fundamental for the success of theories like CSP, CCS and ACP.  ...  Many thanks to Frits Vaandrager for suggesting the pursued lines of investigation. We would also like to thank Nancy Lynch and Albert Meyer for helpful comments and criticisms on draft copies.  ... 
doi:10.1016/0304-3975(95)92307-j fatcat:e3hw76tp5rgivgdhchkkos5ycm
« Previous Showing results 1 — 15 out of 25,481 results