Found: 12
Select item for more details and to access through your institution.
A Dual Relaxation Method for Neural Network Verification.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2024, v. 34, n. 8, p. 1199, doi. 10.1142/S0218194024500177
- By:
- Publication type:
- Article
Verification of Safety for Synchronous-Reactive System Using Bounded Model Checking.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2023, v. 33, n. 6, p. 885, doi. 10.1142/S0218194023500195
- By:
- Publication type:
- Article
Detecting Compiler Bugs Via a Deep Learning-Based Framework.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2022, v. 32, n. 5, p. 661, doi. 10.1142/S0218194022500206
- By:
- Publication type:
- Article
SPECIFICATION AND VERIFICATION OF WORKFLOWS WITH RBAC MECHANISM AND SoD CONSTRAINTS.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2007, v. 17, n. 1, p. 3, doi. 10.1142/S0218194007003124
- By:
- Publication type:
- Article
The value of metagenomic next-generation sequencing for the diagnosis of pulmonary tuberculosis using bronchoalveolar lavage fluid.
- Published in:
- Laboratory Medicine, 2024, v. 55, n. 1, p. 96, doi. 10.1093/labmed/lmad041
- By:
- Publication type:
- Article
Unknown Security Attack Detection of Industrial Control System by Deep Learning.
- Published in:
- Mathematics (2227-7390), 2022, v. 10, n. 16, p. 2872, doi. 10.3390/math10162872
- By:
- Publication type:
- Article
Equilibrated PtIr/IrO<sub>x</sub> Atomic Heterojunctions on Ultrafine 1D Nanowires Enable Superior Dual‐Electrocatalysis for Overall Water Splitting.
- Published in:
- Small, 2022, v. 18, n. 20, p. 1, doi. 10.1002/smll.202201333
- By:
- Publication type:
- Article
Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration.
- Published in:
- Computer Journal, 2015, v. 58, n. 11, p. 2824, doi. 10.1093/comjnl/bxu127
- By:
- Publication type:
- Article
A verification framework for behavioral safety of self‐driving cars.
- Published in:
- IET Intelligent Transport Systems (Wiley-Blackwell), 2022, v. 16, n. 5, p. 630, doi. 10.1049/itr2.12162
- By:
- Publication type:
- Article
Mitochondria dysfunction in airway epithelial cells is associated with type 2-low asthma.
- Published in:
- Frontiers in Genetics, 2023, p. 1, doi. 10.3389/fgene.2023.1186317
- By:
- Publication type:
- Article
Mitochondria dysfunction in airway epithelial cells is associated with type 2-low asthma.
- Published in:
- Frontiers in Genetics, 2023, p. 1, doi. 10.3389/fgene.2023.1186317
- By:
- Publication type:
- Article
The role of extracellular traps released by neutrophils, eosinophils, and macrophages in asthma.
- Published in:
- Respiratory Research, 2024, v. 25, n. 1, p. 1, doi. 10.1186/s12931-024-02923-x
- By:
- Publication type:
- Article