Companies similar to MARS
Sign up to Download

61-90 of 7,009,462 results

  • www.jelia.eu
JELIA - European Conference on Logics in Artificial Intelligence... Logics have, for many years, laid claim to providing a formal basis for the study and development of applications and systems in Artificial Intelligence. With the depth and maturity..
Relevance: 12.9928
  • dar.ucsd.edu
  • 1
  • 27
Our recent research focus has been on energy efficiency at multiple levels and across subsystems (radios, processors to networking and building-scale systems). The research projects span formal foundations to real-life system design and..
Relevance: 12.976495
  • www.proofcraft.systems
  • 7
We provide training (online or in person as feasible) on formal verification at various levels of technical depth and for various audiences, from students and individuals wanting to skill-up, to teams of engineers and executive decision makers... We..
Relevance: 12.946042
  • www.lix.polytechnique.fr
  • 6
  • 3
  • 24
Formal Methods for the analysis of security properties. Model-checking, Model-Based Testing, Supervisory Control and quantitative analysis for information flow properties. Modal Logic and Games for the design of secure systems...
Relevance: 12.939806
  • southeyinteriors.co.za
  • 1
  • 1
Elegant, formal, casual, contemporary, modern, traditional, quirky or casual. Room Designs from R999*... We've developed the skills to assist you in making the creative transition that you've always wanted. With the help of a professional, you can..
Relevance: 12.921482
  • runtimeverification.com
  • 1
  • 69
For the time being, blockchain safety tests are mostly lightweight static analysis tests (testing only the internal logic of source code), while dynamic analysis test (using the data generated as the codes are compiled and executed) increases..
Relevance: 12.904078
  • www.americascolorconsultants.com
  • 7
  • 6
  • 3
America's Color Consultants, LLC is an independent paint color consulting firm that works with all major U.S. paint brands. We are the franchisor of in-home paint color consulting businesses�nationwide and headquartered in Warrenton, VA.� Our home-..
Relevance: 12.899254
  • openetcs.org
  • 2
openETCS is a project, not an organisation. The goal of the project is an "Open Proof" for the European Train Control System... The openECTS project aims to provide the formal model of the ETCS system, the source code of the ETCS software and the..
Relevance: 12.88301
  • www.arctechnical.com
  • 1
Training and consulting in EMC / Regulatory Strategy, Test Procedures and Test Reports. EMC testing systems and formal training in their use. [ARC flyer]... Antennas, amplifiers, IEC 61000-4-16 generator, immunity systems for IEC 61000-4-6 and MIL-..
Relevance: 12.844412
  • www.transglobaldevelopment.com
  • 1
  • 1
  • 1
Our experiential approach creates an exciting environment for learning, development and growth. Follow up can help keep your team moving forward months after the formal classwork has ended. We can use materials already developed or we can craft a..
Relevance: 12.80646
  • qualitools.at
  • 2
  • 3
  • 2
The project target group are: ICT teachers, trainers and tutors in vocational schools, in enterprises & in VET organisations providing non-formal or formal further ICT training certificates (see above). 20 quality tools to be transferred in..
Relevance: 12.801748
  • verdi-workshop.github.io
  • 10
