1,703 results on '"Sangiovanni A"'
Search Results
2. A Method to Design Open Loop Current Transducers for Busbar Applications.
3. Beating Backdoor Attack at Its Own Game.
4. Automated Design of Chiplets.
5. A test bed for in-laboratory calibration of optical-based speedometers.
6. 3D Environment Modeling for Falsification and Beyond with Scenic 3.0.
7. Symbiotic CPS Design-Space Exploration through Iterated Optimization.
8. Towards the Evaluation of the Role of Embodiment in Emotions Elicitation.
9. Contract-Based Specification Refinement and Repair for Mission Planning.
10. Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems.
11. Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts.
12. Design and Validation of a Multi-Arm Relocatable Manipulator for Space Applications.
13. Hypercontracts.
14. Querying Labelled Data with Scenario Programs for Sim-to-Real Validation.
15. Exploring a Transformer Approach for Pigment Signs Segmentation in Fundus Images.
16. Class-wise Thresholding for Robust Out-of-Distribution Detection.
17. Illicit Darkweb Classification via Natural-language Processing: Classifying Illicit Content of Webpages based on Textual Information.
18. From Interface Automata to Hypercontracts.
19. Hardware-Oriented Multi-Exposure Fusion Approach for Real-Time Video Processing on FPGA.
20. Securing Cyber-Physical Spaces with Hybrid Analytics: Vision and Reference Architecture.
21. Conditional Synthetic Data Generation for Robust Machine Learning Applications with Limited Pandemic Data.
22. Programmatic Modeling and Generation of Real-Time Strategic Soccer Environments for Reinforcement Learning.
23. Scene-aware Learning Network for Radar Object Detection.
24. Prototypical Cross-Domain Self-Supervised Learning for Few-Shot Unsupervised Domain Adaptation.
25. Validation of Robot Interactive Behaviors Through Users Emotional Perception and Their Effects on Trust.
26. An Analysis for a Precise Reliability and Availability Assessment of 'Photovoltaic System' Pilot Site: a Case Study.
27. Analysis of the Uncertainty Contributions for on Board Vehicle Speed Meters Calibration Method.
28. A Configuration Space Reference Generation Approach for Real-Time Collision Avoidance of Industrial Robot Manipulators.
29. Scenario-Based Collision Avoidance Control with Deep Q-Networks for Industrial Robot Manipulators.
30. Safety in Autonomous Driving: Can Tools Offer Guarantees?
31. Administrating Cognitive Tests Through HRI: An Application of an Automatic Scoring System Through Visual Analysis.
32. ODRE Workshop: Probabilistic Dynamic Hard Real-Time Scheduling in HPC.
33. Optical Wireless Communication and Li-Fi: a New Infrastructure for Wireless Communication in Saving Energy Era.
34. An IoT Beehive Network for Monitoring Urban Biodiversity: Vision, Method, and Architecture.
35. Quo Vadis IC System Design?
36. Demo: Querying Labelled Data with Scenario Programs for Sim-to-Real Validation.
37. Domain Randomization and Pyramid Consistency: Simulation-to-Real Generalization Without Accessing Target Domain Data.
38. Industrial Control via Application Containers: Migrating from Bare-Metal to IAAS.
39. Reactors: A Deterministic Model for Composable Reactive Systems.
40. Multi-Objective Calibration of Microscopic Traffic Simulation for Highway Traffic Safety.
41. A new simulation metric to determine safe environments and controllers for systems with unknown dynamics.
42. A tractable ellipsoidal approximation for voltage regulation problems.
43. Scenic: a language for scenario specification and scene generation.
44. Detecting and Diagnosing Incipient Building Faults Using Uncertainty Information from Deep Neural Networks.
45. A One-Class Support Vector Machine Calibration Method for Time Series Change Point Detection.
46. An Encoder-Decoder Based Approach for Anomaly Detection with Application in Additive Manufacturing.
47. A LiDAR Point Cloud Generator: from a Virtual World to Autonomous Driving.
48. Measuring Regret in Routing: Assessing the Impact of Increased App Usage.
49. Counterexample-Guided Data Augmentation.
50. Hierarchical System Design with Vertical Contracts.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.