Search Results for "finite element in java"
Sort By:
Showing 32 open source projects for "finite element in java"
View related business solutions-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
PRTG Catches Network Issues Before They Cause DowntimeReactive troubleshooting usually means hearing about a problem from frustrated users, not your monitoring tool. PRTG sets threshold-based alerts across devices, servers and applications, notifying your team by email, SMS or push the moment a metric crosses a set limit. That means catching a failing disk or overloaded server before it becomes an outage and getting time back from firefighting. Start a free trial and set your first alerts today.
-
1
Kalypso is an open source application for geospatial modelling and simulation. It is primarily developed to be a user friendly tool for GIS-based modelling and simulation of hydrological and hydraulic numerical models.
-
2
AtomicJ
Application for analysis of AFM data
AtomicJ is an application for analysis of force microscopy recordings, including images and force curves. It allows for fast and reliable processing of single force curves and force maps, providing estimation of the mechanical properties of the sample. AtomicJ supports a wide range of contact mechanics models, including the models for blunt tips, the corrections for the effect of finite sample thickness, models of adhesive contact and models of spherical indentation of hyperelastic... -
3
JQM Java Quine McCluskey
JQM - Java Quine McCluskey for minimization of Boolean functions.
Java Quine McCluskey (JQM) implements the Quine-McCluskey algorithm with Petrick’s Method for minimizing Boolean functions. Designed for both education and industrial application, it handles up to 16 variables and functions. Uniquely, JQM bridges the gap between theory and practice: it visualizes the solution process with generated Karnaugh Maps for students, while supporting PLC engineers by exporting results to Structured Text (ST) and Ladder Diagram (LD). The software includes a GUI for... -
4
No-code system is for the visual creation of structural-functional models and the automatic generation of R language simulation models. The program can be used to describe information, production, organizational, and other processes. For graphical representation, the EdPM/EPM notation is used, which allowed us to implement: - structural-functional modeling using graphical methods; - the study of the efficiency of structural-functional models using simulation methods, that allow (e.g....
-
Demo Series - Small Business Backup By VeeamWatch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.
-
5
Virtual Laboratory Environment
A multi-modeling and simulation environment to study complex systems
...The models can be developed with the DEVS formalism or with the classical mathematical formalism: Ordinary Differential Equation with Euler, Range-Kutta or QSS integrator, Finite state automaton (FDDEVS, UML State chart, Hybrid Petri net). The VLE environment provides an IDE to develop C++ models, DEVS coupled models. VLE have also three ports to use the VFL with Python, Java and R programming languages. -
6
The Helsinki Finite-State Transducer toolkit is intended for processing natural language morphologies. The toolkit is demonstrated by wide-coverage implementations of a number of languages of varying morphological complexity.
-
7
VeriSiMPL
Verification via biSimulations of Max-Plus-Linear models
This toolbox is used to generate finite abstractions of autonomous Max-Plus-Linear (MPL) systems over R^n. Abstractions are characterized as finite-state Labeled Transition Systems (LTS). The LTS finite abstractions are shown to either simulate or to bisimulate the original MPL system. LTS models are to be verified against given specifications expressed as formulae in Linear Temporal Logic (LTL) and Computation Tree Logic (CTL). -
8
vision2
Binocular vision examination using shutter glasses
Vision2 serves as tool for ophthalmologists and other vision testing professionals. It's useful for a variety of ophthalmology testing applications related to stereo vision. It implements many of classical tests but also new types of vectographic and random dot exams. Program was created as part of diploma thesis in Wroclaw University of Technology in Poland. -
9
TE-locate
a tool for calling transposons
TE-locate is a tool to locate all copies of sequences in a reference sequence using read-pairs. TE = Transposable Element Input is NGS-data. Please download all files first (including the demo data) and make your first run then. -
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
10
Impact is an explicit Finite Element Program Suite which simulates dynamic impact events. It has a range of elements, contact handling and different material laws. Models can be created, solved and analyzed with the included pre- and postprocessor. Impact is based on an Explicit Time stepping algorithm. These kind of codes are used to simulate dynamic phenomena such as car crashes and similar, usually involving large deformations.
-
11
Chemistry Helper
A simple easy to use chemistry helper!
This application is intended to help students with the basics of chemistry. It can solve basic gas laws equations, and find the molar mass of a compound or element. These tasks allow students to cut the repetition out of basic chemistry. -
12
jPeriodic
jPeriodic is a table of elements written in Java
jPeriodic is a simple table of elements coded in Java providing the user with the most common informations about each known chemical element. By clicking an element a popup will apear containing the selected elements attributes. Additionaly jPeriodic offers a small temperature converter which is able to convert between Celcius and Kelvin. Because jPeriodic is coded in Java the software is platform-independent, meaning you can run jPeriodic on Windows, Mac OS, Linux and many other operating systems which are able to run a Java Virtual Machine. -
13
SemaRule Navigator is an Integrated Suite of Open-Source and Free-License Software, placing Semantic and Text Analysis Technologies in the toolbox of Researchers, Students, and Enterprises.
-
14
visualFSA is a small tool which lets you construct NFAs/DFAs [(non)deterministic finite automata]. It offers some common algorithms which can be applied to that automatons, like converting NFA -> DFA, word problem, accepted language etc.
-
15
Zero Sum Game Solver Java Library
Zero Sum Game Solver Java Library
Zero Sum Game Solver Java Library is open source java library to solve 2-player finite zero-sum games. This programs solve zero-sum games with linear programming. -
16
This program accompanies the paper "Counting large distances in convex polygons" by Filip Moric and David Pritchard. The program, written in Java, searches a finite set of distance configurations in order to deduce theorems about convex polygons.
-
17
superseded by SgpDec http://sgpdec.sf.net Java implementation of the holonomy algorithm for the algebraic hierarchical decomposition of finite state automata.
-
18
-
19
Chemical Calculator that can calculate various aspects of compounds. The programs main features are: * Get information about an element * Calculate the amount of moles of an element * Calculate the Empirical and Molecular formulas of a compound
-
20
This project aims to provide libraries in a few languages which allow for NORAD general perturbation element sets to be used in calculating the position and velocity of space objects.
-
21
Visualization of finite state machines as a network graph. Accepted input files at the moment are: net files exported from xfst (Xerox Finite-State Tool) and lexc files (Finite-State Lexicon Compiler).
-
22
Triple-A (Automatic Analysis with Automata) is a full-featured library for (finite) automata written in Java with two powerful analysis tools (dealing with LTL model checking and Presburger arithmetics) and a graphical user interface built around it.
-
23
jFAST is a simple finite automata (FA) graphical simulation utility; it is designed to feature simple mechanisms for creating, editing, and simulating FA. jFAST is ideal for use by students, instructors, and self-guided explorers alike.
-
24
The ADFC code is a computational fluid dynamics (CFD) C++ solver for incompressible viscous flow over 2D and 3D geometries. It uses finite element and the characteristic method on unstructured meshes to solve Navier-Stokes equations.
-
25
EPeriodic is the electronic periodic table. you can read the properties of each element in the table with a single click
