Classifying the Arithmetical Complexity of Teaching Models

This paper classifies the complexity of various teaching models by their position in the arithmetical hierarchy. In particular, we determine the arithmetical complexity of the index sets of the following classes: (1) the class of uniformly r.e. families with finite teaching dimension, and (2) the class of uniformly r.e. families with finite positive recursive teaching dimension witnessed by a uniformly r.e. teaching sequence. We also derive the arithmetical complexity of several other decision problems in teaching, such as the problem of deciding, given an effective coding $\{\mathcal L_0,\mathcal L_1,\mathcal L_2,\ldots\}$ of all uniformly r.e. families, any $e$ such that $\mathcal L_e = \{L^e_0,L^e_1,\ldots,\}$, any $i$ and $d$, whether or not the teaching dimension of $L^e_i$ with respect to $\mathcal L_e$ is upper bounded by $d$.Comment: 15 pages in International Conference on Algorithmic Learning Theory, 201

Broca's region subserves imagery of motion : a combined cytoarchitectonic and fMRI study

Broca's region in the dominant cerebral hemisphere is known to mediate the production of language but also contributes to comprehension. Here, we report the differential participation of Broca's region in imagery of motion in humans. Healthy volunteers were studied with functional magnetic resonance imaging (fMRI) while they imagined movement trajectories following different instructions. Imagery of right-hand finger movements induced a cortical activation pattern including dorsal and ventral portions of the premotor cortex, frontal medial wall areas, and cortical areas lining the intraparietal sulcus in both cerebral hemispheres. Imagery of movement observation and of a moving target specifically activated the opercular portion of the inferior frontal cortex. A left-hemispheric dominance was found for egocentric movements and a right-hemispheric dominance for movement characteristics in space. To precisely localize these inferior frontal activations, the fMRI data were coregistered with cytoarchitectonic maps of Broca's areas 44 and 45 in a common reference space. It was found that the activation areas in the opercular portion of the inferior frontal cortex were localized to area 44 of Broca's region. These activations of area 44 can be interpreted to possibly demonstrate the location of the human analogue to the so-called mirror neurones found in inferior frontal cortex of nonhuman primates. We suggest that area 44 mediates higher-order forelimb movement control resembling the neuronal mechanisms subserving speech. Hum. Brain Mapping 11:273-285, 2000. (C) 2000 Wiley-Liss, Inc

Accelerator measurements of magnetically-induced radio emission from particle cascades with applications to cosmic-ray air showers

For fifty years, cosmic-ray air showers have been detected by their radio emission. We present the first laboratory measurements that validate electrodynamics simulations used in air shower modeling. An experiment at SLAC provides a beam test of radio-frequency (RF) radiation from charged particle cascades in the presence of a magnetic field, a model system of a cosmic-ray air shower. This experiment provides a suite of controlled laboratory measurements to compare to particle-level simulations of RF emission, which are relied upon in ultra-high-energy cosmic-ray air shower detection. We compare simulations to data for intensity, linearity with magnetic field, angular distribution, polarization, and spectral content. In particular, we confirm modern predictions that the magnetically induced emission in a dielectric forms a cone that peaks at the Cherenkov angle and show that the simulations reproduce the data within systematic uncertainties.Comment: 5 pages, 7 figure

A geometric network model of intrinsic grey-matter connectivity of the human brain

Network science provides a general framework for analysing the large-scale brain networks that naturally arise from modern neuroimaging studies, and a key goal in theoretical neuro- science is to understand the extent to which these neural architectures influence the dynamical processes they sustain. To date, brain network modelling has largely been conducted at the macroscale level (i.e. white-matter tracts), despite growing evidence of the role that local grey matter architecture plays in a variety of brain disorders. Here, we present a new model of intrinsic grey matter connectivity of the human connectome. Importantly, the new model incorporates detailed information on cortical geometry to construct ‘shortcuts’ through the thickness of the cortex, thus enabling spatially distant brain regions, as measured along the cortical surface, to communicate. Our study indicates that structures based on human brain surface information differ significantly, both in terms of their topological network characteristics and activity propagation properties, when compared against a variety of alternative geometries and generative algorithms. In particular, this might help explain histological patterns of grey matter connectivity, highlighting that observed connection distances may have arisen to maximise information processing ability, and that such gains are consistent with (and enhanced by) the presence of short-cut connections

