506,296 Hits in 4.7 sec

An efficient necessary condition for compatibility

Olivia Oanea, Karsten Wolf
2009 Central-European Workshop on Services and their Composition  
In this article, we show how the state equation can be applied for a necessary condition for compatibility.  ...  Among the techniques is the so-called state equation which forms a linear algebraic necessary condition for reachability of states.  ...  Section 3 gives the necessary conditions for compatibility and derives other necessary conditions for compatibility under some additional constraints.  ... 
dblp:conf/zeus/OaneaW09 fatcat:thbn7xjb5rg63kxblcgsygbq7u

Trade with Heterogeneous Prior Beliefs and Asymmetric Information

Stephen Morris
1994 Econometrica  
COROLLARY 3.1: A necessary condition for incentive compatible trade from an initially efficient allocation is that beliefs are not noisy consistent concordant.  ...  Thus it is possible to characterize necessary and sufficient conditions for each notion of efficiency. Necessary and sufficient conditions for no trade now follow.  ... 
doi:10.2307/2951751 fatcat:lx6fwr6qrzcvbk55gbwkoix4im

Page 446 of Biological Reviews Vol. 85, Issue 3 [page]

2010 Biological Reviews  
To determine this value it is necessary to determine how much of the deposited pollen (d) meets all three conditions at the same time.  ...  potential of the plant leading to an underestimation of pollen deposition efficiency.  ... 

The model of functioning of cargo transportation subsystem

Viktor Korchagin, Yulia Rizayeva, M. Kulev, S. Roshchupkin
2021 MATEC Web of Conferences  
Developed the methodology for the organization and control of functioning of cargoes transportation system under real conditions of vehicle operation.  ...  The use of the created system of cargo delivery management taking into account the biosphere-compatible criterion is important and progressive in the created conditions, since it became possible to take  ...  In conditions of globalization and the need to use energy and resource-efficient technologies in the transport sector, socially-oriented sectors of the economy acquire a strategic character, which requires  ... 
doi:10.1051/matecconf/202133401004 fatcat:gueom43oevewjmiy2fwpwwzwsa

A Generalized Bilateral Trading Model

Rongchuan Tao
2018 Open Journal of Business and Management  
Under such assumption, we concern about the existence of an ex post efficient mechanism satisfying individual compatible and individual rational conditions.  ...  In the bilateral trading model developed by Myerson [1], an ex post efficient mechanism that satisfies incentive compatibility and individual rationality has been proved to be not existed.  ...  We have identified a necessary condition for the existence of an incentive compatible, individual rational, and ex post efficient mechanism, but we also need some more accurate method to estimate the value  ... 
doi:10.4236/ojbm.2018.63046 fatcat:7xh4ptspajanfgrolxtea2gkte

Efficiently Compressible Density Operators via Entropy Maximization

Serena Di Giorgio, Paulo Mateus
2019 Proceedings (MDPI)  
We address the problem of efficiently and effectively compress density operators (DOs), by providing an efficient procedure for learning the most likely DO, given a chosen set of partial information.  ...  When the marginals are compatible with the existence of a quantum Markov chain (QMC) we show that there exists a recovery procedure for the maximum entropy estimator, and moreover, that for these states  ...  Interestingly, there is an information-theoretic characterization for QMC based on conditional von Neumann entropy, which can be found, for instance, in [6] .  ... 
doi:10.3390/proceedings2019012039 fatcat:n63zzbzlq5bdnijpkgfcckunyi


José E. Burgos, University of Guadalajara
2018 Mexican journal of behaviour analysis  
Selection, therefore, is not necessary for evolution.  ...  For a start, Newtonian mechanics is entirely compatible with probability theo-ry3.  ... 
doi:10.5514/rmac.v44.i2.68545 fatcat:ob73ie7b2vf3taq2xpzod3tfje

Exact Optimum Design of Segmented Thermoelectric Generators

M. Zare, H. Ramin, S. Naemi, R. Hosseini
2016 International Journal of Chemical Engineering  
Compatibility factor of the selected materials for the proposed STEGs is also calculated using both exact and approximate methods.  ...  The comparison indicates a negligible difference in calculation of compatibility factor, despite the considerable difference in calculation of reduced efficiency (temperature independence efficiency).  ...  In order to calculate compatibility factor, (4) is solved for each material by supposing a boundary condition for , and the reduced efficiency is obtained.  ... 
doi:10.1155/2016/6914735 fatcat:3hoyaerg2jbzte46jrvcseoy4m

Economies with observable types

