This musical, arts-based educational research describes the lived experiences of four K-12 New Orleans educators who believe that end-of-year standardized tests hinder their ability to teach in ways they believe are best. Using songwriting as a form of data elicitation and narrative restorying, this study documents the lived experiences of teachers who have experienced test-related cognitive dissonance. While curricular narrowing and other test-related practices have been studied in many contexts, the perspectives of New Orleans teachers are barely documented. Thus, this study fills a content gap in the testing literature. Musically restorying the data contributes to the accountability literature in three main ways. First, restorying the data as song renders the findings evocatively — that is, in ways that capture the emotion with which the data was originally imbued. Second, because this study is performative (the results were sung live in the community), the opportunity exists to ignite a local conversation aimed at helping teachers navigate testing/teaching conundrums. Finally, as music is one of the least utilized forms of art-based research, this study fills a methodological gap in the arts-based research repository.

Thesis (Ph.D.); Submitted to the University of California, Berkeley, CA (US); 21 Dec 2004. / Published through the Information Bridge: DOE Scientific and Technical Information. "LBNL--56768" Urban, Jeffry Todd. USDOE Director. Office of Science. Office of Basic Energy Sciences (US) 12/21/2004. Report is also available in paper and microfiche from NTIS.

L’efficacité des cellules solaires peut être améliorée en exploitant pleinement la partie UV-bleue du spectre solaire, par un mécanisme de conversion de fréquence de type down-conversion. Ce processus utilisant des transferts d’énergie entre ions de terre rare (TR) ou métal de transition 3d (paires TR3+/Yb3+ avec TR = Pr, Tm,… et Cr3+/Yb3+) requiert des matrices à basse énergie de phonon pour réduire les relaxations non radiatives.Jusqu’à présent, les matériaux étudiés sont principalement sous forme de poudre polycristalline, ce qui limite leur utilisation à cause de la diffusion, ou de monocristaux dont le coût de fabrication est élevé.Dans le cadre de cette thèse, les verres fluorés à base de fluorozirconate ZLAG (ZrF4-LaF3-AlF3-GaF3) et ZBLA (ZrF4-BaF2-LaF3-AlF3) ont été préparés par la technique de fusion-coulée. Ces derniers sont adaptés du fait de leurs propriétés intrinsèques de transparence et de leur faible énergie de phonon. Les matériaux obtenus ont ensuite été caractérisés par, analyse thermique, diffraction des rayons X, microscopie électronique à transmission et luminescence.Des études par dynamique moléculaire et fluorescence par affinement de raies ont été effectuées sur la matrice ZLAG afin de suivre les modifications structurales lors du passage du verre à la vitrocéramique.La luminescence de l’ion Yb3+ a été observée dans l’infra-rouge à 980 nm sous excitation bleue dans toutes les séries étudiées, signature d’un transfert d’énergie. ans le verre ZLAG, l’efficacité atteint 92% pour le transfert d’énergie Pr3+ → Yb3+ et 65% pour le transfert d’énergie Tm3+ → Yb3+. L’efficacité est plus faible dans le verre ZBLA et la vitrocéramisation du verre ZLAG n’améliore pas les performances. / The efficiency of solar cells can be improved by fully exploiting the UV-blue portion of the solar spectrum, through a frequency converting mechanism of type downconversion. This process using energy transfer between rare earth ions (RE) or 3d transition metal (pairs RE3+/Yb3+ with TR = Pr, Tm,… and Cr3+/Yb3+) requires a matrix with low phonon energy to reduce non radiative relaxation.So far, the studied materials are mainly in the form of polycristalline powder, which limits their use due to diffusion or single crystals which manufacturing cost is high.As part of this thesis, fluoride glasses based on fluorozirconate ZLAG (ZrF4-LaF3-AlF3-GaF3) and ZBLA (ZrF4-LaF2-LaF3-AlF3) have been prepared by the melting-casting technique. These are suitable because of their intrinsic properties of transparency and low phonon energy. The resulting materials were then characterized by thermal analysis, X-ray diffraction, transmission electron microscopy and luminescence.Molecular Dynamics simulation and Fluorescence line narrowing of ZLAG matrix have been performed in order to investigate the structural modification during the transformation of the glass into the glass-ceramic.Luminescence of Yb3+ ion was observed in the near IR at 980 nm under blue excitation in all studied series, which is the signature of energy transfer. In the ZLAG glass, the efficiency reaches 92% for Pr3+ → Yb3+ energy transfer and 65% for Tm3+ → Yb3+ energy transfer. The efficiency is lower in the ZBLA glass and the ZLAG ceramisation does not improve the performances.

