Results 41 to 50 of about 19,209,348 (309)

Implicit Causality Extraction Method Based on Event Action Direction [PDF]

Jisuanji kexue, 2022
Extracting the causality between events can be applied to automatic question answering,knowledge extraction,common sense reasoning and so on.Due to the lack of obvious lexical features and the complex syntactic structure of Chinese,it is very difficult ...
MIU Feng, WANG Ping, LI Tai-yong
doaj   +1 more source

From Event-B models to Dafny code contracts [PDF]

, 2015
International audienceThe constructive approach to software correctness aims at formal modelling and verification of the structure and behaviour of a system in different levels of abstraction. In contrast, the analytical approach to software verification
C.A.R. Hoare, E.M. Clarke, E.W. Dijkstra, G.T. Leavens, J.-R. Abrial, J.R. Abrial, K.R.M. Leino, K.R.M. Leino, L. Moura de, M. Barnett, M. Butler, M. Butler   +11 more
core   +1 more source

Correlations in STAR: interferometry and event structure

, 2005
STAR observes a complex picture of RHIC collisions where correlation effects of different origins -- initial state geometry, semi-hard scattering, hadronization, as well as final state interactions such as quantum intensity interference -- coexist ...
Adams, J, Aggarwal, M M, Ahammed, Z, Amonett, J, Anderson, B D, Arkhipkin, D, Averichev, G S, Badyal, S K, Bai, Y, Balewski, J, Barannikova, O, Barnby, L S, Baudot, J, Bekele, S, Belaga, V V, Bellwied, R, Berger, J, Bezverkhny, B I, Bharadwaj, S, Bhasin, A, Bhati, A K, Bhatia, V S, Bichsel, H, Bielcik, J, Bielcikova, J, Billmeier, A, Bland, L C, Blyth, C O, Bonner, B E, Botje, M, Boucham, A, Brandin, A V, Bravar, A, Bystersky, M, Cadman, R V, Cai, X Z, Caines, H, Calderón de la Barca-Sanchez, M, Castillo, J, Catu, O, Cebra, D, Chajecki, Z, Chaloupka, P, Chattopadhyay, S, Chen, H F, Chen, Y, Cheng, J, Cherney, M, Chikanian, A, Christie, W, Coffin, J P, Cormier, T M, Cramer, J G, Crawford, H J, Das, D, Das, S, De Moura, M M, Derevshchikov, A A, Didenko, L, Dietel, T, Dogra, S M, Dong, W J, Dong, X, Draper, J E, Du, F, Dubey, A K, Dunin, V B, Dunlop, J C, Dutta-Majumdar, M R, Eckardt, V, Edwards, W R, Efimov, L G, Emelianov, V, Engelage, J, Eppley, G, Erazmus, B, Estienne, M, Fachini, P, Faivre, J, Fatemi, R, Fedorisin, J, Filimonov, K, Filip, P, Finch, E, Fine, V, Fisyak, Yu, Fomenko, K, Fu, J, Gagliardi, C A, Gaillard, L, Gans, J, Ganti, M S, Gaudichet, L, Geurts, F J M, Ghazikhanian, V, Ghosh, P, González, J E, Grachov, O, Grebenyuk, O, Grosnick, D P, Guertin, S M, Guo, Y, Gutíerrez, T D, Hallman, T J, Hamed, A, Hardtke, D, Harris, J W, Heinz, M, Henry, T W, Hepplemann, S, Hippolyte, B, Hirsch, A, Hjort, E, Hoffmann, G W, Huang Sheng Li, Huang, H Z, Hughes, E W, Humanic, T J, Igo, G, Ishihara, A, Jacobs, P, Jacobs, W W, Janik, M, Jiang, H, Jones, P G, Judd, E G, Kabana, S, Kang, K, Kaplan, M, Keane, D, Khodyrev, V Yu, Kiryluk, J, Kisiel, A, Kislov, E M, Klay, J, Klein, S R, Koetke, D D, Kollegger, T, Kopytine, M, Kopytine, M, Kotchenda, L, Kravtsov, P, Kravtsov, V I, Krämer, M, Krüger, K, Kuhn, C, Kulikov, A I, Kumar, A, Kutuev, R K, Kuznetsov, A A, Lamont, M A C, Landgraf, J M, Lange, S, Laue, F, Lauret, J, Le Vine, M J, Lebedev, A, Lednicky, R, Lehocka, S, Li, C, Li, Q, Li, Y, Lin, G, Lindenbaum, S J, Lisa, M A, Liu, F, Liu, H, Liu, L, Liu, Q J, Liu, Z, Ljubicic, T, Llope, W J, Long, H, Longacre, R S, Love, W A, Lu, Y, Ludlam, T, Lynn, D, López-Noriega, M, Ma, G L, Ma, J G, Ma, Y G, Magestro, D, Mahajan, S, Mahapatra, D P, Majka, R, Mangotra, L K, Manweiler, R, Margetis, S, Markert, C, Martin, L, Marx, J N, Matis, H S, Matulenko, Yu A, McClain, C J, McShane, T S, Meissner, F, Melnik, Yu M, Meschanin, A, Miller, M L, Minaev, N G, Mironov, C, Mischke, A, Mishra, D K, Mitchell, J, Mohanty, B, Molnár, L, Moore, C F, Morozov, D A, Munhoz, M G, Nandi, B K, Nayak, S K, Nayak, T K, Nelson, J M, Netrakanti, P K, Nikitin, V A, Nogach, L V, Nurushev, S B, Odyniec, Grazyna Janina, Ogawa, A, Okorokov, V, Oldenburg, M, Olson, D, Pal, S K, Panebratsev, Yu A, Panitkin, S Y, Pavlinov, A I, Pawlak, T, Peitzmann, T, Perevozchikov, V, Perkins, C, Peryt, W, Petrov, V A, Phatak, S C, Picha, R, Planinic, M, Pluta, J, Porile, N, Porter, J, Poskanzer, A M, Potekhin, M V, Potrebenikova, E V, Potukuchi, B V K S, Prindle, D, Pruneau, C A, Putschke, J, Rakness, G, Raniwala, R, Raniwala, S, Ravel, O, Ray, R L, Razin, S V, Reichhold, D M, Reid, J G, Renault, G, Retière, F, Ridiger, A, Ritter, H G, Roberts, J B, Rogachevski, O V, Romero, J L, Rose, A, Roy, C, Ruan, L, Russcher, M, Sahoo, R, Sakrejda, I, Salur, S, Sandweiss, J, Sarsour, M, Savin, I, Sazhin, P S, Schambach, J, Scharenberg, R P, Schmitz, N, Seger, J, Sen-Gupta, A, Seyboth, P, Shahaliev, E, Shao, M, Shao, W, Sharma, M, Shen, W Q, Shestermanov, K E, Shimansky, S S, Sichtermann, E P, Simon, F, Singaraju, R N, Skoro, G P, Smirnov, N, Snellings, R, Sood, G, Sowinski, J, Speltz, J, Spinka, H M, Srivastava, B, Stadnik, A, Stanislaus, T D S, Stock, R, Stolpovsky, A, Strikhanov, M N, Stringfellow, B C, Suaide, A A P, Sugarbaker, E R, Suire, C, Sumbera, M, Surrow, B, Symons, T J M, Szanto de Toledo, A, Szarwas, P, Sørensen, P, Tai, A, Takahashi, J, Tang, A H, Tarnowsky, T J, Thein, D, Thomas, J H, Timoshenko, S, Tokarev, M, Trentalange, S, Tribble, R E, Tsai, O D, Ulery, J, Ullrich, T, Underwood, D G, Urkinbaev, A R, Van Buren, G, Van der Molen, A M, Van Leeuwen, M, Varma, R, Vasilev, A N, Vasilevski, I M, Vernet, R, Vigdor, S E, Viyogi, Y P, Vokal, S, Voloshin, S A, Vznuzdaev, M, Waggoner, W T, Wang, F, Wang, G, Wang, X L, Wang, Y, Wang, Z M, Ward, H, Watson, J W, Webb, J C, Westfall, G D, Wetzler, A, Whitten, C, Wieman, H, Wissink, S W, Witt, R, Wood, J, Wu, J, Xu, N, Xu, Z, Xu, Z Z, Yamamoto, E, Yepes, P, Yurevich, V I, Zanevsky, Yu V, Zhang, H, Zhang, W M, Zhang, Y, Zhang, Z P, Zoulkarneev, R, Zoulkarneeva, Y, Zubarev, A N   +368 more
core   +1 more source

