Formal Aspects of Computing

Last updated

See also

Related Research Articles

<span class="mw-page-title-main">Peter Landin</span> British computer scientist (1930–2009)

Peter John Landin was a British computer scientist. He was one of the first to realise that the lambda calculus could be used to model a programming language, an insight that is essential to the development of both functional programming and denotational semantics.

Computational science, also known as scientific computing, technical computing or scientific computation (SC), is an area of science that uses advanced computing capabilities to understand and solve complex physical problems. This includes

The SIAM Journal on Computing is a scientific journal focusing on the mathematical and formal aspects of computer science. It is published by the Society for Industrial and Applied Mathematics (SIAM).

<span class="mw-page-title-main">BCS-FACS</span> Specialist Group of the BCS

BCS-FACS is the BCS Formal Aspects of Computing Science Specialist Group.

<i>Nature Nanotechnology</i> Academic journal

Nature Nanotechnology is a monthly peer-reviewed scientific journal published by Nature Publishing Group. It was established in October 2006. The editor-in-chief is Fabio Pulizzi. It covers all aspects of nanoscience and nanotechnology.

<i>International Journal of Hydrogen Energy</i> Academic journal

The International Journal of Hydrogen Energy is a peer-reviewed scientific journal covering all aspects of hydrogen energy, including hydrogen generation and storage. It is published by Elsevier and is an official journal of the International Association for Hydrogen Energy. Established in 1976, the journal became monthly in 1982, biweekly in 2008, 36/yr in 2013, and weekly in 2015. The editor in chief is Turhan Nejat Veziroğlu.

<span class="mw-page-title-main">Jeannette Wing</span> American computer scientist

Jeannette Marie Wing is Avanessians Director of the Data Science Institute at Columbia University, where she is also a professor of computer science. Until June 30, 2017, she was Corporate Vice President of Microsoft Research with oversight of its core research laboratories around the world and Microsoft Research Connections. Prior to 2013, she was the President's Professor of Computer Science at Carnegie Mellon University, Pittsburgh, Pennsylvania, United States. She also served as assistant director for Computer and Information Science and Engineering at the NSF from 2007 to 2010. She was appointed the Columbia University executive vice president for research in 2021.

<i>Journal of Materials Science</i> Academic journal

The Journal of Materials Science is a weekly peer-reviewed scientific journal covering all aspects of materials science. It was established in 1966 by Robert W. Cahn and is published by Springer Science+Business Media. The journal incorporated Journal of Materials Science Letters in 2003 and Interface Science in 2004. The Editor-in-Chief is C. Barry Carter.

Algorithmica is a monthly peer-reviewed scientific journal focusing on research and the application of computer science algorithms. The journal was established in 1986 and is published by Springer Science+Business Media. The editor in chief is Mohammad Hajiaghayi. Subject coverage includes sorting, searching, data structures, computational geometry, and linear programming, VLSI, distributed computing, parallel processing, computer aided design, robotics, graphics, data base design, and software tools.

Wireless Personal Communications is a peer-reviewed scientific journal published by Springer Science+Business Media. It covers mobile communications and computing and investigates theoretical, engineering, and experimental aspects of radio communications, voice, data, images, and multimedia. This includes propagation, system models, speech and image coding, multiple access techniques, protocols performance evaluation, radio local area networks, and networking and architectures. The editor-in-chief is Ramjee Prasad.

ACM Computing Surveys is a quarterly peer-reviewed scientific journal published by the Association for Computing Machinery. It publishes survey articles and tutorials related to computer science and computing. The journal was established in 1969 with William S. Dorn as founding editor-in-chief.

IEEE Transactions on Antennas and Propagation is a peer-reviewed scientific journal published by the IEEE Antennas & Propagation Society. It covers research on and applications of all aspects of antenna technology and the propagation of electromagnetic waves. It was established in 1952 and is published monthly along with occasional special issues.

The Journal of Grid Computing is a peer-reviewed scientific journal published by Springer Science+Business Media. According to the Journal Citation Reports, the journal has a 2010 impact factor of 1.556. The editors-in-chief are Péter Kacsuk and Ian Foster

<i>Journal of Materials Engineering and Performance</i> Academic journal

The Journal of Materials Engineering and Performance is a monthly peer-reviewed scientific journal published by Springer Science+Business Media on behalf of ASM International. The editor-in-chief is Rajiv Asthana. The journal covers all aspects of materials engineering broadly described as materials selection, design, processing, characterization, and evaluation. The scope includes all substances used in engineering applications with a tendency toward constituent materials that comprise a larger system.

The Journal of Mining Science is a bimonthly, peer-reviewed scientific journal published by Springer Science+Business Media that covers all aspects of mining engineering. Topics include geomechanics, information geoscience, the properties and behaviors of rock in various environments and conditions, and various technologies applied to mining. The editor-in-chief is Victor N. Oparin.

The Bulletin of Earthquake Engineering is a bimonthly peer-reviewed scientific journal published by Springer Science+Business Media on behalf of the European Association for Earthquake Engineering. It covers all aspects of earthquake engineering. It was established in 2003 and the editor-in-chief is Atilla Ansal.

Cognitive Computation is an international, peer-reviewed scientific journal, interdisciplinary journal that publishes articles describing original basic and applied work involving bio-inspired computational accounts of all aspects of natural and artificial cognitive systems. The journal is published by Springer Science+Business Media.

Paritosh K. Pandya is an Indian computer scientist based at the Tata Institute of Fundamental Research (TIFR) in Mumbai, India. Since 2020, he is an adjunct professor at IIT Bombay.

The Journal of Experimental and Theoretical Artificial Intelligence is a quarterly peer-reviewed scientific journal published by Taylor and Francis. It covers all aspects of artificial intelligence and was established in 1989. The editor-in-chief is Eric Dietrich, the deputy editors-in-chief are Li Pheng Khoo and Antonio Lieto.

<i>Landslides</i> (journal) Academic journal

Landslides is a monthly peer-reviewed scientific journal covering research on all aspects of landslides. The topics covered by the journal range from landslide identification and monitoring, remote sensing, laboratory and field testing, to risk assessment and mitigation. It was established in 2004 as the official journal of the International Consortium on Landslides and is published by Springer Science+Business Media. The editor-in-chief is Kyoji Sassa.

References

  1. "Formal Aspects of Computing". 2010 Journal Citation Reports. Web of Science (Science ed.). Thomson Reuters. 2011.