Topics (180k) Articles (182k) Users (295) Discussions (237) Comments (383) Files (715) New article
Eric Hehner is a notable figure in the field of computer science, particularly known for his work in programming language theory and formal methods. He has made significant contributions to the development of techniques for specifying and reasoning about computer programs. Hehner is often associated with concepts such as formal specification, program correctness, and the use of logical frameworks in software development. His work includes the design and implementation of programming languages, as well as research on the principles and fundamentals of computing.
Emerson Pugh, in the context of technology and computing, is best known for his contributions to the field of computer science and systems engineering. He is recognized for his work in areas such as hardware design, system architecture, and performance engineering, particularly in relation to computer systems and their theoretical foundations.
Ellen W. Zegura is a prominent computer scientist known for her work in the fields of computer networking, distributed systems, and protocols. She has made significant contributions to the understanding of network architecture and performance, especially in relation to how networks can support various applications and services. In her career, Zegura has held academic positions, including being a professor at the School of Computer Science at Georgia Tech.
Eero Simoncelli is a prominent figure in the field of computational neuroscience and vision science. He is known for his research on sensory processing in the brain, particularly regarding how the brain encodes and processes visual information. Simoncelli's work often involves the development of mathematical models and computational techniques to better understand neural coding and sensory perception. His contributions have implications for various areas, including artificial intelligence, image processing, and understanding neural circuits.
Edward Reingold is a notable figure primarily recognized in the field of computer science and mathematics. He is known for his contributions to algorithms and computational theory, but he is perhaps best known for his work related to calendar algorithms and the implementation of time and date functions in computer programming. Reingold co-developed an algorithm for calculating calendar dates, which is often referenced in programming contexts.
Edward Angel is a well-known figure in the field of computer graphics and visualization. He is often recognized for his contributions to computer graphics education, research, and development of graphics software. Angel has authored several influential books and papers on the subject, including "Interactive Computer Graphics," which is widely used as a textbook in academia. In addition to his academic work, Edward Angel has been involved in practical applications of computer graphics in various fields, such as scientific visualization and computer animation.
Dmitri Maslov might refer to a number of individuals, but one of the most notable is a Russian-American biophysicist known for his work in the fields of biophysics and bioinformatics, particularly regarding the modeling of biological systems and the dynamics of biological molecules. However, without more specific details, it's difficult to provide a precise answer.
Dick Grune is a computer scientist known for his contributions to programming language theory, particularly in the areas of formal grammars and parsing techniques. He is recognized for his work on algorithms and tools that facilitate the parsing of programming languages, including the development of various parsing methods and tools that are used in compiler design and implementation.
Deb Roy is a prominent figure in the fields of artificial intelligence, human-computer interaction, and social media analysis. He is best known for his work on understanding how humans use language and communicate through technology. Roy is a professor at the Massachusetts Institute of Technology (MIT) and is affiliated with the Media Lab, where he has conducted research on topics such as language development, social media dynamics, and the intersection of technology and society.
As of my last knowledge update in October 2023, Davide Sangiorgi might not be a widely recognized name in public discourse or popular culture. There could be individuals with that name in various fields, such as academia, sports, or business, but without more context, it's challenging to provide specific information.
David S. H. Rosenthal is a prominent figure known for his contributions in the field of philosophy, particularly in the areas of the philosophy of mind and epistemology. He is especially noted for his work on the nature of consciousness, the self, and various aspects of personal identity.
David Park is a computer scientist known for his contributions to various fields, including computer graphics, artificial intelligence, and human-computer interaction. He has worked on projects that leverage advanced algorithms and methodologies in these areas. While there may be multiple professionals named David Park, one notable figure in the field is David Park from the University of California, Berkeley, known for his research on computational models and systems.
David Musser is a computer scientist known for his contributions to the field of algorithms and data structures. He is particularly recognized for his work in the development of the STL (Standard Template Library) in C++ and for his research in areas such as computational geometry, sequence comparison, and algorithm analysis. He has also been involved in educational efforts, teaching at various institutions and contributing to the understanding of algorithm design techniques.
As of my last knowledge update in October 2021, I do not have specific information about an individual named David Hedgley. It's possible that he could be a private individual, a professional in a particular field, or someone who gained prominence after my last update. If you have a specific context or details about David Hedgley that you can provide, I might be able to help you further.
David Culler is a prominent computer scientist known for his work in the fields of computer architecture, wireless sensor networks, and distributed systems. He is a professor at the University of California, Berkeley, and has contributed significantly to research in embedded systems and networked systems. Culler has been involved in various projects and initiatives that focus on the development and application of sensor networks and their potential uses in diverse areas such as environmental monitoring, smart cities, and the Internet of Things (IoT).
David Blei is a prominent computer scientist known for his work in machine learning and statistics, particularly in the areas of topic modeling and probabilistic graphical models. He is a professor at Columbia University, where he specializes in the intersection of machine learning, statistics, and data science. One of his most notable contributions is the development of the Latent Dirichlet Allocation (LDA) model, which is a widely used technique for discovering topics in large collections of text documents.
Darren Dalcher is a prominent figure in the field of project management and is known for his work in research, education, and consultancy. He has contributed to various areas, including project management methodologies and practices. Dalcher also holds an academic position and is involved in teaching and mentoring future leaders in the project management domain. His insights and expertise are valued in both academic and professional circles.
Danqi Chen is a prominent researcher in the field of artificial intelligence and natural language processing (NLP). She is known for her work on various NLP tasks, including question answering, machine reading comprehension, and language representation. Chen has contributed to several significant advancements in these areas and has published numerous academic papers. As of my last update in October 2023, she has been associated with institutions such as Princeton University and has also worked at well-known tech companies like Google.
Daniel S. Weld is a prominent computer scientist known for his work in artificial intelligence, particularly in areas such as knowledge representation, reasoning, and machine learning. He has made significant contributions to the development of AI systems and has been involved in research that explores how machines can simulate aspects of human reasoning and decision-making. Weld is a professor at the Paul G. Allen School of Computer Science & Engineering at the University of Washington, where he has conducted extensive research and taught courses related to AI.
Daniel Abadi is a computer scientist and professor known for his contributions to database management systems, particularly in the area of big data and cloud computing. He is recognized for his research in various topics, including data warehousing, data mining, and the design of distributed systems. Abadi is also the co-founder of various database technologies and startups. Along with his academic work, he has published numerous papers and articles on databases and related fields, making him a notable figure in computer science and engineering.
Pinned article: Introduction to the OurBigBook Project
Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
Intro to OurBigBook
. Source. We have two killer features:
- topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculusArticles of different users are sorted by upvote within each article page. This feature is a bit like:
- a Wikipedia where each user can have their own version of each article
- a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.Figure 1. Screenshot of the "Derivative" topic page. View it live at: ourbigbook.com/go/topic/derivativeVideo 2. OurBigBook Web topics demo. Source. - local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
- to OurBigBook.com to get awesome multi-user features like topics and likes
- as HTML files to a static website, which you can host yourself for free on many external providers like GitHub Pages, and remain in full control
Figure 2. You can publish local OurBigBook lightweight markup files to either OurBigBook.com or as a static website.Figure 3. Visual Studio Code extension installation.Figure 5. . You can also edit articles on the Web editor without installing anything locally. Video 3. Edit locally and publish demo. Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension. - Infinitely deep tables of contents:
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact





