
UACalc
 Referenced in 5 articles
[sw29480]
 UACalc, a Universal Algebra Calculator.

UALGEBRA
 Referenced in 1 article
[sw32186]
 A unipodal algebra package for MATHEMATICA. This article discusses unipodal numbers, a kind of hyperbolic version of the complex plane, where the imaginary unit is ...

UALib
 Referenced in 1 article
[sw36875]
 The Agda Universal Algebra Library and Birkhoff’s Theorem in MartinLöf Dependent Type Theory. The Agda Universal Algebra Library (UALib) is a library of types and ...

uaparserjs
 Referenced in 0 articles
[sw16296]
 R package uaparserjs. Despite there being a section in RFC 7231 <https://tools.ietf.org/html/rfc7231#section5.5.3> defining a suggested structure for ’UserAgent’ headers this data is notoriously difficult to ...

UAVision
 Referenced in 1 article
[sw33052]
 UAVision: A Modular TimeConstrained Vision Library for ColorCoded Object Detection. The ultimate goal of Computer Vision has been, for more than half of century, to ...

UBAPV2G
 Referenced in 1 article
[sw20865]
 UBAPV2G: a unique batch authentication protocol for vehicletogrid communications. “Vehicletogrid” (V2G) power will be a new green energy scheme in which electric or plugin hybrid ...

UBASIC
 Referenced in 30 articles
[sw06033]
 UBASIC is a BASIClike environment which is suitable for number theoretic investigations. Version 8 of UBASIC has the high precision real and complex arithmetic (up ...

UBCSAT
 Referenced in 39 articles
[sw02614]
 UBCSAT: An implementation and experimentation environment for SLS algorithms for SAT and MAXSAT

UbiCrawler
 Referenced in 33 articles
[sw13197]
 UbiCrawler: a scalable fully distributed web crawler. We report our experience in implementing UbiCrawler, a scalable distributed Web crawler, using the Java programming language. The ...

UbikSim
 Referenced in 1 article
[sw06883]
 UbikSim 2.0: Ambient Intelligence development driven by agentbased social simulation. ”Ambient Intelligence” (AmI) stems from the convergence of ubiquitous computing, ubiquitous communication and intelligent userfriendly ...

UBIRIS
 Referenced in 8 articles
[sw17617]
 UBIRIS: A noisy iris image database. Within the biometrics context, the iris is commonly accepted as one of the most accurate biometric traits and has ...

Ubisense
 Referenced in 1 article
[sw04432]
 The Access Grid is an ensemble of resources and technology which provides a virtual collaboration tool

UBL
 Referenced in 0 articles
[sw14862]
 UBL: an R package for Utilitybased Learning. This document describes the R package UBL that allows the use of several methods for handling utilitybased learning ...

uBLAS
 Referenced in 4 articles
[sw12896]
 uBLAS is a C++ template class library that provides BLAS level 1, 2, 3 functionality for dense, packed and sparse matrices. The design and implementation ...

ubms
 Referenced in 1 article
[sw40604]
 R package ubms: Bayesian Models for Data from Unmarked Animals using ’Stan’. Fit Bayesian hierarchical models of animal abundance and occurrence via the ’rstan’ package, ...

uCalc
 Referenced in 0 articles
[sw06034]
 uCalc Fast Math Parser is used by Fortune 500 companies from categories such as Aeronautics, Automobile, Banking, Computers, and Securities. This scientific calculator is the ...

UCARE
 Referenced in 6 articles
[sw11779]
 UCARE: Utilities for Performing Goodness of Fit Tests and Manipulating CApture–REcapture Data. In any statistical analysis, assessing the goodness of fit of a model to ...

UCBTEST
 Referenced in 3 articles
[sw13171]
 UCBTEST, a suite of programs for testing certain difficult cases of IEEE 754 floatingpoint arithmetic.

UCF101
 Referenced in 10 articles
[sw31216]
 UCF101: A Dataset of 101 Human Actions Classes From Videos in The Wild. We introduce UCF101 which is currently the largest dataset of human actions. ...

UCFL
 Referenced in 11 articles
[sw02951]
 ChurchRosser languages vs. UCFL. The class of growing contextsensitive languages (GCSL) was proposed as a naturally defined subclass of contextsensitive languages whose membership problem is ...