Through time-series CCD photometry of the metal-poor globular cluster M53, we have discovered eight new SX Phoenicis type stars (labeled from SXP1 to SXP8). All the new SX Phoenicis stars are located in the blue straggler star region of a color-mag...
I describe a puzzle I wrote for the 2018 MIT Mystery Hunt which introduced new types of people in logic puzzles. I discuss the puzzle itself, the solution, and the mathematics behind it....
Consider the single server queue with an infinite buffer and a FIFO discipline, either of type M/M/1 or Geom/Geom/1. Denote by A the arrival process and by s the services. Assume the stability condition to be satisfied. Denote by D the departure pr...
Set up your HBO Max account. If you get HBO Max through an internet, mobile, or TV provider, choose Connect Your Provider, then choose who you get HBO Max (or HBO) through, or type their name in …
In this work, we will be testing four different general \textit{f(R)}-gravity models, two of which are the more realistic models (namely the Starobinsky and the Hu-Sawicki models), to determine if they are viable alternative models to pursue a more v...
Fun typing game to improve typing speed and accuracy. Stay alive by typing whole words for as long as you can. Are you ready for the challenge? Try it now!
Tux Typing is a free and open source typing tutor created especially for children. It features several different types of game play, with a variety of
As you progress through Typing.com, we track your most troublesome keys. We then use TypeAI to generate fun stories for you to improve on your problem keys. Completa algunas pantallas de lección …
In the paper, the authors establish some interesting identities and inequalities involving the extended Weyl type fractional integrals....
Guys, for a few weeks now I've noticed that when I type on my iPhone, I keep making mistakes. Apparently, I'm pressing the wrong letters, and as a result, I have to correct and rewrite the words const...
In reductive proof search, proofs are naturally generalized by solutions, comprising all possibly infinite structures generated by locally correct, bottom-up application of inference rules. We propose an extension of the Curry-Howard paradigm of repr...
*DEPRECATED* The TypeScript Definition Manager (⭐ 3371)
Get those fingers flying across the keyboard with free typing games by Typing.com. Boost your typing speed (WPM) and increase accuracy while hunting zombies, popping balloons, and saving your …
The class of Banach spaces $(L^{q},L^{p}) ^α(X,d,μ)$, $1\leq q\leq α\leq p\leq \infty ,$ introduced in \cite{F1} in connection with the study of the continuity of the fractional maximal operator of Hardy-Littlewood and of the Fourier transformat...
Gradual typing is a type system that allows for both static typing and dynamic typing but enforces types at runtime. Gradual typing allows software developers
By considering non-trivial global deformations of the Witt (and the Virasoro) algebra given by geometric constructions it is shown that, despite their infinitesimal and formal rigidity, they are globally not rigid. This shows the need of a clear in...
Uhh basically the title...
We combine dependent types with linear type systems that soundly and completely capture polynomial time computation. We explore two systems for capturing polynomial time: one system that disallows construction of iterable data, and one, based on the...
States, a federal resume is a type of résumé constructed specifically to apply for Federal government jobs. Like a private sector resume, it contains a summary
Newell is a company that you can grow with and gain experience in numerous types of positions until you find one that works best for you. I also love that Newell gives people opportunities to volunteer …