Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 205,212,202 papers from all fields of science
Search
Sign In
Create Free Account
So.cl
Known as:
Socl
So.cl (pronounced "social") is a social networking service and social search engine operated by Microsoft FUSE Labs.
Wikipedia
Create Alert
Alert
Related topics
Related topics
6 relations
Google+
List of Microsoft software
Login
Microsoft FUSE Labs
Broader (2)
Microsoft Research
Social search
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Smart Service-Oriented Clustering for Dynamic Slice Configuration
T. Taleb
,
Djamel Eddine Bensalem
,
Abdelquoddouss Laghrissi
IEEE Global Communications Conference (GLOBECOM)
2019
Corpus ID: 204842927
The fifth generation (5G) and beyond wireless networks are foreseen to operate in a fully automated manner, in order to fulfill…
Expand
2017
2017
SOCl 2 / N -甲基吡咯烷酮促进的酮肟Beckmann重排
周安西
,
郑大贵
,
祝显虹
,
王媚媚
2017
Corpus ID: 102832063
2016
2016
MultiCL: Enabling automatic scheduling for task-parallel workloads in OpenCL
Ashwin M. Aji
,
Antonio J. Peña
,
P. Balaji
,
Wu-chun Feng
Parallel Comput.
2016
Corpus ID: 10592077
2016
2016
Research Guides: SOCL 647 Contemporary Community Structure: Selecting a Topic
Lisa Klopfer
2016
Corpus ID: 231011265
2015
2015
High Quality Graph-Based Similarity Search
Weiren Yu
,
J. Mccann
SIGIR
2015
Corpus ID: 7786363
SimRank is an influential link-based similarity measure that has been used in many fields of Web search and sociometry. The best…
Expand
2014
2014
Toward OpenCL Automatic Multi-Device Support
S. Henry
,
Alexandre Denis
,
Denis Barthou
,
M. Counilh
,
R. Namyst
Euro-Par
2014
Corpus ID: 1642540
To fully tap into the potential of today heterogeneous machines, offloading parts of an application on accelerators is no longer…
Expand
2012
2012
A logical verification methodology for service-oriented computing
A. Fantechi
,
S. Gnesi
,
A. Lapadula
,
F. Mazzanti
,
R. Pugliese
,
F. Tiezzi
TSEM
2012
Corpus ID: 10163431
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
F. Banti
,
A. Lapadula
,
R. Pugliese
,
F. Tiezzi
Electron. Notes Theor. Comput. Sci.
2009
Corpus ID: 540366
Highly Cited
2008
Highly Cited
2008
A Model Checking Approach for Verifying COWS Specifications
A. Fantechi
,
S. Gnesi
,
A. Lapadula
,
F. Mazzanti
,
R. Pugliese
,
F. Tiezzi
FASE
2008
Corpus ID: 16162523
We introduce a logical verification framework for checking functional properties of service-oriented applications formally…
Expand
1998
1998
Chlorination reactions of ephedrines revisited. Stereochemistry and functional groups effect on the reaction mechanisms
A. Flores‐Parra
,
P. Suárez-Moreno
,
+7 authors
R. Contreras
1998
Corpus ID: 64650357
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