Открытый каталог публикаций OpenAlex 1 086 документов

• Automated Deduction — CADE-16
  автор: Harald Ganzinger год: 1999 источник: Lecture notes in computer science тип: книга
  Страница публикацииПодробнее
• Theory and Applications of Satisfiability Testing - SAT 2009
  автор: Oliver Kullmann год: 2009 источник: Lecture notes in computer science тип: книга
  Полный текстПодробнее
• Theory and Applications of Satisfiability Testing – SAT 2008
  год: 2008 источник: Lecture notes in computer science тип: книга
  Страница публикацииПодробнее
• Principles and Practice of Constraint Programming – CP 2010
  автор: David Cohen год: 2010 источник: Lecture notes in computer science тип: книга
  Страница публикацииПодробнее
• FME'96: Industrial Benefit and Advances in Formal Methods
  авторы: Jan Van Leeuwen; Marie-Claude Gaudel; Jim Woodcock и др. год: 1996 источник: Lecture notes in computer science тип: книга
  Страница публикацииПодробнее
• Rewriting Techniques and Applications
  авторы: Pascal Urso; Emmanuel Kounalis год: 2003 источник: Lecture notes in computer science тип: книга
  Страница публикацииПодробнее
• Decision making, the P3, and the locus coeruleus--norepinephrine system.
  авторы: Sander Nieuwenhuis; Gary Aston‐Jones; Jonathan D. Cohen год: 2005 источник: Psychological Bulletin тип: review
  Полный текстПодробнее
• Orienting and Reorienting: The Locus Coeruleus Mediates Cognition through Arousal
  авторы: Susan J. Sara; Sébastien Bouret год: 2012 источник: Neuron тип: review
  Полный текстПодробнее
• Shifting moods, wandering minds: Negative moods lead the mind to wander.
  авторы: Jonathan Smallwood; Annamay Fitzgerald; Lynden K. Miles и др. год: 2009 источник: Emotion тип: статья из журнала
  Страница публикацииПодробнее
• Compiler Construction
  год: 2004 источник: Lecture notes in computer science тип: книга
  Страница публикацииПодробнее
• Error‐related brain potentials are differentially related to awareness of response errors: Evidence from an antisaccade task
  авторы: Sander Nieuwenhuis; K. Richard Ridderinkhof; J. G. BLOM и др. год: 2001 источник: Psychophysiology тип: статья из журнала
  Страница публикацииПодробнее
• Logic for Programming, Artificial Intelligence, and Reasoning
  авторы: Geoff Sutcliffe; Андрей Воронков год: 2005 источник: Lecture notes in computer science тип: книга
  Страница публикацииПодробнее
• An agenda for sustainability transitions research: State of the art and future directions
  авторы: Jonathan Köhler; Frank W. Geels; Florian Kern и др. год: 2019 источник: Environmental Innovation and Societal Transitions тип: статья из журнала
  Полный текстПодробнее
• Rewriting Techniques and Applications
  автор: Aart Middeldorp год: 2001 источник: Lecture notes in computer science тип: книга
  Страница публикацииПодробнее
• Feedback-related Negativity Codes Prediction Error but Not Behavioral Adjustment during Probabilistic Reversal Learning
  авторы: Henry W. Chase; Rachel Swainson; Lucy E. Durham и др. год: 2010 источник: Journal of Cognitive Neuroscience тип: статья из журнала
  Полный текстПодробнее