000509 (2011-03-28) |
Adam Meissner [Pologne] | Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic |
000A63 (2009) |
Adam Meissner [Pologne] | A Simple Parallel Reasoning System for the $\mathcal{ALC}$ Description Logic |
002B07 (1999) |
G L Shaw [États-Unis] ; M. Bodner | Music enhances spatial-temporal reasoning: towards a neurophysiological basis using EEG. |
003833 (1995) |
F. H. Rauscher [États-Unis] ; G. L. Shaw ; K. N. Ky | Listerning to Mozart enhances spatial-temporal reasoning : towards a neurophysiological basis |
002168 (2002) |
Jürgen Zimmer [Allemagne] ; Michael Kohlhase [États-Unis] | System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning |
002454 (2001) |
M. Bodner [États-Unis] ; L T Muftuler ; O. Nalcioglu ; G L Shaw | FMRI study relevant to the Mozart effect: brain areas involved in spatial-temporal reasoning. |
002D84 (1998) |
J K Johnson [États-Unis] ; C W Cotman ; C S Tasaki ; G L Shaw | Enhancement of spatial-temporal reasoning after a Mozart listening condition in Alzheimer's disease: a case study. |
003040 (1997) |
J. Sarnthein [Autriche] ; A. Vonstein ; P. Rappelsberger ; H. Petsche ; F H Rauscher ; G L Shaw | Persistent patterns of brain activity: an EEG coherence study of the positive effect of music on spatial-temporal reasoning. |
003042 (1997) |
F H Rauscher [États-Unis] ; G L Shaw ; L J Levine ; E L Wright ; W R Dennis ; R L Newcomb | Music training causes long-term enhancement of preschool children's spatial-temporal reasoning. |
000062 (2015) |
Marina V. Zueva | Fractality of sensations and the brain health: the theory linking neurodegenerative disorder with distortion of spatial and temporal scale-invariance and fractal complexity of the visible world |
000571 (2011) |
S. Yamamoto [Brésil] ; L. Netto [Brésil] | Spatial Representation and Reasoning: Integrating Synthetic Character’s Visual Perception and Symbolic Representation |
001017 (2008) |
Oleg Lobachev [Allemagne] ; Rita Loogen [Allemagne] | Towards an Implementation of a Computer Algebra System in a Functional Language |
001018 (2008) |
Adam Meissner [Pologne] | Introducing Parallel Computations to a PTTP-Based First-Order Reasoning Process in the Oz Language |
001212 (2008) |
Adam Meissner [Pologne] ; Magdalena Niwi Ska [Pologne] ; Krzysztof Zwierzy Ski [Pologne] | Computing the Irregularity Strength of Connected Graphs by Parallel Constraint Solving in the Mozart System |
001954 (2005) |
Evren Tekin [Royaume-Uni] ; Christina Anagnostopoulou [Royaume-Uni] ; Yo Tomita [Royaume-Uni] | Towards an Intelligent Score Following System: Handling of Mistakes and Jumps Encountered During Piano Practicing |
001B17 (2005) |
Mary Ann Glynn [États-Unis] ; Michael Lounsbury | From the Critics’ Corner: Logic Blending, Discursive Change and Authenticity in a Cultural Production System |
001F02 (2003) |
Amanda Lints [Canada] ; Shannon Gadbois | Is listening to Mozart the only way to enhance spatial reasoning? |
002463 (2001) |
Torbjörn Lager [Suède] | Shallow Processing and Cautious Incrementality in a Dialogue System Front End: Two Steps towards Robustness and Reactivity |
002A31 (2000) |
Frances H. Rauscher [États-Unis] ; Mary Anne Zupan [États-Unis] | Classroom keyboard instruction improves kindergarten children’s spatial-temporal performance: A field experiment |
002B15 (1999) |
Andreas Franke [Allemagne] ; Michael Kohlhase [Allemagne] | System Description: MathWeb , an Agent-Based Communication Layer for Distributed Automated Theorem Proving |
002B17 (1999) |
Nikolai Vazov [Bulgarie] | Context-Scanning Strategy in Temporal Reasoning |
004513 (1991) |
G. Cabodi [Italie] ; P. Camurati [Italie] ; P. Prinetto [Italie] ; M. Sonza Reorda [Italie] | TPDL: Extended temporal profile description language |
004A84 (1989) |
Jim Mackenzie [Australie] | Reasoning and logic |
000002 (2016) |
Yingshou Xing [République populaire de Chine] ; Wenxi Chen [République populaire de Chine] ; Yanran Wang [République populaire de Chine] ; Wei Jing [République populaire de Chine] ; Shan Gao [République populaire de Chine] ; Daqing Guo [République populaire de Chine] ; Yang Xia [République populaire de Chine] ; Dezhong Yao [République populaire de Chine] | Music exposure improves spatial cognition by enhancing the BDNF level of dorsal hippocampal subregions in the developing rats. |
000009 (2015) |
Anne C. Reboul | Why language really is not a communication system: a cognitive view of language evolution |
000118 (2014) |
Robert J. Ellis ; Zhiyan Duan ; Ye Wang | Quantifying Auditory Temporal Stability in a Large Database of Recorded Music |
000122 (2014) |
Teemu Rinne [Finlande] ; Heidi Ala-Salom Ki [Finlande] ; G. Christopher Stecker [Finlande, États-Unis] ; Jukka P Tynen [Finlande] ; Tapio Lokki [Finlande] | Processing of spatial sounds in human auditory cortex during visual, discrimination and 2-back tasks |
000149 (2014) |
Alma Guilbert ; Christine Moroni | Hearing and music in unilateral spatial neglect neuro-rehabilitation |
000155 (2014) |
Hisao Hiraba [Japon] ; Motoharu Inoue [Japon] ; Kanako Gora [Japon] ; Takako Sato [Japon] ; Satoshi Nishimura [Japon] ; Masaru Yamaoka [Japon] ; Ayano Kumakura [Japon] ; Shinya Ono [Japon] ; Hirotugu Wakasa [Japon] ; Enri Nakayama [Japon] ; Kimiko Abe [Japon] ; Koichiro Ueda [Japon] | Facial Vibrotactile Stimulation Activates the Parasympathetic Nervous System: Study of Salivary Secretion, Heart Rate, Pupillary Reflex, and Functional Near-Infrared Spectroscopy Activity |
000156 (2014) |
Mozart D. Bispo [Brésil] ; Flávia Manuella R. De Mendonça [Brésil] ; Jamilly As Barros [Brésil] ; Cláudio Dariva [Brésil] ; Laiza C. Krause [Brésil] | Evaluation of storage stability of soybean biodiesel using a flame ionization detector coupled to a gas chromatography system |
000235 (2013) |
Tania Sanyal [Inde] ; Vivek Kumar [Inde] ; Tapas Chandra Nag [Inde] ; Suman Jain [Inde] ; Vishnu Sreenivas [Inde] ; Shashi Wadhwa [Inde] | Prenatal Loud Music and Noise: Differential Impact on Physiological Arousal, Hippocampal Synaptogenesis and Spatial Behavior in One Day-Old Chicks |
000275 (2013) |
Geneviève Albouy [Canada] ; Stuart Fogel [Canada] ; Hugo Pottiez [Canada] ; Vo An Nguyen [Canada] ; Laura Ray [Canada] ; Ovidiu Lungu [Canada] ; Julie Carrier [Canada] ; Edwin Robertson [États-Unis] ; Julien Doyon [Canada] | Daytime Sleep Enhances Consolidation of the Spatial but Not Motoric Representation of Motor Sequence Memory |
000380 (2012-03-19) |
Grzegorz Bocewicz ; Zbigniew Banaszak | Abductive Reasoning Driven Approach to Project - Like Production Flow Prototyping |
000386 (2012) |
George C. Rosenwald [États-Unis] | The psychobiographer's authority: questions of interpretive scope and logic. |
000417 (2012) |
Vera Kempe [Royaume-Uni] ; John C. Thoresen [Suisse] ; Neil W. Kirk [Royaume-Uni] ; Felix Schaeffler [Royaume-Uni] ; Patricia J. Brooks [États-Unis] | Individual Differences in the Discrimination of Novel Speech Sounds: Effects of Sex, Temporal Processing, Musical and Cognitive Abilities |
000516 (2011) |
Johan Wagemans | Towards a new kind of experimental psycho-aesthetics? Reflections on the Parallellepipeda project |
000570 (2011) |
Aránzazu San Ginés [Espagne] | Visual Tools for Teaching Propositional Logic |
000612 (2011) |
Hanyu Lin [Taïwan] ; Yueh Hsieh [Taïwan] | The Effect of Music on Spatial Ability |
000641 (2011) |
Gianluca Rigatelli [Italie] ; Paolo Cardaioli [Italie] ; Fabio Dell'Avvocata [Italie] ; Massimo Giordan [Italie] ; Mauro Chinaglia [Italie] | Premere occlusion system for transcatheter patent foramen ovale closure: Mid‐term results of a single‐center registry |
000662 (2011) |
Udo Kruschwitz [Royaume-Uni] ; M-Dyaa Albakour [Royaume-Uni] ; Jinzhong Niu [Royaume-Uni] ; Johannes Leveling [Irlande (pays)] ; Nikolaos Nanas [Grèce] ; Yunhyong Kim [Royaume-Uni] ; Dawei Song [Royaume-Uni] ; Maria Fasli [Royaume-Uni] ; Anne De Roeck [Royaume-Uni] | Moving towards Adaptive Search in Digital Libraries |
000749 (2010) |
L. K. Emmons [États-Unis] ; S. Walters [États-Unis] ; P. G. Hess [États-Unis] ; J.-F. Lamarque [États-Unis] ; G. G. Pfister [États-Unis] ; D. Fillmore [États-Unis] ; Claire Granier [États-Unis] ; A. Guenther [États-Unis] ; D. Kinnison [États-Unis] ; T. Laepple [États-Unis] ; J. Orlando [États-Unis] ; X. Tie [États-Unis] ; G. Tyndall [États-Unis] ; C. Wiedinmyer [États-Unis] ; S. L. Baughcum ; S. Kloster [Allemagne] | Description and evaluation of the Model for Ozone and Related chemical Tracers, version 4 (MOZART-4) |
000761 (2010) |
Anthony R. Cashmore | The Lucretian swerve: The biological basis of human behavior and the criminal justice system |
000795 (2010) |
Sofronios E. Papoutsoglou [Grèce] ; Nafsika Karakatsouli ; Eustratios S. Papoutsoglou ; Georgios Vasilikos | Common carp (Cyprinus carpio) response to two pieces of music ("Eine Kleine Nachtmusik" and "Romanza") combined with light intensity, using recirculating water system. |
000966 (2010) |
Vladis Berzins [États-Unis] ; Luqi [États-Unis] ; Peter Musial [États-Unis] | Formal Reasoning about Software Object Translations |
000977 (2010) |
Nora S. Newcombe ; Andrea Frick | Early Education for Spatial Intelligence: Why, What, and How |
000A62 (2009) |
Georg Boenn [Royaume-Uni] ; Martin Brain [Royaume-Uni] ; Marina De Vos [Royaume-Uni] ; John Ffitch [Royaume-Uni] | ANTON: Composing Logic and Logic Composing |
000B65 (2009) |
Kristoffer Jensen [Danemark] ; Ole Kühl [Danemark] | Towards a Model of Musical Chunks |
000D14 (2009) |
Fang Zheng [République populaire de Chine] ; Bin Hu [République populaire de Chine, Royaume-Uni] ; Li Liu [République populaire de Chine] ; Tingshao Zhu [République populaire de Chine] ; Yongchang Li [République populaire de Chine] ; Yanbin Qi [République populaire de Chine] | Fuzzy Logic in Exploring Data Effects: A Way to Unveil Uncertainty in EEG Feedback |
000F97 (2008) |
Marie Forgeard [États-Unis] ; Ellen Winner [États-Unis] ; Andrea Norton [États-Unis] ; Gottfried Schlaug [États-Unis] | Practicing a Musical Instrument in Childhood is Associated with Enhanced Verbal Ability and Nonverbal Reasoning |
001002 (2008) |
Caspar Franzen [Allemagne] | Leopold Mozart and the first description of erythema nodosum. |
001204 (2008) |
S. E. Papoutsoglou [Grèce] ; N. Karakatsouli [Grèce] ; A. Batzina [Grèce] ; E. S. Papoutsoglou [Grèce] ; A. Tsopelakos [Grèce] | Effect of music stimulus on gilthead seabream Sparus aurata physiology under different light intensity in a re‐circulating water system |
001222 (2008) |
Paul Wingfield | Beyond‘Norms and Deformations’: Towards a Theory of Sonata Form as Reception History |
001251 (2008) |
Alex Bennet [États-Unis] ; David Bennet [États-Unis] | The human knowledge system : music and brain coherence |
001270 (2007) |
Scott C. Doney [États-Unis] ; Natalie Mahowald ; Ivan Lima [États-Unis] ; Richard A. Feely [États-Unis] ; Fred T. Mackenzie [États-Unis] ; Jean-Francois Lamarque [États-Unis] ; Phil J. Rasch | Impact of anthropogenic atmospheric nitrogen and sulfur deposition on ocean acidification and the inorganic carbon system |
001380 (2007) |
Alexander Moskovsky [Russie] ; Vladimir Roganov [Russie] ; Sergei Abramov [Russie] ; Anton Kuznetsov [Russie] | Variable Reassignment in the T++ Parallel Programming Language |
001425 (2007) |
Ali Awde [Canada] ; Dulva Hina [Canada, France] ; Yacine Bellik [France] ; Amar Ramdane-Cherif [France] ; Chakib Tadj [Canada] | Task Migration in a Pervasive Multimodal Multimedia Computing System for Visually-Impaired Users |
001445 (2007) |
Gianluca Rigatelli [Italie] ; Paolo Cardaioli [Italie] ; Gabriele Braggion [Italie] ; Massimo Giordan [Italie] ; Dell'Avvocata Fabio [Italie] ; Silvio Aggio [Italie] ; Loris Roncon [Italie] ; Mauro Chinaglia [Italie] | Resolution of migraine by transcatheter patent foramen ovale closure with premere occlusion system in a preliminary series of patients with previous cerebral ischemia |
001553 (2007) |
Rémy Haemmerlé [France] ; François Fages [France] ; Sylvain Soliman [France] | Closures and Modules Within Linear Logic Concurrent Constraint Programming |
001571 (2007) |
Pier Giorgio Righetti [Italie] | Andreas Chrambach and René Descartes: Plutarch's Parallel Lives? |
001603 (2007) |
Cristy Ho [Royaume-Uni] ; Oliver Mason [Royaume-Uni] ; Charles Spence [Royaume-Uni] | An investigation into the temporal dimension of the Mozart effect : Evidence from the attentional blink task |
001651 (2006) |
Samuel J. Clark [Afrique du Sud] | A general temporal data model and the structured population event history register |
001653 (2006) |
Mickaël Camus [France] ; Alain Cardon [France] | Towards an Emotional Decision-Making |
001730 (2006) |
Adam Meissner [Pologne] ; Krzysztof Zwierzy Ski [Pologne] | Vertex-Magic Total Labeling of a Graph by Distributed Constraint Solving in the Mozart System |
001771 (2006) |
Sophie Valcke [France] ; Eric Guilyardi [Royaume-Uni, France] ; Claes Larsson [Royaume-Uni] | PRISM and ENES: a European approach to Earth system modelling |
001794 (2006) |
Kenley R. Dove | LOGIC AND THEORY IN ARISTOTLE, STOICISM, HEGEL |
001801 (2006) |
S. Greco [Italie] ; C. Molinaro [Italie] ; I. Trubitsyna [Italie] | Implementation and Experimentation of the Logic Language ${\cal N\!P\, D}atalog$ |
001834 (2006) |
David Neumeyer [États-Unis] | Description and Interpretation: Fred Lerdahl's Tonal Pitch Space and Linear Analysis |
001911 (2005) |
J. Balvig [Japon] ; Taizo Miyachi [Japon] | Real-Time Co-composing System Using Multi-aspects |
001A04 (2005) |
Richard Axel [États-Unis] | Scents and Sensibility: A Molecular Logic of Olfactory Perception (Nobel Lecture) |
001A90 (2005) |
A. Uzawa [Japon] ; R. Sakakibara [Japon] ; N. Tamura [Japon] ; M. Asahina [Japon] ; Y. Yamanaka [Japon] ; T. Uchiyama [Japon] ; T. Ito [Japon] ; T. Yamamoto [Japon] ; Z. Liu [Japon] ; T. Hattori [Japon] | Laryngeal abductor paralysis can be a solitary manifestation of multiple system atrophy |
001B99 (2005) |
Isabelle Dony [Belgique] ; Baudouin Le Charlier [Belgique] | A Program Verification System Based on Oz |
001C79 (2004) |
Loretta Diana [Italie] ; Goffredo Haus [Italie] ; Maurizio Longari [Italie] | Towards a General Architecture for Musical Archive Information Systems |
001E06 (2004) |
Ariane Tom [France] ; Michel Denis [France] | Language and spatial cognition: comparing the roles of landmarks and street names in route instructions |
001E45 (2004) |
Massimo Melucci [Italie] ; Nicola Orio [Italie, France] | Combining melody processing and information retrieval techniques: Methodology, evaluation, and system implementation |
001E80 (2004) |
Ponce De Le N [Espagne] ; Carlos Pérez-Sancho [Espagne] ; M. I Esta [Espagne] | A Shallow Description Framework for Musical Style Recognition |
001F12 (2003) |
Dana Nejedlová [République tchèque] ; Jan Nouza [République tchèque] | Building of a Vocabulary for the Automatic Voice-Dictation System |
002033 (2003) |
Mahmoud Rafea [Suède] ; Konstantin Popov [Suède] ; Per Brand [Suède] ; Fredrik Holmgren [Suède] ; Seif Haridi [Suède] | Parallel Distributed Algorithms of the β -Model of the Small World Graphs |
002034 (2003) |
Konstantin Popov [Suède] ; Vladimir Vlassov [Suède] ; Mahmoud Rafea [Suède] ; Fredrik Holmgren [Suède] ; Per Brand [Suède] ; Seif Haridi [Suède] | Parallel Agent-Based Simulation on a Cluster of Workstations |
002143 (2003) |
Konstantin Popov [Suède] ; Mahmoud Rafea [Suède] ; Fredrik Holmgren [Suède] ; Per Brand [Suède] ; Vladimir Vlassov [Suède] ; Self Haridi [Suède] | Parallel agent-based simulation on a cluster of workstations |
002175 (2002) |
Andrew Davison [Thaïlande] | Logic Programming Languages for the Internet |
002347 (2002) |
Pippa Mckelvie [Nouvelle-Zélande] ; Jason Low [Nouvelle-Zélande] | Listening to Mozart does not improve children's spatial ability: Final curtains for the Mozart effect |
002642 (2001) |
Gerald C. Cupchik [Canada] ; Krista Phillips [Canada] ; David S. Hill [Canada] | Shared Processes in Spatial Rotation and Musical Permutation |
002678 (2001) |
Thomas Luckeneder [Autriche] ; Knud Steiner [Autriche] ; Wolfram Wö [Autriche] | Integration of Topic Maps and Databases: Towards Efficient Knowledge Representation and Directory Services |
002773 (2000) |
Francesca Rossi [Italie] | Constraint (Logic) Programming: A Survey on Research and Applications |
002774 (2000) |
Simon Dixon [Autriche] | A Lightweight Multi-agent Musical Beat Tracking System |
002A67 (2000) |
Toshiki Hanyu [Niger, Japon] ; Sho Kimura [Niger, Japon] | A new objective measure for evaluation of listener envelopment focusing on the spatial balance of reflections |
002B13 (1999) |
K M Steele [États-Unis] ; J D Brown ; J A Stoecker | Failure to confirm the Rauscher and Shaw description of recovery of the Mozart effect. |
002D09 (1999) |
James J. Gillespie [États-Unis] ; Leigh L. Thompson [États-Unis] ; Jeffrey Loewenstein [États-Unis] ; Dedre Gentner [États-Unis] | Lessons from Analogical Reasoning in the Teaching of Negotiation |
002D70 (1999) |
P. Van Roy [Belgique] | Announcing the Mozart programming system |
002F60 (1998) |
Stefano Predelli | Utterance, Interpretation and the Logic of Indexicals |
003261 (1997) |
Gregory J. Quirk [États-Unis] ; Jorge L. Armony [États-Unis] ; Joseph E. Ledoux [Israël, États-Unis] | Fear Conditioning Enhances Different Temporal Components of Tone-Evoked Spike Trains in Auditory Cortex and Lateral Amygdala |
003277 (1997) |
Michael J. A. Howe [Royaume-Uni] | Beyond psychobiography: Towards more effective syntheses of psychology and biography |
003284 (1997) |
Dirk Moelants [Belgique] | A framework for the subsymbolic description of meter |
003555 (1995) |
J. Newman [États-Unis] ; J H Rosenbach ; K L Burns ; B C Latimer ; H R Matocha ; E R Vogt | An experimental test of "the mozart effect": does listening to his music improve spatial ability? |
003750 (1995) |
Eckart Förster | ‘To Lend Wings to Physics Once Again’: Hölderlin and the ‘Oldest System‐Programme of German Idealism’ |
003786 (1995) |
Pádraig Cunningham [Irlande (pays)] ; Barry Smyth [Irlande (pays)] ; Tony Veale [Irlande (pays)] | On the limitations of Memory Based Reasoning |
003A48 (1994) |
Conrad Nuthmann [États-Unis] | Using human judgment in system dynamics models of social systems |
003D62 (1993) |
Sandra E. Trehub [Canada] | Temporal Auditory Processing in Infancy |
003D73 (1993) |
| Proof, Logic and Formalization |
003D93 (1993) |
Werner Simpfendörfer | Intercultural Living, Ecumenical Learning: Steps towards an Intercultural Theology of the Laity |