Companies similar to AILEEN LOTZ
Sign up to Download

1-30 of 6,854,654 results

  • www.aileenlotz.com
Abstract: This paper provides a general method to directly translate a classical economic framework with a large number of agents into a field-formalism model. This type of formalism allows the analytical treatment of economic models with an..
Relevance: 24.402187
  • www.physigenics.com
  • 4
Since 1999, we aim at developing a formalism to modelize any physical phenomena. Our first implementation of this formalism, PGNX Physics, is probably the first fully unified physics engine and can simulate any phenomena from quantum physics to..
Relevance: 20.844364
  • www.algebraic.ai
  • 1
Instead of "fixing" any of the existing approaches we have developed a new AI formalism inspired by Model Theory, a mathematical discipline that combines Abstract Algebra with Mathematical Logic. We felt that a new formalism was needed if we wanted..
Relevance: 19.90224
  • www.ginsim.org
  • 1
  • 12
GINsim consists of a simulator of qualitative models of genetic regulatory networks based on a discrete, logical formalism...
Relevance: 18.326794
  • www.tinwisle.com
  • 2
  • 1
To aid in the examination and presentation of the architectural formalism, we are creating a standard scenario that has just enough complexity to demonstrate the methods that our formalism enables. We have chosen a supply chain procurement process..
Relevance: 17.760698
  • www.mousse-project.org
A fully language-agnostic SRL model that does away with morphological and syntactic features to achieve robustness across languages. Our approach outperforms the current state of the art in 6 languages, especially whenever a scarce amount of training..
Relevance: 17.142956
  • jani-spec.org
  • 1
JANI is focused on, but not limited to, quantitative verification of probabilistic models. Standard labelled transition systems or Kripke structures can be represented in jani-model, and the jani-interaction protocol can be used with any modelling..
Relevance: 16.39298
  • www.domhotelroma.com
  • 2
  • 3
Company Info of D.O.M Hotel: address, contact details of our hotel in Rome... The DOM Hotel Restaurant represents the perfect synthesis of hospitality without formalism and freshness of a contemporary cuisine accompanied by the search for excellent..
Relevance: 16.276773
  • www.webkb.org
WebKB is hosted at the I3S laboratory (SPARKS team), an I.C.T. laboratory of the University of Nice Sophia Antipolis (UNS) affiliated to the INS2I CNRS Institute... This set of tool is intended to ease: 1) the building and the documentation of..
Relevance: 15.696902
  • www.bimodeler.com
to specify the requirements for your business analytics applications in a formal but intuitive way... The best formalism to define the Conceptual Model of a Business Intelligence System... supported by a design tool that makes easy to specify all..
Relevance: 15.568205
  • www.ilp2015.jp
  • 38
Inductive Logic Programming (ILP) is a subfield of machine learning which uses logic programming as a uniform representation technique for examples, background knowledge and hypotheses. Due to its strong representation formalism based on first-order..
Relevance: 15.555938
  • www.hierarchical-task.net
  • 1
HTN planning is actually short for Hierarchical Task Network planning, and the most famous formalism for hierarchical planning. This "alternative meaning" (by an unknown ANU undergraduate student, 2024) of the abbreviation is quite funny because the..
Relevance: 15.285184
  • www.agree-grammar.com
  • 1
  • 1
The agree grammar engineering environment is an open-source tool for developing-and parsing with-constraint-based grammars. Similar to the PET and LKB parsers and other tools used by DELPH-IN consortium researchers, agree processes computational..
Relevance: 15.218482
  • soiguine.com
  • 1
The Company aim is to get, through the GAQCI, resolving the problems of quantum mechanics in its existing formulation being dead-end and actually a no-go-round obstacle for creating quantum computers... Quantum computers and quantum cryptography are..
Relevance: 14.716253
  • www.hhhlab.com
  • 22
  • 1
We focus mainly on summarising methodologies and applications related to tissue polarimetry, with an emphasis on the adoption of the Stokes-Mueller formalism. Several recent breakthroughs, development trends, and potential multimodal uses in..
Relevance: 14.266263
  • www.sortal.org
  • 3
  • 1
  • 1
