To see the other types of publications on this topic, follow the link: Semantics preserving modeling technique.

Journal articles on the topic 'Semantics preserving modeling technique'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Semantics preserving modeling technique.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Tigane, Samir, Fayçal Guerrouf, Nadia Hamani, Laid Kahloul, Mohamed Khalgui, and Masood Ashraf Ali. "Dynamic Timed Automata for Reconfigurable System Modeling and Verification." Axioms 12, no. 3 (2023): 230. http://dx.doi.org/10.3390/axioms12030230.

Full text
Abstract:
Modern discrete-event systems (DESs) are often characterized by their dynamic structures enabling highly flexible behaviors that can respond in real time to volatile environments. On the other hand, timed automata (TA) are powerful tools used to design various DESs. However, they lack the ability to naturally describe dynamic-structure reconfigurable systems. Indeed, TA are characterized by their rigid structures, which cannot handle the complexity of dynamic structures. To overcome this limitation, we propose an extension to TA, called dynamic timed automata (DTA), enabling the modeling and v
APA, Harvard, Vancouver, ISO, and other styles
2

Kim, Ji-Sun, and Cheong Youn. "EMPS : An Efficient Software Merging Technique for Preserving Semantics." KIPS Transactions:PartD 13D, no. 2 (2006): 223–34. http://dx.doi.org/10.3745/kipstd.2006.13d.2.223.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Varde, Aparna S., Mohammed Maniruzzaman, and Richard D. Sisson. "QuenchML: A semantics-preserving markup language for knowledge representation in quenching." Artificial Intelligence for Engineering Design, Analysis and Manufacturing 27, no. 1 (2013): 65–82. http://dx.doi.org/10.1017/s0890060412000352.

Full text
Abstract:
AbstractKnowledge representation (KR) is an important area in artificial intelligence (AI) and is often related to specific domains. The representation of knowledge in domain-specific contexts makes it desirable to capture semantics as domain experts would. This motivates the development of semantics-preserving standards for KR within the given domain. In addition to the storage and analysis of information using such standards, the effect of globalization today necessitates the publishing of information on the Web. Thus, it is advisable to use formats that make the information easily publishab
APA, Harvard, Vancouver, ISO, and other styles
4

Marino, B. G., A. Masiero, F. Chiabrando, et al. "DATA OPTIMIZATION FOR 3D MODELING AND ANALYSIS OF A FORTRESS ARCHITECTURE." ISPRS - International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences XLII-2/W11 (May 4, 2019): 809–13. http://dx.doi.org/10.5194/isprs-archives-xlii-2-w11-809-2019.

Full text
Abstract:
<p><strong>Abstract.</strong> Thanks to the recent worldwide spread of drones and to the development of structure from motion photogrammetric software, UAV photogrammetry is becoming a convenient and reliable way for the 3D documentation of built heritage. Hence, nowadays, UAV photogrammetric surveying is a common and quite standard tool for producing 3D models of relatively large areas. However, when such areas are large, then a significant part of the generated point cloud is often of minor interest. Given the necessity of efficiently dealing with storing, processing and an
APA, Harvard, Vancouver, ISO, and other styles
5

Batra, Dinesh. "An Event-Oriented Data Modeling Technique Based on the Cognitive Semantics Theory." Journal of Database Management 23, no. 4 (2012): 52–74. http://dx.doi.org/10.4018/jdm.2012100103.

Full text
Abstract:
The Resource-Event-Agent (REA) model has been proposed as a data modeling approach for representing accounting transactions. However, most business events are not transactions; thus, the REA formulation is incomplete. Based on the Conceptual Semantics theory, this paper discusses the entity-relationship event network (EREN) model, which extends the REA model and provides a comprehensive data template for a business event. Specifically, the notions of resource, event, and agent in the REA model are extended to include more discriminating entity types. The EREN technique can be used to identify
APA, Harvard, Vancouver, ISO, and other styles
6

Beck, Edgar, Carsten Bockelmann, and Armin Dekorsy. "Semantic Information Recovery in Wireless Networks." Sensors 23, no. 14 (2023): 6347. http://dx.doi.org/10.3390/s23146347.

Full text
Abstract:
Motivated by the recent success of Machine Learning (ML) tools in wireless communications, the idea of semantic communication by Weaver from 1949 has gained attention. It breaks with Shannon’s classic design paradigm by aiming to transmit the meaning of a message, i.e., semantics, rather than its exact version and, thus, enables savings in information rate. In this work, we extend the fundamental approach from Basu et al. for modeling semantics to the complete communications Markov chain. Thus, we model semantics by means of hidden random variables and define the semantic communication task as
APA, Harvard, Vancouver, ISO, and other styles
7

Vdovychenko, Ruslan, and Vadim Tulchinsky. "Parallel Implementation of Sparse Distributed Memory for Semantic Storage." Cybernetics and Computer Technologies, no. 2 (September 30, 2022): 58–66. http://dx.doi.org/10.34229/2707-451x.22.2.6.

