English
Related papers

Related papers: Translating Workflow Nets into the Partially Order…

200 papers

The design of business processes involves the usage of modeling languages, tools and methodologies. In this paper we highlight and address a relevant limitation of the Business Process Modeling Notation (BPMN): its weak data representation…

Software Engineering · Computer Science 2009-07-14 Matteo Magnani , Danilo Montesi

In the framework of convolutional neural networks, downsampling is often performed with an average-pooling, where all the activations are treated equally, or with a max-pooling operation that only retains an element with maximum activation…

Computer Vision and Pattern Recognition · Computer Science 2021-09-06 Adrien Deliège , Maxime Istasse , Ashwani Kumar , Christophe De Vleeschouwer , Marc Van Droogenbroeck

In the ever-evolving landscape of scientific computing, properly supporting the modularity and complexity of modern scientific applications requires new approaches to workflow execution, like seamless interoperability between different…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-09-12 Iacopo Colonnelli , Doriana Medić , Alberto Mulone , Viviana Bono , Luca Padovani , Marco Aldinucci

Organizations can benefit from the use of practices, techniques, and tools from the area of business process management. Through the focus on processes, they create process models that require management, including support for versioning,…

Programming Languages · Computer Science 2019-09-23 Artem Polyvyanyy , Arthur H. M. ter Hofstede , Marcello La Rosa , Chun Ouyang , Anastasiia Pika

Probabilistic neurosymbolic learning seeks to integrate neural networks with symbolic programming. Many state-of-the-art systems rely on a reduction to the Probabilistic Weighted Model Counting Problem (PWMC), which requires computing a…

Artificial Intelligence · Computer Science 2025-01-31 Thomas Jean-Michel Valentin , Luisa Sophie Werner , Pierre Genevès , Nabil Layaïda

Proof of work (PoW), as the representative consensus protocol for blockchain, consumes enormous amounts of computation and energy to determine bookkeeping rights among miners but does not achieve any practical purposes. To address the…

Cryptography and Security · Computer Science 2022-11-01 Yuntao Wang , Haixia Peng , Zhou Su , Tom H Luan , Abderrahim Benslimane , Yuan Wu

Normalizing Flows (NFs) are a class of generative models distinguished by a mathematically invertible architecture, where the forward pass transforms data into a latent space for density estimation, and the reverse pass generates new…

Computer Vision and Pattern Recognition · Computer Science 2025-12-05 Yang Chen , Xiaowei Xu , Shuai Wang , Chenhui Zhu , Ruxue Wen , Xubin Li , Tiezheng Ge , Limin Wang

Information Technology (IT) Operations (Ops), particularly Artificial Intelligence for IT Operations (AIOps), is the guarantee for maintaining the orderly and stable operation of existing information systems. According to Gartner's…

In this paper we address the solution of the popular Wordle puzzle, using new reinforcement learning methods, which apply more generally to adaptive control of dynamic systems and to classes of Partially Observable Markov Decision Process…

Artificial Intelligence · Computer Science 2022-12-01 Siddhant Bhambri , Amrita Bhattacharjee , Dimitri Bertsekas

In recent years, there have been a surge in applications of neural networks (NNs) in physical sciences. Although various algorithmic advances have been proposed, there are, thus far, limited number of studies that assess the…

Fluid Dynamics · Physics 2020-12-17 Kai Fukami , Romit Maulik , Nesar Ramachandra , Koji Fukagata , Kunihiko Taira

Large Language Models (LLMs) have demonstrated profound impact on Natural Language Processing (NLP) tasks. However, their effective deployment across diverse domains often require domain-specific adaptation strategies, as generic models may…

Artificial Intelligence · Computer Science 2025-10-15 Jingyi Wang , Hongyuan Zhu , Ye Niu , Yunhui Deng

Scientific workflows are used to analyze large amounts of data. These workflows comprise numerous tasks, many of which are executed repeatedly, running the same custom program on different inputs. Users specify resource allocations for each…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-10-11 Fabian Lehmann , Jonathan Bader , Ninon De Mecquenem , Xing Wang , Vasilis Bountris , Florian Friederici , Ulf Leser , Lauritz Thamsen

