Treffer 1 - 20 von 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
Fachzeitschrift
Zu den Favoriten
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
Fachzeitschrift
Zu den Favoriten
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...
Fachzeitschrift
Zu den Favoriten
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...
Fachzeitschrift
Zu den Favoriten
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...
Fachzeitschrift
Zu den Favoriten
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...
Fachzeitschrift
Zu den Favoriten
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...
Fachzeitschrift
Zu den Favoriten
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
Fachzeitschrift
Zu den Favoriten
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...
Zeitschrift
Zu den Favoriten
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
Zeitschrift
Zu den Favoriten
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...
Zu den Favoriten
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...
Fachzeitschrift
Zu den Favoriten
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...
Fachzeitschrift
Zu den Favoriten
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...
Fachzeitschrift
Zu den Favoriten
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...
Zeitschrift
Zu den Favoriten
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
Fachzeitschrift
Zu den Favoriten
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
Fachzeitschrift
Zu den Favoriten
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...
Fachzeitschrift
Zu den Favoriten
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...
Fachzeitschrift
Zu den Favoriten
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
Fachzeitschrift
Zu den Favoriten

Filter