Full text
Abstract:
Introduction. Sparse Distributed Memory (SDM) and Binary Sparse Distributed Representations (Binary Sparse Distributed Representations, BSDR), as two phenomenological approaches to biological memory modelling, have many similarities. The idea of ??their integration into a hybrid semantic storage model with SDM as a low-level cleaning memory (brain cells) for BSDR, which is used as an encoder of high-level symbolic information, is natural. A hybrid semantic store should be able to store holistic data (for example, structures of interconnected and sequential key-value pairs) in a neural network.
APA, Harvard, Vancouver, ISO, and other styles
8

Albert, Elvira, Nikolaos Bezirgiannis, Frank de Boer, and Enrique Martin-Martin. "A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell*." Fundamenta Informaticae 177, no. 3-4 (2020): 203–34. http://dx.doi.org/10.3233/fi-2020-1988.

Full text
Abstract:
We present a formal translation of a resource-aware extension of the Abstract Behavioral Specification (ABS) language to the functional language Haskell. ABS is an actor-based language tailored to the modeling of distributed systems. It combines asynchronous method calls with a suspend and resume mode of execution of the method invocations. To cater for the resulting cooperative scheduling of the method invocations of an actor, the translation exploits for the compilation of ABS methods Haskell functions with continuations. The main result of this article is a correctness proof of the translat
APA, Harvard, Vancouver, ISO, and other styles
9

Pimentel-Niño, M. A., Paresh Saxena, and M. A. Vazquez-Castro. "Reliable Adaptive Video Streaming Driven by Perceptual Semantics for Situational Awareness." Scientific World Journal 2015 (2015): 1–16. http://dx.doi.org/10.1155/2015/394956.

Full text
Abstract:
A novel cross-layer optimized video adaptation driven by perceptual semantics is presented. The design target is streamed live video to enhance situational awareness in challenging communications conditions. Conventional solutions for recreational applications are inadequate and novel quality of experience (QoE) framework is proposed which allows fully controlled adaptation and enables perceptual semantic feedback. The framework relies on temporal/spatial abstraction for video applications serving beyond recreational purposes. An underlying cross-layer optimization technique takes into account
APA, Harvard, Vancouver, ISO, and other styles
10

Motzek, Alexander, and Ralf Möller. "Indirect Causes in Dynamic Bayesian Networks Revisited." Journal of Artificial Intelligence Research 59 (May 27, 2017): 1–58. http://dx.doi.org/10.1613/jair.5361.

Full text
Abstract:
Modeling causal dependencies often demands cycles at a coarse-grained temporal scale. If Bayesian networks are to be used for modeling uncertainties, cycles are eliminated with dynamic Bayesian networks, spreading indirect dependencies over time and enforcing an infinitesimal resolution of time. Without a ``causal design,'' i.e., without anticipating indirect influences appropriately in time, we argue that such networks return spurious results. By identifying activator random variables, we propose activator dynamic Bayesian networks (ADBNs) which are able to rapidly adapt to contexts under a c
APA, Harvard, Vancouver, ISO, and other styles
11

Song, Shuang, Andy Dong, and Alice Agogino. "Modeling Information Needs in Engineering Databases Using Tacit Knowledge." Journal of Computing and Information Science in Engineering 2, no. 3 (2002): 199–207. http://dx.doi.org/10.1115/1.1528921.

Full text
Abstract:
Online resources of engineering design information are a critical resource for practicing engineers. These online resources often contain references and content associated with technical memos, journal articles and “white papers” of prior engineering projects. However, filtering this stream of information to find the right information appropriate to an engineering issue and the engineer is a time-consuming task. The focus of this research lies in ascertaining tacit knowledge to model the information needs of the users of an engineering information system. It is proposed that the combination of
APA, Harvard, Vancouver, ISO, and other styles
12

McNeill, Fiona, Paolo Besana, Juan Pane, and Fausto Giunchiglia. "Service Integration through Structure-Preserving Semantic Matching." Journal of Cases on Information Technology 11, no. 4 (2009): 26–46. http://dx.doi.org/10.4018/jcit.2009072102.

Full text
Abstract:
The problem of integrating services is becoming increasingly pressing. In large, open environments such as the Semantic Web, huge numbers of services are developed by vast numbers of different users. Imposing strict semantics standards in such an environment is useless; fully predicting in advance which services one will interact with is not always possible as services may be temporarily or permanently unreachable, may be updated or may be superseded by better services. In some situations, characterised by unpredictability, such as the emergency response scenario described in this case, the be
APA, Harvard, Vancouver, ISO, and other styles
13

LAM, VITUS S. W. "FORMAL ANALYSIS OF BPMN MODELS: A NuSMV-BASED APPROACH." International Journal of Software Engineering and Knowledge Engineering 20, no. 07 (2010): 987–1023. http://dx.doi.org/10.1142/s0218194010005079.

Full text
Abstract:
Business Process Modeling Notation (BPMN) plays a significant role in the specification of business processes. To ascertain the validity of BPMN models, a disciplined approach to analyze their behavior is of particular interest to the field of business process management. This paper advocates a semantics-preserving method for transforming BPMN models into New Symbolic Model Verifier (NuSMV) language as a means to verify the models. A subset of BPMN is specified rigorously in the form of a mathematical model. With this foundation in place, the translation for the subset of BPMN notational eleme
APA, Harvard, Vancouver, ISO, and other styles
14

