English
Related papers

Related papers: PN2SC Case Study: An EMF-IncQuery solution

200 papers

Recently, quite a few novel neural architectures were derived to solve math word problems by predicting expression trees. These architectures varied from seq2seq models, including encoders leveraging graph relationships combined with tree…

Computation and Language · Computer Science 2022-06-06 Keyur Faldu , Amit Sheth , Prashant Kikani , Darshan Patel

This paper presents the Henshin solution to the Model Transformations for Program Understanding case study as part of the Transformation Tool Contest 2011.

Software Engineering · Computer Science 2011-11-22 Stefan Jurack , Johannes Tietje

Kalman Filter requires the true parameters of the model and solves optimal state estimation recursively. Expectation Maximization (EM) algorithm is applicable for estimating the parameters of the model that are not available before Kalman…

Machine Learning · Computer Science 2021-05-26 Zhuangwei Shi

Positional Encodings (PEs) are essential for injecting structural information into Graph Neural Networks (GNNs), particularly Graph Transformers, yet their empirical impact remains insufficiently understood. We introduce a unified…

Machine Learning · Computer Science 2026-01-15 Florian Grötschla , Jiaqing Xie , Roger Wattenhofer

Tensor network algorithms have proven to be very powerful tools for studying one- and two-dimensional quantum many-body systems. However, their application to three-dimensional (3D) quantum systems has so far been limited, mostly because…

Strongly Correlated Electrons · Physics 2021-05-26 Patrick C. G. Vlaar , Philippe Corboz

Point cloud is one of the widely used techniques for representing and storing 3D geometric data. In the past several methods have been proposed for processing point clouds. Methods such as PointNet and FoldingNet have shown promising…

Computer Vision and Pattern Recognition · Computer Science 2022-09-29 Prajwal Singh , Kaustubh Sadekar , Shanmuganathan Raman

Graph transformation systems (GTS) have been successfully proposed as a general, theoretically sound model for concurrency. Petri nets (PN), on the other side, are a central and intuitive formalism for concurrent or distributed systems,…

Formal Languages and Automata Theory · Computer Science 2019-09-05 Lorenzo Capra

Structural equation models (SEMs) are widely used in sciences, ranging from economics to psychology, to uncover causal relationships underlying a complex system under consideration and estimate structural parameters of interest. We study…

Machine Learning · Statistics 2020-10-21 Luofeng Liao , You-Lin Chen , Zhuoran Yang , Bo Dai , Zhaoran Wang , Mladen Kolar

Machine Learning (ML) can help solve combinatorial optimization (CO) problems better. A popular approach is to use a neural net to compute on the parameters of a given CO problem and extract useful information that guides the search for…

Machine Learning · Computer Science 2021-10-27 Yeong-Dae Kwon , Jinho Choo , Iljoo Yoon , Minah Park , Duwon Park , Youngjune Gwon

A customer service platform system with a core text semantic similarity (STS) task faces two urgent challenges: Firstly, one platform system needs to adapt to different domains of customers, i.e., different domains adaptation (DDA).…

Artificial Intelligence · Computer Science 2023-11-22 Cheng Luo , Qin Li , Zhao Yan , Mengliang Rao , Yunbo Cao

We present models for encoding sentences into embedding vectors that specifically target transfer learning to other NLP tasks. The models are efficient and result in accurate performance on diverse transfer tasks. Two variants of the…

We consider a soluble model of multifragmentation which is similar in spirit to many models which have been used to fit intermediate energy heavy ion collision data. We draw a p-V diagram for the model and compare with a p-V diagram…

Nuclear Theory · Physics 2009-11-07 C. B. Das , S. Das Gupta , A. Z. Mekjian

This paper presents a set of algorithms for computing the reachability graph of Petri Net Product Lines (PNPLs). These algorithms address the combined challenges of concurrency and variability that arise from product-line configurations.…

Formal Languages and Automata Theory · Computer Science 2026-04-08 Elena Gómez-Martínez , José Ignacio Requeno Jarabo

Transformers are the current architecture of choice for NLP, but their attention layers do not scale well to long contexts. Recent works propose to replace attention with linear recurrent layers -- this is the case for state space models,…

Computation and Language · Computer Science 2024-07-09 Hugo Pitorro , Pavlo Vasylenko , Marcos Treviso , André F. T. Martins

Structured CNN designed using the prior information of problems potentially improves efficiency over conventional CNNs in various tasks in solving PDEs and inverse problems in signal processing. This paper introduces BNet2, a simplified…

Machine Learning · Computer Science 2020-05-21 Zhongshu Xu , Yingzhou Li , Xiuyuan Cheng

This paper presents a systematic study on developing multi-template machine learning (ML) surrogate models and applying them to the inverse design of transformers (XFMRs) in radio-frequency integrated circuits (RFICs). Our study starts with…

Machine Learning · Computer Science 2025-12-01 Houbo He , Yizhou Xu , Lei Xia , Yaolong Hu , Fan Cai , Taiyun Chi

Many biological and medical questions can be modeled using time-to-event data in finite-state Markov chains, with the phase-type distribution describing intervals between events. We solve the inverse problem: given a phase-type…

Dynamical Systems · Mathematics 2024-11-19 Ovidiu Radulescu , Dima Grigoriev , Matthias Seiss , Maria Douaihy , Mounia Lagha , Edouard Bertrand

Style transfer aims to render an image with the artistic features of a style image, while maintaining the original structure. Various methods have been put forward for this task, but some challenges still exist. For instance, it is…

Computer Vision and Pattern Recognition · Computer Science 2024-05-31 Sizhe Zheng , Pan Gao , Peng Zhou , Jie Qin

Existing techniques to solve exemplar-based image-to-image translation within deep convolutional neural networks (CNNs) generally require a training phase to optimize the network parameters on domain-specific and task-specific benchmarks,…

Computer Vision and Pattern Recognition · Computer Science 2020-11-19 Taewon Kang , Soohyun Kim , Sunwoo Kim , Seungryong Kim

Accurate core loss modeling is critical for the design of high-efficiency power electronic systems. Traditional core loss modeling methods have limitations in prediction accuracy. To advance this field, the IEEE Power Electronics Society…

Machine Learning · Computer Science 2025-12-15 Cong Yao , Chunye Gong , Jin Zhang