6 Hits in 9.1 sec

A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language

K. Keimel, A. Rosenbusch, T. Streicher
2009 Annals of Pure and Applied Logic  
Thus Minkowski duality is the mathematical principle from which the correspondence between state and predicate transformer semantics follows for nondeterministic probabilistic languages like L p .  ...  Morgan in [MMa,MMb,MM] together with a state transformer and a predicate transformer semantics associating with every program P a state transformer [[P ] ] : S → P U V(S) and a predicate transformer  ... 
doi:10.1016/j.apal.2008.06.020 fatcat:iqgsbzdesjgkxkq3pcke3nykfm

Where Do New Ideas Come From? How Do They Emerge? Epistemology as Computation (Information Processing) [chapter]

Gordana Dodig-Crnkovic
2007 Randomness and Complexity, From Leibniz to Chaitin  
In fact, Chaitin was interested in the relation between computation and quantum physics since the early 1960s; he even wrote an APL2 course outline for 3 During the research for my book [1]  ...  5 The main contribution shared by AIT founding fathers in the mid 1960s was the new type of complexity-which is invariant up to an additive constant-and, with it, a new way to reason about computation.  ...  Acknowledgments The authors wish to thank their institutions for support. N. C. A. da Costa acknowledges support from CNPq, Philosophy Section; F. A. Doria thanks C. A. Cosenza and S.  ... 
doi:10.1142/9789812770837_0015 fatcat:hhtjs3z765chpebraxckg3p4hu

Quantum Mind 2003, Consciousness, Quantum Physics and the Brain. March 15-19, 2003, The University of Arizona, Tucson, Arizona

Editorial NQ
2007 NeuroQuantology  
A relation between consciousness and quantum effects has been pondered for nearly a century, and in the past decades quantum processes in the brain have been invoked as explanations for consciousness and  ...  Critics deride this comparison as a mere "minimization of mysteries" and quickly point out that the brain is too warm for quantum computation which in the technological realm requires extreme cold to avoid  ...  The [corpuscle (C) -wave (W)] duality is a result of quantum beats between the 'actual' and 'complementary' states of sub-elementary fermions/antifermions.  ... 
doi:10.14704/nq.2003.1.3.23 fatcat:e76cv2ivqjdbxolv2hbls67gqu

The Productions of Time The Productions of Time

Mark Temporality, Causality
2005 unpublished
We noted a resemblance between the structures like Figure 3 .9 and the notion of a frame in the standard semantics of Kripke (1972) for a modal logic.  ...  particular attention to the problem of constructing a causal and temporal semantics for English and other languages, of the kind that will support effective inference by automatic theorem provers.  ...  The Handbook of Logic and Language edited by van Benthem and ter Meulen 1997 brings together a number of recent survey chapters on related logical issues in other areas of natural language semantics, including  ... 

Sofia, Institute of Information Theories and Applications FOI ITHEA-2007 15 th Anniversary of the Association of Developers and Users of Intelligent Systems

Kr Markov, Ed
2007 Proceedings of the Fifth International Conference "Information Research and Applications" i.TECH   unpublished
The usual practice of IJ ITA and IJ ITK are to support several conferences at which the papers may be discussed before submitting them for referring and publishing in the journals.  ...  The aim of the conference is to be one more possibility for contacts for scientists.  ...  We propose a strategy for developing language independent machine emotion recognition, related to the identification of language independent speech features and to the use of additional information from  ... 

Dagstuhl Reports, Volume 8, Issue 10, October 2018, Complete Issue [article]

their contributions and extend special thanks to the moderators of the breakout sessions and the team of Schloss Dagstuhl for helping to make this seminar a success.  ...  Houston, US), Hannes Mühleisen (CWI -Amsterdam, NL), Cagatay Turkay (City -University of London, GB), Frank van Ham (IBM Netherlands -Weert, NL) Acknowledgment The organizers thank all the attendees for  ...  Duality of Convolution Operators: A Tool for Shape Analysis?  ... 
doi:10.4230/dagrep.8.10 fatcat:q5uhtls46rd3zf4cnl4szgxc7y