Large Language Models (LLMs) play a central role in modern artificial intelligence, yet their development has been primarily focused on English, resulting in limited support for other languages. We present PLLuM (Polish Large Language…

Computation and Language · Computer Science 2025-11-07 Jan Kocoń , Maciej Piasecki , Arkadiusz Janz , Teddy Ferdinan , Łukasz Radliński , Bartłomiej Koptyra , Marcin Oleksy , Stanisław Woźniak , Paweł Walkowiak , Konrad Wojtasik , Julia Moska , Tomasz Naskręt , Bartosz Walkowiak , Mateusz Gniewkowski , Kamil Szyc , Dawid Motyka , Dawid Banach , Jonatan Dalasiński , Ewa Rudnicka , Bartłomiej Alberski , Tomasz Walkowiak , Aleksander Szczęsny , Maciej Markiewicz , Tomasz Bernaś , Hubert Mazur , Kamil Żyta , Mateusz Tykierko , Grzegorz Chodak , Tomasz Kajdanowicz , Przemysław Kazienko , Agnieszka Karlińska , Karolina Seweryn , Anna Kołos , Maciej Chrabąszcz , Katarzyna Lorenc , Aleksandra Krasnodębska , Artur Wilczek , Katarzyna Dziewulska , Paula Betscher , Zofia Cieślińska , Katarzyna Kowol , Daria Mikoś , Maciej Trzciński , Dawid Krutul , Marek Kozłowski , Sławomir Dadas , Rafał Poświata , Michał Perełkiewicz , Małgorzata Grębowiec , Maciej Kazuła , Marcin Białas , Roman Roszko , Danuta Roszko , Jurgita Vaičenonienė , Andrius Utka , Paweł Levchuk , Paweł Kowalski , Irena Prawdzic-Jankowska , Maciej Ogrodniczuk , Monika Borys , Anna Bulińska , Wiktoria Gumienna , Witold Kieraś , Dorota Komosińska , Katarzyna Krasnowska-Kieraś , Łukasz Kobyliński , Martyna Lewandowska , Marek Łaziński , Mikołaj Łątkowski , Dawid Mastalerz , Beata Milewicz , Agnieszka Anna Mykowiecka , Angelika Peljak-Łapińska , Sandra Penno , Zuzanna Przybysz , Michał Rudolf , Piotr Rybak , Karolina Saputa , Aleksandra Tomaszewska , Aleksander Wawer , Marcin Woliński , Joanna Wołoszyn , Alina Wróblewska , Bartosz Żuk , Filip Żarnecki , Konrad Kaczyński , Anna Cichosz , Zuzanna Deckert , Monika Garnys , Izabela Grabarczyk , Wojciech Janowski , Sylwia Karasińska , Aleksandra Kujawiak , Piotr Misztela , Maria Szymańska , Karolina Walkusz , Igor Siek , Jakub Kwiatkowski , Piotr Pęzik

Pooling is an important component in convolutional neural networks (CNNs) for aggregating features and reducing computational burden. Compared with other components such as convolutional layers and fully connected layers which are…

Computer Vision and Pattern Recognition · Computer Science 2017-06-19 Shuai Li , Wanqing Li , Chris Cook , Ce Zhu , Yanbo Gao

We study Colored Workflow nets, a model based on Workflow nets enriched with data. Based on earlier work by Esparza and Desel[arXiv:1307.2145,arXiv:1403.4958] on the negotiation model of concurrency, we present reduction rules for our…

Logic in Computer Science · Computer Science 2016-01-11 Javier Esparza , Philipp Hoffmann

Over the past year, the vLLM Semantic Router project has released a series of work spanning: (1) core routing mechanisms -- signal-driven routing, context-length pool routing, router performance engineering, policy conflict detection,…

Machine Learning · Computer Science 2026-04-10 Huamin Chen , Xunzhuo Liu , Bowei He , Fuyuan Lyu , Yankai Chen , Xue Liu , Yuhan Liu , Junchen Jiang

Many Natural Language Processing applications nowadays rely on pre-trained word representations estimated from large text corpora such as news collections, Wikipedia and Web Crawl. In this paper, we show how to train high-quality word…

Computation and Language · Computer Science 2017-12-29 Tomas Mikolov , Edouard Grave , Piotr Bojanowski , Christian Puhrsch , Armand Joulin

Tsetlin Machine (TM) is an interpretable pattern recognition algorithm based on propositional logic, which has demonstrated competitive performance in many Natural Language Processing (NLP) tasks, including sentiment analysis, text…

Computation and Language · Computer Science 2021-09-14 Rohan Kumar Yadav , Lei Jiao , Ole-Christoffer Granmo , Morten Goodwin

The ordered weighted $\ell_1$ norm (OWL) was recently proposed, with two different motivations: its good statistical properties as a sparsity promoting regularizer; the fact that it generalizes the so-called {\it octagonal shrinkage and…

Data Structures and Algorithms · Computer Science 2015-04-13 Xiangrong Zeng , Mário A. T. Figueiredo

Recent progress in pretraining language models on large corpora has resulted in large performance gains on many NLP tasks. These large models acquire linguistic knowledge during pretraining, which helps to improve performance on downstream…

Computation and Language · Computer Science 2021-02-09 Lutfi Kerem Senel , Hinrich Schütze