Search results

...Detlef Plump, Fundamenta Informaticae, vol. 33, no. 2, pp. 201--209, 1998, IOS Press</ref> ...hesive categories", Stephen Lack and Paweł Sobociński, in ''Foundations of software science and computation structures'', pp. 273--288, Springer 2004</ref>). ...

...name="github.com">{{Cite web|url=https://github.com/covid19risk/covidwatch-ios/commit/b520d1486d9d898dadeb15dd94fbbb16c0e1d6a1|title=First implementation ...name="github.com">{{Cite web|url=https://github.com/covid19risk/covidwatch-ios/commit/b520d1486d9d898dadeb15dd94fbbb16c0e1d6a1|title=First implementation ...

...4425|Method and apparatus for enhancing software security and distributing software}}: "If ''q'' has been chosen correctly, extracting logarithms modulo ''q'' ...15, [[Apple Inc.|Apple]] released a patch for both [[OS X Yosemite]] and [[iOS 8]] operating system.<ref> ...

...2020-04-22}}</ref>|industry=[[Digital contact tracing]]|hardware=Android & iOS smartphones|range=~{{convert|10|m|abbr=on}}<ref>{{Cite web|url=https://blog ...|url=https://github.com/DP-3T/dp3t-sdk-ios#introduction|title=DP3T-SDK for iOS|website=GitHub|language=en|access-date=2020-05-06}}</ref><ref>{{Cite web|ur ...

...date|2020|04|01}}|industry=[[Digital contact tracing]]|hardware=Android & iOS smartphones|range=~{{convert|10|m|abbr=on}}<ref>{{Cite web|url=https://blog [[Category:Software associated with the COVID-19 pandemic]] ...

{{Infobox software ...rofessor Robert van Engelen in 2016 and released as free open source. The software evolved with several contributions made by others. The RE/flex tool genera ...

...ented and deployed. This article tracks real-world deployments, production software packages, and research prototypes. == Production software packages == ...

|hardware=[[Android (operating system)|Android]] & [[iOS]] smartphones ...9 exposure notifications|url=https://9to5mac.com/2020/12/14/apple-releases-ios-12-5-for-older-iphones-with-support-for-covid-19-exposure-notifications/|ac ...

...st = Bernstein}}</ref> The [[reference implementation]] is [[public domain software]].<ref>[https://cr.yp.to/ecdh.html A state-of-the-art Diffie-Hellman functi * [[NaCl (software)|NaCl]]<ref>{{cite web|url=https://nacl.cr.yp.to/|title=Introduction|work=y ...

...el), [[iOS 4#4.2.10|iOS 4.2.10]] (CDMA model)<br />''' Last: [[iOS 7#7.1.2|iOS 7.1.2]], released {{start date|2014|6|30}} ...s its precursors, Apple's [[Apple A4|A4]] [[system-on-chip]], along with [[iOS 4]]—which notably introduced multitasking functionality and app folders. It ...

...>{{cite book|title=Handbook of Satisfiability|date=February 2009|publisher=IOS Press|isbn=978-1-60750-376-7|page=138|url=http://satassociation.org/article ...tware test pattern generation, software package dependencies, hardware and software model checking, and cryptography. ...

...esses data from the sensor networks was deployed on September 28. This new software should reduce the number of mistakes and missed alerts, making ShakeAlert m ...</ref> While the two systems are distinct, USGS and NRCan share processing software, algorithms and real-time data.<ref>{{cite web|url=https://ohaz.uoregon.edu ...

...ccess=free}} [http://www.risc.jku.at/projects/stout/software/antiunify.php Software.] ...s Dagstuhl, 57-73. [http://www.risc.jku.at/projects/stout/software/nau.php Software.] ...

...oogle]]'s RAPPOR, for telemetry such as learning statistics about unwanted software hijacking users' settings.<ref name="RAPPOR">{{cite book | chapter-url=http ...|url=https://www.apple.com/newsroom/2016/06/apple-previews-ios-10-biggest-ios-release-ever/ |access-date=20 June 2023 |website=Apple}}</ref> ...

| publisher = IOS Press </ref> and its use likened to [[Technical drawing|drawing blueprints]] for software systems;<ref name="wired"> ...

...tion of CoDel was realized in May 2012 and made available as [[open-source software]].<ref name="CoDel_ACMQ"/> It was implemented within the [[Linux kernel]] ( ...the standard. For example, Apple's implementation of fq_codel (default in iOS) has a very large number of users but no "codel" component. Täht also notes ...

...hniques as well as equipment and, after computers became important, crypto software) was included as a Category XIII item into the [[United States Munitions Li ...plified the export of proprietary and [[Open-source software|open source]] software containing cryptography, which they did in 2000.<ref>{{cite web ...

...lem|url=http://www.sinosplice.com/life/archives/2013/07/16/a-more-complete-ios-solution-to-the-china-gps-offset-problem|date=23 December 2014}}</ref> The ...esults. However, Li Chengwan and his team decided to provide the "new map" software to cities at cost or even for free.}}</ref> ...

...ght", which provides less freedom for modification than true [[open-source software]].<ref name="Delbert">{{cite web |last=Delbert|first=Caroline|date=31 Janua ...[[ChatGPT]] as the most downloaded freeware app on the [[App Store (Apple)|iOS App Store]] in the United States,<ref name="Metz-2025b" /> causing Nvidia's ...

...eport by [[ProPublica]] that claimed that the [[COMPAS (software)|COMPAS]] software, widely used in US courts to predict [[recidivism]], was racially biased.<r ...hon]] and [[R (programming language)|R]] with several algorithms to reduce software bias and increase its fairness.<ref name="IBM">{{Cite web |title=AI Fairnes ...