Learning Prototypical Event Structure from Photo Albums

Annual Meeting of the Association for Computational Linguistics, 2016
Activities and events in our lives are structural, be it a vacation, a camping trip, or a wedding. While individual details vary, there are characteristic patterns that are specific to each of these scenarios.
Antoine Bosselut, Jianfu Chen, D. Warren, Hannaneh Hajishirzi, Yejin Choi   +4 more
semanticscholar   +1 more source

Agentive reflexive clitics and transitive 'se' constructions in Spanish

Borealis: An International Journal of Hispanic Linguistics, 2013
This paper investigates the structure of transitive sentences that contain a non-doubling reflexive clitic such as Juan se lavó todos los platos and María se leyó un libro. Though these are traditionally labelled unselected (non-core) agreeing datives or
Grant Armstrong
doaj   +1 more source

Three-dimensional flow structure and bed morphology in large elongate meander loops with different outer bank roughness characteristics [PDF]

, 2016
© 2016. American Geophysical Union. All Rights Reserved. Few studies have examined the three-dimensional flow structure and bed morphology within elongate loops of large meandering channels.
Abad, Jorge, Abad, Jorge D., Best, James L., Garcia, Marcelo H., García, Marcelo H., Konsoer, Kory, Konsoer, Kory M., Langendoen, Eddy J., Parsons, Dan R., Rhoads, Bruce, Rhoads, Bruce L.   +10 more
core   +1 more source

