Results 81 to 90 of about 19,840 (247)
International Journal of Robust and Nonlinear Control, EarlyView.ABSTRACT This paper addresses the problem of dynamic output‐feedback H∞$$ {H}_{\infty } $$ detector‐based control for continuous‐time Markov Jump Lur'e Systems with uncertain transition rate matrices. In contrast to conventional approaches, the proposed synthesis conditions are derived using Finsler's lemma, introducing additional slack variables to ...
Lucas P. M. Silva +2 more
wiley +1 more source
Extending a Verified Simplex Algorithm
Kalpa Publications in Computing, 2018 As an ingredient for a verified DPLL(T) solver, it is crucial to have a theory solver that has an incremental interface and provides unsatisfiable cores. To this end, we extend the Isabelle/HOL formalization of the simplex algorithm by Spasi ́c and Mari ́c. We further discuss the impact of their design decisions on the development of our extension.
openaire +2 more sources
River, EarlyView.Abstract Optimizing reservoir refill operation rules is crucial for enhancing reservoir sustainability and resilience. This study proposes a refill operation model designed to derive optimal refill guide curves by considering flood risk prevention, maximum storage levels, and the combined benefits of hydropower generation and energy storage.
Lihua Chen +4 more
wiley +1 more source
rDNAmine: A New Tool for the Analysis of Long Repetitive Sequences
Yeast, EarlyView.This work introduces a novel approach for analysing long repetitive genomic sequences, combining a method to isolate large DNA molecules from individual chromosomes. We also describe the bioinformatics tool rDNAmine, which enables the isolation of long‐repeat sequences from reads obtained using the Oxford Nanopore method, as well as their preliminary ...
Agnieszka Czarnocka‐Cieciura +1 more
wiley +1 more source
Scheduling in Container Terminals using Network Simplex Algorithm [PDF]
Journal of Optimization in Industrial Engineering, 2010 In static scheduling problem, where there is no change in situation, the challenge is that the large problems can be solved in a short time. In this paper, the Static Scheduling problem of Automated Guided Vehicles in container terminal is solved by the ...
Hassan Rashidi
doaj
Neural Network Repair With Shapley‐Guided Search
CAAI Transactions on Intelligence Technology, EarlyView.ABSTRACT The deployment of deep neural networks (DNNs) in safety‐critical domains is critically hampered by their vulnerability to defects, which can arise from malicious attacks or low‐quality data. Therefore, precisely locating the network components responsible for these defects, and subsequently repairing them without compromising overall model ...
Xiaofu Du +4 more
wiley +1 more source
Methods in Ecology and Evolution, EarlyView.Abstract In the field of evolutionary biology, the selection of a phylogenetically representative sample is a crucial step to have a complete and accurate understanding of the studied group and the evolution of its traits. However, this step is often overlooked, and there is currently no objective way to assess the relevance of a sample for a given ...
Nyniane Steinkampf‐‐Pellecuer +2 more
wiley +1 more source
Optimizing Residential Electricity Demand with Bipartite Models for Enhanced Demand Response
EnergiesThis study presents an advanced energy demand management approach within residential microgrids using bipartite models for optimal demand response.
Jonathan Campoverde +2 more
doaj +1 more source
The Stochastic Simplex Bisection Algorithm
Procedia Computer Science, 2015 AbstractWe propose the stochastic simplex bisection algorithm. It randomly selects one from a set of simplexes, bisects it, and replaces it with its two offspring. The selection probability is proportional to a score indicating how promising the simplex is to bisect.
openaire +1 more source
Reliability measures in knowledge structure theory
British Journal of Mathematical and Statistical Psychology, EarlyView.Abstract In knowledge structure theory (KST) framework, this study evaluates the reliability of knowledge state estimation by introducing two key measures: the expected accuracy rate and the expected discrepancy. The accuracy rate quantifies the likelihood that the estimated knowledge state aligns with the true state, while the expected discrepancy ...
Debora de Chiusole +3 more
wiley +1 more source