Search

Your search keyword '"Caballero, Rafael"' showing total 716 results

Search Constraints

Start Over You searched for: Author "Caballero, Rafael" Remove constraint Author: "Caballero, Rafael"
716 results on '"Caballero, Rafael"'

Search Results

51. Checking Java Assertions Using Automated Test-Case Generation

55. Let’s go beyond 'the effect of': reappraising the impact of ordinary activities on cognition

56. Peripheral cueing modulation over spatial interference: Investigating the hypothesis of shared and specific attentional mechanisms triggered by gaze and arrows

57. Testing a causal model of the relationship between physical exercise and cognition during childhood: A longitudinal study

58. Influence of rhythmic contexts on perceived event duration: evidence from behavior and pupillometry

59. Los potenciales beneficios cognitivos de la práctica musical desde la infancia hasta el envejecimiento saludable

60. Peripheral cueing and alertness modulation over spatial interference: Shared and specific attentional mechanisms triggered by gaze and arrows

61. EDD: A Declarative Debugger for Sequential Erlang Programs

63. Peripheral cueing modulation over Spatial Interference: Investigating the hypothesis of shared and specific attentional mechanisms triggered by Gaze and Arrows

65. Data for: A High-Definition tDCS and EEG study on attention and vigilance: Brain stimulation mitigates the executive but not the arousal vigilance decrement

66. Influence of a rhythmic context on the foreperiod effect: A behavioral and eye-tracker approach

68. A Declarative Debugger for Sequential Erlang Programs

70. Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees

71. A Declarative Embedding of XQuery in a Functional-Logic Language

72. Declarative Debugging of Wrong and Missing Answers for SQL Views

73. Algorithmic Debugging of SQL Views

74. A Deductive Database with Datalog and SQL Query Languages

75. XQuery in the Functional-Logic Language Toy

76. Integrating XPath with the Functional-Logic Language Toy

77. Regulation of cardiac ion channels by transcription factors: Looking for new opportunities of druggable targets for the treatment of arrhythmias

79. Applying Constraint Logic Programming to SQL Test Case Generation

82. Declarative Debugging of Rewriting Logic Specifications

83. Qualified Computations in Functional Logic Programming

85. Declarative Debugging of Membership Equational Logic Specifications

86. On the Use of Projected Gradients for Constrained Multiobjective Optimization Problems

87. A Declarative Debugger for Maude

88. Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming

99. Dynamic-Cut with Definitional Trees

Catalog

Books, media, physical & digital resources