Eye Movements Reveal the Influence of Event Structure on Reading Behavior

Cognitive Sciences, 2016
When we read narrative texts such as novels and newspaper articles, we segment information presented in such texts into discrete events, with distinct boundaries between those events. But do our eyes reflect this event structure while reading? This study
B. Swets, Christopher A. Kurby
semanticscholar   +1 more source

1-Safe Petri nets and special cube complexes: equivalence and applications

, 2019
Nielsen, Plotkin, and Winskel (1981) proved that every 1-safe Petri net $N$ unfolds into an event structure $\mathcal{E}_N$. By a result of Thiagarajan (1996 and 2002), these unfoldings are exactly the trace regular event structures.
Chalopin, Jérémie, Chepoi, Victor
core   +3 more sources

Timing and structure of the Younger Dryas event and its underlying climate dynamics

Proceedings of the National Academy of Sciences of the United States of America, 2020
Significance The Younger Dryas (YD) was an ∼1,300-y period of extreme climate that dramatically reversed the course of global warming that brought the last Ice Age to a close.
Hai Cheng, Haiwei Zhang, C. Spötl, J. Baker, A. Sinha, Hanying Li, M. Bartolomé, A. Moreno, Gayatri Kathayat, Jingyao Zhao, Xiyu Dong, Youwei Li, Y. Ning, Xuexue Jia, Baoyun Zong, Y. Ait Brahim, C. Pérez‐Mejías, Yanjun Cai, V. Novello, F. Cruz, J. Severinghaus, Z. An, R. Edwards   +22 more
semanticscholar   +1 more source

Event Structure and Non-Culminating Readings in Turkic

Languages
Since the seminal work by David Dowty, much inspired by the earlier ideas of Generative Semantics, a number of proposals have been developed accounting for the internal constitution and interpretation of accomplishment event predicates like ‘open the ...
Sergei Tatevosov
doaj   +1 more source