Showing 1 - 20 of 38,324

1

LEGOS-SLEEC: Tool for Formalizing and Analyzing Normative Requirements
Kolyakov, Kevin ; Marsso, Lina ; Feng, Nick ; et al.
2025 IEEE/ACM 47th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion). :33-36

Model-Driven Software En... FOS: Computer and inform... Computer Science - Compu... Formal Methods in Verifi... Computational Theory and... Artificial Intelligence
Academic journal
Save to List
2

First Exit and Optimization Problems for a CIR Diffusion Process
Mario Lefebvre ; Romain Mrad
WSEAS TRANSACTIONS ON MATHEMATICS. 24:382-388

Advanced Mathematical Mo... Computational Theory and... Stochastic processes and... Finance
Academic journal
Save to List
3

WalkEar: Holistic Gait Monitoring using Earables
Stuchbury-Wass, Jake ; Liu, Yang ; Butkow, Kayla-Jade ; et al.
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

Earables name=Computational Theor... Wearables Ground reaction force Kinetic gait parameters name=Theoretical Compute...
Academic journal
Save to List
4

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

Advanced Mathematical Mo... Model Reduction and Neur... Computational Theory and... Control and Systems Engi... Statistical and Nonlinea... Stability and Controllab...
Academic journal
Save to List
5

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

Modeling and Simulation... Real-time simulation and... Computational Theory and... Control and Systems Engi... Microgrid Control and Op...
Academic journal
Save to List
6

A Julia-based simulation platform for power system transients

Real-time simulation and... Modeling and Simulation... Computational Theory and... Control and Systems Engi... Smart Grid Security and...
Academic journal
Save to List
7

An Energy-Efficient Unstructured Sparsity-Aware Deep SNN Accelerator With 3-D Computation Array
Chaoming Fang ; Ziyang Shen ; Zongsheng Wang ; et al.
IEEE Journal of Solid-State Circuits. 60:977-989

Radiation Detection and... Radiation Computational Theory and... CCD and CMOS Imaging Sen... Quantum-Dot Cellular Aut... Electrical and Electroni...
Academic journal
Save to List
8

EPPA numbers of graphs
David Bradley-Williams ; Peter J. Cameron ; Jan Hubička ; et al.
Journal of Combinatorial Theory, Series B. 170:203-224

MCC FOS: Computer and inform... Permutation groups Discrete Mathematics (cs... Discrete Mathematics DOAE
Academic journal
Save to List
9

MORPH-DSLAM: Model Order Reduction for Physics-Based Deformable SLAM
Badias, Alberto ; Alfaro, Iciar ; Gonzalez, David ; et al.
IEEE Transactions on Pattern Analysis and Machine Intelligence. 44(11):7764-7777

Software Computer Vision and Patt... Computational Theory and... Artificial Intelligence Applied Mathematics [SPI]Engineering Science...
Journal
Save to List
10

Hybrid twins based on optimal transport
Torregrosa, Sergio ; Champaney, Victor ; Ammar, Amine ; et al.
Computers & Mathematics with Applications. 127:12-24

Computational Mathematic... Computational Theory and... Modeling and Simulation Hybrid twin Artificial intelligence Optimal transport
Journal
Save to List
11

A Python Library for Non-Bloating GSGP
Rosenfeld, Liah ; Farinati, Davide ; Rasteiro, Diogo ; et al.

SLIM-GSGP Geometric Semantic Genet... Open Source Library Extensibility Python Computational Theory and...
Save to List
12

The deal.II library, version 9.7
Daniel Arndt ; Wolfgang Bangerth ; Maximilian Bergbauer ; et al.
Journal of Numerical Mathematics.

Advanced Numerical Metho... Computational Theory and... Matrix Theory and Algori... Computational Mechanics Electrical and Electroni... Electromagnetic Simulati...
Academic journal
Save to List
13

Solving Algorithm NCL’s Subproblems: The Need for Interior Methods
Ding Ma ; Dominique Orban ; Michael A. Saunders
Vietnam Journal of Mathematics.

Numerical Analysis Computational Theory and... Matrix Theory and Algori... Advanced Optimization Al... Numerical methods for di...
Academic journal
Save to List
14

Risk-averse constrained blackbox optimization under mixed aleatory/epistemic uncertainties
Charles Audet ; Jean Bigeon ; Romain Couderc ; et al.
Computational Optimization and Applications.

Advanced Multi-Objective... Computational Theory and... 90C56 90C15 60H30 49J55 Optimization and Control... Statistics Risk and Portfolio Optim...
Academic journal
Save to List
15

Effects of continuous and discontinuous non-relevant stimulus on creativity
Mille, Charles ; Christmann, Olivier ; Fleury, Sylvain ; et al.
Digital Creativity. :1-11

Computational Theory and... Computer Graphics and Co... Arts and Humanities (mis... [INFO.INFO-HC]Computer S... Human-Computer Interacti...
Journal
Save to List
16

Extending a conjecture of Graham and Lovász on the distance characteristic polynomial
Aida Abiad ; Boris Brimkov ; Sakander Hayat ; et al.
Linear Algebra and its Applications. 693:63-82

Economics Combinatorial Mathematic... Polynomial Mathematical analysis Characteristic polynomia... Genetics
Academic journal
Save to List
17

An Optimal Landing Problem for a Bessel Process
Lefebvre, M.
Electronics, Communications and Computing (Editia 13)

dynamic programming homing problem first-passage time Computational Theory and... risk parameter Computational Mechanics
Academic journal
Save to List
18

Dementia prediction with multimodal clinical and imaging data
Kubi, Nana Nyarko Brenya Appiah ; Nazir, Sajid
International Journal of Information Technology. 17:5-16

Computer Networks and Co... Applied Mathematics Cognitive decline 02 engineering and techn... Classification Artificial intelligence...
Academic journal
Save to List
19

Automatic Abelian Complexities of Parikh-Collinear Fixed Points
Rigo, Michel ; Stipulanti, Manon ; Whiteland, Markus A. ; et al.
Theory of Computing Systems. 68:1622-1639

FOS: Computer and inform... Discrete Mathematics (cs... Formal Languages and Aut... Physique, chimie, mathém... Abelian complexity Computer Science - Forma...
Academic journal
Save to List
20

Cost-Effective and Robust Service Provisioning in Multi-Access Edge Computing
Zhengzhe Xiang ; Yuhang Zheng ; Dongjing Wang ; et al.
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

name=Computational Theor... resource allocation name=Signal Processing edge computing name=Hardware and Archit... service computing
Academic journal
Save to List

Filter