Enregistré dans:
| Auteur principal: | Maria Fernanda Estevinho |
|---|---|
| Format: | Artículo científico |
| Langue: | pt |
| Publié: |
Sociedade Portuguesa de Psicossomática
2003
|
| Sujets: | |
| Accès en ligne: | https://www.redalyc.org/articulo.oa?id=28750103 |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
LOS RECEPTORES DOPAMINÉRGICOS D2/D3 HIPOTALÁMICOS PARTICPAN EN LA REGULACIÓN DEL COMPORTAMIENTO ALIMENTARIO
par: Juan Gabriel Tejas Juárez
Publié: (2010)
par: Juan Gabriel Tejas Juárez
Publié: (2010)
Receptores da dopamina e esquizofrenia
par: Jorge Pinto Correia
Publié: (2002)
par: Jorge Pinto Correia
Publié: (2002)
Efectos de las drogas dopaminérgicas sobre el sistema cardiovascular y liberación de insulina en sujetos sanos y diabeticos tipo 2
par: IC Clemente
Publié: (2005)
par: IC Clemente
Publié: (2005)
Influencia de dopamina y metoclopramida en variables metabólicas y hemodinámicas de pacientes diabéticos tipo 2
par: Freddy Contreras
Publié: (2010)
par: Freddy Contreras
Publié: (2010)
La Administración del Agonista mGluR2/3 APDC Disminuye la Señal Discriminativa de la Anfetamina en Ratas
par: Laura N. Cedillo Zavaleta
Publié: (2021)
par: Laura N. Cedillo Zavaleta
Publié: (2021)
Hydrographic measurements in the Northern Benguela upwelling system during the cruise Discovery D356
par: Mohrholz, Volker
Publié: (2012)
par: Mohrholz, Volker
Publié: (2012)
File System Aging
par: Conway, Alex, et autres
Publié: (2024)
par: Conway, Alex, et autres
Publié: (2024)
Validating Formal Specifications with LLM-generated Test Cases
par: Cunha, Alcino, et autres
Publié: (2025)
par: Cunha, Alcino, et autres
Publié: (2025)
Synthesizing Test Cases for Narrowing Specification Candidates
par: Cunha, Alcino, et autres
Publié: (2025)
par: Cunha, Alcino, et autres
Publié: (2025)
Efectividad de la ketamina para reducir los requerimientos perioperatorios de opioides: Un ensayo clínico doble ciego, controlado con placebo
par: Luis Enrique Chaparro
Publié: (2005)
par: Luis Enrique Chaparro
Publié: (2005)
PyPackIT: Automated Research Software Engineering for Scientific Python Applications on GitHub
par: Ariamajd, Armin, et autres
Publié: (2025)
par: Ariamajd, Armin, et autres
Publié: (2025)
Policy as Code, Policy as Type
par: Fuchs, Matthew D.
Publié: (2025)
par: Fuchs, Matthew D.
Publié: (2025)
The concept of class invariant in object-oriented programming
par: Meyer, Bertrand, et autres
Publié: (2021)
par: Meyer, Bertrand, et autres
Publié: (2021)
Talk is Cheap, Logic is Hard: Benchmarking LLMs on Post-Condition Formalization
par: Prasetya, I. S. W. B., et autres
Publié: (2026)
par: Prasetya, I. S. W. B., et autres
Publié: (2026)
Good modelling software practices
par: Lemmen, Carsten, et autres
Publié: (2024)
par: Lemmen, Carsten, et autres
Publié: (2024)
Source Code Protection for Applications Written in Microsoft Excel and Google Spreadsheet
par: Grossman, Thomas A.
Publié: (2008)
par: Grossman, Thomas A.
Publié: (2008)
Model-Driven Rapid Prototyping for Control Algorithms with the GIPS Framework (System Description)
par: Kratz, Maximilian, et autres
Publié: (2025)
par: Kratz, Maximilian, et autres
Publié: (2025)
Graph-Based Specification and Automated Construction of ILP Problems
par: Ehmes, Sebastian, et autres
Publié: (2022)
par: Ehmes, Sebastian, et autres
Publié: (2022)
Automatic Generation of Combinatorial Reoptimisation Problem Specifications: A Vision
par: Kratz, Maximilian, et autres
Publié: (2025)
par: Kratz, Maximilian, et autres
Publié: (2025)
Completing the Functional Approach in Object-Oriented Languages
par: Pluemicke, Martin
Publié: (2024)
par: Pluemicke, Martin
Publié: (2024)
Scalable and Secure AI Inference in Healthcare: A Comparative Benchmarking of FastAPI and Triton Inference Server on Kubernetes
par: Ali, Ratul
Publié: (2026)
par: Ali, Ratul
Publié: (2026)
Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
par: Geeson, Luke, et autres
Publié: (2024)
par: Geeson, Luke, et autres
Publié: (2024)
Is digit ratio (2D:4D) different between sexual and non-sexual offenders, and non-offending men? Study of a Colombian sample
par: Milena Vásquez-Amézquita
Publié: (2022)
par: Milena Vásquez-Amézquita
Publié: (2022)
Meta-Monomorphizing Specializations
par: Bruzzone, Federico, et autres
Publié: (2026)
par: Bruzzone, Federico, et autres
Publié: (2026)
NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT
par: Rawat, Sanjay
Publié: (2026)
par: Rawat, Sanjay
Publié: (2026)
Constrained LTL Specification Learning from Examples
par: Zhang, Changjian, et autres
Publié: (2024)
par: Zhang, Changjian, et autres
Publié: (2024)
On the Soundness and Consistency of LLM Agents for Executing Test Cases Written in Natural Language
par: Salva, Sébastien, et autres
Publié: (2025)
par: Salva, Sébastien, et autres
Publié: (2025)
Chlorophyll pigments from the Namibian upwelling system during Discovery 356
par: Wasmund, Norbert
Publié: (2011)
par: Wasmund, Norbert
Publié: (2011)
Grounded Language Design for Lightweight Diagramming for Formal Methods
par: Prasad, Siddhartha, et autres
Publié: (2024)
par: Prasad, Siddhartha, et autres
Publié: (2024)
Conversational Concurrency
par: Garnock-Jones, Tony
Publié: (2024)
par: Garnock-Jones, Tony
Publié: (2024)
Baking for Dafny: A CakeML Backend for Dafny
par: Nezamabadi, Daniel, et autres
Publié: (2025)
par: Nezamabadi, Daniel, et autres
Publié: (2025)
Biogeochemical characteristics of the Northern Benguela upwelling system with emphasis on the carbonate system and nutrient dynamics during Discovery 356
par: Rixen, Tim, et autres
Publié: (2012)
par: Rixen, Tim, et autres
Publié: (2012)
Short Version of VERIFAI2026 Paper -- Learning Infused Formal Reasoning: Contract Synthesis, Artefact Reuse and Semantic Foundations
par: Beg, Arshad, et autres
Publié: (2026)
par: Beg, Arshad, et autres
Publié: (2026)
Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects
par: Beg, Arshad, et autres
Publié: (2025)
par: Beg, Arshad, et autres
Publié: (2025)
A Short Survey on Formalising Software Requirements using Large Language Models
par: Beg, Arshad, et autres
Publié: (2025)
par: Beg, Arshad, et autres
Publié: (2025)
GBM Returns the Best Prediction Performance among Regression Approaches: A Case Study of Stack Overflow Code Quality
par: Licorish, Sherlock A., et autres
Publié: (2025)
par: Licorish, Sherlock A., et autres
Publié: (2025)
Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types
par: Suwa, Takashi, et autres
Publié: (2026)
par: Suwa, Takashi, et autres
Publié: (2026)
Modal Verification Patterns for Systems Software
par: Kuru, Ismail, et autres
Publié: (2025)
par: Kuru, Ismail, et autres
Publié: (2025)
LLMLOOP: Improving LLM-Generated Code and Tests through Automated Iterative Feedback Loops
par: Ravi, Ravin, et autres
Publié: (2026)
par: Ravi, Ravin, et autres
Publié: (2026)
THE DIMENSIONAL EXPANSION OF THE UNIVERSE AND NUMBERS
par: Schuppers, Delája
Publié: (2026)
par: Schuppers, Delája
Publié: (2026)
Documents similaires
-
LOS RECEPTORES DOPAMINÉRGICOS D2/D3 HIPOTALÁMICOS PARTICPAN EN LA REGULACIÓN DEL COMPORTAMIENTO ALIMENTARIO
par: Juan Gabriel Tejas Juárez
Publié: (2010) -
Receptores da dopamina e esquizofrenia
par: Jorge Pinto Correia
Publié: (2002) -
Efectos de las drogas dopaminérgicas sobre el sistema cardiovascular y liberación de insulina en sujetos sanos y diabeticos tipo 2
par: IC Clemente
Publié: (2005) -
Influencia de dopamina y metoclopramida en variables metabólicas y hemodinámicas de pacientes diabéticos tipo 2
par: Freddy Contreras
Publié: (2010) -
La Administración del Agonista mGluR2/3 APDC Disminuye la Señal Discriminativa de la Anfetamina en Ratas
par: Laura N. Cedillo Zavaleta
Publié: (2021)