Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

So.cl

Known as: Socl 
So.cl (pronounced "social") is a social networking service and social search engine operated by Microsoft FUSE Labs.
Wikipedia

Related topics

Related topics

6 relations
Google+List of Microsoft softwareLoginMicrosoft FUSE Labs

Broader (2)

Microsoft ResearchSocial search

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
SOCl 2 / N -甲基吡咯烷酮促进的酮肟Beckmann重排
 
2016
2016
MultiCL: Enabling automatic scheduling for task-parallel workloads in OpenCL
Abstract The OpenCL specification tightly binds a command queue to a specific device. For best performance, the user has to find… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • table 2
2015
2015
High Quality Graph-Based Similarity Search
SimRank is an influential link-based similarity measure that has been used in many fields of Web search and sociometry. The best… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 4
  • figure 3
2014
2014
Toward OpenCL Automatic Multi-Device Support
To fully tap into the potential of today heterogeneous machines, offloading parts of an application on accelerators is no longer… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2012
2012
A logical verification methodology for service-oriented computing
We introduce a logical verification methodology for checking behavioral properties of service-oriented computing systems. Service… Expand
  • figure 1
  • figure 4
  • figure 5
  • table II
  • figure 6
2012
2012
A logical verification methodology for service-oriented computing
We introduce a logical verification methodology for checking behavioral properties of service-oriented computing systems. Service… Expand
2009
2009
Specification and Analysis of SOC Systems Using COWS: A Finance Case Study
Service-oriented computing, an emerging paradigm for distributed computing based on the use of services, is calling for the… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
2008
Highly Cited
2008
A Model Checking Approach for Verifying COWS Specifications
We introduce a logical verification framework for checking functional properties of service-oriented applications formally… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
1998
1998
Chlorination reactions of ephedrines revisited. Stereochemistry and functional groups effect on the reaction mechanisms
The stereochemistry of the chlorination reactions with SOCl2 of free ephedrine and pseudoephedrine and their hydrochlorides… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 8
  • figure 10
Highly Cited
1952
Highly Cited
1952
Introduction to Statistical Analysis.
Welcome to SOCL 2201, a.k.a Astats@. Most likely, you enrolled in this course because Astats@ is required for your major. Why do… Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE