businesses to align their activities by illustrating potential trade-offs. The nine "building blocks" of the business model design template that came to be called
Sample code illustrating the VS Code extension API. (⭐ 9979)
We describe three case studies illustrating the use of ACL2s to prove the correctness of optimized reactive systems using skipping refinement. Reasoning about reactive systems using refinement involves defining an abstract, high-level specification s...
Eita Mizuno (水野 英多, Mizuno Eita) (born 17 January) is a Japanese manga artist and illustrator, best known for illustrating the Spiral: The Bonds of Reasoning
Jeffrey Patrick Kinney (born February 19, 1971) is an American author and illustrator. He is best known for creating, writing and illustrating the children's
A small project illustrating Django and Backbone.js integration. (⭐ 19)
The analysis of daily-life fashion trends can provide us a profound understanding of our societies and cultures. However, no appropriate digital archive exists that includes images illustrating what people wore in their daily lives over an extended p...
We give examples illustrating the fact that the different space/time splittings of the tangent bundle of a semi-Riemannian spin manifold give rise to non-equivalent norms on the space of compactly supported sections of the spinor bundle, and as a res...
Sample project for illustrating working with the DOM (⭐ 1)
" In 1987, Gore said that "Stripped" was his favorite Depeche Mode song to date. "Stripped" A 14 second sample of "Stripped" illustrating the distorted
A gardening app illustrating Android development best practices with migrating a View-based app to Jetpack Compose. (⭐ 17804)
This article starts out with a detailed example illustrating the utility of applying quantum probability to psychology. Then it describes several alternative mathematical methods for mapping fundamental quantum concepts (such as state preparation, me...
Sign languages are dynamic visual languages that involve hand gestures, in combination with non manual elements such as facial expressions. While video recordings of sign language are commonly used for education and documentation, the dynamic nature...
From time to time, and quite more frequently in recent years, claims appear favoring a variable Initial Mass Function (IMF), one way or another, either in time or space. In this chapter we add our two pennies of wisdom, illustrating how the IMF affec...
Sample code illustrating how to develop ROS applications using the Intel® RealSense™ ZR300 camera for Object Library (OR), Person Library (PT), and Simultaneous Localization And Mapping (SLAM). (⭐ 127)
The 500 AI Agents Projects is a curated collection of AI agent use cases across various industries. It showcases practical applications and provides links to open-source projects for implementation, illustrating how AI agents are transforming sectors such as h…
Phase plotting is a useful way of visualising functions on complex space. We reinvent the method in the context of hyperbolic geometry, and we use it to plot functions on various representative surfaces for hyperbolic space, illustrating with direct...
Automatically crawl arXiv papers daily and summarize them using AI. Illustrating them using GitHub Pages. (⭐ 2431)
Web 2.0 works with the principle of weak cooperation, where a huge amount of individual contributions build solid and structured sources of data. In this paper, we detail the main properties of this weak cooperation by illustrating them on the phot...
A new 2 parameter unit Weibull distribution is defined on the unit interval (0,1). The methodology of deducing its PDF, some of its properties and related functions are discussed. The paper is supplied by many figures illustrating the new distributio...