14,991 results for Paper

arxiv.org/abs/1711.09281v1

Refinement Types for Ruby

Refinement types are a popular way to specify and reason about key program properties. In this paper, we introduce RTR, a new system that adds refinement types to Ruby. RTR is built on top of RDL, a Ruby type checker that provides basic type informat...

www.bing.com/ck/a?!&&p=edfbd13b244581349b56ee13d3d4e6474b69229b3a60cd90d5d58a5e5894e123JmltdHM9MTc3Mjg0MTYwMA&ptn=3&ver=2&hsh=4&fclid=03f0572f-aa8d-6ad0-10ee-4039abae6bbd&u=a1aHR0cHM6Ly93d3cudW5sb2NraW5nLmNvbS9GQVEuaHRtbA&ntb=1

Frequently Asked Questions | Unlocking.com

No. Unlocking simply removes the network and SIM locks imposed by your network carrier. However, you should check your contract and paperwork to make sure that it doesn't affect your phone's …

www.bing.com/ck/a?!&&p=cf6478f604c3483d7b04c81cc1b2e18203b0a8ee5d2ab333a0cc223568dfeee7JmltdHM9MTc3Mjg0MTYwMA&ptn=3&ver=2&hsh=4&fclid=0283af9b-01e2-60e4-3398-b88d005161c0&u=a1aHR0cHM6Ly93d3cucmVsaWFzLmNvbS9yZXNvdXJjZS90b3BpYy9sZWFybmluZy1tYW5hZ2VtZW50LWFuZC10cmFpbmluZw&ntb=1

Learning Management and Training Resources | Relias

Oct 1, 2019 · Relias webinars, white papers, e-books, and more about Learning Management and Training. Check back for new resources added monthly.

www.bing.com/ck/a?!&&p=6755b285e320df88736529304d743754bc0d25a379dfccf39ca50157342f52a7JmltdHM9MTc3Mjg0MTYwMA&ptn=3&ver=2&hsh=4&fclid=0dea622e-b389-65f8-3bf9-7538b21d64d4&u=a1aHR0cHM6Ly93d3cucmVsaWFzLmNvbS9yZXNvdXJjZS90b3BpYy9sZWFybmluZy1tYW5hZ2VtZW50LWFuZC10cmFpbmluZw&ntb=1

Learning Management and Training Resources | Relias

Oct 1, 2019 · Relias webinars, white papers, e-books, and more about Learning Management and Training. Check back for new resources added monthly.

www.bing.com/ck/a?!&&p=9b203856f2694b5905822ec320d13268a542d13aa953ef5ac121072f32908adaJmltdHM9MTc3Mjg0MTYwMA&ptn=3&ver=2&hsh=4&fclid=112d98bf-f1ab-6330-27b5-8fa9f0b962e3&u=a1aHR0cHM6Ly93d3cucmVsaWFzLmNvbS9yZXNvdXJjZS90b3BpYy9sZWFybmluZy1tYW5hZ2VtZW50LWFuZC10cmFpbmluZw&ntb=1

Learning Management and Training Resources | Relias

Oct 1, 2019 · Relias webinars, white papers, e-books, and more about Learning Management and Training. Check back for new resources added monthly.

www.bing.com/ck/a?!&&p=db1709c8e9e9acae2036d6f9a01e8714f4f7fb942c5e3b31591ed5f4a6146f81JmltdHM9MTc3Mjg0MTYwMA&ptn=3&ver=2&hsh=4&fclid=220564a3-7687-6d8d-3060-73b577ad6c78&u=a1aHR0cHM6Ly93d3cucmVsaWFzLmNvbS9yZXNvdXJjZS90b3BpYy9sZWFybmluZy1tYW5hZ2VtZW50LWFuZC10cmFpbmluZw&ntb=1

Learning Management and Training Resources | Relias

Oct 1, 2019 · Relias webinars, white papers, e-books, and more about Learning Management and Training. Check back for new resources added monthly.

www.bing.com/ck/a?!&&p=08aafca0aa0d3743c08851a9efe73dd50eb3ddc39157bd0847120244ef60af9dJmltdHM9MTc3Mjg0MTYwMA&ptn=3&ver=2&hsh=4&fclid=18ab303f-2f26-60e5-212e-27292ede6154&u=a1aHR0cHM6Ly93d3cucmVsaWFzLmNvbS9yZXNvdXJjZS90b3BpYy9sZWFybmluZy1tYW5hZ2VtZW50LWFuZC10cmFpbmluZw&ntb=1

Learning Management and Training Resources | Relias

Oct 1, 2019 · Relias webinars, white papers, e-books, and more about Learning Management and Training. Check back for new resources added monthly.

www.bing.com/ck/a?!&&p=fc3832530604a2f40ef03994af0bbf44eb002b22293961ea482089cdbe39d3a6JmltdHM9MTc3Mjg0MTYwMA&ptn=3&ver=2&hsh=4&fclid=257bc61d-85c6-637c-2ba7-d10b84e06290&u=a1aHR0cHM6Ly93d3cucmVsaWFzLmNvbS9yZXNvdXJjZS90b3BpYy9sZWFybmluZy1tYW5hZ2VtZW50LWFuZC10cmFpbmluZw&ntb=1

Learning Management and Training Resources | Relias

Oct 1, 2019 · Relias webinars, white papers, e-books, and more about Learning Management and Training. Check back for new resources added monthly.

arxiv.org/abs/2208.03804v1

Mixels: Fabricating Interfaces using Programmable Magnetic Pixels

In this paper, we present Mixels, programmable magnetic pixels that can be rapidly fabricated using an electromagnetic printhead mounted on an off-the-shelve 3-axis CNC machine. The ability to program magnetic material pixel-wise with varying magneti...

arxiv.org/abs/1109.1164v2

Brief critical analysis of the Darwin-Fowler method

We present a brief numerical study of the Darwin-Fowler method applied to the analysis of the energy partition of essembles of bosons and fermions. We analyze the assertion of the existence of a "strong maximum" made in the original paper of Darwin a...

arxiv.org/abs/2510.12859v2

Three Lenses on the AI Revolution: Risk, Transformation, Continuity

Artificial Intelligence (AI) has emerged as both a continuation of historical technological revolutions and a potential rupture with them. This paper argues that AI must be viewed simultaneously through three lenses: \textit{risk}, where it resembles...

arxiv.org/abs/1905.01199v1

Total Variation Bayesian Learning via Synthesis

This paper presents a sparse Bayesian learning algorithm for inverse problems in signal and image processing with a total variation (TV) sparsity prior. Because of the prior used, and the fact that the prior parameters are estimated directly from the...

arxiv.org/abs/1905.13187v1

Use of convexity in contour detection

In this paper, we formulate a simple algorithm that detects contours around a region of interest in an image. After an initial smoothing, the method is based on viewing an image as a topographic surface and finding convex and/or concave regions using...

arxiv.org/abs/2310.09004v1

Nondeterminism and Guarded Commands

The purpose of this paper is to discuss the relevance of nondeterminism in computer science, with a special emphasis on Dijkstra's guarded commands language....

github.com/aikar/commands

aikar/commands

Java Command Dispatch Framework - (Bukkit, Spigot, Paper, Sponge, Bungee, JDA, Velocity supported, generically usable anywhere) (⭐ 620)