Companies similar to MARS
Sign up to Download

31-60 of 7,012,511 results

  • absynth2015.github.io
  • 1
AbSynth 2015 is a two-day workshop to be held in conjunction with the 2015 Robotics Science and Systems (RSS) conference in Rome, Italy on July 16-17, 2015... The increasing use of automation in safety- and mission-critical situations encourages the..
Relevance: 13.853702
  • ardubotics.eu
  • 3
  • 2
Ardubotics d.o.o. is a leading regional distributor of educational technologies and a logistic partner in the implementation of STEAM projects and programs in formal, non-formal and informal education systems... In addition to the distribution of..
Relevance: 13.844766
  • www.verivital.com
  • 1
  • 3
Research Synopsis: Defects stemming from the interaction of software and physical processes in embedded and cyber-physical systems (CPS) are rampant and are becoming more prevalent as exemplified by frequent product recalls in industries such as..
Relevance: 13.829919
  • wrighttechnical.net
  • 1
My formal education took place at East Texas State University in Commerce, TX where I received a B.S. in Management Information Systems. I have over 20 years of formal experience providing technical support and training to a wide range of users and..
Relevance: 13.828038
  • www.tclss.com.au
  • 1
  • 2
  • 2
TCL Support Services in conjunction with Rehabilitation providers has developed a Return to Work Program that consists of formal policies and procedures outlining TCL's commitment to assist injured workers with their recovery and return to the..
Relevance: 13.818542
  • ihrdc.com
  • 10
  • 7
  • 7
IHRDC offers formal instructional programs, consulting and competency management and Web-based knowledge and virtual learning systems to the oil, gas and power industry worldwide…..
Relevance: 13.759048
  • marianomoscato.github.io
  • 1
I've earned my Ph.D. in Computer Science at the University of Buenos Aires in 2014, under the supervision of Marcelo Frías. I joined the National Institute of Aerospace as a Postdoc shortly after that, and I am still working there as a Senior..
Relevance: 13.723721
  • platipus.us
  • 6
  • 1
  • 6
Founded in 1982, with formal US operations emerging in 2002, Platipus Anchors has long been recognized as the market leader in providing innovative and cutting-edge mechanical ground anchoring solutions for a wide range of construction applications...
Relevance: 13.70361
  • eurotempest.net
  • 1
  • 2
Eurotempest specialises in qualified defence- and government customers' needs of high-assurance IT products and systems. Our products are used throughout EU and NATO in over 20 countries, by national as well as central authorities. Our customers..
Relevance: 13.682462
  • 83d.in
  • 2
  • 1
  • 9
We provide mission critical communication systems to communication denied areas like, deserts, mountains, jungles and wilderness... We are India's leading off-grid communication systems provider. We work beyond the edge - when formal communication..
Relevance: 13.6610775
  • www.devpar.com
  • 1
  • 1
  • 4
DevPar is a limited liability company incorporated under the Canada Business Corporations Act. The firm is registered with international financial institutions as a provider of consulting services... DevPar was established in 1992 by consultants..
Relevance: 13.642729
  • www.clearsy.com
  • 1
  • 4
CLEARSY's originality lies in its expertise in Systems, Software and Operational Safety, as well as its mastery of formal methods... We are safety software and systems designers. Contact us and let's discuss your project together!..
Relevance: 13.641858
  • formalmolding.com
  • 1
  • 1
‘Formal' was founded by Anno Visser in 2020. At the moment, Formal mainly focuses on doing test injections for the development of injection molding products for various customers. By 3D printing molds using Masked-Stereolithography (MSLA) technology,..
Relevance: 13.631502
  • siabo.dk
  • 1
The scientific aim of the project is to provide systems architecture for representing, organizing of, and accessing conceptual content of biomedical texts using a formal ontology...
Relevance: 13.610997
  • www.vita-eu.org
  • 1
  • 1
