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