The VERDI workshop aims at serving as a discussion forum focused on the area of V&V as a means to guarantee dependability of complex, potentially automated/autonomous CPS. This workshop covers all aspects related to the dependability evaluation (with..
Relevance: 12.766254
  • www.gregherweg.com
Solving problems relating to IT systems, OT environments, Cloud, and Cybersecurity. Hands-on experience backed by a depth of formal education... Years of experience in both government and commerical sectors bring the right combination of skills for..
Relevance: 12.694251
  • www.jagwireservices.com
  • 1
I'm an engineer. Born and bred. I love solving problems. My formal education in Mechanical Engineering combined with my experience in manufacturing allows me to understand the forces at work in complex systems and to develop solid solutions to..
Relevance: 12.67962
  • ascs.homestead.com
  • 1
  • 1
ASC SYSTEMS provides comprehensive Management Consulting Services for the formal definition and planning of enhanced Automation or Information Technology capabilities and facilities... - - ASC offers these Systems Consulting and Software Development..
Relevance: 12.674076
  • sudhaar.org.pk
  • 1
  • 2
  • 26
Sudhaar was founded in 1994 in Lahore by a group of nine social and human rights activists, and registered in 1995 under the Societies Registration Act 1860. Sudhaar initially focused on child protection and the improvement of quality education in..
Relevance: 12.664197
  • www.trialtests.com
  • 1
Committed to research and development in education sector since last seven years. We are combining our global resources with local knowledge of industry experts and leaders (teachers) enabling us to create unique and pioneering services like this..
Relevance: 12.652353
  • www.ktc.com.ng
  • 1
  • 2
  • 11
Kirsten Turner & Co. focuses on providing top-market business advisory services primarily to African enterprises. With a well-developed data bank of knowledge and expertise on the socio-economics of the continent, the firm provides professional..
Relevance: 12.641277
  • www.austintrueman.co.uk
  • 1
  • 2
Austin Trueman Associates was established in 1973 as a design lead engineering consultancy founded on the principle of creative engineering... Austin Trueman Associates operate formal QM systems which have been awarded ISO 9001 Certification...
Relevance: 12.579961
  • www.stryd.net.au
  • 1
  • 1
And in support, we provide ongoing formal and action-learning leadership development to ensure the executive team and participants are capable and confident, able to heighten and maintain discretionary effort... Stryd RealTime is the leader in..
Relevance: 12.575152
  • www.veridevops.eu
VeriDevOps brings together fast security verification through formal modelling and verification as well as test generation, selection, execution and analysis capabilities to enable companies to deliver quality systems with confidence in a fast-paced..
Relevance: 12.492989
  • www.projectchallenge.org.uk
  • 1
  • 12
Project Challenge tutors are qualified Youth Workers first and teachers second this gives us a different approach to main stream education. We understand that not all young people learn in formal classroom settings so have developed small group..
Relevance: 12.487522
  • hd-sec.github.io
  • 1
  • 5
Our vision is the transformation of security system development from an error-prone, iterative build-test-fix approach to a correctness-by-construction (CxC) approach whereby formal methods guide the design of software in such a way that it satisfies..
Relevance: 12.430577
  • www.blockchaindevlabs.com
We have a top team of PhDs and security professionals who have a combined total of over 900 Google Scholar citations... We employ leading architects with expertise in formal verification techniques and security who have built enterprise grade..
Relevance: 12.408982
  • lawriesitsupport.com.au
  • 1
We are reliab le professionals with over 30 years of experience. We listen to our customers and work with them to address their needs through innovative solutions... Our experience covers both Windows and Linux Based Servers and Networks with formal..
Relevance: 12.396231
  • verse-lab.github.io
For instance, in our recent work, inspired by the verification ideas from Theme 2, we have developed a library for compositional construction of distributed protocols, allowing their modular testing and model-checking. By reflecting on the analogy..
Relevance: 12.386397
  • www.lemma-one.com
Lemma 1 provides consultancy in software engineering. We specialise in tools and methods for applying formal, mathematical, methods for specifying, designing and verifying critical software systems. We can also undertake software development in a..
Relevance: 12.351773
  • ryantmcardle.com
I'm a machine learning specialist with backgrounds in physics, philosophy, and mathematics and a passion for using automation to solve problems, extract information, and eliminate pain-points. I have experience modeling and analyzing complex systems..
Relevance: 12.334793
  • ai4reason.org
The goal of the AI4REASON project is a breakthrough in what is considered a very hard problem in AI and automation of reasoning, namely the problem of automatically proving theorems in large and complex theories... Such complex formal theories arise..
Relevance: 12.325703
  • www.s-and-h-systems.com
  • 1
  • 1
We provide site installation service to carry on your project further, we can cater for all specifications and requirements with all work carried out to the latest regulations... S&H SYSTEMS can provide a complete control system solution. We are..
Relevance: 12.303866