Search results

{{Short description|Software for solving satisfiability problems}} {{Infobox software ...

{{notability|Products|date=March 2015}} {{third-party|date=March 2015}} ...

{{notability|Products|date=May 2015}} {{Infobox software ...

{{Infobox software | developer = [[Apache Software Foundation]], [[IBM]] ...

...OrbFit.<ref>{{Cite web|url=http://adams.dm.unipi.it/orbfit/|title = OrbFit Software}}</ref> ...sident of the Cross-Division A-F Commission X2 “Solar System Ephemerides” (2015-2018). He also served as member of the Steering Committees of Divisions 1 a ...

{{Short description|General-purpose MATLAB software}} {{Infobox software ...

==Application software== ...spectrum of any [[lanthanide]] can be calculated by the RELIC application software.<ref name=helhen/> ...

...com/riskwiki/PERTdistribution.php |title=PERT distribution |publisher=Vose Software |date=May 2, 2017 |access-date=July 16, 2017}}</ref><ref>Continuous Univari ...ive to the estimator. The PERT distribution is featured in most simulation software tools. ...

* {{cite book |title=Software Pioneers: Contributions to Software Engineering |editor-last1=Broy |editor-first1=Manfred |editor-link=Manfred .../ Köllen Druck + Verlag GmbH |isbn=978-3-88579-426-4 |issn=1614-3213 |date=2015 |orig-date=2014-11-14 |publication-place=Bonn, Germany |pages=20–21 |url=ht ...

{{Infobox software ...inference]] written in [[C++]].<ref name="Stan2015">Stan Development Team. 2015. [https://github.com/stan-dev/stan/releases/download/v2.9.0/stan-reference- ...

{{missing information|1=distortion, software support and the polynomial|date=February 2017}}[[File:Natural Earth project ...w.researchgate.net/publication/266016878 |title=Flex Projector–Interactive Software for Designing World Map Projections |access-date=May 21, 2023 |last1=Jenny ...

{{Infobox software | released = {{Start date and age|2015}} ...

{{technical|date=June 2015}} ...al=IFAC-PapersOnLine|volume=48|issue=29|pages=259–264|doi=10.1016/j.ifacol.2015.11.246|issn=2405-8963|doi-access=free}} ...

{{Infobox software | genre = [[Go software]] ...

...not permitted to use stronger than 56-bit encryption, requiring different software editions for the US and export markets.<ref>{{cite web|url=https://technet. ...rosoft security advisory: Update to harden use of DES encryption: July 14, 2015}}</ref> ...

...e=":1">{{cite journal|title= An introduction to Monte Carlo methods |year= 2015 |doi= 10.1016/j.physa.2014.06.014 |arxiv= 1404.0209 |language=en-US|last1= == Software == ...

...y Engineering & System Safety 142: 399–432. https://doi.org/10.1016/j.ress.2015.05.018.</ref> screening methods in [[sensitivity analysis]]. ...gn for sensitivity analysis of large models. ''Environmental Modelling and Software'', '''22''', ...

{{about|feature models in software development|feature models in semantic memory|Semantic memory#Feature model ...'feature model''' is a compact representation of all the products of the [[Software Product Line]] (SPL) in terms of "features". Feature models are visually re ...

...ws|work=The Wall Street Journal|first=Jennifer|last=Valentino-DeVries|date=2015-05-19|url-access=subscription|access-date=2022-04-30|archive-date=2022-02-2 ...4425|Method and apparatus for enhancing software security and distributing software}}: "If ''q'' has been chosen correctly, extracting logarithms modulo ''q'' ...

{{Short description|Software system}} ...ref> is a [[Legal case management|case management]] and [[Decision support software|decision support tool]] developed and owned by Northpointe (now Equivant) u ...