Results 71 to 80 of about 4,185 (251)

Adaptive Synthesis of Intelligent Monitoring Models for LLM-modified Information Systems: A Genetic Optimisation Approach

Applied Computer Systems
This study investigates adaptive synthesis of intelligent monitoring (IM) for applications modified by large language models (LLMs). A multi-objective, property-driven genetic approach with a tensor of chromosome representation is proposed to generate ...
Lyashkevych Vasyl
doaj   +1 more source

Quantum Security of a Compact Multi-Signature

Cryptography
With the rapid advances in quantum computing, quantum security is now an indispensable property for any cryptographic system. In this paper, we study how to prove the security of a complex cryptographic system in the quantum random oracle model. We first
Shaoquan Jiang
doaj   +1 more source

Multi-Objective Predictive Taxi Dispatch via Network Flow Optimization

IEEE Access, 2020
In this paper, we discuss a large-scale fleet management problem in a multi-objective setting. We aim to seek a receding horizon taxi dispatch solution that serves as many ride requests as possible while minimizing the cost of relocating vehicles.
Beomjun Kim, Jeongho Kim, Subin Huh, Seungil You, Insoon Yang   +4 more
doaj   +1 more source

Using Property-Based Oracles when Testing Embedded System Applications

2011 Fourth IEEE International Conference on Software Testing, Verification and Validation, 2011
Embedded systems are becoming increasingly ubiquitous, controlling a wide variety of popular and safety-critical devices. Effective testing techniques could improve the dependability of these systems. In prior work we presented an approach for testing embedded systems, focusing on embedded system applications and the tasks that comprise them.
Tingting Yu 0001, Ahyoung Sung, Witawas Srisa-an, Gregg Rothermel   +3 more
openaire   +3 more sources

Partial identification with categorical data and nonignorable missing outcomes

Canadian Journal of Statistics, EarlyView.
Abstract Nonignorable missing outcomes are common in real‐world datasets and often require strong parametric assumptions to achieve identification. These assumptions can be implausible or untestable, and so we may wish to forgo them in favour of partially identified models that narrow the set of a priori possible values to an identification region.
Daniel Daly‐Grafstein, Paul Gustafson
wiley   +1 more source

A Penalized Profile Quasi-Likelihood Method for a Semiparametric Varying Coefficient Spatial Autoregressive Panel Model with Fixed Effects

Axioms
This paper proposes a variable selection method for a semiparametric varying coefficient spatial autoregressive panel model with fixed effects based on a penalized profile quasi-likelihood method, which can simultaneously select significant variables in ...
Ruiqin Tian, Miaojie Xia, Dengke Xu
doaj   +1 more source

Nonlinear permuted Granger causality

Canadian Journal of Statistics, EarlyView.
Abstract Granger causality is an established, contentious method that seeks causal temporal connections via association and precedence. While not true causal inference, it assists in mapping networks of information flow that may warrant further study.
Noah D. Gade, Jordan Rodu
wiley   +1 more source

Oracle problems as communication tasks and optimization of quantum algorithms

Physical Review Research
Quantum query complexity studies the number of queries needed to learn some property of a black box. A closely related question is how well an algorithm can succeed with this learning task using only a fixed number of queries.
Amit Te’eni, Zohar Schwartzman-Nowik, Marcin Nowakowski, Paweł Horodecki, Eliahu Cohen   +4 more
doaj   +1 more source

Gene Selection in Cancer Classification Using Sparse Logistic Regression with L1/2 Regularization

Applied Sciences, 2018
In recent years, gene selection for cancer classification based on the expression of a small number of gene biomarkers has been the subject of much research in genetics and molecular biology.
Shengbing Wu, Hongkun Jiang, Haiwei Shen, Ziyi Yang   +3 more
doaj   +1 more source

A Review of Grain Boundaries: Formation Mechanism, Synthesis Strategy, and Application in Electrocatalysis

EcoEnergy, EarlyView.
An overview of grain boundary engineering in the field of electrocatalysis. ABSTRACT Key electrocatalytic reactions such as HER, OER, ORR, CO2RR, and NRR offer promising routes for storing renewable energy as chemical fuels. However, their widespread application is constrained due to the lack of highly active and stable catalysts. Grain boundaries (GBs)
Jingyu Gao, Fengming Zhou, Xinying Li, Ying Deng, Zexing Wu, Siyuan Feng, Yujing Zhu, Dan Zhang, Zhenyu Xiao   +8 more
wiley   +1 more source