6,383 results for fund

arxiv.org/abs/1901.02338v1

Sparse One-Time Grab Sampling of Inliers

Estimating structures in "big data" and clustering them are among the most fundamental problems in computer vision, pattern recognition, data mining, and many other other research fields. Over the past few decades, many studies have been conducted fo...

arxiv.org/abs/1407.3372v1

Arbitrage in markets with bid-ask spreads

In this paper a finite discrete time market with an arbitrary state space and bid-ask spreads is considered. The notion of an equivalent bid-ask martingale measure (EBAMM) is introduced and the fundamental theorem of asset pricing is proved using (EB...

www.bing.com/ck/a?!&&p=8043a5b6b5c050761c2c549a714dec94ba75af55278f9c6c8ba44a2b1a895283JmltdHM9MTc3MjQ5NjAwMA&ptn=3&ver=2&hsh=4&fclid=3341d155-7c4a-62c4-2784-c6447def63ea&u=a1aHR0cHM6Ly93d3cuc2NpZW5jZW5ld3Mub3JnL2FydGljbGUvc3BhY2UtZXhwbG9yYXRpb24tbmFzYS10cnVtcA&ntb=1

What will space exploration look like under Trump? - Science News

Dec 18, 2024 · The future of U.S. space exploration and NASA-funded science is up in the air as President-elect Donald Trump prepares to return to office.

arxiv.org/abs/2103.09614v1

Should the Endless Frontier of Federal Science be Expanded?

Scientific research in the United States could receive a large increase in federal funding--up to 100 billion dollars over five years -- if proposed legislation entitled the Endless Frontiers Act becomes law. This bipartisan and bicameral bill, intro...

arxiv.org/abs/2012.08990v1

A Novice-Friendly Induction Tactic for Lean

In theorem provers based on dependent type theory such as Coq and Lean, induction is a fundamental proof method and induction tactics are omnipresent in proof scripts. Yet the ergonomics of existing induction tactics are not ideal: they do not reliab...

arxiv.org/abs/2502.14488v3

U-index: A Universal Indexing Framework for Matching Long Patterns

Text indexing is a fundamental and well-studied problem. Classic solutions either replace the original text with a compressed representation, e.g., the FM-index and its variants, or keep it uncompressed but attach some redundancy - an index - to acce...

arxiv.org/abs/1507.02917v1

The Topology of Knight's Tours on Surfaces

We investigate the homotopy classes of closed knight's tours on cylinders and tori. Specifically, we characterize the dimensions of cylindrical chessboards that admit closed knight's tours realizing the identity of the fundamental group and those tha...

github.com/beeware/paying-the-piper

beeware/paying-the-piper

A project for discussing ways to fund open source development. (⭐ 341)

www.bing.com/ck/a?!&&p=2376e4e2caa8a3ec3a04a605367aa5198b379e046436baa1002f96bfde709548JmltdHM9MTc3MjQ5NjAwMA&ptn=3&ver=2&hsh=4&fclid=3ef27cb9-aa35-68a5-269e-6ba8ab866917&u=a1aHR0cHM6Ly9zcGVjdHJ1bS5pZWVlLm9yZy90b3Atcm9ib3RpY3Mtc3Rvcmllcy0yMDI0&ntb=1

The Top 7 Robotics Stories of 2024 - IEEE Spectrum

Dec 29, 2024 · The Top 7 Robotics Stories of 2024 A new Atlas, Figure's bonkers funding round, and the last voyage of a helicopter on Mars Evan Ackerman 29 Dec 2024

arxiv.org/abs/2502.04012v1

Malleable Robots

This chapter is about the fundamentals of fabrication, control, and human-robot interaction of a new type of collaborative robotic manipulators, called malleable robots, which are based on adjustable architectures of varying stiffness for achieving h...

en.wikipedia.org/wiki/European_Roma_Information_Office

European Roma Information Office - Wikipedia

United States : Association "Sa-Roma" Ukraine : Roma Women Charitable Fund Petra Hajdu (March 12, 2004). "Hungary asks - will Roma riot here?". Czech Radio

www.bing.com/ck/a?!&&p=85cc7904c26f9a744ed4a60372383b8e0ffd6f4f163f6e2b3f560ea64b9b3fddJmltdHM9MTc3MjQ5NjAwMA&ptn=3&ver=2&hsh=4&fclid=25524f24-c7ef-6196-3aee-5835c6866093&u=a1aHR0cHM6Ly93d3cud2hvLmludC90ZWFtcy9lbnZpcm9ubWVudC1jbGltYXRlLWNoYW5nZS1hbmQtaGVhbHRoL3dhdGVyLXNhbml0YXRpb24tYW5kLWhlYWx0aC9zYW5pdGF0aW9uLXNhZmV0eQ&ntb=1

Water Sanitation and Health - World Health Organization (WHO)

Safe and climate resilient sanitation systems are fundamental to protect public health. WHO supports capacity building and implementation through guidelines and tools on sanitation and health, safe use …