Physics content could include, for example, theoretical ideas, calculations, modeling, and predictions; experimental methods, description of apparatus, results, and data analysis; and an assessment of the significance of the work reported in the thesis against the backdrop of the larger field of which it is part.
Higher-order logic is already heavily used in some parts of computer science, for example, theoretical computer science, functional programming, and hardware verifica tion, mainly because of its great expressive power.
Unlike physics, there is no clear categorization within biology of, for example, theoretical vs. experimental vs. computational biologists whose practitioners could naturally collaborate.
In species with a very small head, for example, theoretical considerations predict two distinct subpopulations of neurons tuned to ITDs outside the physiological ITD range.
For example, theoretical and empirical work shows that female selectivity generally increases at higher population densities, resulting in stronger sexual selection on males [ 2- 8].
For example, theoretical frameworks showed that CI may strengthen genetic divergence between populations [ 28, 29] and, moreover, in some situations, bidirectional CI selects for premating isolation and could lead to speciation [ 30].
Combinations of neurostimulation and neuroimaging now face the challenge of integrating the known physiological effects of neurostimulation with theoretical and biological models of cognition, for example, when theoretical stalemates between opposing cognitive theories need to be resolved.
Take for example mathematics, theoretical physics, psychology and economics.
For example, the theoretical foundation in North (2012) focuses on how information is actually processed in agent-based models.
For example, the theoretical characteristics and experimental measurements of groove guide structure have been demonstrated for low-loss THz signal transmission [10].
This approach can be particularly useful for eliminating potential decisional processes from further consideration if, for example, the theoretical ROC fails to correspond to empirically observed ROCs.
