Affiner les résultats

Collection spécifique

Langue

Domaine

Università della Svizzera italiana

CXCR7 prevents excessive CXCL12-mediated downregulation of CXCR4 in migrating cortical interneurons

Abe, Philipp ; Mueller, Wiebke ; Schütz, Dagmar ; MacKay, Fabienne ; Thelen, Marcus ; Zhang, Penglie ; Stumm, Ralf

In: Development, 2014, vol. 141, no. 9, p. 1857-1863

The CXCL12/CXCR4 signaling pathway is involved in the development of numerous neuronal and non-neuronal structures. Recent work established that the atypical second CXCL12 receptor, CXCR7, is essential for the proper migration of interneuron precursors in the developing cerebral cortex. Two CXCR7-mediated functions were proposed in this process: direct modulation of β-arrestin-mediated...

Consortium of Swiss Academic Libraries

Automated GUI performance testing

Adamoli, Andrea ; Zaparanuks, Dmitrijs ; Jovic, Milan ; Hauswirth, Matthias

In: Software Quality Journal, 2011, vol. 19, no. 4, p. 801-839

Università della Svizzera italiana

End-user development of mashups using live natural language programming

Aghaee, Saeed ; Pautasso, Cesare (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2014 ; 2014INFO002.

The emergence of the long-tail in the market of software applications is shifting the role of end-users from mere consumers to becoming developers of applications addressing their unique, personal, and transient needs. On the Web, a popular form of such applications is called mashup, built out of the lightweight composition of Web APIs (reusable software components delivered as a service...

Università della Svizzera italiana

An SMT-based verification framework for software systems handling arrays

Alberti, Francesco ; Sharygina, Natasha (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2015 ; 2015INFO003.

Recent advances in the areas of automated reasoning and first-order theorem proving paved the way to the developing of effective tools for the rigorous formal analysis of computer systems. Nowadays many formal verification frameworks are built over highly engineered tools (SMT-solvers) implementing decision procedures for quantifier- free fragments of theories of interest for (dis)proving...

Consortium of Swiss Academic Libraries

Scattering theory for Schrödinger operators with Bessel-type potentials

Albeverio, S. ; Hryniv, R. ; Mykytyuk, Ya

In: Journal für die reine und angewandte Mathematik (Crelles Journal), 2012, vol. 2012, no. 666, p. 83-113

Consortium of Swiss Academic Libraries

Subordination of symmetric quasi -regular Dirichlet forms

Albeverio, Sergio ; Rüdiger, Barbara

In: Random Operators and Stochastic Equations, 2005, vol. 13, no. 1, p. 17-38

Consortium of Swiss Academic Libraries

A Remark on different lattice approximations and continuum limits for -fields

Albeverio, Sergio ; Liang, Song

In: Random Operators and Stochastic Equations, 2004, vol. 12, no. 4, p. 313-318