Peter Brusilovsky is a prominent researcher in the field of computer science, specifically known for his work in the areas of adaptive learning systems, personalized education, and user modeling. He has contributed significantly to the development of technologies and methods that tailor educational experiences to individual learners' needs, preferences, and performance. Brusilovsky is a professor at the University of Pittsburgh, where he focuses on advancing the understanding of how technology can support personalized learning.
Thomas Sterling is a prominent computer scientist known for his work in the field of high-performance computing (HPC). He has made significant contributions to the development of parallel computing systems and programming models. One of his notable achievements is co-developing the "Beowulf" cluster concept in the mid-1990s, which involves using commodity hardware and open-source software to create powerful computing clusters for scientific and industrial applications.
Boon Thau Loo is a computer scientist known for his contributions to the fields of databases, data management, and information retrieval. He is affiliated with the University of Pennsylvania, where he works on topics such as data integration, data sharing, and query processing. Loo has published numerous papers and has been involved in research that focuses on advancing the capabilities and efficiency of database systems.
Daniel Jackson is a prominent computer scientist known for his contributions to software engineering, program analysis, and the development of formal methods. He is a professor at the Massachusetts Institute of Technology (MIT) in the Department of Electrical Engineering and Computer Science. Jackson is widely recognized for creating the Alloy modeling language, which is used for software design and analysis. Alloy is particularly noted for its ability to support abstract specification and model checking of software systems.
Dines Bjørner is a Danish computer scientist known for his contributions to formal methods in software engineering and programming languages. He has played a significant role in the development of formal specification techniques, including the use of algebraic methods and the theory of computing. Bjørner is particularly associated with the development of the Vienna Development Method (VDM), which is one of the earliest formal methods used for software specification and development.
Fred B. Schneider is a prominent computer scientist known for his work in the fields of distributed systems, cybersecurity, and network security. He has made significant contributions to the understanding of systems architecture and the principles of secure computing. Schneider has also been involved in various educational and academic activities, including serving as a professor at institutions like Cornell University and contributing to the development of security standards and protocols.
Keith Clark is a notable computer scientist recognized for his contributions to the fields of artificial intelligence and logic programming. He is particularly known for his work on Prolog, a programming language associated with artificial intelligence and computational linguistics. One of his significant contributions is the development of the "Clark Completion," a technique that enhances the capabilities of logic programming systems by applying principles from non-monotonic reasoning and logic.
Luigi Logrippo is a computer scientist known for his work in the fields of computer science, specifically in areas like algorithm design, computational complexity, and possibly contributions related to information systems. He has been associated with research and academic institutions, where he has likely engaged in teaching and publishing research papers.
Stephen R. Bourne is a prominent figure in the field of computer science, specifically known for his contributions to systems programming and operating systems. He is perhaps best known for his work on the development of the UNIX operating system and for his role at MIT, where he greatly influenced the evolution of computer engineering education.
As of my last update in October 2023, there isn't any widely recognized individual, concept, or organization specifically known as "Alex Snoeren." It's possible that the name could refer to a private individual or a lesser-known figure not documented in major public sources.
Beth Plale is a prominent figure in the field of computer science, specifically known for her work in data management, data analytics, and high-performance computing. She is a professor at Indiana University and has been involved in various research projects that focus on data-intensive computing and its applications. Her contributions extend to areas such as scientific data analysis, distributed computing, and the development of tools and systems for managing large datasets.
Brad Cox can refer to several different things depending on the context. Here are a few possibilities: 1. **Brad Cox (Artist/Musician)**: An American country music singer and songwriter who has gained popularity in the country music scene. 2. **Brad Cox (Person)**: There may be individuals by that name in various fields such as sports, business, or academia. Without more context, it's hard to specify who exactly you might be referring to.
Bruce Maggs is a notable figure in the field of computer science, particularly recognized for his contributions to networking, distributed systems, and content delivery networks (CDNs). He has been involved in research related to web caching and optimization, and his work has had a significant impact on how data is distributed and accessed over the internet. Maggs has held academic positions and has been affiliated with institutions like Carnegie Mellon University. He has also been involved with various companies, particularly in technology and networking.
Claus P. Schnorr is a German mathematician known for his contributions to number theory, particularly in the areas of computational number theory, lattice basis reduction, and the design of cryptographic algorithms. One of his notable contributions is the development of the Schnorr signature scheme, which is a type of digital signature that is both efficient and secure. The scheme is based on mathematical problems related to discrete logarithms and has been influential in the field of cryptography.
H. V. Jagadish is a prominent computer scientist known for his work in the fields of database systems, data management, and data science. He is a professor at the University of Michigan, where he has contributed significantly to research in databases, information retrieval, and big data. His work often emphasizes the intersection of data management and other disciplines, such as machine learning and systems design.
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.
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.
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.
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