Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,376,792 papers from all fields of science
Search
Sign In
Create Free Account
SUBE card
Known as:
Sube
The SUBE card (standing for Sistema Único de Boleto Electrónico; literal English translation: Unified Electronic Ticket System) is a contactless…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
4 relations
Contactless smart card
Electronic ticket
Stored-value card
Broader (1)
Ubiquitous computing
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
Types and trace effects for object orientation
C. Skalka
High. Order Symb. Comput.
2008
Corpus ID: 18959121
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a…
Expand
2008
2008
A Note on the Properties of the Supremal Controllable Sublanguage in Pushdown Systems
C. Griffin
IEEE Transactions on Automatic Control
2008
Corpus ID: 21429383
Consider an event alphabet Sigma. The supervisory control theory of Ramadge and Wonham asks the question: given a plant model G…
Expand
Highly Cited
2008
Highly Cited
2008
Linear Network Codes and Systems of Polynomial Equations
R. Dougherty
,
C. Freiling
,
K. Zeger
IEEE Transactions on Information Theory
2008
Corpus ID: 7875479
If beta and gamma are nonnegative integers and F is a field, then a polynomial collection {p1,hellip ,Pbeta} sube Z[alpha1,hellip…
Expand
Highly Cited
2006
Highly Cited
2006
Inclusion--Exclusion Algorithms for Counting Set Partitions
Andreas Björklund
,
T. Husfeldt
IEEE Annual Symposium on Foundations of Computer…
2006
Corpus ID: 14730202
Given a set U with n elements and a family of subsets S sube 2 <sup>U</sup> we show how to count the number of k-partitions S<sub…
Expand
Highly Cited
2005
Highly Cited
2005
Network information flow with correlated sources
J. Barros
,
S. Servetto
IEEE Transactions on Information Theory
2005
Corpus ID: 1274
Consider the following network communication setup, originating in a sensor networking application we refer to as the "sensor…
Expand
Highly Cited
2004
Highly Cited
2004
Detection of buried targets via active selection of labeled data: application to sensing subsurface UXO
Yan Zhang
,
X. Liao
,
L. Carin
IEEE Transactions on Geoscience and Remote…
2004
Corpus ID: 7032167
When sensing subsurface targets, such as landmines and unexploded ordnance (UXO), the target signatures are typically a strong…
Expand
2000
2000
A dual version of Reimer's inequality and a proof of Rudich's conjecture
J. Kahn
,
M. Saks
,
Clifford D. Smyth
Proceedings 15th Annual IEEE Conference on…
2000
Corpus ID: 16429609
We prove a dual version of the celebrated inequality of D. Reimer (a.k.a. the van den Berg-Kesten conjecture). We use the dual…
Expand
1998
1998
Algorithms to tile the infinite grid with finite clusters
M. Szegedy
Proceedings 39th Annual Symposium on Foundations…
1998
Corpus ID: 15326193
We say that a subset T of Z/sup 2/, the two dimensional infinite grid, tiles Z/sup 2/ if we can cover Z/sup 2/ with non…
Expand
Highly Cited
1995
Highly Cited
1995
La práctica educativa: cómo enseñar
A. Vidiella
1995
Corpus ID: 186071171
Habitualmente, cuando se habla de evaluacion se piensa, de forma prioritaria e incluso exclusive, en los resultados obtenidos por…
Expand
1995
1995
Lower bounds for perceptrons solving some separation problems and oracle separation of AM from PP
N. Vereshchagin
Proceedings Third Israel Symposium on the Theory…
1995
Corpus ID: 414102
We prove that perceptrons separating Boolean matrices in which each row has a one from matrices in which many rows have no one…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE