Companies similar to VIRTEMA
Sign up to Download

1-30 of 6,476,667 results

  • www.virtema.fi
  • 1
My research interests include: finite model theory, logic in computer science, logics for dependence and independence, modal logics, logics for verification, logical foundations of neural networks, logical foundations of quantum information theory,..
Relevance: 46.778477
  • lamassr.github.io
  • 6
  • 4
LAMAS&SR is interested in all topics related to logics and strategic reasoning in multi-agent systems, from theoretical foundations to algorithmic methods and implemented tools... International Workshop on Logical Aspects in Multi-Agent Systems and..
Relevance: 31.081684
  • www.symbolaris.com
  • 1
  • 2
  • 2
From this page, you will find analysis tools for various classes of problems, mostly in systems analysis. The most exciting ones are theorem provers and similar verification tools related to hybrid systems... André Platzer is the Alexander von..
Relevance: 27.203821
  • ba-logic.com
  • 32
  • 29
We are a group of philosophers from the University of Buenos Aires and CONICET, specialized in Philosophical Logic. Our Workplace is the Institute for Research in Philosophy of the Argentinean Society of Philosophical Analysis (IIF-SADAF). Our main..
Relevance: 26.798431
  • www.masfoundations.org
Multiagent systems consist of multiple autonomous entities having different information and/or diverging interests. This comprehensive introduction to the field offers a computer science perspective, but also draws on ideas from game theory,..
Relevance: 22.481295
  • www.lfcps.com
  • 1
  • 2
  • 2
The author is an Associate Professor in the Computer Science Department at Carnegie Mellon University. He develops the logical foundations of cyber-physical systems to characterize their fundamental principles and to show how we can design computers..
Relevance: 21.229347
  • ltlf-symposium.github.io
  • 1
Temporal logics, such as Linear Temporal Logic (LTL), are widely adopted as a logical specification language in Formal Methods. They are also getting increasing attention from the AI Community. In AI, however, there is often a need to interpret such..
Relevance: 21.062878
  • thelogicalorganization.com
  • 1
The Logical Organization isn't just a theory - it is a way of operating businesses for the sensibility of the present, and the flexibility of the future...
Relevance: 20.97706
  • www.hilbert-logic.com
HILBERT-LOGIC.COM is a non-profit website dedicated to update the most recent results and activities related to new logic theory called "Hilbert Logic theory". Hilbert logic is also called Hilbert Complete Perfect Logic which was first coined by Dr...
Relevance: 20.110062
  • www.curtismattson.com
"…philosophical innovators, fascinated by logical analysis, systems, and design. We are preoccupied with theory, and search for the universal law behind everything they see. We want to understand the workings of the universe, in all their complexity...
Relevance: 19.565355
  • www.forcing-project.com
  • 2
  • 6
Five-year research project (2018-2023) on the history and philosophy of recent set theory, with a focus on the forcing-technique... The project Forcing: Conceptual Change in the Foundations of Mathematics (Forcing Project for short) aims to analyze,..
Relevance: 19.53875
  • scientificmetrics.com
  • 1
  • 1
Scientific Metrics was founded in 2002 by Jonathan Barzilai and is located in Halifax, Nova Scotia, Canada... Scientific Metrics (the maker of Tetra) offers the only software for evaluation, measurement and decision making that is based on sound..
Relevance: 19.42928
  • lfcps.org
  • 1
  • 1
  • 2
Distributed hybrid systems present extraordinarily challenging problems for verification. On top of the notorious difficulties associated with distributed systems, they also exhibit continuous dynamics described by quantified differential equations...
Relevance: 19.402779
  • www.theoryofobjectivity.com
  • 1
THE THEORY OF OBJECTIVITY is a third theory of the origin of the universe, serving as an alternative to the Big Bang Theory and Creationism. It describes how the universe was formed from Nothing. However, Nothing does not have the same meaning as..
Relevance: 19.195652
  • afsa.jp
  • 1
