Search
Search Results
-
Non-Atomic One-Round Walks
In this chapter, we translate the solution concept of one-round walks from atomic congestion games to non-atomic ones, in order to describe what... -
Formula Normalizations in Verification
We apply and evaluate polynomial-time algorithms to compute two different normal forms of propositional formulas arising in verification. One of the... -
Mission-Time LTL (MLTL) Formula Validation via Regular Expressions
Mission-time Linear Temporal Logic (MLTL) represents the most practical fragment of Metric Temporal Logic; MLTL resembles the popular logic Linear... -
Quasi-atomic relations based rough set model and convex geometry
Numerous studies have extensively examined the correlation between convex structures and covering rough set models. However, limited attention has...
-
Meeting Times of Non-atomic Random Walks
In this paper, we revisit the problem of classical meeting times of random walks in graphs. In the process that two tokens (called agents) perform... -
A hierarchical layer of atomic behavior for malicious behaviors prediction
Early prediction of malicious activity can help prevent irreparable damage caused by rogue actions. A malware analysis tool can anticipate malicious...
-
An Atomic Retrospective Learning Bare Bone Particle Swarm Optimization
In order to increase the diversity of bare-bone particle swarm optimization (BBPSO) population search range, enhance the ability to jump out of local... -
Exploring implications of Trace (Inversion) formula and Artin algebras in extremal combinatorics
This note is just a modest contribution to prove several classical results in Combinatorics from notions of Duality in some Artinian K -algebras...
-
AtomGAN: unsupervised deep learning for fast and accurate defect detection of 2D materials at the atomic scale
The extraction of atomic-level material features from electron microscope images is crucial for studying structure-property relationships and...
-
Predictive machine learning approaches for perovskites properties using their chemical formula: towards the discovery of stable solar cells materials
In recent years, notable progress in computational density functional theory (DFT) has facilitated the collection of extensive datasets in the field...
-
Far Resonance Kapitza-Dirac Diffraction: from Raman-Nath to Bragg and Multiple Beam Atomic Interferometer
AbstractNear-resonant Kapitza–Dirac diffraction theory is extended out of familiar Raman–Nath approximation. New solutions with initial superposition...
-
Controller Synthesis for Reactive Systems with Communication Delay by Formula Translation
The problem of automated reactive synthesis has been well studied by researchers. We consider a setting that is common in practice, wherein there is... -
Growth of uniformly doped black phosphorus films through versatile atomic substitution
For the emerging excellent two-dimensional semiconductor black phosphorus (BP), do** has been proven as an effective way to tune its intrinsic...
-
Weakly-Supervised Temporal Action Detection for Fine-Grained Videos with Hierarchical Atomic Actions
Action understanding has evolved into the era of fine granularity, as most human behaviors in real life have only minor differences. To detect these... -
The Minimum Tollbooth Problem in Atomic Network Congestion Games with Unsplittable Flows
This work analyzes the minimum tollbooth problem in atomic network congestion games with unsplittable flows. The goal is to place tolls on edges,...
-
Feature Selection Based on Modified Bio-inspired Atomic Orbital Search Using Arithmetic Optimization and Opposite-Based Learning
Feature selection (FS) has the largest influence on the performance of machine learning methods. FS can remove the irrelevant and redundancy features...
-
Axiom selection over large theory based on new first-order formula metrics
Axiom selection is a task that selects the most likely useful axioms from a large-scale axiom set for proving a given conjecture. Existing axiom...
-
Symbolic-Numeric Algorithm for Calculations in Geometric Collective Model of Atomic Nuclei
We developed a symbolic–numeric algorithm involving a set of effective symbolic and numerical procedures for calculations of low lying energy spectra... -
A Runtime Verification Framework for Cyber-Physical Systems Based on Data Analytics and LTL Formula Learning
Safeguarding individuals and valuable resources from cyber threats stands as a paramount concern in the digital landscape, encompassing realms like... -
Analysis of Extracellular Vesicle Data on Fluorescence and Atomic Force Microscopy Images
Extracellular vesicles (EV) enable cell-to-cell communication in the body of an organism and carry significant potential in the medical field as...