Yang, Shi Han, Jin Zhao Wu, and An Ping He. "Automatically Transforming Legacy XML Documents Into OWL Ontology." Applied Mechanics and Materials 241-244 (December 2012): 2638–44. http://dx.doi.org/10.4028/www.scientific.net/amm.241-244.2638.

Full text
Abstract:
It is a challenge to transform legacy XML-based data into ontology for applications of the semantic web, such as semantic-based integrations, intelligent web searching, and internet based knowledge reasoning. We propose a new technique to transform XML data into ontology data automatically by modeling XML documents semantically. Firstly, we provide the XML a semantically interpretation by developing a graph-based formal language, w-graph. Then, the result of the interpretation can be automatically mapped into OWL web ontology language with semantics preserved. The proof of semantics preserved
APA, Harvard, Vancouver, ISO, and other styles
15

AMENDOLA, GIOVANNI, CARMINE DODARO, and FRANCESCO RICCA. "Better Paracoherent Answer Sets with Less Resources." Theory and Practice of Logic Programming 19, no. 5-6 (2019): 757–72. http://dx.doi.org/10.1017/s1471068419000176.

Full text
Abstract:
AbstractAnswer Set Programming (ASP) is a well-established formalism for logic programming. Problem solving in ASP requires to write an ASP program whose answers sets correspond to solutions. Albeit the non-existence of answer sets for some ASP programs can be considered as a modeling feature, it turns out to be a weakness in many other cases, and especially for query answering. Paracoherent answer set semantics extend the classical semantics of ASP to draw meaningful conclusions also from incoherent programs, with the result of increasing the range of applications of ASP. State of the art imp
APA, Harvard, Vancouver, ISO, and other styles
16

Ni, Jiajia, Jianhuang Wu, Jing Tong, Mingqiang Wei, and Zhengming Chen. "SSCA-Net: Simultaneous Self- and Channel-Attention Neural Network for Multiscale Structure-Preserving Vessel Segmentation." BioMed Research International 2021 (March 30, 2021): 1–17. http://dx.doi.org/10.1155/2021/6622253.

Full text
Abstract:
Vessel segmentation is a fundamental, yet not well-solved problem in medical image analysis, due to the complicated geometrical and topological structures of human vessels. Unlike existing rule- and conventional learning-based techniques, which hardly capture the location of tiny vessel structures and perceive their global spatial structures, we propose Simultaneous Self- and Channel-attention Neural Network (termed SSCA-Net) to solve the multiscale structure-preserving vessel segmentation (MSVS) problem. SSCA-Net differs from the conventional neural networks in modeling image global contexts,
APA, Harvard, Vancouver, ISO, and other styles
17

Xu, Lyu, Byron Choi, Yun Peng, Jianliang Xu, and Sourav S Bhowmick. "A Framework for Privacy Preserving Localized Graph Pattern Query Processing." Proceedings of the ACM on Management of Data 1, no. 2 (2023): 1–27. http://dx.doi.org/10.1145/3589274.

Full text
Abstract:
This paper studies privacy preserving graph pattern query services in a cloud computing paradigm. In such a paradigm, data owner stores the large data graph to a powerful cloud hosted by a service provider (SP) and users send their queries to SP for query processing. However, as SP may not always be trusted, the sensitive information of users' queries, importantly, the query structures, should be protected. In this paper, we study how to outsource the localized graph pattern queries (LGPQs) on the SP side with privacy preservation. LGPQs include a rich set of semantics, such as subgraph homomo
APA, Harvard, Vancouver, ISO, and other styles
18

Iluz, Shir, Yael Vinker, Amir Hertz, Daniel Berio, Daniel Cohen-Or, and Ariel Shamir. "Word-As-Image for Semantic Typography." ACM Transactions on Graphics 42, no. 4 (2023): 1–11. http://dx.doi.org/10.1145/3592123.

Full text
Abstract:
A word-as-image is a semantic typography technique where a word illustration presents a visualization of the meaning of the word, while also preserving its readability. We present a method to create word-as-image illustrations automatically. This task is highly challenging as it requires semantic understanding of the word and a creative idea of where and how to depict these semantics in a visually pleasing and legible manner. We rely on the remarkable ability of recent large pretrained language-vision models to distill textual concepts visually. We target simple, concise, black-and-white desig
APA, Harvard, Vancouver, ISO, and other styles
19

Nguyen, Ngoc Duc, and Bac Le. "A Fast Algorithm for Privacy-Preserving Utility Mining." Research and Development on Information and Communication Technology 2022, no. 1 (2022): 12–22. http://dx.doi.org/10.32913/mic-ict-research.v2022.n1.1026.

Full text
Abstract:
Utility mining (UM) is an efficient technique for data mining which aim to discover critical patternsfrom various types of database. However, mining data can reveal sensitive information of individuals. Privacy preserving utility mining (PPUM) emerges as an important research topic in recent years. In the past, integer programming approach was developed to hide sensitive knowledge in a database. This approach required a significant amount of time for preprocessing and formulating a constraint satisfaction problem (CSP). To address this problem, we proposed a new algorithm based on a hash data
APA, Harvard, Vancouver, ISO, and other styles
20