A coupling matrix vision for mobile filtering devices with micro-acoustic wave technologies. A systematic approach

Con el espectro radioeléctrico cada vez más saturado, los filtros y duplexores son elementos claves de la tecnología en el mercado de dispositivos discretos para la telefonía móvil. El segmento de usuario de los sistemas de comunicaciones inalámbricas aprovecha las destacadas propiedades de los dispositivos filtrantes basados en resonadores acústicos. Generalmente, el diseño de dispositivos de onda acústica ha sido asumido por técnicas de optimización debido a las restrictivas limitaciones impuestas por la viabilidad tecnológica de los resonadores SAW y BAW, así como las exigentes especificaciones eléctricas. Una respuesta de transmisión muy restrictiva y factores tecnológicos muy limitantes conducen a hacer el diseño más y más complejo y una tarea muy desafiante. El objetivo del trabajo está enfocado en facilitar el diseño de filtros/duplexores y hacerlo más eficiente. En consecuencia, la formulación inicial del problema se ha centrado en la viabilidad tecnológica para implementar filtros de onda acústica. Proporcionar una metodología sistemática es útil para acelerar la curva de aprendizaje de nuevos diseñadores. Los filtros de microondas con elevada selectividad son posibles si sus funciones de transferencia incorporan ceros de transmisión finitos. La introducción de nodos no-resonantes (NRN) da la posibilidad de diseñar filtros con el máximo número de ceros de transmisión finitos sin tener que implementar acoplamientos directos entre la fuente y la carga. Además, las configuraciones en línea con NRN permiten la extracción de los elementos analíticamente. La típica configuración de filtro ladder presenta similitudes características de acuerdo con las redes de prototipo en línea con nodos resonantes y no-resonantes, que son las propiedades de modularidad, para controlar los ceros de transmisión con resonadores independientes, y respuestas completamente canonícas sin acoplamiento fuente-carga directo. Los elementos de la red pasobanda son dados por ecuaciones explícitas en términos de aquellos en los prototipos en línea con NRN que pueden ser sintetizados analíticamente. Como consecuencia, es posible definir una metodología de síntesis directa para obtener los parámetros pasobanda eléctricos de un filtro RF general que está basado en resonadores acústicos. Este trabajo presenta una metodología que proporciona un procedimiento de síntesis sistemático para diseñar filtros y duplexores ladder basados en resonadores de onda micro-acústica. La metodología de diseño utiliza un enfoque nodal basado en NRN y nodos resonantes. La representación de la red mediante una matriz de acoplamiento mixta de nodos resonantes y no resonantes es capaz de gestionar de forma eficiente las restricciones tecnológicas. El procedimiento es eficiente en tiempo, preciso en los resultados y proporciona un profundo entendimiento de las particulares interacciones que se producen entre las restricciones tecnológicas y el funcionamiento del dispositivo. Un completo paquete de software, con un simulador rápido, preciso y de fácil uso, ha sido desarrollado, permitiendo obtener diseños de primera etapa exitosos. Como resultado de la metodología sistemática, hemos desarrollado un método de diseño que combina y sistemáticamente gestiona redes filtrantes compuestas de bloques de polo extraído con bloques de resonadores acoplados, es decir, celdas ladder con secciones CRF. Además, la metodología has sido extendida exitosamente para tener en cuenta el diseño de divisores de potencia con respuesta filtrante por medio de dos topologías diferentes: la configuración ladder y las secciones CRF. La metodología propuesta ofrece una solución que combina el completo cumplimiento de las máscaras de espectro con topologías preparadas para acomodar las restricciones tecnológicas de la tecnología micro-acústica. La metodología ha sido desarrollada orientada nativamente a gestionar la tecnología, como es el ajuste de la limitación en el acoplo electromagnético, y basada en fundamentos de síntesis rigurosos.With a spectrum more and more overcrowded, filters and duplexers are drivers of the technology in the discrete device mobile market. The user segment of wireless communication systems takes profit of the outstanding performance of filtering devices based on acoustic resonators. Usually, the design of acoustic wave devices have been mainly entrusted to optimization techniques because the stringent constraints imposed by the technological feasibility of SAW and BAW resonators and the challenging electrical specifications. A stringent transmission response and very restrictive technological factors lead the design to a more and more complex and challenging task. The aim of the work is focused on easing the filters/duplexers designs and making it more efficient. Consequently, the initial formulation of the problem was focused on the technological feasibility of acoustic wave filters. Providing a systematic methodology is useful to accelerate the learning curve of new entrant designers. Microwave filters with high selectivity are possible if their transfer functions incorporates finite transmission zeros. The inclusion of non-resonant nodes gives the possibility of designing filters with the maximum number of finite transmission zeros without implementing direct couplings between source and load. Furthermore, inline configuration with NRN allows the extraction of the elements analytically. The common ladder filter configuration exhibits characteristic similarities regarding inline prototype networks with resonant and non-resonant nodes, which are the property of modularity, to control transmission zeros by independent resonators, and fully canonical response without a direct source-load coupling. The elements of the lowpass prototype are given by explicit equations in terms of those in in-line prototypes with non-resonating nodes that can be synthesized analytically. As a consequence it is possible to define a direct synthesis methodology to obtain the bandpass electric parameters of a general RF filter that is based on acoustic resonators. This work presents a methodology that provides a systematic synthesis procedure for designing ladder filters and duplexers based on acoustic wave resonators. The methodology uses a nodal approach based on resonating and non-resonating nodes. The coupling matrix representation with a mix of different nature nodes, resonant and non-resonant, is able to efficiently manage the technological restrictions. The procedure is time efficient, precise in the outcomes and provides a deep understanding of the particular interactions between technological constraints and device performance. A complete software package with fast, accurate and easy-to-use simulator has been developed, enabling starting point design success. As a result of the systematic methodology, we have developed a design method that combines and systematically manages a filtering network composed of extracted-pole blocks with coupling resonators blocks, so it is ladder cells with CRF sections. Moreover, the methodology has been successfully extended to take into consideration filtering power dividers by means of two different topologies: ladder configuration and CRF sections. The proposed methodology offers a solution that combines a complete spectrum fulfillment with topologies ready to accommodate technological constraints of micro-acoustics technologies. The methodology has been developed natively oriented to manage with the technology, such as accommodating electromechanical coupling constraints, leveraged in rigorous synthesis foundations

