Buchumschlag

Dopamina E Receptores

Fuente: Redalyc

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Maria Fernanda Estevinho
Format:	Artículo científico
Sprache:	pt
Veröffentlicht:	Sociedade Portuguesa de Psicossomática 2003
Schlagworte:	Psicología D3 D4 D5 e D2 Dopamina Receptores D1
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

Receptores da dopamina e esquizofrenia
von: Jorge Pinto Correia
Veröffentlicht: (2002)

Validating Formal Specifications with LLM-generated Test Cases
von: Cunha, Alcino, et al.
Veröffentlicht: (2025)

Synthesizing Test Cases for Narrowing Specification Candidates
von: Cunha, Alcino, et al.
Veröffentlicht: (2025)

Hydrographic measurements in the Northern Benguela upwelling system during the cruise Discovery D356
von: Mohrholz, Volker
Veröffentlicht: (2012)

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

File System Aging
von: Conway, Alex, et al.
Veröffentlicht: (2024)

Completing the Functional Approach in Object-Oriented Languages
von: Pluemicke, Martin
Veröffentlicht: (2024)

PyPackIT: Automated Research Software Engineering for Scientific Python Applications on GitHub
von: Ariamajd, Armin, et al.
Veröffentlicht: (2025)

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

Graph-Based Specification and Automated Construction of ILP Problems
von: Ehmes, Sebastian, et al.
Veröffentlicht: (2022)

Automatic Generation of Combinatorial Reoptimisation Problem Specifications: A Vision
von: Kratz, Maximilian, et al.
Veröffentlicht: (2025)

Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
von: Geeson, Luke, et al.
Veröffentlicht: (2024)

Scalable and Secure AI Inference in Healthcare: A Comparative Benchmarking of FastAPI and Triton Inference Server on Kubernetes
von: Ali, Ratul
Veröffentlicht: (2026)

Good modelling software practices
von: Lemmen, Carsten, et al.
Veröffentlicht: (2024)

Source Code Protection for Applications Written in Microsoft Excel and Google Spreadsheet
von: Grossman, Thomas A.
Veröffentlicht: (2008)

Policy as Code, Policy as Type
von: Fuchs, Matthew D.
Veröffentlicht: (2025)

The concept of class invariant in object-oriented programming
von: Meyer, Bertrand, et al.
Veröffentlicht: (2021)

Meta-Monomorphizing Specializations
von: Bruzzone, Federico, et al.
Veröffentlicht: (2026)

Conversational Concurrency
von: Garnock-Jones, Tony
Veröffentlicht: (2024)

Grounded Language Design for Lightweight Diagramming for Formal Methods
von: Prasad, Siddhartha, et al.
Veröffentlicht: (2024)

Constrained LTL Specification Learning from Examples
von: Zhang, Changjian, et al.
Veröffentlicht: (2024)

Baking for Dafny: A CakeML Backend for Dafny
von: Nezamabadi, Daniel, et al.
Veröffentlicht: (2025)

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT
von: Rawat, Sanjay
Veröffentlicht: (2026)

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

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

Modal Verification Patterns for Systems Software
von: Kuru, Ismail, et al.
Veröffentlicht: (2025)

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

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects
von: Beg, Arshad, et al.
Veröffentlicht: (2025)

A Short Survey on Formalising Software Requirements using Large Language Models
von: Beg, Arshad, et al.
Veröffentlicht: (2025)

Code Less to Code More: Streamlining Language Server Protocol and Type System Development for Language Families
von: Bruzzone, Federico, et al.
Veröffentlicht: (2025)

Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types
von: Suwa, Takashi, et al.
Veröffentlicht: (2026)

A Gentle Overview of Asynchronous Session-based Concurrency: Deadlock Freedom by Typing
von: Heuvel, Bas van den, et al.
Veröffentlicht: (2024)

Comparing Human and LLM Generated Code: The Jury is Still Out!
von: Licorish, Sherlock A., et al.
Veröffentlicht: (2025)

THE DIMENSIONAL EXPANSION OF THE UNIVERSE AND NUMBERS
von: Schuppers, Delája
Veröffentlicht: (2026)

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

Chlorophyll pigments from the Namibian upwelling system during Discovery 356
von: Wasmund, Norbert
Veröffentlicht: (2011)

LLMLOOP: Improving LLM-Generated Code and Tests through Automated Iterative Feedback Loops
von: Ravi, Ravin, et al.
Veröffentlicht: (2026)

Prioritizing Configuration Relevance via Compiler-Based Refined Feature Ranking
von: Bruzzone, Federico, et al.
Veröffentlicht: (2026)

Code Documentation and Analysis to Secure Software Development
von: Attie, Paul, et al.
Veröffentlicht: (2024)