Hiebel, Gerald, Edeltraud Aspöck, and Karin Kopetzky. "Ontological Modeling for Excavation Documentation and Virtual Reconstruction of an Ancient Egyptian Site." Journal on Computing and Cultural Heritage 14, no. 3 (2021): 1–14. http://dx.doi.org/10.1145/3439735.

Full text
Abstract:
In this article we introduce our semantic modeling approach for data from over 50 years of excavations at Tell el-Daba in Egypt. The CIDOC CRM with some of its extensions is used as an ontological framework to provide the semantics for creating a knowledge graph containing material remains, excavated areas, and documentation resources. An objective of the project A Puzzle in 4D is to digitize the documentation and create metadata for analog and digital resources in order to provide the data to the research community and facilitate future work for this important archaeological site. Using an ex
APA, Harvard, Vancouver, ISO, and other styles
21

Li, Weihong. "3D Virtual Modeling Realizations of Building Construction Scenes via Deep Learning Technique." Computational Intelligence and Neuroscience 2022 (March 31, 2022): 1–11. http://dx.doi.org/10.1155/2022/6286420.

Full text
Abstract:
The architectural drawings of traditional building constructions generally require some design knowledge of the architectural plan to be understood. With the continuous development of the construction industry, the use of three-dimensional (3D) virtual models of buildings is quickly increased. Using three-dimensional models can give people a more convenient and intuitive understanding of the model of the building, and it is necessary for the painter to manually draw the 3D model. By analyzing the common design rules of architectural drawing, this project designed and realized a building three-
APA, Harvard, Vancouver, ISO, and other styles
22

WANG, ENOCH Y., and BETTY H. C. CHENG. "FORMALIZING THE FUNCTIONAL MODEL WITHIN OBJECT-ORIENTED DESIGN." International Journal of Software Engineering and Knowledge Engineering 10, no. 01 (2000): 5–30. http://dx.doi.org/10.1142/s0218194000000031.

Full text
Abstract:
The data flow diagram (DFD), originally introduced for structured design purposes, depicts the functions that a system or a module should provide. The objective of a software system is to implement specific functionalities. The function-oriented decomposition strategy of DFDs in the conventional design process for structured design conflicts with the spirit of object-orientation. So far, there is no object-oriented method that has successfully integrated DFDs into the object-oriented development process. In this paper, we demonstrate how DFDs can be modified in order to be integrated into obje
APA, Harvard, Vancouver, ISO, and other styles
23

Langenfeld, Kai, Kerstin Möhring, Frank Walther, and Jörn Mosler. "Regularizational approach for modeling ductile damage." MATEC Web of Conferences 300 (2019): 08008. http://dx.doi.org/10.1051/matecconf/201930008008.

Full text
Abstract:
It is well known, that modeling of material softening behavior can lead to ill-posed boundary value problems. This, in turn, leads to meshdependent results as far as the finite-element-method is concerned [1]. Several solution strategies in order to regularize the aforementioned problem have been proposed in the literature, cf. [2]. However, these strategies often involve high implementational effort. An approach which is very efficient froman implementational point of view is the so-called micromorphic approach by [3, 4]. This regularization technique includes gradients of internal variables
APA, Harvard, Vancouver, ISO, and other styles
24

Bui, Nghi D. Q., Yijun Yu, and Lingxiao Jiang. "TreeCaps: Tree-Based Capsule Networks for Source Code Processing." Proceedings of the AAAI Conference on Artificial Intelligence 35, no. 1 (2021): 30–38. http://dx.doi.org/10.1609/aaai.v35i1.16074.

Full text
Abstract:
Recently program learning techniques have been proposed to process source code based on syntactical structures (e.g., abstract syntax trees) and/or semantic information (e.g., dependency graphs). While graphs may be better than trees at capturing code semantics, constructing the graphs from code inputs through the semantic analysis of multiple viewpoints can lead to inaccurate noises for a specific software engineering task. Compared to graphs, syntax trees are more precisely defined on the grammar and easier to parse; unfortunately, previous tree-based learning techniques have not been able t
APA, Harvard, Vancouver, ISO, and other styles
25

Harzallah, Salaheddine, and Mohamed Chabaat. "Eddy Current Modeling for the Nondestructive Evaluation of Stress Intensity Factor." Applied Mechanics and Materials 621 (August 2014): 83–88. http://dx.doi.org/10.4028/www.scientific.net/amm.621.83.

Full text
Abstract:
In this paper, a nondestructive technique is used as a tool to control cracks and microcracks in materials. A simulation by a numerical approach such as the finite element method is employed to detect cracks and eventually; to study their propagation using a crucial parameter such as the stress intensity factor. This approach has been used in the aircraft industry to control cracks. Besides, it makes it possible to highlight the defects of parts while preserving the integrity of the controlled products. On the other side, it is proven that the reliability of the control of defects gives convin
APA, Harvard, Vancouver, ISO, and other styles
26

Zhao, Yanbin, Lu Chen, Zhi Chen, and Kai Yu. "Semi-Supervised Text Simplification with Back-Translation and Asymmetric Denoising Autoencoders." Proceedings of the AAAI Conference on Artificial Intelligence 34, no. 05 (2020): 9668–75. http://dx.doi.org/10.1609/aaai.v34i05.6515.

