Results 31 to 40 of about 1,711 (143)
Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes
, 2020 In this paper, we consider algorithms to decide the existence of strategies in MDPs for Boolean combinations of objectives. These objectives are omega-regular properties that need to be enforced either surely, almost surely, existentially, or with non ...
Almagor Shaull +8 more
core +1 more source
Looking at Mean-Payoff through Foggy Windows [PDF]
, 2015 Mean-payoff games (MPGs) are infinite duration two-player zero-sum games played on weighted graphs. Under the hypothesis of perfect information, they admit memoryless optimal strategies for both players and can be solved in NP-intersect-coNP.
Hunter, Paul +2 more
core +1 more source
Cellpose+, a Morphological Analysis Tool for Feature Extraction of Stained Cell Images
Advanced Intelligent Discovery, EarlyView.We introduce Cellpose plus, a morphological and geometrical analysis tool for feature extraction of stained cell images built over Cellpose, a state‐of‐the‐art cell segmentation framework. We also introduce a dataset of DAPI and FITC stained cells to which our new method is applied.
Israel A. Huaman +10 more
wiley +1 more source
Advanced Intelligent Systems, EarlyView.This review systematically analyzes deformable drones, including extendable, foldable, and tilting configurations, along with nature‐inspired flapping rotorcraft. By classifying deformation principles and structural mechanisms, design trade‐offs, functional capabilities, and future development potential are highlighted.
Ju‐Hee Lee +9 more
wiley +1 more source
Journal of Cloud Computing: Advances, Systems and ApplicationsIntelligent Transport System (ITS) is a typical class of Cyber-Physical Systems (CPS), and due to the special characteristics of such systems, higher requirements are placed on system security. Runtime verification is a lightweight verification technique
Yu Zhang +4 more
doaj +1 more source
Biotechnology and Applied Biochemistry, EarlyView.Abstract Oil spills pose severe threats to marine ecosystems and coastal communities. Alcanivorax borkumensis SK2, a marine bacterium with superior hydrocarbon‐degrading capabilities, emerges as a promising agent for bioremediation. This study identified an economical growth substrate for A.
Élisabeth Perreault +2 more
wiley +1 more source
Why Liveness for Timed Automata Is Hard, and What We Can Do About It [PDF]
, 2016 The liveness problem for timed automata asks if a given automaton has a run passing infinitely often through an accepting state. We show that unless P=NP, the liveness problem is more difficult than the reachability problem; more precisely, we exhibit a ...
+3 more
core +3 more sources
Batteries &Supercaps, EarlyView.Bottlebrush polymer additives offer a versatile and robust solution to the fundamental transport and contact challenges in all‐solid‐state lithium metal batteries. In this work, high mass loading nickel manganese cobalt cathodes with various polymer additives are prepared, and the electrochemical properties are investigated.
Pascal J. Glomb +5 more
wiley +1 more source
Which Classes of Origin Graphs Are Generated by Transducers. [PDF]
, 2017 We study various models of transducers equipped with origin information. We consider the semantics of these models as particular graphs, called origin graphs, and we characterise the families of such graphs recognised by streaming string ...
Bojanczyk, M. +3 more
core +2 more sources
AI voice journaling for future language teachers: A path to well‐being through reflective practices
British Educational Research Journal, EarlyView.Abstract This study aimed to explore the perceived impact of using an AI‐powered voice journaling app in overcoming the challenges and stressors encountered by senior students enrolled in teaching practicum at an English Language Teaching Bachelor's programme.
Bora Demir, Duygu Özdemir
wiley +1 more source