Search

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

Search Constraints

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

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

19. 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

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

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

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

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

41. 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

48. 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