The Association for Computing Machinery (ACM) will publish Theory and Practice of Logic Programming (TPLP), an international venue for refereed papers on logic programming. The entire TPLP archive dating back to 2001 will be openly accessible via the ACM Digital Library.
Researchers at VCU have developed a technique to control the spins of electrons in diamond qubits using tiny nanomagnets. This approach could enable scalable quantum computing and lead to significant energy savings.
The book explores foundational and advanced principles of modeling concurrent control systems using Petri nets, focusing on building reliable, verifiable systems where concurrency plays a central role.
A Cornell University study found that plant genes respond to auxin in a chaotic manner, despite the precise formation of flowers. Researchers discovered that spatial averaging helps smooth out gene expression noise, allowing plants to control development. This finding has implications for plant engineering and synthetic biology.
A UVA professor has developed a new computational algorithm to find tightly connected clusters, or triangle-dense subgraphs, within large networks. This breakthrough can help uncover suspicious activity in fraud detection and identify community dynamics on social media with greater precision.
Researchers demonstrate probabilistic computing's capabilities by simulating networks of stochastic nanodevices to solve specific NP problems. The simulations agree with theoretical solutions, indicating the potential for scaling up this approach.
Researchers at Lobachevsky University have proposed a two-fold approach to overcome the computational complexity of multicriteria problems. By re-using search information and using effective global search algorithms, they aim to find multiple compromise options that cannot be improved simultaneously with respect to all partial criteria.