Lie group theory states that knowledge of a m-parameters solvable group of symmetries of a system of ordinary differential equations allows to reduce by m the number of equations. ...
Abstract. We extend first-order order-sorted unification by permitting regular expression sorts for variables and in the domains of function symbols. The set of basic sorts is ...
We investigate the performance of different classification models and their ability to recognize prostate cancer in an early state. We build ensembles of classification models in ...
A negotiating agent engages in multi-issue bilateral negotiation in a dynamic information-rich environment. The agent strives to make informed decisions. The agent may assume that...
Zielonka's theorem shows that each regular set of Mazurkiewicz traces can be implemented as a system of synchronized processes provided with some distributed control structure...