:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autore principale:	Maria Fernanda Estevinho
Natura:	Artículo científico
Lingua:	pt
Pubblicazione:	Sociedade Portuguesa de Psicossomática 2003
Soggetti:	Psicología D3 D4 D5 e D2 Dopamina Receptores D1
Accesso online:	https://www.redalyc.org/articulo.oa?id=28750103
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

LOS RECEPTORES DOPAMINÉRGICOS D2/D3 HIPOTALÁMICOS PARTICPAN EN LA REGULACIÓN DEL COMPORTAMIENTO ALIMENTARIO
di: Juan Gabriel Tejas Juárez
Pubblicazione: (2010)

Receptores da dopamina e esquizofrenia
di: Jorge Pinto Correia
Pubblicazione: (2002)

Efectos de las drogas dopaminérgicas sobre el sistema cardiovascular y liberación de insulina en sujetos sanos y diabeticos tipo 2
di: IC Clemente
Pubblicazione: (2005)

Influencia de dopamina y metoclopramida en variables metabólicas y hemodinámicas de pacientes diabéticos tipo 2
di: Freddy Contreras
Pubblicazione: (2010)

La Administración del Agonista mGluR2/3 APDC Disminuye la Señal Discriminativa de la Anfetamina en Ratas
di: Laura N. Cedillo Zavaleta
Pubblicazione: (2021)

Hydrographic measurements in the Northern Benguela upwelling system during the cruise Discovery D356
di: Mohrholz, Volker
Pubblicazione: (2012)

File System Aging
di: Conway, Alex, et al.
Pubblicazione: (2024)

Validating Formal Specifications with LLM-generated Test Cases
di: Cunha, Alcino, et al.
Pubblicazione: (2025)

Synthesizing Test Cases for Narrowing Specification Candidates
di: Cunha, Alcino, et al.
Pubblicazione: (2025)

Efectividad de la ketamina para reducir los requerimientos perioperatorios de opioides: Un ensayo clínico doble ciego, controlado con placebo
di: Luis Enrique Chaparro
Pubblicazione: (2005)

PyPackIT: Automated Research Software Engineering for Scientific Python Applications on GitHub
di: Ariamajd, Armin, et al.
Pubblicazione: (2025)

Policy as Code, Policy as Type
di: Fuchs, Matthew D.
Pubblicazione: (2025)

The concept of class invariant in object-oriented programming
di: Meyer, Bertrand, et al.
Pubblicazione: (2021)

Talk is Cheap, Logic is Hard: Benchmarking LLMs on Post-Condition Formalization
di: Prasetya, I. S. W. B., et al.
Pubblicazione: (2026)

Good modelling software practices
di: Lemmen, Carsten, et al.
Pubblicazione: (2024)

Source Code Protection for Applications Written in Microsoft Excel and Google Spreadsheet
di: Grossman, Thomas A.
Pubblicazione: (2008)

Model-Driven Rapid Prototyping for Control Algorithms with the GIPS Framework (System Description)
di: Kratz, Maximilian, et al.
Pubblicazione: (2025)

Graph-Based Specification and Automated Construction of ILP Problems
di: Ehmes, Sebastian, et al.
Pubblicazione: (2022)

Automatic Generation of Combinatorial Reoptimisation Problem Specifications: A Vision
di: Kratz, Maximilian, et al.
Pubblicazione: (2025)

Completing the Functional Approach in Object-Oriented Languages
di: Pluemicke, Martin
Pubblicazione: (2024)

Scalable and Secure AI Inference in Healthcare: A Comparative Benchmarking of FastAPI and Triton Inference Server on Kubernetes
di: Ali, Ratul
Pubblicazione: (2026)

Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
di: Geeson, Luke, et al.
Pubblicazione: (2024)

Is digit ratio (2D:4D) different between sexual and non-sexual offenders, and non-offending men? Study of a Colombian sample
di: Milena Vásquez-Amézquita
Pubblicazione: (2022)

Meta-Monomorphizing Specializations
di: Bruzzone, Federico, et al.
Pubblicazione: (2026)

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT
di: Rawat, Sanjay
Pubblicazione: (2026)

Constrained LTL Specification Learning from Examples
di: Zhang, Changjian, et al.
Pubblicazione: (2024)

On the Soundness and Consistency of LLM Agents for Executing Test Cases Written in Natural Language
di: Salva, Sébastien, et al.
Pubblicazione: (2025)

Chlorophyll pigments from the Namibian upwelling system during Discovery 356
di: Wasmund, Norbert
Pubblicazione: (2011)

Grounded Language Design for Lightweight Diagramming for Formal Methods
di: Prasad, Siddhartha, et al.
Pubblicazione: (2024)

Conversational Concurrency
di: Garnock-Jones, Tony
Pubblicazione: (2024)

Baking for Dafny: A CakeML Backend for Dafny
di: Nezamabadi, Daniel, et al.
Pubblicazione: (2025)

Biogeochemical characteristics of the Northern Benguela upwelling system with emphasis on the carbonate system and nutrient dynamics during Discovery 356
di: Rixen, Tim, et al.
Pubblicazione: (2012)

Short Version of VERIFAI2026 Paper -- Learning Infused Formal Reasoning: Contract Synthesis, Artefact Reuse and Semantic Foundations
di: Beg, Arshad, et al.
Pubblicazione: (2026)

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects
di: Beg, Arshad, et al.
Pubblicazione: (2025)

A Short Survey on Formalising Software Requirements using Large Language Models
di: Beg, Arshad, et al.
Pubblicazione: (2025)

GBM Returns the Best Prediction Performance among Regression Approaches: A Case Study of Stack Overflow Code Quality
di: Licorish, Sherlock A., et al.
Pubblicazione: (2025)

Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types
di: Suwa, Takashi, et al.
Pubblicazione: (2026)

Modal Verification Patterns for Systems Software
di: Kuru, Ismail, et al.
Pubblicazione: (2025)

LLMLOOP: Improving LLM-Generated Code and Tests through Automated Iterative Feedback Loops
di: Ravi, Ravin, et al.
Pubblicazione: (2026)

THE DIMENSIONAL EXPANSION OF THE UNIVERSE AND NUMBERS
di: Schuppers, Delája
Pubblicazione: (2026)