IEEE

Verification of Current-State Opacity in Time Labeled Petri Nets With Its Application to Smart Houses

Abstract: This work addresses the verification of current-state opacity with respect to a real-time observation generated from time-dependent systems. The secret behavior of a time-dependent system is ...
IEEE

Crosstalk-Aware Shared Backup Path Protection in Multi-Core Fiber Elastic Optical Networks

Abstract: Elastic optical networks employing multi-core fibers (MCF-EON) have the potential to expand significantly the transmission capacity of optical transport. However, wide deployment of such ...
cmu.edu

Mellon College of Science

Carnegie Mellon University offers an interdisciplinary Ph.D program in Algorithms, Combinatorics, and Optimization (ACO). This program is the first of its kind in the United States. It is administered ...
San Diego Union-Tribune

San Diego Union-Tribune

Sandiegouniontribune.com covers local news in San Diego County, CA, California and national news, sports, things to do and the best places to eat, business and the San Diego housing market.
Visual Studio Magazine

Support Vector Regression with SGD Training Using C#

Support vector regression can predict numeric values effectively, and this article shows how to implement and train a kernel SVR model in C# using stochastic sub-gradient descent.
The Earth Institute Columbia University

Vineet Goyal

I am Professor in the Industrial Engineering and Operations Research department at Columbia University. I received my PhD in Algorithms, Combinatorics and Optimization (ACO) in 2008 from Tepper School ...