Search

Your search keyword '"Sanchez, Cesar"' showing total 1,513 results

Search Constraints

Start Over You searched for: Author "Sanchez, Cesar" Remove constraint Author: "Sanchez, Cesar"
1,513 results on '"Sanchez, Cesar"'

Search Results

51. Patient-reported outcomes and tolerability in patients receiving ripretinib versus sunitinib after treatment with imatinib in INTRIGUE, a phase 3, open-label study

54. Runtime Verification For Timed Event Streams With Partial Information

55. Gray-box Monitoring of Hyperproperties (Extended Version)

56. Polymorphisms indicating risk of inflammatory bowel disease or antigenicity to anti-TNF drugs as biomarkers of response in children

60. COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring -- Activity Report of Working Group 1

62. Anticipatory Recurrent Monitoring with Uncertainty and Assumptions

63. Monitorability of Expressive Verdicts

64. Computational pathology in 2030: a Delphi study forecasting the role of AI in pathology within the next decade

65. A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)

68. Safety and efficacy of ribociclib plus letrozole in patients with HR+, HER2– advanced breast cancer: Results from the Spanish sub-population of the phase 3b CompLEEment-1 trial

69. i2kit: A Tool for Immutable Infrastructure Deployments based on Lightweight Virtual Machines specialized to run Containers

70. Timed Epistemic Knowledge Bases for Social Networks (Extended Version)

74. Effectiveness of Online vs In-Person Care for Adults With Psoriasis: A Randomized Clinical Trial.

75. Author Correction: Whole-genome sequencing of 1,171 elderly admixed individuals from Brazil

76. Whole-genome sequencing of 1,171 elderly admixed individuals from Brazil

77. HStriver: A Very Functional Extensible Tool for the Runtime Verification of Real-Time Event Streams

78. Nested Monitors: Monitors as Expressions to Build Monitors

79. Bounded Model Checking for Hyperproperties

80. HLola: a Very Functional Tool for Extensible Stream Runtime Verification

82. Comprehensive clinical characteristics and ctDNA mutational profile analysis of endocrine resistance/sensitivity to adjuvant ET therapy in luminal breast cancer from the GEICAM/2014-03_RegistEM registry.

85. The genetic structure and adaptation of Andean highlanders and Amazonians are influenced by the interplay between geography and culture

87. Reliable Smart Contracts

88. Unifying the Time-Event Spectrum for Stream Runtime Verification

89. Model Checking Timed Hyperproperties in Discrete-Time Systems

92. The Peruvian Genome Project: expanding the global pool of genome diversity from South America

93. Effect of Ambrosia arborescens Mill. ethanolic extract on breast cancer induced in rats

95. Measurement of the radius dependence of charged-particle jet suppression in Pb–Pb collisions at √sNN = 5.02 TeV

96. Probing the Chiral Magnetic Wave with charge-dependent flow measurements in Pb-Pb collisions at the LHC

97. Temporal Logics for Hyperproperties

98. Decentralized Stream Runtime Verification

99. Parametrized Invariance for Infinite State Processes

100. A Temporal Logic for Hyperproperties

Catalog

Books, media, physical & digital resources