In this paper we propose a logic-based social approach to the specification and verification of agent interaction. We firstly introduce integrity constraints about social acts (called Social Integrity Constraints) as a formalism to express interaction protocols and to give a social semantics to the behavior of agents, focusing on communicative acts. Then, we discuss several possible kinds of ve...

In this paper, we formulate a mean-variance portfolio selection model with liability under the constraint that short-selling is prohibited. Due to the introduction of the liability and no-shorting constraints, our problem is not a conventional stochastic optimal linear-quadratic(LQ) control problem, and the corresponding HJB equation has no continuous solution. we construct a lower-semicontinuo...

We analyze the implications of short-selling and margin purchase constraints for management compensation and portfolio optimization under moral hazard. First, looking at the manager’s problem, we show that her active portfolio (that is, net of the benchmark) will not be independent of the benchmark design. We solve analytically for the benchmark composition that maximizes e¤ort expenditure. Ana...

We propose a quasi-Newton algorithm for solving large optimization problems with nonlinear equality constraints. It is designed for problems with few degrees of freedom, and is motivated by the need to use sparse matrix factorizations. The algorithm incorporates a correction vector that approximates the cross term Z^WYpy in order to estimate the curvature in both the range and null spaces of th...

We propose a quasi Newton algorithm for solving large optimization problems with nonlinear equality constraints It is designed for problems with few degrees of freedom and is motivated by the need to use sparse matrix factorizations The algorithm incorporates a correction vector that approximates the cross term ZWY pY in order to estimate the curvature in both the range and null spaces of the c...

Drawing on alternative perspectives about the automaticity of dispositional judgments, we examine whether the motivation to attract the other (i.e., selling orientation) in interpersonal first meetings (e.g., job interviews) helps or hinders the accuracy and validity of dispositional judgments. In a laboratory study (Study 1) we found that selling orientation reduced the accuracy of interviewer...

We propose a quasi-Newton algorithm for solving large optimization problems with nonlinear equality constraints. It is designed for problems with few degrees of freedom and is motivated by the need to use sparse matrix factorizations. The algorithm incorporates a correction vector that approximates the cross term Z T WY p Y in order to estimate the curvature in both the range and null spaces of...

background & aim: sweet basil (ocimum basilicum), a plant that is extensively cultivated in some countries, is used to enhance the flavour of salads, sauces, pasta, confectioneries and other products as both a fresh and dried herb. the effect of foliar application of jasmonic acid and reduced irrigation on essential oil yield and chemical components of two iranian landrace of basil (ocimum ...