matschik/component-party.dev
? Web component JS frameworks overview by their syntax and features (⭐ 3266)
? Web component JS frameworks overview by their syntax and features (⭐ 3266)
We extend unbounded Kasparov theory to encompass conformal group and quantum group equivariance. This new framework allows us to treat conformal actions on both manifolds and noncommutative spaces. As examples, we present unbounded representatives of...
In this Masters thesis we present an implementation of a fragment of "book HoTT" as an object logic for the interactive proof assistant Isabelle. We also give a mathematical description of the underlying theory of the Isabelle/Pure logical framework,...
:jigsaw: :exploding_head: Jigsaw puzzles framework for JavaScript (⭐ 185)
We present the rest-frame optical galaxy merger fraction between 0.2<z<1.2, as a function of stellar mass and optical luminosity, as observed by the Canada-France-Hawaii Telescope Legacy Deep Survey (CFHTLS-Deep). We developed a new classification...
Nest framework TypeScript starter :coffee: (⭐ 2098)
We present ISO (Infrared Space Observatory) observations of the planetary nebula Lindsay 305 (L 305) in the Small Magellanic Cloud. L 305 is very prominent in the ISOCAM frames at 6.75 and 11.5 $μ$m, although it is under the detection limit at 4.5...
A cluster framework for 'Clustering by fast search and find of density peaks' in science 2014. (⭐ 307)
The phrasing of "getting worse and worse" could mean the exact same thing, but is a bit more vague in the time frame of the worsening - it could be a slow decline over the course of months or years, a day …
We have gone through the detailed microscopic calculation of the shear viscosity of a 2-dimensional graphene system in the relaxation time approximation-based kinetic theory framework. After getting its final expressions, we compared it with the shea...
A systematic non-fluid to fluid transition framework and comparative research on Lorenz ratios for graphene and nonrelativistic systems have been studied to identify their Wiedemann-Franz law violation domain. Here, Lorenz ratio is defined as thermal...
We define a new framework that unifies the filtration and mapper approaches from TDA, and present efficient algorithms to compute it. Termed the box filtration of a PCD, we grow boxes (hyperrectangles) that are not necessarily centered at each point...
We present a review of the work L. Raymond from 1995. The review aims at making this work more accessible and offers adaptations of some statements and proofs. In addition, this review forms an applicable framework for the complete solution of the Dr...
We present Isaac Lab, the natural successor to Isaac Gym, which extends the paradigm of GPU-native robotics simulation into the era of large-scale multi-modal learning. Isaac Lab combines high-fidelity GPU parallel physics, photorealistic rendering,...
This paper presents a framework for generating adventure games from open data. Focusing on the murder mystery type of adventure games, the generator is able to transform open data from Wikipedia articles, OpenStreetMap and images from Wikimedia Commo...
Scooter Framework (⭐ 37)
The number of shared micro-mobility services such as electric scooters (e-scooters) has an increasing trend due to the advantages of high efficiency and low cost in short-range travel in urban areas. However, due to the unique characteristics of movi...
A scooter or motor scooter, is a motorcycle with an underbone or step-through frame, a seat, and a platform for the rider's feet. Many scooters typically
A framework for interactive, real-time 3D scene segmentation (⭐ 196)
We propose Lodge++, a choreography framework to generate high-quality, ultra-long, and vivid dances given the music and desired genre. To handle the challenges in computational efficiency, the learning of complex and vivid global choreography pattern...