Výsledky vyhľadávania - "Computational Theory and Mathematics"

LEGOS-SLEEC: Tool for Formalizing and Analyzing Normative Requirements

Autori: Kolyakov, Kevin Marsso, Lina Feng, Nick a ďalší

Zdroj: 2025 IEEE/ACM 47th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion). :33-36

Predmety: Model-Driven Software Engineering Techniques, FOS: Computer and information sciences, Computer Science - Computers and Society, Formal Methods in Verification, Computational Theory and Mathematics, Artificial Intelligence, Advanced Software Engineering Methodologies, Computers and Society (cs.CY), Software

Prístupová URL adresa: http://arxiv.org/abs/2501.12544

First Exit and Optimization Problems for a CIR Diffusion Process

Autori: Mario Lefebvre Romain Mrad

Zdroj: WSEAS TRANSACTIONS ON MATHEMATICS. 24:382-388

Predmety: Advanced Mathematical Modeling in Engineering, Computational Theory and Mathematics, Stochastic processes and financial applications, Finance

WalkEar: Holistic Gait Monitoring using Earables

Autori: Stuchbury-Wass, Jake Liu, Yang Butkow, Kayla-Jade a ďalší

Prispievatelia: Stuchbury-Wass, Jake Liu, Yang Butkow, Kayla-Jade a ďalší

Zdroj: Stuchbury-Wass, J, Liu, Y, Butkow, K J, Carter, J, Yang, Q, Ciliberto, M, Preatoni, E, Ma, D & Mascolo, C 2025, WalkEar : Holistic Gait Monitoring using Earables. in Proceedings-2025 IEEE International Conference on Pervasive Computing and Communications, PerCom 2025 : PerCom. 2025 edn, IEEE International Conference on Pervasive Computing and Communications (PerCom), IEEE, U. S. A., pp. 99-109, 23rd IEEE International Conference on Pervasive Computing and Communications, PerCom 2025, Washington, USA United States, 17/03/25. https://doi.org/10.1109/PerCom64205.2025.00029

Predmety: Earables, name=Computational Theory and Mathematics, Wearables, Ground reaction force, Kinetic gait parameters, name=Theoretical Computer Science, name=SDG 3 - Good Health and Well-being, name=SDG 9 - Industry, Innovation, and Infrastructure, Gait, Spatiotemporal gait parameters, name=Software

Popis súboru: application/pdf

Prístupová URL adresa: https://purehost.bath.ac.uk/ws/files/360299248/Stuchbury-Wass_2025_WalEar_PerCom-2025031929_authoraccepted_.pdf
https://www.repository.cam.ac.uk/handle/1810/379623
https://doi.org/10.17863/cam.115638

Input-to-state stabilization of parabolic PDEs with variable coefficients and Dirichlet boundary disturbances: A tutorial on closed-form backstepping controller design and stability analysis

Predmety: Advanced Mathematical Modeling in Engineering, Model Reduction and Neural Networks, Computational Theory and Mathematics, Control and Systems Engineering, Statistical and Nonlinear Physics, Stability and Controllability of Differential Equations

Prístupová URL adresa: https://publications.polymtl.ca/69131/

Fast investigation of control interaction risks in PV parks using eigenvalue analysis in Modelica

Predmety: Modeling and Simulation Systems, Real-time simulation and control systems, Computational Theory and Mathematics, Control and Systems Engineering, Microgrid Control and Optimization

Prístupová URL adresa: https://publications.polymtl.ca/69064/

A Julia-based simulation platform for power system transients

Predmety: Real-time simulation and control systems, Modeling and Simulation Systems, Computational Theory and Mathematics, Control and Systems Engineering, Smart Grid Security and Resilience

Prístupová URL adresa: https://publications.polymtl.ca/69012/

An Energy-Efficient Unstructured Sparsity-Aware Deep SNN Accelerator With 3-D Computation Array

Autori: Chaoming Fang Ziyang Shen Zongsheng Wang a ďalší

Zdroj: IEEE Journal of Solid-State Circuits. 60:977-989

Predmety: Radiation Detection and Scintillator Technologies, Radiation, Computational Theory and Mathematics, CCD and CMOS Imaging Sensors, Quantum-Dot Cellular Automata, Electrical and Electronic Engineering

Prístupová URL adresa: https://publications.polymtl.ca/65434/
https://doi.org/10.1109/jssc.2024.3507095

EPPA numbers of graphs

Autori: David Bradley-Williams Peter J. Cameron Jan Hubička a ďalší

Prispievatelia: David Bradley-Williams Peter J. Cameron Jan Hubička a ďalší

Zdroj: Journal of Combinatorial Theory, Series B. 170:203-224

