Search

Your search keyword '"Cardoso, A. C."' showing total 3,245 results

Search Constraints

Start Over You searched for: Author "Cardoso, A. C." Remove constraint Author: "Cardoso, A. C."
3,245 results on '"Cardoso, A. C."'

Search Results

1. Methane Sensing via Unbalanced Nonlinear Interferometry using a CMOS Camera

15. Methane sensing in the mid-IR using short wave IR photon counting detectors via non-linear interferometry

16. Extending Attack-Fault Trees with Runtime Verification

17. A Compositional Approach to Verifying Modular Robotic Systems

20. Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy

21. List of contributors

26. General and abdominal adiposity and hypertension in eight world regions: a pooled analysis of 837 population-based studies with 7·5 million participants

30. Towards Partial Monitoring: It is Always too Soon to Give Up

31. MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest

38. Formal Verification of a Map Merging Protocol in the Multi-Agent Programming Contest

40. Worldwide trends in underweight and obesity from 1990 to 2022: a pooled analysis of 3663 population-representative studies with 222 million children, adolescents, and adults

43. Towards Compositional Verification for Modular Robotic Systems

44. Designing a VR-Simulation Module to Support Marine Pollution Control Training

45. Adaptive Cognitive Agents: Updating Action Descriptions and Plans

46. Automatic User Testing and Emotion Detection in Interactive Urban Devices

47. Himatanthus bracteatus stem bark ethanolic extract obtained by sequential pressurized liquid extraction: Chromatographic characterization and profiling of cytotoxic, antitumoral and immunopharmacological properties

Catalog

Books, media, physical & digital resources