hi this paper we present an algorithm for translating from a particular non-anMytic proof system to analytic proofs. Moreover, some results about the translation in the other direction are refornmlated and known algorithms improved, hnplementation of the algorithms presented for use in research and teaching logic is under way at Carnegie-Mellon University in the framework of TPS and its educati...

Abstract The sustainable transition, which requires a combination of natural and human resources to foster the development protection ecosystems, is challenge civil society. New approaches may be proposed support enterprises in identifying appropriate strategic criteria for their sustainability initiatives, are eventually documented corporate reports. present paper focuses on food industry, par...

The recently born expression “analytic narratives” refers to studies that have appeared at the boundaries of history, political science and economics. These studies purport to explain specific historical events by combining the usual narrative way of historians with the analytic tools that economists and political scientists find in rational choice theory. Game theory is prominent among these t...

We present a high level query language, called HiFun, for defining analytic queries over big data sets, independently of how these queries are evaluated. An analytic query in HiFun is defined to be a wellformed expression of a functional algebra that we define in the paper. The operations of this algebra combine functions to create HiFun queries in much the same way as the operations of the rel...

Encrypted protocols, such as SSL, are becoming more prevalent because of the growing use of e-commerce, anonymity services, and secure authentication. Likewise, traffic analysis is becoming more common because it is often the only way to analyze these protocols. Though there are many valid uses for traffic analysis (such as network policy enforcement and intrusion detection), it can also be use...

One of the questions frequently asked nowadays about model theory is whether it is still logic. The reason for asking the question is mainly that more and more of model theoretic research focuses on concrete mathematical fields, uses extensively their tools and attacks their inner problems. Nevertheless the logical roots in the case of model theoretic geometric stability theory are not only cle...

This study investigates various methods for autonomous traffic signal control. We look into different types of control methods, including fixed time, adaptive, analytic, and reinforcement learning approaches. Machine approaches are compared with the “analytic” approach, which is used as “gold standard” performance assessment. find that conventional machine better than analytic but require a lot...

The work of Ray and Singer which introduced analytic torsion, a kind of determinant of the Laplacian operator in topological and holomorphic settings, is naturally generalized in both settings. The couplings are extended in a direct way in the topological setting to general flat bundles and in the holomorphic setting to bundles with (1,1) connections, which using the Newlander-Nirenberg Theorem...