Predmety: MCC, FOS: Computer and information sciences, Permutation groups, Discrete Mathematics (cs.DM), Discrete Mathematics, DOAE, Theoretical Computer Science, Random Graphs, Computational Theory and Mathematics, Combinatorics, EPPA, T-DAS, FOS: Mathematics, Discrete Mathematics and Combinatorics, Combinatorics (math.CO), Graphs, Hrushovski property, Partial automorphisms

Popis súboru: application/pdf

Prístupová URL adresa: http://arxiv.org/abs/2311.07995
https://hdl.handle.net/10023/31359

On hyperbolic-parabolic problems with involution and neumann boundary condition

Autori: Ashyraliyev, Maksat

Zdroj: International Journal of Applied Mathematics. 34(2):363-376

Predmety: Computational Theory and Mathematics, General Mathematics, Mathematics/Applied Mathematics, matematik/tillämpad matematik

Popis súboru: print

Prístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-56216
https://doi.org/10.12732/ijam.v34i2.12

scConnect: a method for exploratory analysis of cell–cell communication based on single-cell RNA-sequencing data

Autori: Jakobsson, Jon E. T. Spjuth, Ola, Professor Lagerström, Malin C.

Zdroj: Bioinformatics. 37(20):3501-3508

Predmety: Computational Mathematics, Computational Theory and Mathematics, Computer Science Applications, Molecular Biology, Biochemistry, Statistics and Probability, Bioinformatik, Bioinformatics

Popis súboru: electronic

Prístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-456616
https://doi.org/10.1093/bioinformatics/btab245

Slim_gsgp

A Python Library for Non-Bloating GSGP

Autori: Rosenfeld, Liah Farinati, Davide Rasteiro, Diogo a ďalší

Prispievatelia: Rosenfeld, Liah Farinati, Davide Rasteiro, Diogo a ďalší

Predmety: SLIM-GSGP, Geometric Semantic Genetic Programming, Open Source Library, Extensibility, Python, Computational Theory and Mathematics, Computer Science Applications, Software, Control and Optimization, Logic, Artificial Intelligence

Popis súboru: application/pdf

Relation: 979-8-4007-1465-8; PURE: 121753258

Dostupnosť: http://hdl.handle.net/10362/185201

The deal.II library, version 9.7

Autori: Daniel Arndt Wolfgang Bangerth Maximilian Bergbauer a ďalší

Zdroj: Journal of Numerical Mathematics.

Predmety: Advanced Numerical Methods in Computational Mathematics, Computational Theory and Mathematics, Matrix Theory and Algorithms, Computational Mechanics, Electrical and Electronic Engineering, Electromagnetic Simulation and Numerical Methods

Prístupová URL adresa: https://publications.polymtl.ca/68931/
https://doi.org/10.1515/jnma-2025-0115

Solving Algorithm NCL’s Subproblems: The Need for Interior Methods

Autori: Ding Ma Dominique Orban Michael A. Saunders

Zdroj: Vietnam Journal of Mathematics.

Predmety: Numerical Analysis, Computational Theory and Mathematics, Matrix Theory and Algorithms, Advanced Optimization Algorithms Research, Numerical methods for differential equations

Risk-averse constrained blackbox optimization under mixed aleatory/epistemic uncertainties

Autori: Charles Audet Jean Bigeon Romain Couderc a ďalší

Zdroj: Computational Optimization and Applications.

Predmety: Advanced Multi-Objective Optimization Algorithms, Computational Theory and Mathematics, 90C56 90C15 60H30 49J55, Optimization and Control (math.OC), Statistics, Risk and Portfolio Optimization, FOS: Mathematics, Probability and Uncertainty, Probabilistic and Robust Engineering Design, Management Science and Operations Research, Mathematics - Optimization and Control

Prístupová URL adresa: http://arxiv.org/abs/2310.11380

Extending a conjecture of Graham and Lovász on the distance characteristic polynomial

Autori: Aida Abiad Boris Brimkov Sakander Hayat a ďalší

Prispievatelia: Aida Abiad Boris Brimkov Sakander Hayat a ďalší

Zdroj: Linear Algebra and its Applications. 693:63-82

Predmety: Economics, Combinatorial Mathematics and Algebraic Combinatorics, Polynomial, Mathematical analysis, Characteristic polynomial, Genetics, FOS: Mathematics, Mathematics - Combinatorics, Discrete Mathematics and Combinatorics, Conjecture, Biology, Order (exchange), Distance matrix, Graph Spectra and Topological Indices, Discrete mathematics, Block graph, Unimodality, Computational Theory and Mathematics, Combinatorics, FOS: Biological sciences, Physical Sciences, Computer Science, Tree (set theory), Geometry and Topology, Combinatorics (math.CO), Mathematics, Block (permutation group theory), Finance, Graph Theory and Algorithms, Sequence (biology)