Algorithms, the theories, techniques and logical procedures of information processing, perform a key part of the recent sophisticated information society. Our project aims to develop and organize state-of-the-art techniques for algorithms. The..
Relevance: 18.925812
  • www.privatelawtheory.net
The PLT initiative aims to constitute a network of scholars reflecting the theoretical foundations and future developments of private law. The idea was born spontaneously in 2009 among a transnational group of scholars. PLT will build a forum for..
Relevance: 18.846882
  • enneagramrc.com
  • 2
Enneagram.rc is the combination of the traditional Enneagram, Neuroscience, Play of Life®, and Active Role Theory, the foundations of Relationship Capital...
Relevance: 18.81987
  • www.probability.net
  • 3
Welcome to these probability Tutorials which in the long run, are meant to be a complete online course in probability theory. Unfortunately, in its present form, this website contains more real analysis, general topology and measure theory than..
Relevance: 18.587505
  • www.elfoundations.ca
  • 1
  • 1
With over 10 years in business and long standing professional experience, Earthline Foundations & Shoring Ltd. is the logical solution to your shoring, construction and heavy drilling needs... Founded in 2011, Earthline Foundations & Shoring Ltd...
Relevance: 18.425787
  • www.logical-calculus.com
Calculus (numerical calculus) has become a standard mathematical course for science students in colleges for a long time. Every college student of natural science has to take Calculus related courses. There are two mathematicians to be credited to..
Relevance: 18.402435
  • www.ucuweston.com
Peter Belohlavek is the creator of the Unicist Theory and the Unicist Logical Approach to complexity sciences. They are based on the discovery of the Unicist Ontogenetic Intelligence of Nature and the development of the Unicist Theory of Evolution..
Relevance: 18.356684
  • www.neowave.com
  • 6
  • 3
  • 6
At NEoWave, our goal is to advance the field of Wave analysis, transforming it into a reliable, objective science. For four decades, we have continuously improved upon R.N. Elliott's original theory by developing techniques that make orthodox Elliott..
Relevance: 18.27505
  • www.cielogics.com
  • 1
  • 1
CIE Logics offers a unique solution for companies interested in building long-term client relationships. We help to create an ongoing dialogue between our client and the consumers they serve or prospect... CIE Logics offers a fully integrated..
Relevance: 18.27333
  • www.neurosyntaxlab.org
  • 1
In the NeuroSyntax lab, we seek to understand the neurobiological foundations of human language. Our research is interdisciplinary, incorporating insights from linguistic theory, neuroscience, and aphasia...
Relevance: 18.152285
  • factcenter.org
  • 30
The FACT center brings together researchers from across the spectrum of cryptographic theory, aiming to reduce the gap between the theoretical foundations and practical applications of cryptography...
Relevance: 18.112053
  • readysetgopotty.com
  • 1
READY SET GO-POTTY adds a twist to the tried and true foundations of potty training with a unique, logical, comprehensive and fun approach to this sometimes complicated adventure when your child is DEVELOPMENTALLY READY and SET to GO!...
Relevance: 17.981419
  • www.unitedlogics.com
  • 1
We are not limited to computer technologies. United Logics is a FinTech company as well. Our development team is working on smart Internet services for personal financing and investments. We also provide online retailing services for few selected..
Relevance: 17.964268
  • www.paullbarr.com
  • 1
  • 1
Reiki certification training for those interested in becoming reiki practitioners... Private yoga classes offer one-on-one instruction and are tailored to each student's individual needs... TSY (Trauma Sensitive Yoga) is an empirically validated,..
Relevance: 17.897842
  • www.lct.institute
  • 3
Logical Creative Theory (LCT) posits innovation as a search process and innovators as explorers and consists of a system of logical search methods to identify novel, non-obvious, and valuable concepts... This is the first published writing of..
Relevance: 17.851162
  • www.liquidlogics.com
  • 1
  • 1
  • 1
Liquid Logics' mission is to provide a premier LOS (Loan Origination Software) for the private money industry as well as the residential industry. We are determined to be the industry standard for marketplace and crowdfunding loans. With anything we..
Relevance: 17.800026