-
1
-
2
-
3
-
4
Salivary microbiota may predict the presence of esophageal squamous cell carcinoma
Veröffentlicht in Genes & diseases
VolltextArtikel -
5
On the complexity of ω-pushdown automata
Veröffentlicht in Science China. Information sciences
VolltextArtikel -
6
Toward a Clustering-Based Approach for Self-Adjusting Impact Factors in Robotic Control Model
Veröffentlicht in IEEE access
VolltextArtikel -
7
LncRNA PCAT-1 in gastrointestinal cancers: A meta-analysis
Veröffentlicht in Medicine (Baltimore)
VolltextArtikel -
8
A tighter analysis of Piterman's Büchi determinization
Veröffentlicht in Information processing letters
VolltextArtikel -
9
-
10
-
11
Reach-Avoid Verification Based on Convex Optimization
Veröffentlicht in IEEE transactions on automatic control
VolltextArtikel -
12
BIRDNN: Behavior-Imitation Based Repair for Deep Neural Networks
Veröffentlicht in Neural networks
VolltextArtikel -
13
-
14
Controller Resynthesis for Multirobot System When Changes Happen
Veröffentlicht in Computer (Long Beach, Calif.)
VolltextArtikel -
15
-
16
-
17
-
18
Computing Sufficient and Necessary Conditions in CTL: A Forgetting Approach
Veröffentlicht in Information sciences
VolltextArtikel -
19
Counterexample-Preserving Reduction for Symbolic Model Checking
Veröffentlicht in Journal of Applied Mathematics
VolltextArtikel -
20