Grafana: The open and composable observability platform
Faster answers, predictable costs, and no lock-in built by the team helping to make observability accessible to anyone.
Grafana is the open source analytics & monitoring solution for every database.
Learn More
Our Free Plans just got better! | Auth0
With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
NOTE: Since 2022 this hosting of PLEXIL is deprecated. PLEXIL has moved to GitHub at
https://github.com/plexil-group/plexil. Documentation is found at
https://plexil-group.github.io/plexil_docs. Please use these new locations.
PLEXIL is a plan execution language and technology developed by NASA and used in automation and autonomy applications at NASA and in the public sector. This software includes compilers for the language, the executive (runtime environment), and related tools....
XiangQi Wizard (Chinese Chess Wizard) is a powerful XiangQi (chinese chess) program, which supports UCCI engines. XQWizard Light is the Mobile version for Windows CE and Java ME. ElephantEye is the UCCI engine in XQWizard with strong AI.
GEARS Conflict Resolution is an innovative experimental tool developed at the EUROCONTROL Experimental Centre to provide automatic conflict resolutions for air traffic control.
Non-disjoint groupping of Documents based on word sequence approach
This is a GUI for learning non disjoint groups of documents based on Weka machine learning framework. It offers the possibility to make non disjoint
clustering of documents using both vectorial and sequential representation (word sequence approach based on WSK kernel). All data format supported
by WEKA could be used in DocCO. Data could be loaded from files, from
databases or from specified URL. All the preprocessing techniques implemented in
WEKA could be used before performing the learning.
Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.
Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
This article talks about how to create a chatterbot that can serve as an interactive help agent. The bot has been "taught" to answer FAQs about a system. It can help solve petty issues for users quickly or point them to a human agent.
A Trial Workbench for Facilitating Best Practices from Prospective to Acute Care in Respiratory Medicine. We aim to provide a set of information management toolboxes that facilitates decision support applications in medical information systems.
CAMA (Context-Aware Mobile Agents) is a middleware for supporting mobile agents coordination. It is based on Linda-style coordination and provides numerous extentions for interoperability and fault-tolerance. It supports portable platforms such as PDAs.
WORF is an open and extensible API framework upon which developers can build new and interesting embedded robot software applications on the Waba platform for their robot creation.
3A-TRE evaluates traditionally logical expressions under 3 assumptions
...In this case, the dependent test modules are always assumed to be true when their results are not available. We call this a stub assumption (SA).
3A-TRE example:
echo "CWA: (T and U)" | java -jar PTRE.jar
Result: F
3A-PTRE example: (P means possible results)
echo "OWA: (T,U and U,F)" | java -jar PTRE.jar
Result: U,F
A first-of-its-kind homeownership solution that puts YOU at the center of the coveted lifetime consumer relationship.
BoldTrail, the #1 rated real estate platform, is built to power your entire brokerage with next-generation technology your agents will use and love. Showcase your unique brand with customizable websites for your company, offices, and every agent. Maximize lead capture with a modern, portal-like consumer search experience and intelligent behavior tracking. Hyper-local area pages, home valuation pages and options for rich lifestyle data keep customers searching with your brokerage as the local experts. The most robust lead gen tools on the market help your brokerage, teams & agents effectively drive new business - no matter their budget. Empower your agents to generate free leads instantly with our simple to use landing pages & IDX squeeze pages. Drive more leads with higher quality and lower cost through in-house tools built within the platform. Diversify lead sources with our automated social media posting, integrated Google and Facebook advertising, custom text codes and more.