8,113 results for frame

arxiv.org/abs/1405.7211v1

$Λ$ hyperonic effect on the magnesium dripline

Neutron dripline calculations for both magnesium nuclei and magnesium + $Λ$ hypernuclei have been carried out in a microscopic framework using a chiral effective model. The results are compared with two other relativistic mean field models, SPL-40 a...

github.com/bosefirmware/ced

bosefirmware/ced

Bose Firmware / Software - ced (AE2, Frames, Noise Cancelling Headphones 700, OE, On-Ear Wireless, QuietComfort 35 II / QC35 / QC35II, QuietControl 30 / QC30, SoundLink Color II, Micro, SL Mini Special Edition, Mini II, Revolve, SoundSport Free, Pulse, Wireles…

github.com/m0n0x41d/quint-code

m0n0x41d/quint-code

Structured reasoning framework for Claude Code, Gemini, Cursor, and Codex — hypothesis-driven decision making with auditable evidence trails (⭐ 1173)

github.com/cureos/csunits

cureos/csunits

C# framework for Units of Measurement (⭐ 50)

www.bing.com/ck/a?!&&p=8621d9c2b76d09a30b57cf52e6358583d17348d6be102f8331ab4b05c9823529JmltdHM9MTc3MjU4MjQwMA&ptn=3&ver=2&hsh=4&fclid=0f6bd436-7ee0-633f-3b2c-c3247f3c6239&u=a1aHR0cHM6Ly9haS5zdGFja2V4Y2hhbmdlLmNvbS9xdWVzdGlvbnMvMjM1NDcvZXh0cmFjdC1mZWF0dXJlcy13aXRoLWNubi1hbmQtcGFzcy1hcy1zZXF1ZW5jZS10by1ybm4&ntb=1

Extract features with CNN and pass as sequence to RNN

Sep 12, 2020 · But if you have separate CNN to extract features, you can extract features for last 5 frames and then pass these features to RNN. And then you do CNN part for 6th frame and you pass …

arxiv.org/abs/cs/0207030v2

Collective Argumentation

An extension of an abstract argumentation framework, called collective argumentation, is introduced in which the attack relation is defined directly among sets of arguments. The extension turns out to be suitable, in particular, for representing se...

github.com/typestack/routing-controllers

typestack/routing-controllers

Create structured, declarative and beautifully organized class-based controllers with heavy decorators usage in Express / Koa using TypeScript and Routing Controllers Framework. (⭐ 4513)

arxiv.org/abs/2202.08246v6

Galois connecting call-by-value and call-by-name

We establish a general framework for reasoning about the relationship between call-by-value and call-by-name. In languages with computational effects, call-by-value and call-by-name executions of programs often have different, but related, observab...

arxiv.org/abs/2002.09282v2

Homotopy Type Theory in Isabelle

This paper introduces Isabelle/HoTT, the first development of homotopy type theory in the Isabelle proof assistant. Building on earlier work by Paulson, I use Isabelle's existing logical framework infrastructure to implement essential automation, suc...

www.bing.com/ck/a?!&&p=7714796c1282d83f3f63d527dfc12c31be59bc4fd3becf02fa96011e48d7b5bcJmltdHM9MTc3MjU4MjQwMA&ptn=3&ver=2&hsh=4&fclid=0880ba2b-e9e7-6d81-10a3-ad39e8836c74&u=a1aHR0cHM6Ly9lbmdsaXNoLnN0YWNrZXhjaGFuZ2UuY29tL3F1ZXN0aW9ucy8yMDgwNDAvaHlwaGVuYXRpbmctbWVhc3VyZW1lbnRz&ntb=1

punctuation - English Language & Usage Stack Exchange

In the United States, most style guides that I have encountered recommend including the second hyphen in situations such as "8-foot-long bridge." Here is how some guides frame their advice. From …

github.com/NVIDIA-Merlin/HugeCTR

NVIDIA-Merlin/HugeCTR

HugeCTR is a high efficiency GPU framework designed for Click-Through-Rate (CTR) estimating training (⭐ 1048)

github.com/panique/huge

panique/huge

Simple user-authentication solution, embedded into a small framework. (⭐ 2216)

github.com/danforbes/pallet-nft

danforbes/pallet-nft

A Substrate FRAME pallet that defines and implements a non-fungible token (NFT) interface. (⭐ 87)