Adolescent brain maturation and cortical folding: evidence for reductions in gyrification

Evidence from anatomical and functional imaging studies have highlighted major modifications of cortical circuits during adolescence. These include reductions of gray matter (GM), increases in the myelination of cortico-cortical connections and changes in the architecture of large-scale cortical networks. It is currently unclear, however, how the ongoing developmental processes impact upon the folding of the cerebral cortex and how changes in gyrification relate to maturation of GM/WM-volume, thickness and surface area. In the current study, we acquired high-resolution (3 Tesla) magnetic resonance imaging (MRI) data from 79 healthy subjects (34 males and 45 females) between the ages of 12 and 23 years and performed whole brain analysis of cortical folding patterns with the gyrification index (GI). In addition to GI-values, we obtained estimates of cortical thickness, surface area, GM and white matter (WM) volume which permitted correlations with changes in gyrification. Our data show pronounced and widespread reductions in GI-values during adolescence in several cortical regions which include precentral, temporal and frontal areas. Decreases in gyrification overlap only partially with changes in the thickness, volume and surface of GM and were characterized overall by a linear developmental trajectory. Our data suggest that the observed reductions in GI-values represent an additional, important modification of the cerebral cortex during late brain maturation which may be related to cognitive development

Optimal Collusion-Free Teaching

