CST Colloquium: Static Analysis and Verification of C Programs

N-923

Date: September 17th, 2015 at 12:00 pm - 1:00 pm Location: Namm 923 Speaker: Subash Shankar Abstract: Department of Computer Science, Hunter College, City University of New York Recent years have seen the emergence of several static analysis techniques for reasoning about programs. This talk presents several major classes of techniques and tools that implement

CST Colloquium: How We Use Functional Programming to Find the Bad Guys

N-923

Date: October 1st, 2015 Time: 12:00 pm - 1:00 pm  Location: Namm 923 Speaker: Rick Minerich Abstract: Bayard Rock, LLC, is a private research and software development company with headquarters in the Empire State Building. It is a leader in the filed in the research and development of tools for improving the state of the

CST Colloquium: Pharmacology Powered by Computational Analysis: Predicting Cardiotoxicity of Chemotherapeutics

N-923

Date: October 22nd, 2015 at 12:00 pm - 1:00 pm  Location: Namm 923 Speaker: Jaehee Shim Abstract: Cardiotoxicity is unfortunately a common side effect of many modern chemotherapeutic agents. The mechanisms that underlie these detrimental effects on heart muscle, however, remain unclear. The Drug Toxicity Signature Generation Center at ISMMS aims to address this unresolved

CST Colloquium: The Modern, Responsive Web Site

N-923

Date: November 5th, 2015 at 12:00 pm - 1:00 pm  Location: Namm 923 Speaker: Anthony Holley Abstract: Department of Computer Systems Technology, New York City College of Technology, City University of New York More and more use is being made of cell phones for web exploration at the expense of conventional desk and laptop PCs.

CST Colloquium: Alberto Pepe presents Data-driven, Interactive Scientific Articles in a Collaborative Environment with Authorea

N-928

Date: February 11th, 2016 at 12:00 pm - 1:00 pm  Location: Namm 928 Abstract: Most tools that scientists use for the preparation of scholarly manuscripts, such as Microsoft Word and LaTeX, function offline and do not account for the born-digital nature of research objects. Also, most authoring tools in use today are not designed for collaboration, and, as scientific

CST Colloquium: Bio-inspired Computation Approach for Tumor Growth with Spatial Randomness Analysis of Kidney Cancer Xenograft Pathology Slides

N-928

Date: March 10th, 2016 at 12:00 pm - 1:00 pm  Location: Namm 928 Speaker: Aydin Saribudak Abstract:  In our research, we analyze digitized images of Hematoxylin-Eosin (H&E) slides equipped with tumorous tissues from patient derived xenograft models to build our bio-inspired computation method, namely Personalized Relevance Parameterization of Spatial Randomness (PReP-SR). Applying spatial pattern analysis techniques of quadrat counts,

CST Colloquium: NYC, Media and Technology: What’s Hot

N-928

Date: March 24th, 2016 at 12:00 pm - 1:00 pm Location: Namm 928 Speaker: Justin Hendrix Abstract: Founded in 2010, NYC Media Lab is dedicated to driving innovation and ultimately job growth in media and technology by facilitating collaboration between the City’s universities and its companies. Comprised of a consortium including New York City Economic Development Corporation, New

CST Colloquium: Ontology-based Classification and Faceted Search Interface for APIs

N-928

Date: April 7th, 2016 at 12:00 pm - 1:00 pm  Location: Namm 928 Speaker: Knarig Arabshian Abstract: This work introduces faceted service discovery. It uses the Programmable Web directory as its corpus of APIs and enhances the search to enable faceted search, given an OWL ontology. The ontology describes semantic features of the APIs. We have designed the API

CST Colloquium: Energy Management as a Service (EMaaS): Design, Analysis, and Realization

N-905

Speaker: Yu-Wen Chen, Ph.D., CST Abstract: Dr. Chen presents an introduction to smart grid and cloud computing as the foundation for the design of customer-oriented energy-efficient systems (EmaaS). These systems provide financial incentives to customers thus enhancing the renewable energy sources(solar, wind, electrical) integration with the smart grid community.