Results 61 to 70 of about 2,981,187 (316)
Automatic Deduction in Dynamic Geometry using Sage [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 We present a symbolic tool that provides robust algebraic methods to handle automatic deduction tasks for a dynamic geometry construction. The main prototype has been developed as two different worksheets for the open source computer algebra system Sage,
Francisco Botana, Miguel A. Abánades
doaj +1 more source
IEEE Access, 2022 We propose a novel neural network architecture based on dual quaternions which allow for a compact representation of information with a main focus on describing rigid body movements.
Johannes Poppelbaum, Andreas Schwung
doaj +1 more source
In Situ Graph Reasoning and Knowledge Expansion Using Graph‐PRefLexOR
Advanced Intelligent Discovery, EarlyView.Graph‐PRefLexOR is a novel framework that enhances language models with in situ graph reasoning, symbolic abstraction, and recursive refinement. By integrating graph‐based representations into generative tasks, the approach enables interpretable, multistep reasoning.
Markus J. Buehler
wiley +1 more source
Path Transmissibility Analysis Considering Two Types of Correlations in Hydropower Stations
Journal of Applied Mathematics, 2013 A new vibration model is built by introducing the head-cover vibration transfer path based on a previous analysis of the vertical vibration model for hydropower station units and powerhouses.
Baoping Zhi, Zhenyue Ma
doaj +1 more source
A heuristic method for bi-decomposition of partial Boolean functions
Informatika, 2020 The problem of decomposition of a Boolean function is to represent a given Boolean function in the form of a superposition of some Boolean functions whose number of arguments are less than the number of given function.
Yu. V. Pottosin
doaj +1 more source
Hydrological characterization of the Usumacinta River Basin towards the preservation of environmental services [PDF]
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2015 The Usumacinta basin is characterized by aboundance of natural and scenic resources. It also houses a vast biodiversity (wich also means invaluable genetic resources). Its river is the longest in Mexico (main channel length of 927 km).
F.-O. Tapia-Silva +2 more
doaj +1 more source
A Non-commutative Real Nullstellensatz Corresponds to a Non-commutative Real Ideal; Algorithms
, 2012 This article takes up the challenge of extending the classical Real Nullstellensatz of Dubois and Risler to left ideals in a *-algebra A. After introducing the notions of non-commutative zero sets and real ideals, we develop three themes related to our ...
Cimpric, Jaka +3 more
core +1 more source
Advanced Intelligent Systems, EarlyView.This article offers a comprehensive review of topic modeling techniques, tracing their evolution from inception to recent developments. It explores methods such as latent Dirichlet allocation, latent semantic analysis, non‐negative matrix factorization, probabilistic latent semantic analysis, Top2Vec, and BERTopic, highlighting their strengths ...
Pratima Kumari +6 more
wiley +1 more source
On the dimension of the minimal vertex cover semigroup ring of an unmixed bipartite graph
Le Matematiche, 2008 In a paper in 2008, Herzog, Hibi and Ohsugi introduced and studied the semigroup ring associated to the set of minimal vertex covers of an unmixed bipartite graph.
Cristina Bertone, Vincenzo Micale
doaj
Territorial planning of transport network with landslide susceptibility mapping. Case study: Timiş-Cerna corridor, Romania [PDF]
Urbanism. Arhitectura. Constructii, 2022 In this paper we present the importance of landslide susceptibility mapping for territorial planning applications on local and regional transportation networks.
Beniamin Stoica-Fuchs
doaj