Search Results for "finite element in java"
Sort By:
Showing 31 open source projects for "finite element in java"
View related business solutions-
Our Free Plans just got better! | Auth0You 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.
-
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.
-
1
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....
-
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
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.
-
4
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. -
Powerful cloud-based licensing solution designed for fast-growing software businesses.10Duke Enterprise is a cloud-based, scalable and flexible software licensing solution enabling software vendors to easily configure, manage and monetize the licenses they provide to their customers in real-time.
-
5
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.
-
6
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). -
7
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. -
8
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. -
9
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.
-
DAT Freight and Analytics - DATDAT Freight & Analytics operates DAT One, North America’s largest truckload freight marketplace; DAT iQ, the industry’s leading freight data analytics service; and Trucker Tools, the leader in load visibility. Shippers, transportation brokers, carriers, news organizations, and industry analysts rely on DAT for market trends and data insights, informed by nearly 700,000 daily load posts and a database exceeding $1 trillion in freight market transactions. Founded in 1978, DAT is a business unit of Roper Technologies (Nasdaq: ROP), a constituent of the Nasdaq 100, S&P 500, and Fortune 1000. Headquartered in Beaverton, Ore., DAT continues to set the standard for innovation in the trucking and logistics industry.
-
10
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. -
11
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. -
12
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.
-
13
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.
-
14
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. -
15
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.
-
16
superseded by SgpDec http://sgpdec.sf.net Java implementation of the holonomy algorithm for the algebraic hierarchical decomposition of finite state automata.
-
17
-
18
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
-
19
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.
-
20
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).
-
21
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.
-
22
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.
-
23
EPeriodic is the electronic periodic table. you can read the properties of each element in the table with a single click
-
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
Jef-X willl come to be a very usefull platform independent tool to help enginers to calculate 3D spatial porch using springs, bars and frames (the finite elements). It uses JavaScript and XML to build and run structure objects.
