English
Related papers

Related papers: Modeling System Events and Negative Events Using T…

200 papers

Modeling processes are the activities of capturing and representing processes and control of their dynamic behavior. Desired features of the model include capture of relevant aspects of a real phenomenon, understandability, and completeness…

Software Engineering · Computer Science 2017-07-28 Sabah Al-Fedaghi , Haya Alahmad

Event time models predict occurrence times of an event of interest based on known features. Recent work has demonstrated that neural networks achieve state-of-the-art event time predictions in a variety of settings. However, standard event…

Machine Learning · Statistics 2020-04-06 Matthew Engelhard , Samuel Berchuck , Joshua D'Arcy , Ricardo Henao

Reasoning about real-life events is a unifying challenge in AI and NLP that has profound utility in a variety of domains, while fallacy in high-stake applications could be catastrophic. Able to work with diverse text in these domains, large…

Computation and Language · Computer Science 2024-08-30 Li Zhang

In this paper, we concentrate on object-related analysis in the field of general ontology of reality as related to software engineering (e.g., UML classes). Such a venture is similar to many studies in which researchers have enhanced…

Software Engineering · Computer Science 2022-08-02 Sabah Al-Fedaghi

This paper deals with an extended model of computations which uses the parameterized families of entities for data objects and reflects a preliminary outline of this problem. Some topics are selected out, briefly analyzed and arranged to…

Logic in Computer Science · Computer Science 2007-05-23 Larissa Ismailova , Konstantin Zinchenko , Lioubouv Bourmistrova

Modeling in software engineering includes constructing static, dynamic, and behavioral representations. In describing system behavior, actions and states are two of the most commonly used concepts. In this paper, we focus on the notion of…

Software Engineering · Computer Science 2022-06-28 Sabah Al-Fedaghi

Language models (LMs) are said to be exhibiting reasoning, but what does this entail? We assess definitions of reasoning and how key papers in the field of natural language processing (NLP) use the notion and argue that the definitions…

Computation and Language · Computer Science 2025-11-18 Bertram Højer

This paper presents an implemented system for recognizing the occurrence of events described by simple spatial-motion verbs in short image sequences. The semantics of these verbs is specified with event-logic expressions that describe…

Artificial Intelligence · Computer Science 2011-06-02 J. M. Siskind

According to some algorithmicists, algorithmics traditionally uses algorithm theory, which stems from mathematics. The growing need for innovative algorithms has caused increasing gaps between theory and practice. Originally, this motivated…

Software Engineering · Computer Science 2020-12-04 Sabah Al-Fedaghi

We present the approach used for defining the event object model for the LHCb experiment. This approach is based on a high level modelling language, which is independent of the programming language used in the current implementation of the…

Computational Physics · Physics 2007-05-23 Marco Cattaneo , Gloria Corti , Markus Frank , Pere Mato Vila , Silvia Miksch , Stefan Roiser

It has been stated that the notion of cause and effect is one object of study that sciences and engineering revolve around. Lately, in software engineering, diagrammatic causal inference methods (e.g., Pearl s model) have gained popularity…

Software Engineering · Computer Science 2023-10-18 Sabah Al-Fedaghi

Conceptual modeling is an important part of information systems development and use that involves identifying and representing relevant aspects of reality. Although the past decades have experienced continuous digitalization of services and…

Human-Computer Interaction · Computer Science 2025-05-21 V. C. Storey , R. Lukyanenko , A. Castellanos

Causality serves as an abstract notion of time for concurrent systems. A computation is causal, or simply valid, if each observation of a computation event is preceded by the observation of its causes. The present work establishes that this…

Logic in Computer Science · Computer Science 2026-03-03 Clément Aubert , Jean Krivine

Unlike computation or the numerical analysis of differential equations, simulation does not have a well established conceptual and mathematical foundation. Simulation is an arguable unique union of modeling and computation. However,…

adap-org · Physics 2008-02-03 Steen Rasmussen , Christopher Barrett

We provide an overview of the status of Monte-Carlo event generators for high-energy particle physics. Guided by the experimental needs and requirements, we highlight areas of active development, and opportunities for future improvements.…