La evaluación parcial dirigida por narrowing (NPE: Narrowing-driven Partial Evaluation) es una técnica potente para la especialización de sistemas de reescritura, i.e., para el componente de primer orden de muchos lenguajes declarativos (lógico) funcionales como Haskell, Curry o Toy. Los evaluadores parciales se clasifican en dos grandes categorías: online y offline, de acuerdo al momento temporal en que se consideran los aspectos de terminación del proceso de especialización. Los evaluadores parciales online son usualmente más precisos ya que tienen más información disponible. Los evaluadores parciales offline proceden comúnmente en dos etapas; la primera etapa procesa un programa (e.g., para identificar aquellas llamadas a función que se pueden desplegar sin riesgo de no terminación) e incluye anotaciones para guiar las computaciones parciales; entonces, una segunda etapa, la de evaluación parcial propiamente dicha, sólo tiene que obedecer las anotaciones y por tanto el especializador es mucho más rápido que en la aproximación online. En esta tesis se presenta un nuevo esquema de evaluación parcial dirigido por narrowing, más eficiente y que asegura la terminación siguiendo el estilo offline. Para ello, identificamos una caracterización de programas cuasi-terminantes a los que llamamos "no crecientes". En tales programas, las computaciones por narrowing necesario presentan sólo un conjunto finito de términos diferentes (módulo renombramiento de variables). La propiedad de la cuasi-terminación es importante toda vez que su presencia es regularmente una condición suficiente para la terminación del proceso de especialización. Sin embargo, la clase de programas cuasi-terminantes es muy restrictiva, por lo que introducimos un algoritmo que acepta programas inductivamente secuenciales---una clase mucho más amplia sobre la que está definido el narrowing necesario---y anota aquellas partes que violan la caracterización de programas no crecientes. Para procesar de mane / Ramos Díaz, JG. (2007). Una aproximación offline a la evaluación parcial dirigida por narrowing [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/1888 / Palancia

<p>Infants must learn to discriminate between individuals in order to determine who is familiar (and likely to provide their basic needs) from those who are unfamiliar (and possibly a threat to their survival). One cue that humans use to discriminate others is the unique sound of each individual’s voice. Until the present thesis, little research existed on the topic of voice discrimination development during infancy. I conducted the first set of studies to investigate whether voice discrimination develops through a process of perceptual narrowing. Perceptual narrowing is defined as an experience-dependent increase in sensitivity to distinctions important in the native environment and a decrease in sensitivity to distinctions not important (often foreign to) the native environment across the first year. It has been described in previous research for the processing of a number of socially-relevant stimuli in the auditory (e.g., musical rhythms and pitches, linguistic phonemes) and visual (e.g., faces) domains. In Chapter 2, I provide the first evidence that narrowing occurs for voice discrimination, with infants specializing for the discrimination of native (human, English-speaking) over foreign (rhesus monkey) vocalizations between 6 and 12 months. In Chapter 3, I establish that the specialization demonstrated in Chapter 2 resulted primarily from familiarity with the vocalization from the human species, rather than the particular language spoken. In Chapter 4, I show that sensitivity to distinctions between monkey voices can be reinstated at 12 months of age, after narrowing has taken place, with two weeks of exposure to monkey voices. Together, these findings indicate that infants become attuned to individual distinctions between human voices by the end of their first year, but that plasticity remains such that sensitivity to distinctions between voices from rarely-heard species can be reinstated with exposure, at least until the end of the first year.</p> / Doctor of Philosophy (PhD)

La nécessité de prouver l’existence de nouvelles particules comme les quarks et le boson de Higgs a entrainé le développement de deux nouveaux pans de la recherche : la physique des hautes énergies ou physique des particules, dédiée à prouver expérimentalement l'existence de ces particules puis à étudier leurs propriétés et la physique des accélérateurs, dédiée au développement de nouveaux instruments pour la physique des hautes énergies.Dans ce contexte, des collisionneurs linéaires électrons/positrons polarisés de forte luminosité dont l'énergie serait connue et accordable pourrait permettre d’étudier plus finement des particules se situant dans des énergies autour du TeV telles que le Boson de Higgs. C'est dans ce sens que le projet International Linear Collider (ILC) est conçu et c'est dans le cadre du développement de ce collisionneur linéaire de particules que cette thèse de doctorat se situe. Un des points critiques de l'ILC est la source de positrons polarisés. Sans entrer dans des explications sur la physique du processus de création de positrons polarisés, nous précisons simplement que ceux-ci sont créés lorsque des rayons gamma polarisés circulairement interagissent avec la matière. Le point critique est donc la source de rayons gamma polarisés circulairement. Une alternative pour cette source est la diffusion Compton inverse et c'est finalement dans le cadre de la recherche et du développement de systèmes lasers de fortes puissances moyennes asservis à des cavités Fabry-Perot pour la production de rayons gamma polarisés par diffusion Compton inverse que se situe cette thèse.Dans un premier temps, nous posons plus précisément le contexte de cette thèse, le principe de la diffusion Compton inverse ainsi que le choix d’une architecture optique basée sur un laser fibré et une cavité Fabry-Perot. Nous finissons sur une énumération des différentes applications possibles de la diffusion Compton inverse montrant que les travaux présentés pourraient bénéficier de transfert technologique vers d’autres domaines. Dans un second temps, nous présentons les différentes architectures d’amplification laser fibrée étudiées ainsi que les résultats obtenus. Dans un troisième temps, nous faisons un rappel du principe de fonctionnement d’une cavité Fabry-Perot et présentons celle utilisée pour notre expérience ainsi que ses spécificités. Dans un quatrième temps, nous abordons l’expérience de diffusion Compton inverse qui nous a permis de présenter pour la première fois à notre connaissance l’utilisation conjointe d’un laser à fibre optique et d’une cavité Fabry-Perot dans le cadre d’un accélérateur de particules pour générer des rayons gamma. Le dispositif expérimental ainsi que les résultats obtenus sont alors présentés. Finalement, nous résumons les résultats présentés dans ce manuscrit et proposons différentes possibilités d’évolution pour le système dans une conclusion générale. / The requirement to prove the existence of news particles like quarks and the Higgs boson has led the development of two news branches for the research: the high energy physics or particle physics, dedicated to experimentally prove the existence of these new particles then to study their properties and the accelerator physics, dedicated to develop particles accelerators for the high energy physic. In this context, polarized electrons/positrons high luminosity linear collider of known and scalable energy might enable more precise studies of particles with energy around the TeV such as the Higgs boson. To that end, the International Linear Collider (ILC) project is being designed and it is in this framework that this PhD thesis takes place. One of the critical points of the ILC is the polarized positrons source. Without going through further explanation on the physical process of polarized positrons production, we point out that they are produced when circularly polarized gamma rays interact with mater. Thus, the critical point is the circularly polarized gamma-ray source. A technical solution for this source is the Compton backscattering and in the end, this thesis takes place in the framework of R&D for high average power laser systems enslaved to Fabry-Perot cavities for polarized gamma-ray production by Compton backscattering. In the first part, we present this thesis context, the Compton backscattering principle and the choice for an optical architecture based on a fiber laser and a Fabry-Perot cavity. We finish by enumerating several possible applications for Compton backscattering which shows that the work presented here might benefits from technology transfer through others research fields. In the second part, we present the different fiber laser architecture studied as well as the results obtained. In the third part, we remind the operating principle of a Fabry-Perot cavity and present the one used for our experiment as well as its specificities. In the fourth part, we address the Compton backscattering experiment which enables us to present the joint utilization of a fiber laser and a Fabry-Perot cavity in a particles accelerator to generate gamma rays for the first time to our knowledge. The experimental apparatus as well as the results obtained are thus presented. In the end, we summarize the results presented in this manuscript and propose different evolution possibilities for the system in a general conclusion.

Using a narrow-band resonant fluorescence spectra from a nano-cell with a thickness of L= [lambda]/2, and VSOP resonances formed at a thickness L =[lambda] ([lambda] is the wavelength of the resonant radiation), for the first time it was experimentally investigated the behaviour of the frequency and intensity (transition probabilities) of the atomic hyperfine structure transitions between the 85Rb, 87Rb, D1 and D2 lines Zeeman sublevels in external magnetic fields in range 5 - 7000G. The behaviour of tens of previously unstudied atomic transitions was analyzed and it is demonstrated that the intensities of these lines can both greatly increase, and decrease (tenfold). For the first time it is demonstrated that, in the case of partial pressure of neon buffer gas up to 6~torr into the nano-cell of thickness L = [lambda] filled with Rb, VSOP resonances are recorded confidently, while the addition of 0.1~torr neon buffer gas in a cell of a centimeter thickness leads to the complete disappearance of VSOP resonances formed with the help of the widely used technique of saturated absorption. It is demonstrated for the first time that the spectral width of the resonant fluorescence spectra of the rubidium nano-cell with thickness L= [lambda]/2, for all values of the neon buffer gas pressures is much narrower (6-8 times) compared with the resonant fluorescence spectra of an ordinary centimeter cell containing rubidium with the same pressures of neon

La course vers les impulsions ultra-courtes et énergétiques est en plein essor avec le développement de nombreuses applications. Dans ce manuscrit, plusieurs méthodes de réduction de la durée d'impulsion énergétique sont étudiées. La mise en oeuvre d’un système de post-compression basé sur le principe de SPM-NER dans une lame de silice a tout d'abord permis de produire, à partir d'impulsions de 50 fs, des impulsions de 16 fs-5mJ. Dans une seconde partie, nous proposons une nouvelle méthode de post-compression efficace basée sur l'ionisation d'un gaz rare dans un capillaire creux. Cette technique a permis d'obtenir à la fois des impulsions ultra-courtes et des énergies importantes (11 fs-13 mJ). Les résultats d'une modélisation réalisée au CEA/SPAM, en bon accord avec les résultats expérimentaux, ont permis d'approfondir la compréhension des divers mécanismes mis en jeu. Afin de produire des impulsions encore plus courtes, il est nécessaire de travailler directement dans les chaînes laser, en amont du système de post-compression. Le rétrécissement spectral par le gain dans leTi:saphir des chaînes laser, limite en général les durées des impulsions à 30 fs. Ce phénomène, étudié lors de cette thèse, a été compensé grâce à une modulation de perte spectrale (filtre) dans le pré-amplificateur (cavité régénérative), localisée au maximum de la courbe de gain. Des impulsions de l’ordre de 20 fs ont été obtenues. Ces études ont été complétées par une modélisation de l'amplification des impulsions qui s'est avérée en très bon accord avec les mesures expérimentales. La possibilité de combiner ces procédés permettra, àcourt terme, la production d'impulsions laser sub-10 fs énergétiques (~10 mJ) pour générer des impulsions XUV attosecondes isolées. / High energy ultrashort pulses are highly desirable for many applications. In thismanuscript, we described several methods for pulse duration reduction at high energy. A postcompressionsystem, using SPM-NER in a fused silica plate, has firstly provided 16 fs-5mJpulses, from 50 fs pulses. In a second part, we present a new efficient post compressiontechnique, achieved through ionization of gas in a capillary. With this technique, ultrashortand high energy pulses have been reached (11 fs-13 mJ). Results from modeling done atCEA/SPAM, in good agreement with the experimental ones, have been used to understanddeeply all the involved mechanisms. In order to get even shorter pulses, it is incontrovertibleto work on the laser chain, in front of the post-compression systems. In general, due tospectral gain narrowing in Ti:Saphir laser chain, the pulse duration is limited to 30 fs. Thiseffect, investigated in this thesis, has been compensated by modulating the spectral losses(filter) in the pre-amplifier (regenerative cavity), localized at the gain curve maximum. Pulseduration in the order of 20 fs has been obtained. This study has been completed with a pulseamplification model that shows very good agreement with the experimental measurements.The possibility to combine these processes should generate, in the short term, high energy (10mJ) sub-10 fs laser pulses to produce isolated XUV attosecond pulses.

The area of formal analysis of cryptographic protocols has been an active one since the mid 80’s. The idea is to verify communication protocols that use encryption to guarantee secrecy and that use authentication of data to ensure security. Formal methods are used in protocol analysis to provide formal proofs of security, and to uncover bugs and security flaws that in some cases had remained unknown long after the original protocol publication, such as the case of the well known Needham-Schroeder Public Key (NSPK) protocol. In this thesis we tackle problems regarding the three main pillars of protocol verification: modelling capabilities, verifiable properties, and efficiency. This thesis is devoted to investigate advanced features in the analysis of cryptographic protocols tailored to the Maude-NPA tool. This tool is a model-checker for cryptographic protocol analysis that allows for the incorporation of different equational theories and operates in the unbounded session model without the use of data or control abstraction. An important contribution of this thesis is relative to theoretical aspects of protocol verification in Maude-NPA. First, we define a forwards operational semantics, using rewriting logic as the theoretical framework and the Maude programming language as tool support. This is the first time that a forwards rewriting-based semantics is given for Maude-NPA. Second, we also study the problem that arises in cryptographic protocol analysis when it is necessary to guarantee that certain terms generated during a state exploration are in normal form with respect to the protocol equational theory. We also study techniques to extend Maude-NPA capabilities to support the verification of a wider class of protocols and security properties. First, we present a framework to specify and verify sequential protocol compositions in which one or more child protocols make use of information obtained from running a parent protocol. Second, we present a theoretical framework to specify and verify protocol indistinguishability in Maude-NPA. This kind of properties aim to verify that an attacker cannot distinguish between two versions of a protocol: for example, one using one secret and one using another, as it happens in electronic voting protocols. Finally, this thesis contributes to improve the efficiency of protocol verification in Maude-NPA. We define several techniques which drastically reduce the state space, and can often yield a finite state space, so that whether the desired security property holds or not can in fact be decided automatically, in spite of the general undecidability of such problems. / Santiago Pinazo, S. (2015). Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maude-NPA [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/48527 / TESIS

Aggregate aus Molekülen, in denen die Moleküle über ihre elektronischen Übergangsdipole miteinander wechselwirken, finden wegen ihrer besonderen optischen und Energietransfer-Eigenschaften vielfach Anwendung in Natur, Technik, Biologie und Medizin. Beispiele sind die wechselwirkenden Farbstoffmoleküle, die in den Lichtsammelkomplexen Photosynthese betreibender Lebewesen Sonnenlicht absorbieren und die Energie als elektronische Anregung hocheffizient zu Reaktionszentren weiterleiten, oder Aggregate aus tausenden von organischen Farbstoffmolekülen in einem flüssigen Lösungsmittel. Die Wechselwirkung der Moleküle (Monomere) führt zu über mehrere Moleküle delokalisierten angeregten elektronischen Zuständen, die die Energietransfer-Dynamik und die Absorptionsspektren der Aggregate prägen. Die Lichtabsorption und der Energietransfer in molekularen Aggregaten werden oft stark von Vibrationen beeinflusst, sowohl von internen Vibrationsfreiheitsgraden der Monomere als auch von Vibrationen der Umgebung (z. B. das Proteingerüst in Lichtsammelkomplexen oder eine Flüssigkeitsumgebung), an die die elektronische Anregung koppelt. Da es schwierig ist, diese Vibrationen in die theoretische Beschreibung des Transfers und der Spektren einzubeziehen, ist ihr genauer Einfluss noch nicht gut verstanden. Um dieses Verständnis zu verbessern, entwickeln wir in dieser Arbeit neue Berechnungsmethoden und untersuchen damit die Auswirkungen der Vibrationen. Zuerst betrachten wir die diskreten internen Vibrationsfreiheitsgrade der Monomere. Dazu haben wir eine effiziente numerische Methode entwickelt, die es uns erlaubt, mehrere Freiheitsgrade pro Monomer explizit einzubeziehen und die volle Schrödinger-Gleichung zu lösen. Mit den Modellrechnungen können wir experimentelle Aggregat-Spektren der Helium-Nanotröpfchen-Isolation-Spektroskopie, mit der man die einzelnen Vibrationslinien der Monomere auflösen kann, zum ersten Mal quantitativ reproduzieren. In früheren theoretischen Behandlungen wurde oft nur ein einziger Vibrationsfreiheitsgrad pro Monomer berücksichtigt – nun zeigen wir, dass die Einbeziehung möglichst vieler Freiheitsgrade für eine realistische Beschreibung von Aggregat-Spektren wichtig ist. Um neben den internen Vibrationen auch den Einfluss der Umgebung beschreiben zu können, nutzen wir den Zugang offener Quantensysteme und nehmen an, dass die elektronische Anregung an ein strukturiertes Kontinuum von Vibrationsfreiheitsgraden koppelt. Erstmals wenden wir die sogenannte nicht-markovsche Quanten-Zustands-Diffusion auf die molekularen Aggregate an, wodurch wir mit Hilfe einer Näherung Spektren und Transfer mit einer sehr effizienten stochastischen Schrödinger-Gleichung berechnen können. So können wir Merkmale gemessener Aggregat-Spektren, wie das schmale J-Band und das breite strukturierte H-Band, in Abhängigkeit der Anzahl der Monomere und der Wechselwirkungsstärke zwischen den Monomeren beschreiben. Auch können wir den Übergang von kohärentem zu inkohärentem Transfer erfassen. Eine für den Transfer relevante Größe ist die Anzahl der kohärent gekoppelten Monomere im Aggregat. Diese schätzt man häufig aus der Verschmälerung des Aggregat-Spektrums ab. Wir finden jedoch für verschiedene Spektraldichten des Vibrationskontinuums sehr unterschiedliche Verschmälerungen des Aggregat-Spektrums, die wir analytisch erklären. So zeigen wir, dass die bisherige einfache Abschätzung der Anzahl der kohärent gekoppelten Monomere nicht gerechtfertigt ist, da die Verschmälerung stark vom angenommenen Modell abhängt.