More Fields

Filters

Profiles which have:

Recent Changes

Profiles with recent changes to:
Sign up to Download

1-13 of 13 results

  • www.starexec.org
  • 7
StarExec is a cross community logic solving service developed at the University of Iowa under the direction of principal investigators Aaron Stump (Iowa), Geoff Sutcliffe (University of Miami), and Cesare Tinelli (Iowa)... StarExec is supported by a..
Relevance: 20.379889
  • www.satisfiability.org
  • 1
  • 28
The International Conferences on Theory and Applications of Satisfiability Testing are the primary annual meetings for researchers studying the propositional satisfiability problem (SAT), a prominent problem in both theoretical and applied computer..
Relevance: 9.341567
  • www.freogroup.com
  • 14
  • 12
  • 29
FREO Group, as it is known today, was founded in 1996 More than 60 transactions later, FREO is now an independent pan European real estate and private markets investment manager with an extensive network of 11 offices in 7 countries with over 80..
Relevance: 8.92126
  • sat2018.azurewebsites.net
  • 1
  • 33
SAT 2018 aims to further advance the field by soliciting original theoretical and practical contributions in these areas with a clear connection to satisfiability. Specifically, SAT 2018 invites scientific contributions addressing different aspects..
Relevance: 8.520092
  • www.ubp.com
  • 14
  • 19
  • 35
Union Bancaire Privée (UBP) was founded in 1969 by Edgar de Picciotto, whose vision from the outset was to offer investors an astute and innovative wealth management service. Today, we continue to apply our forward-looking vision, our entrepreneurial..
Relevance: 7.884675
  • www.ubp.com
  • 14
  • 21
  • 35
Union Bancaire Privée (UBP) was founded in 1969 by Edgar de Picciotto, whose vision from the outset was to offer investors an astute and innovative wealth management service. Today, we continue to apply our forward-looking vision, our entrepreneurial..
Relevance: 7.841526
  • www.bforcure.com
  • 2
  • 2
  • 76
At BforCure, we believe that scientific and technological innovations are major levers for solving the challenges of today's world, in terms of improving the health of individuals, but also in terms of economic, social, societal, industrial and..
Relevance: 4.4298306
  • cnslab.stanford.edu
  • 92
The multidisciplinary research team focuses on MRI studies of substance abuse, sleep, HIV, and adolescent brain development. The impact of the COVID-19 pandemic on adolescent brain development is a recent interest of ours. MRIs are acquired on..
Relevance: 4.329575
  • www.sintef.no
  • 2110
  • 25
  • 1476
SATS Certification is an association of manufacturers' and independent test laboratories and end user organisations set up according to the guidelines of NS-EN ISO/IEC 17065 (2012): Conformity assessment - Requirements for bodies certifying products,..
Relevance: 0.52771336
  • www.sintef.no
  • 2192
  • 19
  • 1533
SINTEF TTO is a wholly owned subsidiary of SINTEF, with corporate responsibilities of operating the SINTEF Innovation Concept, in joint effort with top management of SINTEF's business areas. SINTEF TTO is also responsible for managing Intellectual..
Relevance: 0.52771336
  • www.sintef.no
  • 1564
  • 25
  • 1117
The commercialisation of our research results is part of SINTEF's role in society. We achieve this by means of licensing and creating new companies based on technologies developed as part of our research activities... SINTEF was established in 1950..
Relevance: 0.5044538
  • www.sintef.no
  • 1569
  • 25
  • 1130
CRIOP is open, free and available method developed through financing from the research council in Norway. The method is freely available as Common Clause (CC) 4.0 BY... CRIOP is the leading methodology to verify and validate the ability of a control..
Relevance: 0.50293875
  • www.sintef.no
  • 2220
  • 24
  • 1558
SINTEF is a broad, multidisciplinary research organisation with international top-level expertise in the fields of technology, the natural sciences, medicine and the social sciences. We conduct contract R&D as a partner for the private and public..
Relevance: 0.49584895