Filters








1,844 Hits in 8.2 sec

Dual deep modeling: multi-level modeling with dual potencies and its formalization in F-Logic

Bernd Neumayr, Christoph G. Schuetz, Manfred A. Jeusfeld, Michael Schrefl
2016 Journal of Software and Systems Modeling  
Syntax and semantics of DDM are formalized and implemented in F-Logic, supporting the modeler with integrity checks and rich query facilities. Communicated by Prof.  ...  Dual deep modeling (DDM) differentiates between source potency and target potency of a property or association and supports the flexible instantiation and refinement of the property by statements connecting  ...  Appendix: Complete formalization of DDM in F-Logic The formalization of DDM in F-Logic, which was developed and tested with version 0.99.5 of Flora-2, together with examples, is available at http://multilevelmodeling.net  ... 
doi:10.1007/s10270-016-0519-z pmid:29449797 pmcid:PMC5807479 fatcat:iaqkwrcepngz5opsklmuj3l5pe

Editorial to the theme issue on multi-level modeling

Colin Atkinson, Thomas Kühne, Juan de Lara
2016 Journal of Software and Systems Modeling  
Multi-level modeling, i.e., the explicit use of multiple levels of classification in modeling, is a conservative extension of the well-established, traditional two-level object-oriented paradigm.  ...  However, it has been shown that attempting to capture certain domains or systems with only two classification levels (i.e., objects and their types) results in accidental complexity that stems from an  ...  We are also indebted to the reviewers for their detailed reviews which in many cases directly led to considerable improvements.  ... 
doi:10.1007/s10270-016-0565-6 fatcat:zqhtivvgyrbx3nxfibmf5nd2xu

Model-driven engineering with domain-specific meta-modelling languages

Juan de Lara, Esther Guerra, Jesús Sánchez Cuadrado
2013 Journal of Software and Systems Modeling  
This work has been funded by the Spanish Ministry of Economy and Competitivity with project "Go Lite" (TIN2011-24139), and the R&D programme of Madrid Region with project "eMadrid" (S2009/TIC-1650).  ...  We thank the referees for their detailed and useful comments.  ...  The operation main contains the main simulation logic, and is annotated with the needed meta-model (line 1) and its potency (line 2).  ... 
doi:10.1007/s10270-013-0367-z fatcat:lpewwnejzvdcniongl5df5w234

Toward a well-founded theory for multi-level conceptual modeling

Victorio A. Carvalho, João Paulo A. Almeida
2016 Journal of Software and Systems Modeling  
Despite the recent advances in multi-level modelling techniques, we believe that many challenges in multi-level conceptual modelling still stem from the lack of theory that: (i) formally characterizes  ...  Multi-level conceptual modelling addresses the representation of subject domains dealing explicitly with multiple classification levels.  ...  Our multi-level modelling theory is formalized in first-order logic, quantifying over all possible individuals and types.  ... 
doi:10.1007/s10270-016-0538-9 fatcat:v2pmswsgrzaglfvij3ihshtqdy

Multilevel Modelling and Domain-Specific Languages [article]

Fernando Macías
2020 arXiv   pre-print
and its implementation in the tool MultEcore, together with case studies.  ...  This thesis presents a MLM and Multilevel MT approach which tackles open issues in the field and compares it with the state of the art through literature review and experiments, providing its formalisation  ...  Dual Deep Modelling [97] is based on the definition of parallel hierarchies, with different depths, where relations from one to the other can be established.  ... 
arXiv:1910.03313v2 fatcat:gw6zslbtxbdnfl5gyrdie46sbq

Modeling and Testing Legacy Data Consistency Requirements [chapter]

Jan Pettersen Nytun, Christian S. Jensen
2003 Lecture Notes in Computer Science  
Acknowledgements I would like to express my gratitude to the University of Agder for funding my PhD study and the University of Oslo for accepting me as a PhD student.  ...  Field description, belonging to Node, is a dual field with potency 2, it is instantiated on the next two levels and it keeps a value on all three levels.  ...  and nodes with deep instantiation Dual fields are special and not found in ordinary modeling since they have a value even when the potency is higher than one,Atkinson and Kühne state [AK01]: 61 Figure  ... 
doi:10.1007/978-3-540-45221-8_29 fatcat:4kbxt72bmfc2xmndywxopmarjq

ToxTree: descriptor-based machine learning models for both hERG and Nav1.5 cardiotoxicity liability predictions [article]

Issar Arab, Khaled Barakat
2021 arXiv   pre-print
The machine learning models were trained for both regression, predicting the potency value of a drug, and multiclass classification at three different potency cut-offs (i.e. 1μM, 10μM, and 30μM), where  ...  One fast and cost-effective approach is to use in silico predictive methods to weed out potential hERG and Nav1.5 blockers at the early stages of drug development.  ...  Acknowledgment The authors would like to acknowledge funding from the Natural Sciences and Engineering Research Council of Canada (NSERC) Discovery grant.  ... 
arXiv:2112.13467v1 fatcat:5rymyaegjjfa3ms5lowtn7vntu

A fuzzy computational model for emotion regulation based on Affect Control Theory

