I am no scientist but I thought that the Widom-Larsen theory was pretty much dismissed.
Having said that, Carl-Oscar Gullström has recenty published a theory and calculations within the standard model . Search on his name and Bound Neutron Tunneling and you will find the theory. His work is on 2D quantum mechanics so it needs updating to a real world 3D model but yet it points to a possible explanation of the "Rossi effect". And it does not require any new science just good old Copenhagen interpretation if I'm not mistaken.
Well what about research like Verve? A fully verified OS. Not just a verified microkernel like seL4 but a system with automated formal verification of the whole OS and applications. This had never been done before Verve. HeliOS a version of MSR's Singularity OS where you at runtime can migrate arbitrary parts of the OS or apps between different processors in the machine, be it migrate the running TCP/IP stack from a x64 chip to a NIC MIPS coprocessor. Other things include AI which enabled realtime natural language parsing and translation to enable multilingual Skype calls. There is a lot of research in OS design, AI, Learning Systems, parallell processing etc.
Slashdot Mirror
I am no scientist but I thought that the Widom-Larsen theory was pretty much dismissed. Having said that, Carl-Oscar Gullström has recenty published a theory and calculations within the standard model . Search on his name and Bound Neutron Tunneling and you will find the theory. His work is on 2D quantum mechanics so it needs updating to a real world 3D model but yet it points to a possible explanation of the "Rossi effect". And it does not require any new science just good old Copenhagen interpretation if I'm not mistaken.
Well what about research like Verve? A fully verified OS. Not just a verified microkernel like seL4 but a system with automated formal verification of the whole OS and applications. This had never been done before Verve. HeliOS a version of MSR's Singularity OS where you at runtime can migrate arbitrary parts of the OS or apps between different processors in the machine, be it migrate the running TCP/IP stack from a x64 chip to a NIC MIPS coprocessor. Other things include AI which enabled realtime natural language parsing and translation to enable multilingual Skype calls. There is a lot of research in OS design, AI, Learning Systems, parallell processing etc.