Zobrazeno 1 - 10
of 44
pro vyhledávání: '"Hales, James"'
The core activity of a Private Equity (PE) firm is to invest into companies in order to provide the investors with profit, usually within 4-7 years. To invest into a company or not is typically done manually by looking at various performance indicato
Externí odkaz:
http://arxiv.org/abs/2204.01852
Publikováno v:
Studia Logica 109(3): 639-681, 2021
Arbitrary public announcement logic (APAL) reasons about how the knowledge of a set of agents changes after true public announcements and after arbitrary announcements of true epistemic formulas. We consider a variant of arbitrary public announcement
Externí odkaz:
http://arxiv.org/abs/1803.01696
Autor:
Smith, Christopher J., Keay, Simon, Haynes, Ian, Liverani, Paolo, Peverett, Iwan, Spinola, Giandomenico, Turner, Alex, Claridge, Amanda, Pakkanen, Jari, Evans, Tim, Launaro, Alessandro, Leone, Ninetta, Millett, Martin, Verdonck, Lieven, Vermeulen, Frank, Ballantyne, Rachel, Bellini, Giovanna R., Hales, James, Kay, Stephen, Martin, Llorenç Alapont, Albiach, Rosa, Ceccarelli, Letizia, Panzieri, Camilla, Kane, Susan, Christensen, Alexis, Shelton, China, Carroll, Maureen, Prowse, Tracy, Hay, Sophie, Anderson, Julie
Publikováno v:
Papers of the British School at Rome, 2016 Jan 01. 84, 305-370.
Externí odkaz:
http://www.jstor.org/stable/24780069
Publikováno v:
In Polyhedron 1 March 2020 178
Action models are semantic structures similar to Kripke models that represent a change in knowledge in an epistemic setting. Whereas the language of action model logic embeds the semantic structure of an action model directly within the language, thi
Externí odkaz:
http://arxiv.org/abs/1406.2103
Publikováno v:
Information and Computation, Volume 239, December 2014, Pages 303-339
In this paper we present {\em refinement modal logic}. A refinement is like a bisimulation, except that from the three relational requirements only `atoms' and `back' need to be satisfied. Our logic contains a new operator 'all' in addition to the st
Externí odkaz:
http://arxiv.org/abs/1202.3538
Publikováno v:
In Information and Computation December 2014 239:303-339
Autor:
Hales, James A., Sauceman, Fred W.
Publikováno v:
ETSU Faculty Works.
The Computer-Integrated Manufacturing in Higher Education (CIMHE) Alliance is designed and supported by the IBM Corporation for the purpose of enhancing manufacturing education at each member institution. The alliance provides a program of faculty ed
Externí odkaz:
https://dc.etsu.edu/etsu-works/13514
Publikováno v:
ETSU Faculty Works.
University managed technology-based business incubators (UMTIs) have become increasingly popular. Some universities are forming private corporations and are encouraging professors/researchers to commercialize intellectual property (IP) based upon res
The Creation and Application of the Mandate System. (A Study in International Colonial Supervision.)
Autor:
Hales, James C.
Publikováno v:
Transactions of the Grotius Society, 1939 Jan 01. 25, 185-284.
Externí odkaz:
https://www.jstor.org/stable/742820