Ahmad Soleimani, Ziad Kobti
2016 2016 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)  
Bosse and colleagues computational model In their approach, Bosse and colleagues argue that they have conducted a deep and detailed analysis of Gross model and performed several steps in order to formalize  ...  Potency The third dimension in EP A space, potency is associated with the agent's perception about the strength of its attitude with respect to the occurred event.  ... 
doi:10.1109/fuzz-ieee.2016.7737908 dblp:conf/fuzzIEEE/SoleimaniK16 fatcat:4b3tcvrgt5bujdjdqdtu5g74py

Intelligent Video Highlights Generation with Front-Camera Emotion Sensing

Hugo Meyer, Peter Wei, Xiaofan Jiang
2021 Sensors  
In two separate experiments, including videos filmed with a dual camera setup, and home videos randomly picked from Microsoft's Video Titles in the Wild (VTW) dataset, HOMER demonstrates an improvement  ...  In this paper, we present HOMER, a cloud-based system for video highlight generation which enables the automated, relevant, and flexible segmentation of videos.  ...  To bolster the closeness of comparison, the Pronounce level model was tested on the evaluation videos with the fixed ratio of 25%, resulting in an F 1 score of 0.339.  ... 
doi:10.3390/s21041035 pmid:33546287 fatcat:3uuln6sckjhyvorm4sdza7imha

Open System Categorical Quantum Semantics in Natural Language Processing

Robin Piedeleu, Dimitri Kartsaklis, Bob Coecke, Mehrnoosh Sadrzadeh, Marc Herbstritt
2015 Conference on Algebra and Coalgebra in Computer Science  
In terms of the model in which we interpret word meaning, this means a passage from the vector space model to density matrices.  ...  a conceptually motivated procedure to compute the meaning of a sentence, given its grammatical structure within a Lambek pregroup and a vectorial representation of the meaning of its parts.  ...  mapping of atomic types, their duals and relational types of the grammar occurs in exactly the same fashion as in the previous model.  ... 
doi:10.4230/lipics.calco.2015.270 dblp:conf/calco/PiedeleuKCS15 fatcat:ncb3eaa3azgxfggzu4xzlyeiwq

Proceedings of the Third Workshop on Formal Integrated Development Environment

Kim G. Larsen
2017 Electronic Proceedings in Theoretical Computer Science  
I have started this work together with ZoltánÉsik when I visited him in Szeged in February 2016. Unfortunately, Zoltán did not live to see it completed.  ...  We would like to put our preliminary results of our proposed approach together and evaluate (1) whether DSE is applicable to SPLs in order to e ciently derive the behavioural changes among di↵erent products  ...  potency 1..* at level M0 makes its types available at any level. • Ontological types As in any modelling tool, the user can instantiate the metamodels.  ... 
doi:10.4204/eptcs.240.0.1 fatcat:imfjolcxmrfm7kqiz523rbyj5i

A Model Litigation Finance Contract

Maya Steinitz
2014 Zenodo  
In that scenario, the dual investment would simply function as a hedge. d.  ...  formalize.  ...  and obligations created by Subsection 5.6 of this Agreement; and (iv) certifying the existence of a perfected senior security interest in the Proceeds Account [and in the Claim].  ... 
doi:10.5281/zenodo.3234192 fatcat:rlso5kv23vfxtc6nt5uoftxlym

Fuzzy-Set Based Logics — an History-Oriented Presentation of their Main Developments [chapter]

Didier Dubois, Francesc Esteva, Lluís Godo, Henri Prade
2007 Handbook of the History of Logic  
This new trend has also put formal logic, originally developed in connection with the foundations of mathematics, in a completely new perspective, as a tool for processing information on computers.  ...  Of course, the development of fuzzy sets and fuzzy logic takes its roots in concerns already encountered in non-classical logics in the first half of the century, when the need for intermediary truth-values  ...  Moreover, Vojtáš [2001] presented a soundness and completeness proof for fuzzy logic programs without negation and with a wide variety of connectives, and generalized in the framework of multi-adjoint  ... 
doi:10.1016/s1874-5857(07)80009-4 fatcat:s4i5zfomgzbxnfbuif5ffsesea

Open System Categorical Quantum Semantics in Natural Language Processing [article]

Robin Piedeleu, Dimitri Kartsaklis, Bob Coecke, Mehrnoosh Sadrzadeh
2015 arXiv   pre-print
a conceptually motivated procedure to compute the meaning of a sentence, given its grammatical structure within a Lambek pregroup and a vectorial representation of the meaning of its parts.  ...  In terms of the model in which we interpret word meaning, this means a passage from the vector space model to density matrices.  ...  Since each object in FHilb is its own dual we also have Q(p l ) ∼ = Q(p) ∼ = Q(p r ).  ... 
arXiv:1502.00831v2 fatcat:7vrnwh5bljaornznwaukdqj5fa

"Conservatives Overfit, Liberals Underfit": The Social-Psychological Control of Affect and Uncertainty [article]

Jesse Hoey, Neil J. MacKinnon
2019 arXiv   pre-print
This paper provides a high-level view of dual process theories and advances BayesAct as a plausible, computationally tractable model based in social-psychological theory.  ...  The core idea of BayesAct is that humans are motivated in their social interactions by affective alignment: they strive for their social experiences to be coherent at a deep, emotional level with their  ...  Acknowledgments: THEMIS.COG is funded by the Canadian Natural Sciences and Engineering Research Council and Social Sciences and Humanities Research Council.  ... 
arXiv:1908.03106v3 fatcat:3bhcjrzervhgxjmmax6tybybuq
« Previous Showing results 1 — 15 out of 1,844 results