Sciweavers

3191 search results - page 341 / 639
» Qualitative Modeling in Education
Sort
View
93
Voted
CORR
2010
Springer
101views Education» more  CORR 2010»
15 years 24 days ago
Computing the Least Fixed Point of Positive Polynomial Systems
We consider equation systems of the form X1 = f1(X1, . . . , Xn), . . . , Xn = fn(X1, . . . , Xn) where f1, . . . , fn are polynomials with positive real coefficients. In vector fo...
Javier Esparza, Stefan Kiefer, Michael Luttenberge...
83
Voted
CORR
2010
Springer
156views Education» more  CORR 2010»
15 years 24 days ago
MIMO Transmission with Residual Transmit-RF Impairments
Abstract--Physical transceiver implementations for multipleinput multiple-output (MIMO) wireless communication systems suffer from transmit-RF (Tx-RF) impairments. In this paper, w...
Christoph Studer, Markus Wenk, Andreas Burg
CORR
2010
Springer
61views Education» more  CORR 2010»
15 years 24 days ago
Utility and Privacy of Data Sources: Can Shannon Help Conceal and Reveal Information?
Abstract-- The problem of private information "leakage" (inadvertently or by malicious design) from the myriad large centralized searchable data repositories drives the n...
Lalitha Sankar, S. Raj Rajagopalan, H. Vincent Poo...
CORR
2010
Springer
113views Education» more  CORR 2010»
15 years 24 days ago
Traffic Capacity of Large WDM Passive Optical Networks
As passive optical networks (PON) are increasingly deployed to provide high speed Internet access, it is important to understand their fundamental traffic capacity limits. The pape...
Nelson Antunes, Christine Fricker, Philippe Robert...
CORR
2010
Springer
58views Education» more  CORR 2010»
15 years 24 days ago
Verifying Recursive Active Documents with Positive Data Tree Rewriting
This paper considers a tree-rewriting framework for modeling documents evolving through service calls. We focus on the automatic verification of properties of documents that may c...
Blaise Genest, Anca Muscholl, Zhilin Wu