Search Results for "springer"
Sort By:
Showing 20 open source projects for "springer"
View related business solutions-
Gen AI apps are built with MongoDB AtlasMongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.
-
Workspace management made easy, fast and affordable.The way we work has changed and Clearooms puts you in complete control of your hybrid workspace. Both meeting rooms and hot desk booking can be easily managed to ensure flexible and safe working, however big or small your organisation.
-
1
JabRef Bibliography Management
Graphical Java application for managing BibTeX and biblatex
JabRef is an open-source, cross-platform citation and reference management tool. Stay on top of your literature: JabRef helps you to collect and organize sources, find the paper you need and discover the latest research. JabRef is available free of charge and is actively developed. It supports you in every step of your research work. -
2
computem
Transmission Electron Microscope Image Simulation
These programs calculate high resolution conventional and scanning transmission electron microscope (CTEM, STEM) images of thin specimens from first principles using the multislice method for electrons in the energy range of approximately 60 keV to 1000 keV. The fundamental theory and usage are described in "Advanced Computing in Electron Microscopy" (Springer 2020) and Acta Cryst. A72 (2016) p. 1 by Earl J. Kirkland. Please refer to these for the theory of calculation and how to use these programs. computem uses a GUI and the temsim group uses a command line interface. The user is assumed to have some understanding of optics, Fourier transforms, electron microscopy and computer skills at the graduate or advanced undergraduate level. ...">
-
3
Nonlinear Dynamics
A concise introduction interlaced with code
This repository holds material related with the textbook Nonlinear Dynamics: A Concise Introduction Interlaced with code, co-authored by George Datseris and Ulrich Parlitz. The textbook will be published by Springer-Nature, in the series Undergraduate Lecture Notes in Physics. -
4
MASLua
Multi-agent system modeling with Lua
...The "basic_EFSSM" version uses only state-oriented programming for agents. (Available soon.) --- Ribas-Xirgo, Ll.: Multi-agent system model of taxi fleets. In Advances in Physical Agents II, Springer International Publishing, 2021. Proceedings of the 21st International Workshop of Physical Agents (WAF 2020), November 19-20, 2020, Alcalá de Henares, Madrid, Spain. -
Peer to Peer Recognition Brings Teams TogetherCreate a positive and energetic workplace environment with Motivosity, an innovative employee recognition and engagement platform. With Motivosity, employees can give each other small monetary bonuses for doing great things, promoting trust, collaboration, and appreciation in the workplace. The software solution comes with features such as an open-currency open-reward system, insights and analytics, dynamic organization chart, award programs, milestones, and more.
-
5
dupost
Dual Porosity Stokes model implemented with FEniCS
...Hu X., Douglas C.C. (2019) An Implementation of a Coupled Dual-Porosity-Stokes Model with FEniCS. In: Rodrigues J. et al. (eds) Computational Science – ICCS 2019. ICCS 2019. Lecture Notes in Computer Science, vol 11539. Springer, Cham -
6
An introduction to Data Analysis in R
A guide for learning the basic tools on data anaylisis with R
An Introduction to Data Analysis in R [Book] A guide for learning the basic tools on data anaylisis: process, visualize and learn from your data using R programming. This repository holds the necessary data sets for the book "An introduction to Data Analysis in R", to be published by Springer series Use R!. The book can be purchased in XXX. The book is meant as an introductory guide to manipulate data sets in the Big Data paradigm. One of the main goals of this book is to take the analyst from the very first moment when she/he contacts with data to the final conclusion and presentation of results of analysis. We take into account the variety of fields where data analysis occurs nowadays. ... -
7
LAIM
LAIM: A Linear time iterative influence maximization algorithm
LAIM: Linear Algorithm for Influence Maximization Any one using the source code please cite: Wu, Hongchun, et al. "A Linear Time Algorithm for Influence Maximization in Large-Scale Social Networks." International Conference on Neural Information Processing. Springer, Cham, 2017. -
8
Service Grid - Language Grid Base System
SOA infrastracture initially developed by NICT Language Grid Project
...[SOFTWARE] is one of: * Service Grid Server Software (http://langrid.org/oss-project/en/service_grid.html) * Language Service Development Libraries (http://langrid.org/oss-project/en/language_service.html) * Language Grid Toolbox (http://langrid.org/oss-project/en/toolbox.html) If you publish a paper by using the software of this project, please cite the following book. * Toru Ishida Ed. The Language Grid: Service-Oriented Collective Intelligence for Laguage Resource Interoperability. Springer, 2011. ISBN 978-3-642-21177-5. -
9
LTL3BA
Translator of LTL formulae to Büchi automata based on LTL2BA
...Křetínský, V. Řehák, and J. Strejček: LTL to Büchi Automata Translation: Fast and More Deterministic, in Proceedings of TACAS 2012, volume 7214 of LNCS, pages 95-109. Springer-Verlag, 2012. LTL3BA supports output in Hanoi Omega-Automata (HOA) format since version 1.1.0. More information about HOA can be found here: http://adl.github.io/hoaf/ In order to compile LTL3BA, the BuDDy library (http://sourceforge.net/projects/buddy/) is needed. -
Bitdefender Ultimate Small Business SecurityGet exceptional protection against all digital threats for your business and employees.
-
10
jDALMAS
A Java front-end to the dnrDALMAS Prolog Module.
...Håkansson, N. Nguyen, R. Hartung, R. Howlett, & L. Jain (Eds.), Agent and Multi-Agent Systems: Technologies and Applications (Vol. 5559, pp. 110–119). Berlin / Heidelberg: Springer. http://urn.kb.se/resolve?urn=urn:nbn:se:hig:diva-3963 -
11
SPRINGER_CSV2BIB
Springer CSV to BibTeX
The search results in the Spring library only allows you to export csv files. But researchers needs bibtex files to import... So, SPRINGER_CSV2BIB is the solution! use: java -jar SPRINGER_CSV2BIB.jar <file_in> <file_out> -
12
GroupAL
A group formation algorithm
...The Group Formation Problem: An Algorithmic Approach to Learning Group Formation. In: Rensing, C., Freitas, S. de, Ley, T., Muñoz-Merino, P.J. (Eds.), Proceedings of the 9th European Conference on Technology Enhanced Learning (EC-TEL). Springer Berlin, Graz, Austria, pp. 221–23. -
13
FXTrader
Forex Trading application written in .NET using RX
Forex Trading application written in .NET using technologies like RX for pricing stream capture, WCF, WPF. This application was developed in accordance to the "Optimizing financial markets in C# .NET" paper published in Springer Series during APCASE 2014 and plays a primary role in software engineering education. -
14
K-Surfer
A KNIME extension for the management and analysis of FreeSurfer Data
...References: Sarica Alessia, Giuseppe Di Fatta, and Mario Cannataro. "K-Surfer: A KNIME Extension for the Management and Analysis of Human Brain MRI FreeSurfer/FSL Data." Brain Informatics and Health. Springer International Publishing, 2014. 481-492. Sarica A, Di Fatta G and Cannataro M (2014). K-Surfer: A KNIME-based tool for the management and analysis of human brain MRI FreeSurfer/FSL Data. Front. Neuroinform. Conference Abstract: Neuroinformatics 2014. doi: 10.3389/conf.fninf.2014.18.00003 -
15
evolp/r
Logic Program Updates System
...Pereira, Incremental Tabling for Query-Driven Propagation of Logic Program Updates, in: K. McMillan, A. Middeldorp, A. Voronkov (eds.), Procs. Intl. Conf. on Logic for Programming Artificial Intelligence and Reasoning (LPAR-19), Springer LNCS ARCoSS series, December 15-19, Stellenbosch, South Africa, 2013. Slides: http://goo.gl/w02Txv Audio Talk: http://goo.gl/oRjCfQ -
16
gannu
Java API and tools for performing NLP and other AI tasks
...Simple Window Selection Strategies for the Simplified Lesk Algorithm for Word Sense Disambiguation.. In F. Castro, A. F. Gelbukh & M. González (eds.), MICAI (1) (pp. 217-227), : Springer. ISBN: 978-3-642-45113-3 The zip file contains Gannu jar, source, API documentation and necessary resources for performing research. Gannu uses the following projects: Weka, JExcel API, Stanford POS Tagger and WordNet. Please cite them when using Gannu. -
17
...Calvo (2012) “Using Information Extraction to Generate Trigger Question for Academic Writing Support”, 11th International Conference on Intelligent Tutoring Systems, Crete, Springer LNCS 7315, p.360-369. 2.Ming Liu, Rafael A. Calvo, Anindito Aditomo and Luiz Augusto Pizzato (2012), “Using Wikipedia and Conceptual Graph Structures to Generate Questions for Academic Writing Support”, IEEE Transactions on Learning Technologies, vol. 5, no. 3, pp. 251-263.
-
18
a mobile experience sampling platform that allows real-time collection of psychological, behavioral and physiological data for research and clinical applications.
-
19
A8E
A small and fast Atari 800 XL emulator.
A8E is a freeware Atari 800 XL emulator written in C by Sascha Springer and has been developed completely from scratch. It uses the SDL and OpenGL (optional) library for the user interface and the audio and graphics output. -
20
...Fast Principal Components Analysis method for finance problems with unequal time steps. In P. L'Ecuyer and A. B. Owen, editors, Monte Carlo and Quasi-Monte Carlo Methods 2008, Springer Verlag, 2010
- Previous
- You're on page 1
- Next