Full text
Abstract:
Text simplification (TS) rephrases long sentences into simplified variants while preserving inherent semantics. Traditional sequence-to-sequence models heavily rely on the quantity and quality of parallel sentences, which limits their applicability in different languages and domains. This work investigates how to leverage large amounts of unpaired corpora in TS task. We adopt the back-translation architecture in unsupervised machine translation (NMT), including denoising autoencoders for language modeling and automatic generation of parallel data by iterative back-translation. However, it is n
APA, Harvard, Vancouver, ISO, and other styles
27

Eseonu, Chikezie I., Karim ReFaey, Eva Pamias-Portalatin, et al. "Three-Hand Endoscopic Endonasal Transsphenoidal Surgery: Experience With an Anatomy-Preserving Mononostril Approach Technique." Operative Neurosurgery 14, no. 2 (2017): 158–65. http://dx.doi.org/10.1093/ons/opx110.

Full text
Abstract:
Abstract BACKGROUND Variations on the endoscopic transsphenoidal approach present unique surgical techniques that have unique effects on surgical outcomes, extent of resection (EOR), and anatomical complications. OBJECTIVE To analyze the learning curve and perioperative outcomes of the 3-hand endoscopic endonasal mononostril transsphenoidal technique. METHODS Prospective case series and retrospective data analysis of patients who were treated with the 3-hand transsphenoidal technique between January 2007 and May 2015 by a single neurosurgeon. Patient characteristics, preoperative presentation,
APA, Harvard, Vancouver, ISO, and other styles
28

TRIVELLATO, DANIEL, NICOLA ZANNONE, MAURICE GLAUNDRUP, JACEK SKOWRONEK, and SANDRO ETALLE. "A SEMANTIC SECURITY FRAMEWORK FOR SYSTEMS OF SYSTEMS." International Journal of Cooperative Information Systems 22, no. 01 (2013): 1350004. http://dx.doi.org/10.1142/s0218843013500044.

Full text
Abstract:
Systems of systems (SoS) are dynamic coalitions of distributed, autonomous and heterogeneous systems that collaborate to achieve a common goal. While offering several advantages in terms of scalability and flexibility, the SoS paradigm has a strong impact on systems interoperability and on the security requirements of the collaborating parties. In this paper, we introduce a service-oriented security framework that protects the information exchanged among the parties in an SoS, while preserving parties' autonomy and interoperability. Confidentiality and integrity of information are protected by
APA, Harvard, Vancouver, ISO, and other styles
29

Zimba, Aaron. "A Bayesian Attack-Network Modeling Approach to Mitigating Malware-Based Banking Cyberattacks." International Journal of Computer Network and Information Security 14, no. 1 (2021): 25–39. http://dx.doi.org/10.5815/ijcnis.2022.01.03.

Full text
Abstract:
According to Cybersecurity Ventures, the damage related to cybercrime is projected to reach $6 trillion annually by 2021. The majority of the cyberattacks are directed at financial institutions as this reduces the number of intermediaries that the attacker needs to attack to reach the target - monetary proceeds. Research has shown that malware is the preferred attack vector in cybercrimes targeted at banks and other financial institutions. In light of the above, this paper presents a Bayesian Attack Network modeling technique of cyberattacks in the financial sector that are perpetuated by crim
APA, Harvard, Vancouver, ISO, and other styles
30

Wu, Xing, Zhaowang Liang, and Jianjia Wang. "FedMed: A Federated Learning Framework for Language Modeling." Sensors 20, no. 14 (2020): 4048. http://dx.doi.org/10.3390/s20144048.

Full text
Abstract:
Federated learning (FL) is a privacy-preserving technique for training a vast amount of decentralized data and making inferences on mobile devices. As a typical language modeling problem, mobile keyboard prediction aims at suggesting a probable next word or phrase and facilitating the human-machine interaction in a virtual keyboard of the smartphone or laptop. Mobile keyboard prediction with FL hopes to satisfy the growing demand that high-level data privacy be preserved in artificial intelligence applications even with the distributed models training. However, there are two major problems in
APA, Harvard, Vancouver, ISO, and other styles
31

de Leoni, Massimiliano, Paolo Felli, and Marco Montali. "Integrating BPMN and DMN: Modeling and Analysis." Journal on Data Semantics 10, no. 1-2 (2021): 165–88. http://dx.doi.org/10.1007/s13740-021-00132-z.

Full text
Abstract:
AbstractThe operational backbone of modern organizations is the target of business process management, where business process models are produced to describe how the organization should react to events and coordinate the execution of activities so as to satisfy its business goals. At the same time, operational decisions are made by considering internal and external contextual factors, according to decision models that are typically based on declarative, rule-based specifications that describe how input configurations correspond to output results. The increasing importance and maturity of these
APA, Harvard, Vancouver, ISO, and other styles
32

Alizadeh, Mahmoud, Peter Händel, and Daniel Rönnow. "Behavioral modeling and digital pre-distortion techniques for RF PAs in a 3 × 3 MIMO system." International Journal of Microwave and Wireless Technologies 11, no. 10 (2019): 989–99. http://dx.doi.org/10.1017/s1759078719000862.