Formal models of learning from teachers need to respect certain criteria toavoid collusion. The most commonly accepted notion of collusion-freeness wasproposed by Goldman and Mathias (1996), and various teaching models obeyingtheir criterion have been studied. For each model $M$ and each concept class$\mathcal{C}$, a parameter $M$-$\mathrm{TD}(\mathcal{C})$ refers to theteaching dimension of concept class $\mathcal{C}$ in model $M$---defined to bethe number of examples required for teaching a concept, in the worst case overall concepts in $\mathcal{C}$. This paper introduces a new model of teaching, called no-clash teaching,together with the corresponding parameter $\mathrm{NCTD}(\mathcal{C})$.No-clash teaching is provably optimal in the strong sense that, given anyconcept class $\mathcal{C}$ and any model $M$ obeying Goldman and Mathias'scollusion-freeness criterion, one obtains \mathrm{NCTD}(\mathcal{C})\leM-$\mathrm{TD}(\mathcal{C})$. We also study a corresponding notion$\mathrm{NCTD}^+$ for the case of learning from positive data only, establishuseful bounds on $\mathrm{NCTD}$ and $\mathrm{NCTD}^+$, and discuss relationsof these parameters to the VC-dimension and to sample compression. In addition to formulating an optimal model of collusion-free teaching, ourmain results are on the computational complexity of deciding whether$\mathrm{NCTD}^+(\mathcal{C})=k$ (or $\mathrm{NCTD}(\mathcal{C})=k$) for given$\mathcal{C}$ and $k$. We show some such decision problems to be equivalent tothe existence question for certain constrained matchings in bipartite graphs.Our NP-hardness results for the latter are of independent interest in the studyof constrained graph matchings.<br

Label-free detection of DNA hybridization based on hydration-induced tension in nucleic acid films

The properties of water at the nanoscale are crucial in many areas of biology, but the confinement of water molecules in sub-nanometre channels in biological systems has received relatively little attention. Advances in nanotechnology make it possible to explore the role played by water molecules in living systems, potentially leading to the development of ultrasensitive biosensors. Here we show that the adsorption of water by a self-assembled monolayer of single-stranded DNA on a silicon microcantilever can be detected by measuring how the tension in the monolayer changes as a result of hydration. Our approach relies on the microcantilever bending by an amount that depends on the tension in the monolayer. In particular, we find that the tension changes dramatically when the monolayer interacts with either complementary or single mismatched single-stranded DNA targets. Our results suggest that the tension is mainly governed by hydration forces in the channels between the DNA molecules and could lead to the development of a label-free DNA biosensor that can detect single mutations. The technique provides sensitivity in the femtomolar range that is at least two orders of magnitude better than that obtained previously with label-free nanomechanical biosensors and with label-dependent microarrays.D.R. acknowledges the fellowship funded by the Autonomic Community of Madrid (CAM). J.T, M.C, J.M and D.R acknowledge financial support by Spanish Ministry of Science (MEC) under grant No. TEC2006-10316 and CAM under grant No. 200550M056. C.B. acknowledges funding provided by MEC under grant No. BIO2007-67523. Work at Centro de Astrobiología was supported by European Union (EU), Instituto Nacional de Técnica Aeroespacial (INTA), MEC and CAM. All the authors acknowledge A. Cebollada, J.M. García-Martín, J. García, J.L. Costa-Kramer, M. Arroyo-Hernández and J.V. Anguita for their assistance in the gold deposition on the cantilevers.Peer reviewe