Aldo Rustichini, Paolo Siconolfi
2012 Review of economic dynamics (Print)  
The equilibrium set may be empty even if constrained efficient allocations exist and the Second Welfare Theorem may fail. for long discussions in the past over this topic. †  ...  Individuals trade in lotteries and the incentive compatibility constraints are imposed either on the individual consumption set, as in the seminal work of Prescott and Townsend ([9], [10]), or on the production  ...  The next step is to build an economy with one type and one constrained efficient allocation that violates the necessary and sufficient conditions.  ... 
doi:10.1016/ fatcat:ufg7cpa5vzeijfux7ubr2lz5iy

Trade with Heterogeneous Multiple Priors

Atsushi Kajii, Takashi Ui
2004 Social Science Research Network  
In this framework, we derive a necessary and sufficient condition on the sets of posteriors, thus implicitly on the updating rules adopted by the agents, for non-existence of trade such that it is always  ...  trade under asymmetric information, where the decision making rule of each trader conforms to the multiple priors model (Gibloa and Schmeidler, 1989): the agents are interested in the minimum of the conditional  ...  The necessary and sufficient condition for non-existence of interim agreeable trade is that the intersection of these sets is non-empty.  ... 
doi:10.2139/ssrn.591023 fatcat:65tnsnblnvaxnaqplcw6eoad54

A fast state reduction algorithm for incompletely specified finite state machine

Hiroyuki Higuchi, Yusuke Matsunaga
1996 Proceedings of the 33rd annual conference on Design automation conference - DAC '96  
When the number of compatibles is likely to be too large to handle explicitly, they are represented by a BDD.  ...  This paper proposes a state reduction algorithm for incompletely specified FSMs. The algorithm is based on iterative improvements.  ...  Therefore (ABC) itself out of (ABC) and (DF) out of (DEF) are necessary for the closure condition.  ... 
doi:10.1145/240518.240606 dblp:conf/dac/HiguchiM96 fatcat:hpgdlyulargalfwylxkzkgipue

Vanishing Liquidity, Market Runs, and the Welfare Impact of Tarp

Christian Ewerhart
2009 Social Science Research Network  
In fact, market runs may be nearly constrained efficient. The latter finding might suggest an explanation for the recent policy turn of the U.S.  ...  necessary condition.  ...  After stating and proving a number of straightforward necessary conditions for equilibrium, the implications of incentive compatibility will be studied.  ... 
doi:10.2139/ssrn.1343773 fatcat:nrtxx6flgnhelikyhjlusvpzie

An Improved Filter for Literal Indexing in Resolution Systems

Lawrence J. Henschen, Shamim A. Naqvi
1981 International Joint Conference on Artificial Intelligence  
Robert Veroff for reading the original manuscript, and to Ms. Sherrie Brown for helping in the preparation of the final copy.  ...  Further, we associate with each such group an expression called the outline. These outlines can be easily compared to test for the above conditions.  ...  A necessary but not sufficient condition for T1 to subsume T2 is that in addition to the above, T2 contains a rigid symbol in every position where T1 contains a rigid position.  ... 
dblp:conf/ijcai/HenschenN81 fatcat:3psqhflqhbhjzezrunoezbqdsq

Equality Reasoning in Clause Graphics

Karl-Hans Bläsius
1983 International Joint Conference on Artificial Intelligence  
The necessary equations to form possible E-resolvents are searched for in the initial graph and are inherited afterwards.  ...  global strategies which plan and control the whole proof, thus conducing to an efficient and complete proof procedure. 2) to find proper equations rendering two terms unifiable.  ...  But in most cases the structure is a more complex equality-net as example 2 demonstrates: To this end several conditions can be stated which are necessary but not sufficient for the compatibility of an  ... 
dblp:conf/ijcai/Blasius83 fatcat:znwuxrmgirdyxogi245xk73hha


Dragan Vašalić, Zoran Masoničić, Saša Milojević, Ivan Ivković, Radivoje Pešić
2021 Mobility and Vehicle Mechanics  
In this paper, some aspects concerning the management of road transport of dangerous goods using contemporary information systems for the sake of energy efficiency increase are presented.  ...  The prerequisite condition for optimal utilization of available vehicle fleet and improvement of their operational activities in the domain of road transport of dangerous goods is using sophisticated information  ...  Firstly, there is a letter that describes the kind of vessel (L for substances in liquid condition and S for substances in solid condition).  ... 
doi:10.24874/mvm.2021.47.04.03 fatcat:h72tdbtyejhndeyz4lpcvkyzwm
« Previous Showing results 1 — 15 out of 506,296 results