English
Related papers

Related papers: A Generic Scheme and Properties of Bidirectional T…

200 papers

We present an overview of some recent developments in the theory of generalized formal series, grounded in diffeological geometric framework. These constructions aim to offer new tools for understanding infinite-dimensional phenomena in…

History and Overview · Mathematics 2025-08-25 Jean-Pierre Magnot

The rule technological landscape is becoming ever more complex, with an extended number of specifications and products. It is therefore becoming increasingly difficult to integrate rule-driven components and manage interoperability in…

Distributed, Parallel, and Cluster Computing · Computer Science 2012-03-05 Pierre de Leusse , Bartosz Kwolek , Krzysztof Zielinski

Spreadsheets are the go-to tool for computerized calculation and modelling, but are hard to comprehend and adapt after reaching a certain complexity. In general, cognition of complex systems is facilitated by having a higher order mental…

Software Engineering · Computer Science 2018-09-11 Patrick Koch

In dynamic architectures, component activation and connections between components may vary over time. With the emergence of mobile computing such architectures became increasingly important and several techniques emerged to support in their…

Software Engineering · Computer Science 2017-03-21 Diego Marmsoler

Deep Learning has made a great progress for these years. However, it is still difficult to master the implement of various models because different researchers may release their code based on different frameworks or interfaces. In this…

Software Engineering · Computer Science 2017-07-28 Ting Pan

The use-case diagram is a software artifact. Thus, as with any software artifact, the use-case diagrams change across time through the software development life cycle. Therefore, several versions of the same diagram are existed at distinct…

Serially connected robots are promising candidates for performing tasks in confined spaces such as search-and-rescue in large-scale disasters. Such robots are typically limbless, and we hypothesize that the addition of limbs could improve…

This work develops a machine learned structural design model for continuous beam systems from the inverse problem perspective. After demarcating between forward, optimisation and inverse machine learned operators, the investigation proposes…

Machine Learning · Computer Science 2024-03-15 Adrien Gallet , Andrew Liew , Iman Hajirasouliha , Danny Smyl

Extended Reality (XR) is a rapidly growing field offering unique immersive experiences, social networking, learning, and collaboration opportunities. The continuous advancements in XR technology and industry efforts are gradually moving…

Human-Computer Interaction · Computer Science 2023-08-23 Pascal Knierim , Thomas Kosch

Big Data are rapidly produced from various heterogeneous data sources. They are of different types (text, image, video or audio) and have different levels of reliability and completeness. One of the most interesting architectures that deal…

Artificial Intelligence · Computer Science 2021-08-11 Siham Yousfi , Maryem Rhanoui , Dalila Chiadmi

Streaming data applications are becoming more common due to the ability of different information sources to continuously capture or produce data, such as sensors and social media. Despite recent advances, most visualization approaches, in…

Signal Processing · Electrical Eng. & Systems 2020-03-23 Tácito T. A. T. Neves , Rafael M. Martins , Danilo B. Coimbra , Kostiantyn Kucher , Andreas Kerren , Fernando V. Paulovich

Mathematically representing the shape of an object is a key ingredient for solving inverse rendering problems. Explicit representations like meshes are efficient to render in a differentiable fashion but have difficulties handling topology…

Graphics · Computer Science 2022-07-12 Guangyan Cai , Kai Yan , Zhao Dong , Ioannis Gkioulekas , Shuang Zhao

In a Systems Engineering setting, various models are produced using a variety of methods and tools. Focusing on a type of models -- called descriptive models -- which we shall describe, we argue that, while the clarity and precision of…

Systems and Control · Electrical Eng. & Systems 2022-07-29 Freddy Kamdem Simo , Dominique Ernadote , Dominique Lenne

This article proposes a universal simulation platform for simulating systems undergoing duress. In other words, this paper introduces a total simulation package which includes a number of methods of simulating the flexibility of a given…

Optimization and Control · Mathematics 2017-10-20 Vu Hoang Minh , Tajwar Abrar Aleef , Usama Pervaiz , Yeman Brhane Hagos , Saed Khawaldeh

Many current challenges involve understanding the complex dynamical interplay between the constituents of systems. Typically, the number of such constituents is high, but only limited data sources on them are available. Conventional…

Populations and Evolution · Quantitative Biology 2021-12-17 Jana C. Massing , Thilo Gross

Behavior Trees constitute a widespread AI tool which has been successfully spun out in robotics. Their advantages include simplicity, modularity, and reusability of code. However, Behavior Trees remain a high-level decision making engine;…

Robotics · Computer Science 2020-09-01 Pilar de la Cruz , Justus Piater , Matteo Saveriano

Recently, increasingly large amounts of data are generated from a variety of sources. Existing data processing technologies are not suitable to cope with the huge amounts of generated data. Yet, many research works focus on Big Data, a…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-06-07 Wissem Inoubli , Sabeur Aridhi , Haithem Mezni , Mondher Maddouri , Engelbert Mephu Nguifo

Copying, or cloning, is a basic operation used in the specification of many applications in computer science. However, when dealing with complex structures, like graphs, cloning is not a straightforward operation since a copy of a single…

Software Engineering · Computer Science 2014-01-14 Dominique Duval , Rachid Echahed , Frederic Prost , Leila Ribeiro

We develop a general framework for reasoning about distances between transition systems with quantitative information. Taking as starting point an arbitrary distance on system traces, we show how this leads to natural definitions of a…

Logic in Computer Science · Computer Science 2011-07-07 Uli Fahrenberg , Claus Thrane , Kim G. Larsen

On-chip mode-division multiplexing (MDM) has been emerging as a promising technology to further enhance the link capacity and bandwidth of data communications with multiple mode channels. Both mode converters and mode exchangers are…

Optics · Physics 2020-07-16 Jinlong Xiang , Zhiyuan Tao , Xuhan Guo , Yong Zhang , Yaotian Zhao , Yikai Su