Aleksandar Janicijevic, Anica Jevremovic, Vojin Kovacevic, Vuk Scepanovic, Ivan Bogdanovic, Nikola Repac, Igor Djoric and Goran Tasic
MRI - Magnetic resonance imaging
MSCT - Multislice computed tomography
PH - Patohistology
TSA - Temporal superficial artery
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
Reproduction for Digital Images”, ACM Trans. Graphics , vol. 21, no. 3, pp. 267–276, 2002 [doi: 0.1145/566654.566575].
 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].
 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.
 C. Kiser, E. Reinhard, M. Tocci and N. Tocci, “Real Time Automated Tone Mapping System
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 .
 Grzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics , 1( 1 ):41–46, 1990.
 Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics , 1( 1 ):91–96, 1990.
 Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite
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.
Lei Gao, Yaji Wang, Josie Geris, Paul D. Hallett and Xinhua Peng
., 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
Elem Güzel Kalayci, Sebastian Brandt, Diego Calvanese, Vladislav Ryzhikov, Guohui Xiao and Michael Zakharyaschev
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
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.
Krzysztof Krawiec, Wojciech Jaśkowski and Marcin Szubert
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.