Results 61 to 70 of about 1,423 (254)

Artificial intelligence in preclinical epilepsy research: Current state, potential, and challenges

Epilepsia Open, EarlyView.
Abstract Preclinical translational epilepsy research uses animal models to better understand the mechanisms underlying epilepsy and its comorbidities, as well as to analyze and develop potential treatments that may mitigate this neurological disorder and its associated conditions. Artificial intelligence (AI) has emerged as a transformative tool across
Jesús Servando Medel‐Matus, Cesar Santana‐Gomez, Ruby G. Escalante, Dominique Duncan, Pedro F. Viana, Giulia Sofia Cereda, Naoto Kuroda, Aristea S. Galanopoulou   +7 more
wiley   +1 more source

Automated Theorem Proving in a Chat Environment

EasyChair Preprints, 2018
We present a chat bot interface for the Coq proof assistant system. The bot provides a new modality of interaction with Coq that functions across multiple devices and platforms. Our system is particularly suitable for mobile platforms, Android and iOS. The basic architecture of the bot software is reviewed as are the outcomes of several rounds of beta ...
Rustam Zhumagambetov, Mark Sterling
openaire   +2 more sources

q‐Fractional Hesitant Fuzzy Multicriteria Decision‐Making Approaches for Uncertain Power System Performance Evaluation

Energy Science &Engineering, EarlyView.
Evaluating power system performance based on a q‐fractional hesitant fuzzy model. ABSTRACT This study introduces novel q‐fractional hesitant fuzzy multicriteria decision‐making (MCDM) approaches aimed at optimizing power system performance under uncertain and imprecise conditions. We extend hesitant fuzzy set theory by formulating q‐fractional hesitant
Zanyar A. Ameen, Hariwan Fadhil M. Salih, Wafa Alagal, Baravan A. Asaad   +3 more
wiley   +1 more source

Major Conundrums and Possible Solutions in DeFi Insurance

International Journal of Finance &Economics, EarlyView.
ABSTRACT This paper empirically explores the early development of insurance projects in the decentralised finance (DeFi) industry, which is based on disruptive technologies like blockchain and smart contracts. A brief history of DeFi is narrated, stressing four risks of DeFi (volatility risk, cyberattack risk, liquidity risk, and regulation risk) and ...
Peng Zhou, Ying Zhang
wiley   +1 more source

Exchange of Geometric Information Between Applications [PDF]

Electronic Proceedings in Theoretical Computer Science, 2018
The Web Geometry Laboratory (WGL) is a collaborative and adaptive e-learning Web platform integrating a well known dynamic geometry system. Thousands of Geometric problems for Geometric Theorem Provers (TGTP) is a Web-based repository of geometric ...
Pedro Quaresma, Vanda Santos, Nuno Baeta
doaj   +1 more source

Determine the Elemental Composition of Minerals From Complex Solid‐Solution Series by Raman Spectroscopy: Implications for Mars Exploration Missions

Journal of Raman Spectroscopy, EarlyView.
This study presents a hierarchical Raman‐based classification model for determining the elemental composition of garnets within complex solid‐solution systems. The workflow combines spectral preprocessing, dimensionality reduction, and two‐level classification: first distinguishing between pyralspite and ugrandite groups, and then classifying ...
Sofia Julve‐Gonzalez, Jose Antonio Manrique, Marco Veneranda, Pilar Renedo, Paula Xiaozhen Vega, Iván Reyes‐Rodríguez, María Mayoral, Sergio Jiménez, Lidia Asenjo, Aurelio Sanz‐Arranz, Elena Charro Huerga, Jaime Delgado Iglesias, Olga Prieto‐Ballesteros, Andoni Moral, Emmanuel Alexis Lalla, Belen Barrios‐Areinamo, Fernando Rull, Guillermo Lopez‐Reyes   +17 more
wiley   +1 more source

Identity‐Enabled CDMA LiDAR for Massively Parallel Ranging with a Single‐Element Receiver

Laser &Photonics Reviews, EarlyView.
A novel LiDAR system integrates CDMA modulation with a single‐element detector to achieve massive channel parallel 3D imaging. By using a user identification code and a correlation‐based feedback loop, it overcomes signal collisions and the near‐far problem.
Yixiu Shen, Zi Heng Lim, Guangya Zhou
wiley   +1 more source

From Width-Based Model Checking to Width-Based Automated Theorem Proving [PDF]

, 2022
Mateus de Oliveira Oliveira, Farhad Vadiee   +1 more
openalex   +3 more sources

Asymptotic Properties for a General Class of Szász–Mirakjan–Durrmeyer Operators

Mathematical Methods in the Applied Sciences, EarlyView.
ABSTRACT In this paper, we introduce a general family of Szász–Mirakjan–Durrmeyer type operators depending on an integer parameter j∈ℤ$$ j\in \mathbb{Z} $$. They can be viewed as a generalization of the Szász–Mirakjan–Durrmeyer operators, Phillips operators, and corresponding Kantorovich modifications of higher order.
Ulrich Abel, Ana‐Maria Acu, Margareta Heilmann, Ioan Rasa   +3 more
wiley   +1 more source

Automated Theorem Proving by Test Set Induction

Journal of Symbolic Computation, 1997
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +3 more sources