High Energy Physics - Phenomenology · Physics 2025-02-28 J. M. Campbell , M. Diefenthaler , T. J. Hobbs , S. Höche , J. Isaacson , F. Kling , S. Mrenna , J. Reuter , S. Alioli , J. R. Andersen , C. Andreopoulos , A. M. Ankowski , E. C. Aschenauer , A. Ashkenazi , M. D. Baker , J. L. Barrow , M. van Beekveld , G. Bewick , S. Bhattacharya , N. Bhuiyan , C. Bierlich , E. Bothmann , P. Bredt , A. Broggio , A. Buckley , A. Butter , J. M. Butterworth , E. P. Byrne , C. M. Carloni Calame , S. Chakraborty , X. Chen , M. Chiesa , J. T. Childers , J. Cruz-Martinez , J. Currie , N. Darvishi , M. Dasgupta , A. Denner , F. A. Dreyer , S. Dytman , B. K. El-Menoufi , T. Engel , S. Ferrario Ravasio , D. Figueroa , L. Flower , J. R. Forshaw , R. Frederix , A. Friedland , S. Frixione , H. Gallagher , K. Gallmeister , S. Gardiner , R. Gauld , J. Gaunt , A. Gavardi , T. Gehrmann , A. Gehrmann-De Ridder , L. Gellersen , W. Giele , S. Gieseke , F. Giuli , E. W. N. Glover , M. Grazzini , A. Grohsjean , C. Gütschow , K. Hamilton , T. Han , R. Hatcher , G. Heinrich , I. Helenius , O. Hen , V. Hirschi , M. Höfer , J. Holguin , A. Huss , P. Ilten , S. Jadach , A. Jentsch , S. P. Jones , W. Ju , S. Kallweit , A. Karlberg , T. Katori , M. Kerner , W. Kilian , M. M. Kirchgaeßer , S. Klein , M. Knobbe , C. Krause , F. Krauss , J. Lang , J. -N. Lang , G. Lee , S. W. Li , M. A. Lim , J. M. Lindert , D. Lombardi , L. Lönnblad , M. Löschner , N. Lurkin , Y. Ma , P. Machado , V. Magerya , A. Maier , I. Majer , F. Maltoni , M. Marcoli , G. Marinelli , M. R. Masouminia , P. Mastrolia , O. Mattelaer , J. Mazzitelli , J. McFayden , R. Medves , P. Meinzinger , J. Mo , P. F. Monni , G. Montagna , T. Morgan , U. Mosel , B. Nachman , P. Nadolsky , R. Nagar , Z. Nagy , D. Napoletano , P. Nason , T. Neumann , L. J. Nevay , O. Nicrosini , J. Niehues , K. Niewczas , T. Ohl , G. Ossola , V. Pandey , A. Papadopoulou , A. Papaefstathiou , G. Paz , M. Pellen , G. Pelliccioli , T. Peraro , F. Piccinini , L. Pickering , J. Pires , W. Płaczek , S. Plätzer , T. Plehn , S. Pozzorini , S. Prestel , C. T. Preuss , A. C. Price , S. Quackenbush , E. Re , D. Reichelt , L. Reina , C. Reuschle , P. Richardson , M. Rocco , N. Rocco , M. Roda , A. Rodriguez Garcia , S. Roiser , J. Rojo , L. Rottoli , G. P. Salam , M. Schönherr , S. Schuchmann , S. Schumann , R. Schürmann , L. Scyboz , M. H. Seymour , F. Siegert , A. Signer , G. Singh Chahal , A. Siódmok , T. Sjöstrand , P. Skands , J. M. Smillie , J. T. Sobczyk , D. Soldin , D. E. Soper , A. Soto-Ontoso , G. Soyez , G. Stagnitto , J. Tena-Vidal , O. Tomalak , F. Tramontano , S. Trojanowski , Z. Tu , S. Uccirati , T. Ullrich , Y. Ulrich , M. Utheim , A. Valassi , A. Verbytskyi , R. Verheyen , M. Wagman , D. Walker , B. R. Webber , L. Weinstein , O. White , J. Whitehead , M. Wiesemann , C. Wilkinson , C. Williams , R. Winterhalder , C. Wret , K. Xie , T-Z. Yang , E. Yazgan , G. Zanderighi , S. Zanoli , K. Zapp

Usually gradual and continuous changes in entities will lead to appear events. But usually it is supposed that an event is occurred at once. In this research an integrated framework called continuous occurrence theory (COT) is presented to…

Artificial Intelligence · Computer Science 2016-11-14 Abdorrahman Haeri

We need much better understanding of information processing and computation as its primary form. Future progress of new computational devices capable of dealing with problems of big data, internet of things, semantic web, cognitive robotics…

General Literature · Computer Science 2013-12-10 Mark Burgin , Gordana Dodig-Crnkovic

Mathematical software systems are becoming more and more important in pure and applied mathematics in order to deal with the complexity and scalability issues inherent in mathematics. In the last decades we have seen a cambric explosion of…

Mathematical Software · Computer Science 2020-02-13 Katja Bercic , Jacques Carette , William M. Farmer , Michael Kohlhase , Dennis Müller , Florian Rabe , Yasmine Sharoda

According to many researchers, conceptual model (CM) development is a hard task, and system requirements are difficult to collect, causing many miscommunication problems. CMs require more than modeling ability alone - they first require an…

Software Engineering · Computer Science 2024-05-16 Sabah Al-Fedaghi

This review examines theoretical assumptions and computational models of event comprehension, tracing the evolution from discourse comprehension theories to contemporary event cognition frameworks. The review covers key discourse…

Computation and Language · Computer Science 2024-11-26 Tan T. Nguyen