Search Results

11 - 20 of 2,908 items :

  • "temporality" x
Clear All
Weak Completeness Theorem for Propositional Linear Time Temporal Logic

. Formalized Mathematics , 1( 1 ):165-167, 1990. [16] Mariusz Giero. The axiomatization of propositional linear time temporal logic. Formalized Mathematics , 19( 2 ):113-119, 2011, doi: 10.2478/v10037-011-0018-1. [17] Mariusz Giero. The derivations of temporal logic formulas. Formalized Mathematics , 20( 3 ):215-219, 2012, doi: 10.2478/v10037-012-0025-x. [18] Mariusz Giero. The properties of sets of temporal logic subformulas. Formalized Mathematics , 20( 3 ):221-226, 2012, doi: 10.2478/v10037-012-0026-9. [19

Open access
True Aneurysm of Temporal Superficial Artery Arise Spontaneously. Case Report

ABBREVIATIONS MRI - Magnetic resonance imaging MSCT - Multislice computed tomography PH - Patohistology TSA - Temporal superficial artery REFERENCES: 1. DeSanti L. Aneurysms of the temporal region. Arch Gen Med 1884; 154: 543–679. 2. Conner WC III, Rohrich RJ, Pollock RA. Traumatic aneurysms of the face and temple: a patient report and literature review, 1644 to 1998. Ann Plast Surg 1998; 41: 321–326. 3. Dominique van U, Maarten T, Ellis S, Clark Michel R. Superficial temporal artery aneurysm: Diagnosis and treatment

Open access
Temporal adaptation control for local tone mapping operator

Reproduction for Digital Images”, ACM Trans. Graphics , vol. 21, no. 3, pp. 267–276, 2002 [doi: 0.1145/566654.566575]. [4] S. B. Kang, M. Uyttendaele, S. Winder and R. Szeliski, “High Dynamic Range Video”, ACM Trans. Graphics , vol. 22, no. 3, pp. 319–325, 2003 [doi: 10.1145/882262.882270]. [5] S. D. Ramsey, J. T. Johnson and C. Hansen, “Adaptive Temporal Tone Mapping”, Proc. 7th IASTED International Conference on Computer Graphics and Imaging , pp. 124–128, 2004. [6] C. Kiser, E. Reinhard, M. Tocci and N. Tocci, “Real Time Automated Tone Mapping System

Open access
Acrospiroma of the left temporal region

Acrospiroma of the left temporal region

Open access
Propositional Linear Temporal Logic with Initial Validity Semantics

1 This work was supported by the University of Bialystok grants: BST447 Formalization of temporal logics in a proof-assistant. Application to System Verification , and BST225 Database of mathematical texts checked by computer . R eferences [1] Grzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics , 1( 1 ):41–46, 1990. [2] Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics , 1( 1 ):91–96, 1990. [3] Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite

Open access
Indeterministic Temporal Logic

Abstract

The questions od determinism, causality, and freedom have been the main philosophical problems debated since the beginning of temporal logic. The issue of the logical value of sentences about the future was stated by Aristotle in the famous tomorrow sea-battle passage. The question has inspired Łukasiewicz’s idea of many-valued logics and was a motive of A. N. Prior’s considerations about the logic of tenses. In the scheme of temporal logic there are different solutions to the problem. In the paper we consider indeterministic temporal logic based on the idea of temporal worlds and the relation of accessibility between them.

Open access
The role of sampling strategy on apparent temporal stability of soil moisture under subtropical hydroclimatic conditions

., Melone, F., Moramarco, T., Morbidelli, R., 2010. Spatial-temporal variability of soil moisture and its estimation across scales. Water Resour. Res., 46, W02516. Burns, T.T., Berg, A.A., Cockburn, J., Tetlock, E., 2016. Regional scale spatial and temporal variability of soil moisture in a prairie region. Hydrol. Process., 30, 3639–3649. Buttafuoco, G., Castrignanò, A., Castrignano, E., Dimase, A.C., 2005. Studying the spatial structure evolution of soil water content using multivariate geostatistics. J. Hydrol., 311, 202–218. Canton, V., Rodríguez

Open access
Ontology–based access to temporal data with Ontop: A framework proposal

References Abiteboul, S., Hull, R. and Vianu, V. (1995). Foundations of Databases , Addison Wesley Publ. Co., Boston, MA. Allen, J.F. (1983). Maintaining knowledge about temporal intervals, Communications of the ACM 26 (11): 832–843. Alur, R. and Henzinger, T.A. (1993). Real-time logics: Complexity and expressiveness, Information and Computation 104 (1): 35–77. Anicic, D., Fodor, P., Rudolph, S. and Stojanovic, N. (2011). EP-SPARQL: A unified language for event processing and stream reasoning, Proceedings of the 20th International

Open access
Temporal/locative inversion in Arabic

Abstract

This research scrutinizes the observation that when the thematic subject is extracted (i.e. questioned) in Jordanian Arabic, temporal/locative inversion may occur. Temporal inversion occurs irrespective of the verb being transitive or intransitive, whereas locative inversion is limited to contexts with an unaccusative verb. This research argues that this distinction correlates with the base-generation of temporal/locative adjuncts; temporal adjuncts are base-generated adjoining to TP, whereas locatives are base-generated adjoining to VP. Temporal but not locative adjuncts resist fronting with VP, demand the use of a tense copula (or a tensed verb), and are not subject to deletion along with the lexical verb. With the assumption that Spec, SubjP must be filled with a non-silent copy due to the effects of the so-called Subject Criterion (Rizzi and Shlonsky 2007), a temporal or locative adjunct, if any, fills this position instead of the extracted thematic subject. Given its low position, a locative adjunct is accessible to Subj0 only when there is no v*P, hence the account of the correlation between locative inversion and the type of the verb. Furthermore, this research explores the existence of temporal/locative inversion in other two Arabic dialects (Najdi Arabic and Iraqi Arabic), arguing for a micro-parametric view of this strategy across Arabic dialects.

Open access
Evolving small-board Go players using coevolutionary temporal difference learning with archives

. Kim, K.-J., Choi, H. and Cho, S.-B. (2007). Hybrid of evolution and reinforcement learning for Othello players, IEEE Symposium on Computational Intelligence and Games, CIG 2007, Honolulu, HI, USA , pp. 203-209. Krawiec, K. and Szubert, M. (2010). Coevolutionary temporal difference learning for small-board Go, IEEE Congress on Evolutionary Computation, Barcelona, Spain , pp. 1-8. Lasker, E. (1960). Go and Go-Moku: The Oriental Board Games , Dover Publications, New York, NY. Lubberts, A

Open access