Sortal structures are representational structures based on a concept for representational flexibility... Sortal grammars are a formalism (or rather, a class of formalisms) for design grammars, utilizing sortal structures as representational..
Relevance: 13.733555
  • www.mars-workshop.org
  • 2
  • 5
Modelling techniques, aiming at the accurate description of systems and their relevant properties, are typically developed with formal analysis and formal verification in mind. To show that a developed approach actually scales to real systems, large..
Relevance: 13.646735
  • surewayministries.org
  • 2
  • 2
  • 4
Sureway International Christian Ministries was founded in 1906, as one of the first "Pentecostal churches in the United Kingdom". This church has its roots and development in the Pentecostal revival that started at the dawn of the 20th century...
Relevance: 13.558187
  • www.kungfu.net
  • 1
  • 1
Kung Fu training is a vehicle for personal growth. By enduring the mental and physical rigors of Kung Fu training one transforms their character and physique. Through facing the challenges of Kung Fu training one acheives greater self knowledge and..
Relevance: 13.505339
  • www.quantumformalism.com
Quantum Formalism is a free online course series provided by the Zaiku Group, aimed at exposing advanced mathematical topics to a diverse group of STEM professionals looking to break into the nascent quantum computing industry or other emerging deep-..
Relevance: 13.082501
  • cmastalli.github.io
  • 1
I am a robotics researcher working in the intersection of model predictive control and machine learning for motor control in legged robots. The aim of my research is to enable robots to move everywhere. In particular, I am focused on the problem of..
Relevance: 12.980877
  • www.vle-project.org
VLE is a powerful modeller and a simulator supporting the use of different formalisms for the specification of models and implementing the corresponding solvers in a unified manner. VLE proposes a lot of formalisms called DEVS extensions: Difference..
Relevance: 12.940223
  • mitre.github.io
  • 1
  • 1
MITRE's Technology Transfer Office maintains a list of open source projects developed at MITRE. Questions about any MITRE open source projects or contributions can be directed to opensource@mitre.org... Under the auspices of the DARPA TIDES project,..
Relevance: 12.533875
  • www.dmasystems.ca
A few weeks ago a discussion popped up on LinkedIn titled "Use Cases are old-fashioned and a waste of time and money". Provocative, to be sure, the debate that followed (at last count 88 comments and building) was an entertaining romp through the..
Relevance: 12.236509
  • qedinc.ca
  • 1
  • 1
  • 1
Quantitative Economic Decisions, Inc. (QEDinc) was established in 2006 as a partner corporation of The Centre for Spatial Economics (C4SE). QEDinc's mission is to provide clients with quantitative economic research to further their decision-making..
Relevance: 12.0301695
  • www.davidgbrown.co
The course will cover the broad range of performance metrics that go beyond the simple calculation of success rate or accuracy on a limited test set. These include sensitivity, specificity, positive and negative predictive value, receiver operating..
Relevance: 11.76147
  • www.linkedmodels.org
Linked Models will be a site for publishing RDF/OWL models of commonly used industry and government standards. The work is motivated by the desire to use Semantic Web Technologies for interoperability, information aggregation and validation of..
Relevance: 11.741995
  • helping-heads.de
  • 1
  • 3
  • 5
As a specialized consultancy firm we offer services and products for HR-IT and e-Procurement solutions. To cover all connected areas of HR-IT and e-Procurement we work in a network in combined teams of our own experts, freelancing experts and partner..
Relevance: 11.718559
  • www.usagainstalzheimers.org
  • 2
  • 1
  • 31
UsAgainstAlzheimer's is an innovative nonprofit organization committed to stopping this devastating disease... The Alzheimer's pandemic is one of the most significant health and social economic crises of this generation. It is a national and global..
Relevance: 11.618091
  • www.orrvilledevelopment.com
  • 1
  • 1
We are the lead industrial development office for the City of Orrville. We work in partnership with the Wayne Economic Development Council, Team NEO and JobsOhio on economic development issues... The Office of Orrville Economic Development was..
Relevance: 11.467917