Digital Circuits Design and Simulation
Digital Logic Design is a Software tool for designing and simulating digital circuits. It provides digital parts ranging from simple gates to Arithmetic Logic Unit. In this software, circuit can easily be converted into a reusable Module. A Module may be used to built more complex circuits like CPU. The circuit working can be analyzed by using output parts like LEDs, Seven Segment Display and Digital Oscilloscope etc. provided in the software. You can use this software to design Combinational, Synchronous and Asynchronous Sequential Circuits. This Software may be used by professionals, hobbyists and students alike. The teachers may incorporate this software in their courses like Digital Logic and Computer Design, Computer Architecture, Computer Organization and Embedded Systems. In this software, a circuit may be designed using graphical components or may be entered as Sum-of-Product Boolean form.
This is a suite of mathematical software solvers GUI
This is a suite of mathematical software solvers interface on DLV and other command-line solvers. It helps researchers and students to better comprehend their declarative definitions published on papers. The user can have links to the related papers and to the software of the corresponding definitions.
PowerDEVS is an integrated tool for hybrid systems modeling and simulation based on the DEVS formalism.
Tool to plot 3d-graphic from an XML, EXCEL or parametrization
"wpf-plot3d" is a tool designed to plot 3-dimensional graphics. It can handle a wide range of graphic types: - Surface: Graphic defined on a Cartesian grid defined via an XML file - Mesh: Graphic defined on a general mesh defined via an XML file - Points: Set of points defined via an XML file - Curve: 3d-curve defined via an XML file - Parametric surface: Parametric surface defined on a cartesian grid - Parametric curve: 3d parametric curve "wpf-plot3d" includes toolboxes: - Camera: Rotation, zoom, ... - Settings: Define own colors, effects, timer to refresh, ... - Pallet: Add comments, arrows, ... "wpf-plot3d" is implemented in C/C# and uses Windows Presentation Foundation (WPF)
A digital ambient air data logger built on Debian.
This is the California Air Resources Board, environmental digital data logger (CARBLogger) project which develops and maintains an open source, shell-script based digital data acquisition and reporting system.
Linked List Artificial Developmental System (LLADS) provides a framework for carrying out experiments and undertake development of code in the areas of evolutionary computation and artificial development.
Cell impedance analysis software.
MAT-MECAS is used for calculation of impedance parameters of a cell from recorded current responses elicited by bipolar voltage stimuli in a whole-cell patch-clamp experiment. The calculations are based on a FFT deconvolution procedure and on approximation of the reconstructed currents with a theoretical function. The impulse response of the signal path is necessary for the calculations. Read manual first! For testing MAT-MECAS we provide a sample data along with sample stimulation protocols.