中文
相关论文

相关论文: COGARCH: Symbol, Generator and Characteristics

200 篇论文

Symbolic regression is a powerful system identification technique in industrial scenarios where no prior knowledge on model structure is available. Such scenarios often require specific model properties such as interpretability, robustness,…

Polymorphic types are an important feature in most strongly typed programming languages. They allow functions to be written in a way that can be used with different data types, while still enforcing the relationship and constraints between…

编程语言 · 计算机科学 2024-05-22 Shuai Fu , Tim Dwyer , Peter J. Stuckey

In this introductory review, we give an overview of the computational chemistry methods commonly used in the field of metal-organic frameworks (MOFs), to describe or predict the structures themselves and characterize their various…

材料科学 · 物理学 2016-02-02 François-Xavier Coudert , Alain H. Fuchs

This article describes recent work on the topic of specifying properties of transition systems. By giving a suitably abstract description of transition systems as coalgebras, it is possible to derive logics for capturing properties of these…

计算机科学中的逻辑 · 计算机科学 2007-05-23 Alexander Kurz

Graphical calculus is an intuitive visual notation for manipulating tensors and index contractions. Using graphical calculus leads to simple and memorable derivations, and with a bit of practice one can learn to prove complex identities…

量子物理 · 物理学 2019-03-05 Filippo M. Miatto

We present a new approach for recognition of complex graphic symbols in technical documents. Graphic symbol recognition is a well known challenge in the field of document image analysis and is at heart of most graphic recognition systems.…

计算机视觉与模式识别 · 计算机科学 2016-11-17 Muhammad Muzzamil Luqman , Thierry Brouard , Jean-Yves Ramel

BondGraphTools is a Python library for scripted modelling of complex multi-physics systems. In contrast to existing modelling solutions, BondGraphTools is based upon the well established bond graph methodology, provides a programming…

系统与控制 · 电气工程与系统科学 2019-06-27 Peter Cudmore , Peter J. Gawthrop , Michael Pan , Edmund J. Crampin

In this paper we study possibilities of using hierarchical reasoning, symbol elimination and model generation for the verification of parametric systems, where the parameters can be constants or functions. Our goal is to automatically…

计算机科学中的逻辑 · 计算机科学 2019-10-14 Viorica Sofronie-Stokkermans

The article discusses building models based on the reconstructed attractors of the time series. Discusses the use of the properties of dynamical chaos, namely to identify the strange attractors structure models. Here is used the group…

计算工程、金融与科学 · 计算机科学 2014-02-07 Evgeny Nikulchev

Financial data are as a rule asymmetric, although most econometric models are symmetric. This applies also to continuous-time models for high-frequency and irregularly spaced data. We discuss some asymmetric versions of the continuous-time…

统计理论 · 数学 2014-03-28 Anita Behme , Claudia Klüppelberg , Kathrin Mayr

We describe a strategy language to control the application of graph rewriting rules, and show how this language can be used to write high-level declarative programs in several application areas. This language is part of a graph-based…

编程语言 · 计算机科学 2010-12-30 Maribel Fernández , Olivier Namet

The probabilistic symbol is defined as the right-hand side derivative at time zero of the characteristic functions corresponding to the one-dimensional marginals of a time-homogeneous stochastic process. As described in various…

概率论 · 数学 2023-08-31 Sebastian Rickelhoff , Alexander Schnurr

This paper describes Postfix-GP system, postfix notation based Genetic Programming (GP), for solving symbolic regression problems. It presents an object-oriented architecture of Postfix-GP framework. It assists the user in understanding of…

神经与进化计算 · 计算机科学 2015-07-08 Vipul K. Dabhi , Sanjay Chaudhary

We offer an insight into our mathematical endeavors, which aim to advance the foundational understanding of energy systems in a broad context, encompassing facets such as charge transport, energy storage, markets, and collective behavior.…

综合数学 · 数学 2024-12-30 Nicklas Jävergård , Grigor Nika , Adrian Muntean

A Monte Carlo event generator has been developed assuming thermal production of hadrons. The system under consideration is sampled grand canonically in the Boltzmann approximation. A re-weighting scheme is then introduced to account for…

核理论 · 物理学 2009-12-14 M. Hauer , S. Wheaton

We present a formal language with expressions denoting general symbol structures and queries which access information in those structures. A sequence-to-sequence network processing this language learns to encode symbol structures and query…

人工智能 · 计算机科学 2018-03-13 Roland Fernandez , Asli Celikyilmaz , Rishabh Singh , Paul Smolensky

In modern science, computer models are often used to understand complex phenomena, and a thriving statistical community has grown around analyzing them. This review aims to bring a spotlight to the growing prevalence of stochastic computer…

We present a Machine Learning approach based on Symbolic Regression to derive, from either numerically generated or experimentally measured spectral data, closed-form expressions that model the optical properties of biological materials. To…

The mathematical modeling of solar cells is essential for any optimization operation of the efficiency or the diagnostics of the photovoltaic generator. The photovoltaic module is generally represented by an equivalent circuit whose…

仪器与探测器 · 物理学 2019-12-03 Ahmed Yahfdhou , Abdel Kader Mahmoud , Issakha Youm

HYGARCH process is the commonly used long memory process in modeling the long-rang dependence in volatility. Financial time series are characterized by transition between phases of different volatility levels. The smooth transition HYGARCH…

统计计算 · 统计学 2017-01-24 Ferdous Mohammadi , Saeid Rezakhah