357 results on '"Bruno, C."'
Search Results
2. JurisBERT: A New Approach that Converts a Classification Corpus into an STS One.
3. Remote Sensing Image Analysis Of The Largest Blowdown Disturbance In The Southwestern Brazilian Amazon: The Case Of Pacaás Novos National Park.
4. Dependent Merges and First-Class Environments.
5. Self-Adaptation in IoT Systems for Smart Cities.
6. Sample-Efficient Multi-Objective Learning via Generalized Policy Improvement Prioritization.
7. Learning Game Programming Through Narrative, Sound Effects, and Music in Text-Based Games: A Creative Approach to Digital Game Education.
8. Pragmatic Gradual Polymorphism with References.
9. Applicative Intersection Types.
10. A Calculus with Recursive Types, Record Concatenation and Subtyping.
11. A Deep Learning Approach for Automatic Counting of Bales and Product Boxes in Industrial Production Lines.
12. Direct Foundations for Compositional Programming.
13. Elementary Type Inference.
14. Union Types with Disjoint Switches.
15. Constrained Offline Policy Optimization.
16. Optimistic Linear Support and Successor Features as a Basis for Optimal Policy Transfer.
17. A Toolkit for Reliable Benchmarking and Research in Multi-Objective Reinforcement Learning.
18. Behavior Alignment via Reward Function Optimization.
19. Multi-Step Generalized Policy Improvement by Leveraging Approximate Models.
20. Universal Off-Policy Evaluation.
21. Improving Phased Transactional Memory via Commit Throughput and Capacity Estimation.
22. Type-Directed Operational Semantics for Gradual Typing.
23. Network-based link prediction of scientific concepts - a Science4Cast competition entry.
24. Minimum-Delay Adaptation in Non-Stationary Reinforcement Learning via Online High-Confidence Change-Point Detection.
25. A Multi-population BRKGA for the Automatic Clustering Problem.
26. A comparative study of GPU metaheuristics for data clustering.
27. Posterior Value Functions: Hindsight Baselines for Policy Gradient Methods.
28. Comprehensive examination of personalized microwave ablation: exploring the effects of blood perfusion rate and metabolic heat on treatment responses
29. Features Selection Algorithms for Classification of Voice Signals.
30. Improving Transactional Code Generation via Variable Annotation and Barrier Elision.
31. The Duality of Subtyping.
32. Row and Bounded Polymorphism via Disjoint Polymorphism.
33. A Type-Directed Operational Semantics For a Calculus with a Merge Operator.
34. Off-Policy Evaluation for Action-Dependent Non-stationary Environments.
35. Securing hard drives with the Security Protocol and Data Model (SPDM).
36. Outliers Treatment to Improve the Recognition of Voice Pathologies.
37. Developers' sentiment and issue reopening.
38. Open Problem: Risk of Ruin in Multiarmed Bandits.
39. Identifying Reusable Early-Life Options.
40. Adoption of Machine Learning Techniques to Perform Secondary Studies: A Systematic Mapping Study for the Computer Science Field.
41. Parameterized Melody Generation with Autoencoders and Temporally-Consistent Noise.
42. Mapping between Average SINR and Supported Throughput in 5G New Radio Small Cell Networks.
43. Deploying a Top-100 Supercomputer for Large Parallel Workloads: the Niagara Supercomputer.
44. Performance Comparison of IoT Communication Protocols.
45. 'Ultimate Food Defense': A Serious Game for Healthy Eating Behavior Awareness.
46. UGC Generator: An Open Access Web Tool to Model Unified Game Canvas.
47. Distributive Disjoint Polymorphism for Compositional Programming.
48. Semantic Enrichment of Services for Linked Data Provision in SOA.
49. Electroencephalogram Hybrid Method for Alzheimer Early Detection.
50. Typed First-Class Traits.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.