Prístupová URL adresa: http://arxiv.org/abs/2206.07561
https://research.tue.nl/en/publications/a0cd06b1-9aa3-485a-bf2e-2b660c53669f
https://doi.org/10.1016/j.laa.2023.03.027
https://research.tue.nl/en/publications/c106ff23-ec5a-44bb-9c72-14188d4ed702
https://doi.org/10.48550/arXiv.2206.07561

An Optimal Landing Problem for a Bessel Process

Autori: Lefebvre, M.

Zdroj: Electronics, Communications and Computing (Editia 13)

Predmety: dynamic programming, homing problem, first-passage time, Computational Theory and Mathematics, risk parameter, Computational Mechanics, Stochastic processes and financial applications, Optimization and Variational Analysis, stochastic control, Finance, Field-Flow Fractionation Techniques

Popis súboru: application/pdf

Prístupová URL adresa: https://ibn.idsi.md/vizualizare_articol/223312

Dementia prediction with multimodal clinical and imaging data

Autori: Kubi, Nana Nyarko Brenya Appiah Nazir, Sajid

Zdroj: International Journal of Information Technology. 17:5-16

Predmety: Computer Networks and Communications, Applied Mathematics, Cognitive decline, 02 engineering and technology, Classification, Artificial intelligence (AI), Computer Science Applications, 03 medical and health sciences, 0302 clinical medicine, SDG 3 - Good Health and Well-being, Computational Theory and Mathematics, Artificial Intelligence, Machine learning, Explainable AI, 0202 electrical engineering, electronic engineering, information engineering, Electrical and Electronic Engineering, Alzheimer's disease, Information Systems

Prístupová URL adresa: https://researchonline.gcu.ac.uk/en/publications/5d7a3140-cd5c-4f26-9254-c82c400b76c7
https://doi.org/10.1007/s41870-024-02326-7

Automatic Abelian Complexities of Parikh-Collinear Fixed Points

Autori: Rigo, Michel Stipulanti, Manon Whiteland, Markus A. a ďalší

Prispievatelia: Rigo, Michel Stipulanti, Manon Whiteland, Markus A. a ďalší

Zdroj: Theory of Computing Systems. 68:1622-1639

Predmety: FOS: Computer and information sciences, Discrete Mathematics (cs.DM), Formal Languages and Automata Theory (cs.FL), Physique, chimie, mathématiques & sciences de la terre, Abelian complexity, Computer Science - Formal Languages and Automata Theory, Theoretical Computer Science, Physical, chemical, mathematical & earth Sciences, Substitution shift, Automated theorem proving, Automatic sequence, FOS: Mathematics, Mathematics - Combinatorics, Complexity functions, Parikh-collinear morphism, Automatic sequences, automated theorem proving, substitution shift, Fixed points, Mathématiques, Computational Theory and Mathematics, Morphisms, abelian complexity, recognizable morphism, automatic sequence, Combinatorics (math.CO), Recognizable morphism, Mathematics, Computer Science - Discrete Mathematics

Prístupová URL adresa: http://arxiv.org/abs/2405.18032
https://hdl.handle.net/2268/318812
https://hdl.handle.net/2268/324352
https://doi.org/10.1007/s00224-024-10197-5

Cost-Effective and Robust Service Provisioning in Multi-Access Edge Computing

Autori: Zhengzhe Xiang Yuhang Zheng Dongjing Wang a ďalší

Zdroj: Xiang, Z, Zheng, Y, Wang, D, Taheri, J, Zheng, Z & Guo, M 2024, 'Cost-effective and robust service provisioning in multi-access edge computing', IEEE Transactions on Parallel and Distributed Systems, vol. 35, no. 10, pp. 1765-1779. https://doi.org/10.1109/TPDS.2024.3435929

Predmety: name=Computational Theory and Mathematics, resource allocation, name=Signal Processing, edge computing, name=Hardware and Architecture, service computing, traffic scheduling

Popis súboru: application/pdf

Prístupová URL adresa: https://pure.qub.ac.uk/en/publications/57eff209-7209-4b08-aab8-5375c76cb087

How to minimize the annotation effort in aerial wildlife surveys

Autori: May, Giacomo Dalsasso, Emanuele Delplanque, Alexandre a ďalší

Zdroj: Ecological Informatics, 91, 103387 (2025-11)

Predmety: Aerial wildlife censuses, Annotation effort, Density estimation, Object detection, Object localization, Point annotations, Pseudo labels, Ecology, Evolution, Behavior and Systematics, Modeling and Simulation, Ecology, Ecological Modeling, Computer Science Applications, Computational Theory and Mathematics, Applied Mathematics, Life sciences, Engineering, computing & technology, Computer science, Sciences du vivant, Ingénierie, informatique & technologie, Sciences informatiques

Relation: https://api.elsevier.com/content/article/PII:S1574954125003966?httpAccept=text/xml; urn:issn:1574-9541; urn:issn:1878-0512

Prístupová URL adresa: https://orbi.uliege.be/handle/2268/335667