VITA intends to link formal certification (EUROPASS) including formal and summative validation based on EQF with evidence of social and personal competence development which are essential in the service sector. For this purpose VITA will apply the..
Relevance: 13.575636
  • www.monroebar.org
  • 1
  • 10
  • 9
In 1915 a formal constitution and by-laws were developed, and Monroe County Bar Association was formed. Thirteen members started the association, which has grown to over 250 members. Our members are leaders in their profession and leaders in our..
Relevance: 13.527916
  • www.doubledmusic.com
  • 1
We are an experienced disc jockey company, specializing in wedding receptions. Not every wedding reception is the same, so our MC is ready for a crowd looking for maximum interaction or someone more reserved... All of our sound systems are state of..
Relevance: 13.514241
  • shmarov.com
  • 1
ESBMC - bounded model checker based on satisfiability modulo theories for the verification of single- and multi-threaded C/C++ programs... I am a Research Associate in the Systems and Software Security (S3) group, Department of Computer Science at..
Relevance: 13.436186
  • www.formalassurance.com
  • 1
  • 1
  • 1
Our services include consulting for adequate project setup, hands-on work building a formal model and verifying critical requirements, as well as training for individuals and groups targeting different levels of proficiency... We offer trainings..
Relevance: 13.337862
  • www.krishnacentralschool.com
  • 1
A school is an educational institution designed to provide learning spaces and learning environments for the teaching of students under the direction of teachers. Most countries have systems of formal education, which is sometimes compulsory. In..
Relevance: 13.305693
  • www.panversa.com
  • 1
  • 1
Enhance your company's return on it's Information Technology investment by partnering with Panversa Technologies... Formal reviews of both existing and planned IT systems, networks and processes with specific recommendations for enhancing the..
Relevance: 13.274107
  • www.alpine-school.org
  • 1
  • 1
Designing an innovative educational approach based on more interconnected, formal and non-formal territorial educational systems and orienting its methodological and organisational bases to education for sustainable development (ESD) and MOE..
Relevance: 13.268051
  • www.mchogan.com
My formal training is in industrial & systems engineering. I have 8 years of systems engineering experience including system concept development, requirements development, user interface design, implementation, and end-user testing. I have over 13..
Relevance: 13.215088
  • barelaw.com
  • 1
  • 1
Our firm has focused on helping small businesses insulate themselves from the legal exposure that is created when an entity becomes large enough to have assets worth protecting, but still hasn't developed the infrastructure and formal legal processes..
Relevance: 13.201621
  • quanticol.github.io
The main objective of the QUANTICOL project is the development of an innovative formal design framework that provides a specification language for collective adaptive systems (CAS) and a large variety of tool-supported, scalable analysis and..
Relevance: 13.186795
  • systems.cs.columbia.edu
The Software Systems Laboratory (SSL) pursues basic research in all aspects of the design, implementation, evaluation, and verification of software systems. We conduct research with systems at all scales, from handheld devices to cloud computing data..
Relevance: 13.158807
  • exoplanetapplication.com
  • 1
Over the years, GAILE has developed metrics for assessing the probability that individuals will be matched with their first choice of a new home elsewhere in the galaxy. The Exoplanet Application Quiz below provides that screening assessment for the..
Relevance: 13.158491
  • exoplanetapplication.com
  • 1
Over the years, GAILE has developed metrics for assessing the probability that individuals will be matched with their first choice of a new home elsewhere in the galaxy. The Exoplanet Application Quiz below provides that screening assessment for the..
Relevance: 13.158491
  • vehical.org
VeHICaL is an NSF Cyber-Physical Systems (CPS) Frontier project that is developing the foundations of verified co-design of interfaces and control for human cyber-physical systems (h-CPS) --- cyber-physical systems that operate in concert with human..
Relevance: 13.1551485
  • www.mchogan.com
My formal training is in industrial & systems engineering. I have 8 years of systems engineering experience including system concept development, requirements development, user interface design, implementation, and end-user testing. I have over 13..
Relevance: 13.140532