Full text
Abstract:
AbstractModern telecommunications are moving towards (massive) multi-input multi-output (MIMO) systems in 5th generation (5G) technology, increasing the dimensionality of the systems dramatically. In this paper, the impairments of radio frequency (RF) power amplifiers (PAs) in a 3 × 3 MIMO system are compensated in both the time and the frequency domains. A three-dimensional (3D) time-domain memory polynomial-type model is proposed as an extension of conventional 2D models. Furthermore, a 3D frequency-domain technique is formulated based on the proposed time-domain model to reduce the dimensio
APA, Harvard, Vancouver, ISO, and other styles
33

Nasr, S., and O. V. German. "A SEARCHING ALGORITHM FOR TEXT WITH MISTAKES." Doklady BGUIR, no. 1 (March 6, 2020): 29–34. http://dx.doi.org/10.35596/1729-7648-2020-18-1-29-34.

Full text
Abstract:
The paper contains a new text searching method representing modification of the Boyer-Moore algorithm and enabling a user to find the places in the text where the given substring occurs maybe with possible errors, that is the string in text and a query may not coincide but nevertheless are identical. The idea consists in division of the searching process in two phases: at the first phase a fuzzy variant of the Boyer–Moore algorithm is performed; at the second phase the Dice metrics is used. The advantage of suggested technique in comparison with the known methods using the fixed value of the m
APA, Harvard, Vancouver, ISO, and other styles
34

Liu, Qiuhong, Kun Qu, and Jinsheng Cai. "An automated multi-grid Chimera method based on the implicit hole technique." Proceedings of the Institution of Mechanical Engineers, Part G: Journal of Aerospace Engineering 231, no. 2 (2016): 279–93. http://dx.doi.org/10.1177/0954410016636162.

Full text
Abstract:
An automated multi-grid overset grid algorithm is presented for accurate simulation of viscous flows around complex configurations. The algorithm is based on the implicit hole cutting technique optimized with an overset grid construction strategy, a grid cutting criterion and a multi-level overset grid cutting method. The enhanced method is more general than the original method, while preserving the high degree of automation of the implicit hole cutting algorithm. Moreover, a mesh sequencing and multi-grid Chimera strategy is proposed to achieve convergence acceleration of the flow calculation
APA, Harvard, Vancouver, ISO, and other styles
35

Camagni, F., S. Colaceci, and M. Russo. "REVERSE MODELING OF CULTURAL HERITAGE: PIPELINE AND BOTTLENECKS." ISPRS - International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences XLII-2/W9 (January 31, 2019): 197–204. http://dx.doi.org/10.5194/isprs-archives-xlii-2-w9-197-2019.

Full text
Abstract:
<p><strong>Abstract.</strong> The present work is suggested as a contribution to the debate on Reverse Modeling (RM) topic in the Cultural Heritage field. It wants to test the methodology, the limits and the bottlenecks of the RM pipeline in the architectural field, with particular attention to the geometric shapes reading and interpretation. The mathematical reconstruction of architectural models represents an overlaid result of anthropic and natural transformations framed inside a complex process of shape simplification and surface generation. This pipeline must be supporte
APA, Harvard, Vancouver, ISO, and other styles
36

Kumar, Kalyana Kiran, Gandi Ramarao, Polamarasetty P. Kumar, et al. "Reduction of High Dimensional Noninteger Commensurate Systems Based on Differential Evolution." International Transactions on Electrical Energy Systems 2023 (March 31, 2023): 1–10. http://dx.doi.org/10.1155/2023/5911499.

Full text
Abstract:
This work relates to the reduction of a noninteger commensurate high dimensional system. The essential objective of this article is to come up with an approximating technique to replace the original high dimensional system with a low dimensional model preserving the properties of the original system in its shortened model. Superiority of the proposed technique is exhibited by correlating the reduced model with the models of other current methods. The simulation results are cited to approve that the recommended technique has high efficiency with a closing value of time-domain specifications. Co
APA, Harvard, Vancouver, ISO, and other styles
37

Luca, I., C. Y. Kuo, K. Hutter, and Y. C. Tai. "Modeling Shallow Over-Saturated Mixtures on Arbitrary Rigid Topography." Journal of Mechanics 28, no. 3 (2012): 523–41. http://dx.doi.org/10.1017/jmech.2012.62.

Full text
Abstract:
AbstractIn this paper a system of depth-integrated equations for over-saturated debris flows on three-dimensional topography is derived. The lower layer is a saturated mixture of density preserving solid and fluid constituents, where the pore fluid is in excess, so that an upper fluid layer develops above the mixture layer. At the layer interface fluid mass exchange may exist and for this a parameterization is needed. The emphasis is on the description of the influence on the flow by the curvature of the basal surface, and not on proposing rheological models of the avalanching mass. To this en
APA, Harvard, Vancouver, ISO, and other styles
38

Holst, M., J. A. McCammon, Z. Yu, Y. C. Zhou, and Y. Zhu. "Adaptive Finite Element Modeling Techniques for the Poisson-Boltzmann Equation." Communications in Computational Physics 11, no. 1 (2012): 179–214. http://dx.doi.org/10.4208/cicp.081009.130611a.

