Zobrazeno 1 - 10
of 240
pro vyhledávání: '"Lemberger Thomas"'
Autor:
Baier, Daniel, Beyer, Dirk, Chien, Po-Chun, Jakobs, Marie-Christine, Jankola, Marek, Kettl, Matthias, Lee, Nian-Ze, Lemberger, Thomas, Lingsch-Rosenfeld, Marian, Wachowitz, Henrik, Wendler, Philipp
This tutorial provides an introduction to CPAchecker for users. CPAchecker is a flexible and configurable framework for software verification and testing. The framework provides many abstract domains, such as BDDs, explicit values, intervals, memory
Externí odkaz:
http://arxiv.org/abs/2409.02094
Autor:
Abreu-Vicente, Jorge, Sonntag, Hannah, Eidens, Thomas, Mitchell, Cassie S., Lemberger, Thomas
High throughput extraction and structured labeling of data from academic articles is critical to enable downstream machine learning applications and secondary analyses. We have embedded multimodal data curation into the academic publishing process to
Externí odkaz:
http://arxiv.org/abs/2310.20440
Software bugs significantly contribute to software cost and increase the risk of system malfunctioning. In recent years, many automated program-repair approaches have been proposed to automatically fix undesired program behavior. Despite of their gre
Externí odkaz:
http://arxiv.org/abs/2107.08038
Autor:
Casanova Emilio, Westphal Magdalena, Dassesse Donald, Parlato Rosanna, Lemberger Thomas, Turiault Marc, Tronche François, Schiffmann Serge N, Schütz Günther
Publikováno v:
BMC Neuroscience, Vol 8, Iss 1, p 4 (2007)
Abstract Background Dopamine-activated signaling regulates locomotor and emotional responses and alterations in dopamine-signaling are responsible of several psychomotor disorders. In order to identify specific functions of these pathways, the Cre/lo
Externí odkaz:
https://doaj.org/article/33fad2820ab14de08dee2fa309afc71e
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
We apply a recently-developed low-field technique to inductively measure the critical pair momentum $p_c$ in thin, underdoped films of Y$_{1-x}$Ca$_{x}$Ba$_{2}$Cu$_{3}$O$_{7-\delta}$ and Bi$_{2}$Sr$_{2}$CaCu$_{2}$O$_{8+\delta}$ reflecting a wide rang
Externí odkaz:
http://arxiv.org/abs/1407.6337
Autor:
Draskovic, John, Lemberger, Thomas R., Peters, Brian, Yang, Fengyuan, Ku, Jaseung, Bezryadin, Alexey, Wang, Song
We present measurements of the superconducting coherence length \xi\ in thin (d < 100 \AA) films of MoGe alloy and Nb using a combination of linear and nonlinear mutual inductance techniques. As the alternating current in the drive coil is increased
Externí odkaz:
http://arxiv.org/abs/1403.6856
Autor:
Lemberger, Thomas R., Draskovic, John
We consider the first appearance of vortices in a two-dimensional (2-D) superconducting film exposed to a non-uniform magnetic field, $\mathbf{B_a}$, produced by a nearby coil. The film has "infinite" radius, $R_f$, and thickness $t$ about equal to t
Externí odkaz:
http://arxiv.org/abs/1302.0896
We report the first measurements of the effective superfluid density n_S(T) \propto \lambda^{-2}(T) of Superconductor-Ferromagnet (SC/FM) bilayers, where \lambda is the effective magnetic field penetration depth. Thin Nb/Ni bilayers were sputtered in
Externí odkaz:
http://arxiv.org/abs/0710.3376