Results 151 to 160 of about 543 (181)

Adapting a U.S.-based micro-savings program for Uganda: implementation process and lessons learned. [PDF]

Child Youth Serv Rev
Namuwonge F, Girma AZ, Kizito S, Kalulu P, Ssentumbwe V, Nabunya P, McKay M, Ssewamala FM.   +7 more
europepmc   +1 more source

The Dawn of High-Throughput and Genome-Scale Kinetic Modeling: Recent Advances and Future Directions. [PDF]

ACS Synth Biol
Toumpe I, Choudhury S, Hatzimanikatis V, Miskovic L.   +3 more
europepmc   +1 more source

Non-parametric Causal Discovery for EU Allowances Returns Through the Information Imbalance

Salvagnin C, Tatto Vd, De Giuli ME, Mira A, Glielmo A.   +4 more
europepmc   +1 more source

Automated Proving Mixed Trigonometric Polynomial Inequalities

2019 27th Telecommunications Forum (TELFOR), 2019
In this paper we described one method for automated proving of one class analytic inequalities with two important ...
Branko Malešević, Bojan Banjac
openaire   +1 more source

Scalable Automated Proving of Information Theoretic Inequalities with Proximal Algorithms

2019 IEEE International Symposium on Information Theory (ISIT), 2019
Proving or disproving linear information theoretic inequalities is a fundamental task in information theory, and it has also been proved to be important in fields like cryptography and quantum communication theory. Manually proving information inequalities involving more than a few random variables can often be tedious or even intractable.
Lin Ling, Chee Wei Tan, Siu-Wai Ho, Raymond W. Yeung   +3 more
openaire   +1 more source

Automated Discovering and Proving for Geometric Inequalities

1999
Automated discovering and proving for geometric inequalities have been considered a difficult topic in the area of automated reasoning for manyy ears. Some well-known algorithms are complete theoretically but inefficient in practice, and cannot verify non-trivial propositions in batches.
Lu Yang, Xiaorong Hou, Bican Xia
openaire   +1 more source

Recent advances in automated theorem proving on inequalities

Journal of Computer Science and Technology, 1999
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

A Practical Program of Automated Proving for a Class of Geometric Inequalities

2001
An inequality-proving algorithm based on cell decomposition and a practical program written in Maple are presented, which can efficiently treat inequality-type theorems involving radicals, especially, a class of geometric inequalities including most of the theorems in a wellknown book on the subject.
Lu Yang, Ju Zhang
openaire   +1 more source

On One Method of Proving Inequalities in Automated Way

2011
The paper describes proving geometric inequalities in automated way without cell decomposition. Firstly an overview of known methods of proving inequalities is given including the method which is based on reduction of a conclusion polynomial to the canonical form modulo a hypotheses ideal. Then a parametrization method of proving geometric inequalities
openaire   +1 more source

Rationalizing Algorithm and Automated Proving for a Class of Inequalities Involving Radicals

Chinese Journal of Computers, 2009
Jia XU, Yong YAO
openaire   +1 more source