Full text
Abstract:
AbstractWe consider the design of an effective and reliable adaptive finite element method (AFEM) for the nonlinear Poisson-Boltzmann equation (PBE). We first examine the two-term regularization technique for the continuous problem recently proposed by Chen, Holst and Xu based on the removal of the singular electrostatic potential inside biomolecules; this technique made possible the development of the first complete solution and approximation theory for the Poisson-Boltzmann equation, the first provably convergent discretization and also allowed for the development of a provably convergent AF
APA, Harvard, Vancouver, ISO, and other styles
39

Ali, Wael H., Chris Mirabito, Patrick J. Haley, and Pierre F. Lermusiaux. "Optimal stochastic modeling in random media propagation: Dynamically orthogonal parabolic equations?" Journal of the Acoustical Society of America 152, no. 4 (2022): A158. http://dx.doi.org/10.1121/10.0015879.

Full text
Abstract:
Reliable underwater acoustic propagation is challenging due to complex ocean dynamics such as internal-waves and to the uncertain larger-scale ocean physics, acoustics, bathymetry, and seabed fields. For accurate acoustic propagation, capturing the important environmental uncertainties and variabilities and predicting the probability distributions of the acoustic pressure field is then what matters. Prior works towards addressing this goal include (i) wave propagation in random media techniques such as perturbation methods, path integral theory, and coupled-mode transport theory, and (ii) prob
APA, Harvard, Vancouver, ISO, and other styles
40

Jacobs, Bart, Aleks Kissinger, and Fabio Zanasi. "Causal inference via string diagram surgery." Mathematical Structures in Computer Science 31, no. 5 (2021): 553–74. http://dx.doi.org/10.1017/s096012952100027x.

Full text
Abstract:
Abstract Extracting causal relationships from observed correlations is a growing area in probabilistic reasoning, originating with the seminal work of Pearl and others from the early 1990s. This paper develops a new, categorically oriented view based on a clear distinction between syntax (string diagrams) and semantics (stochastic matrices), connected via interpretations as structure-preserving functors. A key notion in the identification of causal effects is that of an intervention, whereby a variable is forcefully set to a particular value independent of any prior propensities. We represent
APA, Harvard, Vancouver, ISO, and other styles
41

Маркова, О. Н. "Religious Semantics in the Modern Monumental Landscape: All-Russian and Regional Aspects." Nasledie Vekov, no. 4(28) (December 31, 2020): 85–102. http://dx.doi.org/10.36343/sb.2021.28.4.006.

Full text
Abstract:
Проанализированы религиозные аспекты формирования современного монументального ландшафта в общероссийском и региональном масштабах. Источниками исследования послужили нормативно-правовые документы, материалы интернет-сайтов и результаты натурных исследований территорий исторических центров отдельных городов. Рассмотрен опыт монументальных практик, присущих постсоветскому периоду и современности, определены особенности воплощения сакральных текстов в монументальной архитектуре (религиозной по своей сущности) и монументальной скульптуре (являющейся проявлением светской культуры). Характеризуется
APA, Harvard, Vancouver, ISO, and other styles
42

Alkhalifah, Tariq. "Efficient synthetic‐seismogram generation in transversely isotropic, inhomogeneous media." GEOPHYSICS 60, no. 4 (1995): 1139–50. http://dx.doi.org/10.1190/1.1443842.

