227 results on '"FUYUKI ISHIKAWA"'
Search Results
2. Author Correction: The interferon stimulated gene-encoded protein HELZ2 inhibits human LINE-1 retrotransposition and LINE-1 RNA-mediated type I interferon induction
3. Hippocampal TERT Regulates Spatial Memory Formation through Modulation of Neural Development
4. Telomere-binding proteins Taz1 and Rap1 regulate DSB repair and suppress gross chromosomal rearrangements in fission yeast.
5. SCAPE: Searching Conceptual Architecture Prompts using Evolution.
6. Alternating Between Surrogate Model Construction and Search for Configurations of an Autonomous Delivery System.
7. Technical Briefing on Deep Neural Network Repair.
8. Model-Based Framework for Continuous Adaptation and Evolution of Quantum-Classical Hybrid Systems.
9. Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications.
10. Distributed Repair of Deep Neural Networks (Hot off the Press at GECCO 2024).
11. Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement.
12. Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement.
13. Stability-aware Exploration of Design Space of Autonomous Robots for Goods Delivery.
14. An Investigation of the Behaviours of Machine Learning Agents Used in the Game of Go.
15. QuraTest: Integrating Quantum Specific Features in Quantum Program Testing.
16. Distributed Repair of Deep Neural Networks.
17. Incremental Search-Based Allocation of Autonomous Robots for Goods Delivery.
18. Domain-specific Modeling Environment Construction Tool based on View Patterns: RapidDSM.
19. An Experience Report on Regression-Free Repair of Deep Neural Network Model.
20. Investigating Multi- and Many-Objective Search for Stability-Aware Configuration of an Autonomous Delivery System.
21. Using a Variational Autoencoder to Learn Valid Search Spaces of Safely Monitored Autonomous Robots for Last-Mile Delivery.
22. Adaptive Search-based Repair of Deep Neural Networks.
23. Goal-Aware RSS for Complex Scenarios via Program Logic.
24. An Incremental Approach for Understanding Collision Avoidance of an Industrial Path Planner.
25. Parameter Coverage for Testing of Autonomous Driving Systems under Uncertainty.
26. Activities of National Institute of Informatics in Japan.
27. Goal-Aware RSS for Complex Scenarios via Program Logic.
28. Hierarchical Assessment of Safety Requirements for Configurations of Autonomous Driving Systems.
29. Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems.
30. Explaining the Behaviour of Game Agents Using Differential Comparison.
31. Less is More: Simplification of Test Scenarios for Autonomous Driving System Testing.
32. NeuRecover: Regression-Controlled Repair of Deep Neural Networks with Training History.
33. Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty.
34. Architecture-Guided Test Resource Allocation via Logic.
35. What to Blame? On the Granularity of Fault Localization for Deep Neural Networks.
36. Parameter-Based Testing and Debugging of Autonomous Driving Systems.
37. Shake Those System Parameters! On the Need for Parameter Coverage for Decision Systems.
38. Targeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search.
39. Targeting Patterns of Driving Characteristics in Testing Autonomous Driving Systems.
40. Model-based Data-Complexity Estimator for Deep Learning Systems.
41. Experimental Conformance Evaluation onUBER ATG Safety Case Framework withANSI/UL 4600.
42. Leveraging test logs for building a self-adaptive path planner.
43. Formal Distributed Protocol Development for Reservation of Railway Sections.
44. Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement.
45. Investigating the Configurations of an Industrial Path Planner in Terms of Collision Avoidance.
46. Achieving Weight Coverage for an Autonomous Driving System with Search-based Test Generation.
47. Testing machine learning code using polyhedral region.
48. Evidence-driven Requirements Engineering for Uncertainty of Machine Learning-based Systems.
49. Reaching the Unreachable : A Method for Early Stage Software Startups to Reach Inaccessible Stakeholders within Large Corporation.
50. Guidelines for Quality Assurance of Machine Learning-based Artificial Intelligence.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.