Results 111 to 120 of about 24,469,413 (266)

Partial Orders for Efficient BMC of Concurrent Software [PDF]

, 2013
This version previously deposited at arXiv:1301.1629v1 [cs.LO]The vast number of interleavings that a concurrent program can have is typically identified as the root cause of the difficulty of automatic analysis of concurrent software.
Kroening, D, Alglave, J, Tautschnig, M
core  

HD-CAV-2 and fibre knob modulate genes related to microtubule metabolism.

, 2015
A) Single gene expression validation by Q-PCR in differentiated neural cells derived from two independent hmNPC batches (#1, BNA and #2, 3821) transduced with HD-CAV-2, LV, mock treated, at 5 days posttransduction.
Eric J. Kremer (171035), Sara Salinas (264083), Rodolfo Negri (223420), Paula M. Alves (139464), Daniel Simao (774990), Carla Mottini (774991), Catarina Brito (210743), Enrico Tagliafico (438193), Romina Burla (760345), Stefania Piersanti (438189), Isabella Saggio (112602), Valerio Licursi (223409), Mattia La Torre (760451)   +12 more
core   +1 more source

Selective modulation of NaV channel gating counteracts aberrant hyperexcitability and rescues motor function and survival in a model of spinal muscular atrophy

British Journal of Pharmacology, EarlyView.
Background and Purpose Spinal muscular atrophy (SMA) is a motor neuron disease caused by SMN1 gene loss, leading to reduced survival motor neuron (SMN) protein and progressive motor neuron degeneration. Although SMN‐restoring therapies improve outcomes, residual disease burden and non‐curative efficacy underscore the need for complementary treatments ...
Fernanda C. Cardoso, Jessica A. I. Muller, Yougang Zhang, Jean Giacomotto   +3 more
wiley   +1 more source

The c‐Src inhibitor eCF506 diminishes opioid tolerance and reduces β‐arrestin2 recruitment

British Journal of Pharmacology, EarlyView.
Morphine activation of μ receptors causes tolerance through c‐Src activation and β‐arrestin2 recruitment. c‐Src inhibition or degradation reduces β‐arrestin2 recruitment, μ receptor endocytosis, while causing receptor upregulation, all likely contributing to reduced morphine tolerance.
Samuel Singleton, Fraser Nunn, Erika Lace, Álvaro Lorente‐Macías, Rachel Toth, Asier Unciti‐Broceta, Tim G. Hales   +6 more
wiley   +1 more source

The Serological and Virological Investigation of Canine Adenovirus Infection on the Dogs

The Scientific World Journal, 2013
Two types of Canine Adenovirus (CAVs), Canine Adenovirus type 1 (CAV-1), the virus which causes infectious canine hepatitis, and Canine Adenovirus type 2 (CAV-2), which causes canine infectious laryngotracheitis, have been found in dogs.
Oya Bulut, Orhan Yapici, Oguzhan Avci, Atilla Simsek, Kamil Atli, Irmak Dik, Sibel Yavru, Sibel Hasircioglu, Mehmet Kale, Nuri Mamak   +9 more
doaj   +1 more source

Plasmids, vectors and cells for I-SceI-mediated CAV-2 vector generation.

, 2013
A) DKSce cells: A vesicular stomatitis virus g protein (VSVG) pseudo-typed murine leukemia virus (MLV) vector harboring an HA-ER-SceI expression cassette was generated by transfecting 293 cells with pBabe-I-SceI-ER and relevant plasmids The cleared ...
Eric J. Kremer (171035), Sandy Ibanes (171008)   +1 more
core   +1 more source

Bridging Policy and Practice: A Mixed‐Methods Study of Child Maltreatment Prevention in a Southern Italian City

Child &Family Social Work, EarlyView.
ABSTRACT Effective child protection systems increasingly rely on integrated, multi‐agency responses to prevent and address child maltreatment. However, in many European welfare contexts, collaboration across services remains constrained by organizational fragmentation.
Caterina Balenzano, Elena Carletti, Maddalena Floriana Grassi   +2 more
wiley   +1 more source

EvolvED: Evolutionary Embeddings to Understand the Generation Process of Diffusion Models

Computer Graphics Forum, EarlyView.
EvolvED visualises how diffusion models generate images by embedding intermediate outputs to preserve semantics and evolutionary structure. It supports analysis via (a) user‐defined goals and prompts, (b) sampling intermediate images, (c) extracting relevant features, and (d) visualising them in structured radial and rectilinear layouts for ...
Vidya Prasad, Hans van Gorp, Christina Humer, Ruud J. G. van Sloun, Anna Vilanova, Nicola Pezzotti   +5 more
wiley   +1 more source

Proteomics early after heart transplantation and relation to coronary intimal changes and prognosis

JHLT Open
Background: Long-term survival after heart transplantation (HTx) is limited by cardiac allograft vasculopathy (CAV). The pathogenesis of CAV is poorly understood, and treatment has not yet been well-established.
Rasmus Gebauer Dalsgaard, BMSc, Tor Skibsted Clemmensen, MD, PhD, DMSc, Hans Eiskjær, MD, DMSc, Steen Hvitfeldt Poulsen, MD, DMSc, PhD, Kamilla Pernille Bjerre, MD, PhD   +4 more
doaj   +1 more source

Local habitat, not landscape diversity, drives richness and reproduction of cavity‐nesting bees and wasps in agricultural landscapes

Insect Conservation and Diversity, EarlyView.
Local habitat type and hedgerow cover strongly shape bee and wasp richness, but only weakly their reproductive output, outweighing the landscape diversity effects at the 1‐km2 scale. Forests host more wasp but fewer bee species, whereas orchards support high richness of both; bee reproduction patterns are driven by one dominant species, while wasp ...
Sara Tassoni, Marit Kinga Kasten, Thomas Hiller, Michael Staab, Frank M. Schurr, Ingo Grass   +5 more
wiley   +1 more source