Full text
Abstract:
I develop an efficient modeling technique for transversely isotropic, inhomogeneous media using a mix of analytical equations and numerical calculations. The analytic equation for the raypath in a factorized transversely isotropic (FTI) media with linear velocity variation, derived by Shearer and Chapman, is used to trace rays between two points. In addition, I derive an analytical equation for geometrical spreading in FTI media that aids in preserving program efficiency; however, the traveltimes are calculated numerically. I then generalize the method to treat general transversely isotropic (
APA, Harvard, Vancouver, ISO, and other styles
43

Zhou, Xin, Jingnan Guo, Liling Jiang, Bo Ning, and Yanhao Wang. "A lightweight CNN-based knowledge graph embedding model with channel attention for link prediction." Mathematical Biosciences and Engineering 20, no. 6 (2023): 9607–24. http://dx.doi.org/10.3934/mbe.2023421.

Full text
Abstract:
<abstract><p>Knowledge graph (KG) embedding is to embed the entities and relations of a KG into a low-dimensional continuous vector space while preserving the intrinsic semantic associations between entities and relations. One of the most important applications of knowledge graph embedding (KGE) is link prediction (LP), which aims to predict the missing fact triples in the KG. A promising approach to improving the performance of KGE for the task of LP is to increase the feature interactions between entities and relations so as to express richer semantics between them. Convolutional
APA, Harvard, Vancouver, ISO, and other styles
44

Khoo-Fazari, Kerry, Zijiang Yang, and Joseph C. Paradi. "A Distribution-Free Approach to Stochastic Efficiency Measurement with Inclusion of Expert Knowledge." Journal of Applied Mathematics 2013 (2013): 1–21. http://dx.doi.org/10.1155/2013/102163.

Full text
Abstract:
This paper proposes a new efficiency benchmarking methodology that is capable of incorporating probability while still preserving the advantages of a distribution-free and nonparametric modeling technique. This new technique developed in this paper will be known as the DEA-Chebyshev model. The foundation of DEA-Chebyshev model is based on the model pioneered by Charnes, Cooper, and Rhodes in 1978 known as Data Envelopment Analysis (DEA). The combination of normal DEA with DEA-Chebyshev frontier (DCF) can successfully provide a good framework for evaluation based on quantitative data and qualit
APA, Harvard, Vancouver, ISO, and other styles
45

Lee, Ching-Sung, Yen-Cheng Chen, Pei-Ling Tsui, Cheng-Wei Che, and Ming-Chen Chiang. "Application of Fuzzy Delphi Technique Approach in Sustainable Inheritance of Rural Cooking Techniques and Innovative Business Strategies Modeling." Agriculture 11, no. 10 (2021): 924. http://dx.doi.org/10.3390/agriculture11100924.

Full text
Abstract:
Transformation and sustainable development must be undertaken in accordance with the trends of the times, which presents challenges to rural areas worldwide. In addition to preserving rural food specialties and presenting them in new ways to attract consumers, these areas must link farmers’ production, processing, sales, and management. It is imperative to sustainably pass on rural foods and theircooking techniques and integrate them into innovative business strategies so that delicious rural foods can be sold on the consumer market, boosting rural economies and their development. The main obj
APA, Harvard, Vancouver, ISO, and other styles
46

Micheli, Andrea, and Enrico Scala. "Temporal Planning with Temporal Metric Trajectory Constraints." Proceedings of the AAAI Conference on Artificial Intelligence 33 (July 17, 2019): 7675–82. http://dx.doi.org/10.1609/aaai.v33i01.33017675.

Full text
Abstract:
In several industrial applications of planning, complex temporal metric trajectory constraints are needed to adequately model the problem at hand. For example, in production plants, items must be processed following a “recipe” of steps subject to precise timing constraints. Modeling such domains is very challenging in existing action-based languages due to the lack of sufficiently expressive trajectory constraints.We propose a novel temporal planning formalism allowing quantified temporal constraints over execution timing of action instances. We build on top of instantaneous actions borrowed f
APA, Harvard, Vancouver, ISO, and other styles
47

Li, Guo, Jianmin Gao, and Fumin Chen. "A novel approach for failure modes and effects analysis based on polychromatic sets." Artificial Intelligence for Engineering Design, Analysis and Manufacturing 23, no. 2 (2008): 119–29. http://dx.doi.org/10.1017/s089006040900002x.

Full text
Abstract:
AbstractTraditional failure modes and effects analysis (FMEA) methods lack sufficient semantics and structure to provide full traceability between the failure modes and the effects of the complex system. To overcome this limitation, this paper proposes a formal failure knowledge representation model combined with the structural decomposition of the complex system. The model defines the failure modes as the inherent properties of the physical entities at different hierarchical levels, and employs the individual color, unified color, and Boolean matrix of the polychromatic sets to represent the
APA, Harvard, Vancouver, ISO, and other styles
48

Wang, Jieying, Jiří Kosinka, and Alexandru Telea. "Spline-Based Dense Medial Descriptors for Lossy Image Compression." Journal of Imaging 7, no. 8 (2021): 153. http://dx.doi.org/10.3390/jimaging7080153.

Full text
Abstract:
Medial descriptors are of significant interest for image simplification, representation, manipulation, and compression. On the other hand, B-splines are well-known tools for specifying smooth curves in computer graphics and geometric design. In this paper, we integrate the two by modeling medial descriptors with stable and accurate B-splines for image compression. Representing medial descriptors with B-splines can not only greatly improve compression but is also an effective vector representation of raster images. A comprehensive evaluation shows that our Spline-based Dense Medial Descriptors
APA, Harvard, Vancouver, ISO, and other styles
49

Khan, Sumeer Ahmad, Yonis Gulzar, Sherzod Turaev, and Young Suet Peng. "A Modified HSIFT Descriptor for Medical Image Classification of Anatomy Objects." Symmetry 13, no. 11 (2021): 1987. http://dx.doi.org/10.3390/sym13111987.

Full text
Abstract:
Modeling low level features to high level semantics in medical imaging is an important aspect in filtering anatomy objects. Bag of Visual Words (BOVW) representations have been proven effective to model these low level features to mid level representations. Convolutional neural nets are learning systems that can automatically extract high-quality representations from raw images. However, their deployment in the medical field is still a bit challenging due to the lack of training data. In this paper, learned features that are obtained by training convolutional neural networks are compared with
APA, Harvard, Vancouver, ISO, and other styles
50

Semenenko, Nataliya N., Darya A. Mashukova, Marina J. Smelkovskaja, and Olesia A. Lazutkina. "Conceptualization of Optimistic Models for the World in Paremic Picture of the World." Journal of History Culture and Art Research 6, no. 5 (2017): 19. http://dx.doi.org/10.7596/taksad.v6i5.1287.

Full text
Abstract:
<p>The description of language expression of an ethno cultural stereotype in assessment of optimistic approach to judgment of a role of trials destiny provides in human life is offered. The optimistic outlook model is considered as integrative linguo-cognitive area which valuable dominants are directly connected with points, key for national sphere of concepts. The algorithm of a descriptive technique is presented on the example of cognitive and pragmatical modeling of semantics in the Russian proverbs of theme groups "Destiny - Patience - Hope" and "Patience - Hope" from the collection
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!