Search Results for "computer-aided software engineering"
Sort By:
58 projects for "computer-aided software engineering" with 2 filters applied:
-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
1
SigPack
SigPack - A signal processing library using Armadillo
SigPack is a C++ signal processing library using the Armadillo library as a base. The API will be familiar for those who has used IT++ and Octave/Matlab. -
2
moebinv
C++ libraries for manipulations in non-Euclidean geometry
...The second library Figure operates on ensembles of cycles connected by Moebius-invariant relations, e.g. orthogonality. Both libraries are based on the Clifford algebra capacities of the GiNaC computer algebra system (http://ginac.de). Besides C++ libraries there is a Python wrapper, which can be used in interactive mode (https://codeocean.com/capsule/7952650/). Both libraries work in arbitrary dimensions and signatures of metric. Additionally, there are some 2D/3D-specific routines including a visualisation to PostScript files through Asymptote (http://asymptote.sourcefourge.net) software. ... -
3
Archive of Formal Proofs
A collection of machine-checkend mathematical proofs
The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed. -
4
GeoSolver
A Python library for solving geometric constraint problems
GeoSolver is a Python library for solving geometric constraint problems. A graphical testing and demostration application, the Geometric Constraint Workbench is included with the software. -
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.
-
5
Merupu
Electromagnetic Analysis Software
-
6
Radial++ is a C++ template library for scattered data interpolation in any dimension and also the numerical solution of partial differential equations. It provides generalized Radial Basis Functions (p.e. multiquadric, this-plate spline, etc).
-
7
Navmol
Molecular structure navigator for Blind and Visually Impaired people
Navmol is a software that allows people that are blind or visually impaired to navigate and edit molecular structures in a simple and intuitive way. -
8
Arageli is a C++ library for computations in arithmetic, algebra, geometry, linear and integer linear programming. Arageli provides routines and classes that support precise, i.e. symbolic or algebraic, computations.
-
9
jSulfoQuant
Sb/(Sb+As) content ratio determination of the sulfosalts minerals
A computer program for a fast and accurate determination of Sb/(Sb+As) content ratio in the tetrahedrite-tennantite and bournonite-seligmannite solid solution series by at least one spectral parameter (band position or relative intensity) of their Raman spectra. -
Build Securely on AWS with Proven FrameworksMoving 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.
-
10
OpenAxiom: Scientific Computation System
A system for computer algebra and symbolic mathematics
OpenAxiom is an open source Computer Algebra System. It offers an interactive environment, an expressive programming language, a compiler, a large set of mathematical libraries of interest to researchers and practitioners of computational sciences. -
11
Bat2015
Bachelor of Science (Informatik)
The toolkit glpk supports methods for mixed integer linear programming (MILP). These methods solve Capital Budgeting Problems (CBP). Unfortunately, glpk does not support any multithreading and there is no feature to distribute problems via network connections. Today, this is a pitiable sight, because modern computer systems are coupled by networks and support multi threading. We create a distributed system with Apache thrift and the C-API of glpk. Now, it is possible to use as many cores in... -
12
The Dataverse Network is a Java EE5 app that enables researchers to share data on-line. It provides data citation standards, facilitates preservation, distribution and replication of data, and includes statistical analysis. More at: http://thedata.org
-
13
GUAJE FUZZY
Free software for generating understandable and accurate fuzzy systems
GUAJE stands for Generating Understandable and Accurate fuzzy models in a Java Environment. Thus, it is a free software tool (licensed under GPL-v3) with the aim of supporting the design of interpretable and accurate fuzzy systems by means of combining several preexisting open source tools, taking profit from the main advantages of all of them. It is a user-friendly portable tool designed and developed in order to make easier knowledge extraction and representation for fuzzy systems, paying... -
14
Graficas 2D is an opensource library for plotting 2D functions. It's compatible with .NET Framework and Mono
-
15
gsl-pt_BR
manual da gsl em pt-BR
Manual da Gnu Scientific Library em português do Brasil. O manual possui código fonte no formato texinfo. -
16
SITools2 is a new CNES generic tool performed by a joint effort between CNES and scientific laboratories. The aim of SITools is to provide a self-manageable data access layer deployed on already existing scientific laboratory databases.
-
17
SyntheticWSI
Tools to generate and visualize artificial whole slide images
Java 8+ required. Collection of tools to help generate artificial Whole Slide Images (WSIs). A WSI is stored as a ZIP archive of JPG tiles, and this software contains a tool to visualize this format. SVS files can be used directly for texture extraction (thanks to the included Bio-Formats library). Main source files in package fr.unistra.wsi.synthetic. -
18
jmathstudio - Java Image/Signal toolkit
Java toolkit for discrete Image and Signal processing.
JMathStudio is a Java based digital image and signal processing toolkit/library. It is simple to use, portable, light (~300 Kb), extendable and free. Full source code available at https://github.com/bhavyaajani/jmathstudio Android compatible JMathStudio is available @ https://sourceforge.net/projects/jmathstudio-android/ -
19
ivl
A C++ template library extending syntax towards mathematical notation
ivl is a full-header template C++98 math library with convenient yet powerful syntax. It extends classic C++ syntax towards mathematical notation while making use of the language's elements like classes, structs, operators and functions. Expression written using ivl are excessively optimized. In other words, ivl allows writing simpler and more expressive statements using math-like formulas while taking care of optimizing them. ivl features arrays, tuples and custom function-like... -
20
Evidence bucket
A minimalist cross-platform transcription software
This project was moved to https://code.google.com/p/evidence-bucket/ -
21
Language Constructor
Complete tool for constructing/manipulating languages in digital form
With this tool you can easily design a new language, digitize an existing one or incrementally reconstruct an ancient language. It allows for free experimentation of all aspects of the language, so it does not have to be made consistent on paper first. You can edit script, syntax, grammar, morphology, lexicon and phonology, as well as write documents in the language, as it might be too complex to be handled by current font technology. The information is stored in xml format for easy... -
22
Dependency Discovery Tool
A tool for discovering external dependencies in Office files.
The Dependency Discovery Tool searches through binary office files (.doc, .xls and .ppt) and tries to find any documents or files that are linked to the document. It is written in java, using the Apache POI libraries ( http://poi.apache.org ) This project was part of a summer scholarship from the School of Engineering and Computer Science at Victoria University, Wellington (http://ecs.vuw.ac.nz) in conjunction with Archives New Zealand ( http://archives.govt.nz ). At the moment it requires Java 6 to build and run, but this should change soon, and it will run on Java 5 upwards. -
23
MpcReader retrieves comet and asteroid orbital data in MPC format from the web and store it on your computer in different formats. The data is fetched from the MPC. The main job of MpcReader is to convert plain MPC data to the format needed for KStar
-
24
Bracer
Repository has been moved to: http://dtitov.github.com/bracer
Java library for parsing and evaluating math expressions. Javadoc is available at http://bracer.sourceforge.net/javadoc/ P.S. This library depends on Apache Commons Math, so don't forget to include commons-math-2.2.jar to your project. -
25
The Emulation Framework offers a convenient way to render digital files in their native computer environment. The EF is software developed in Java by the international KEEP project, co-funded by the European Unions 7th Framework Programme.