Zoekresultaten

[[Categorie:Software engineering]] …

== Software-implementaties == * De [https://www.gnu.org/software/gsl/ GNU Scientific Library] is geschreven in [[C (programmeertaal)|C]] en …

…[hardware]] en [[verificatie (informatica)|verificatie]] van hardware en [[software]]. Veel wiskundige en praktische problemen, zoals het [[kleuren van grafen] …>{{en}} [http://www.princeton.edu/~chaff/publication/DAC2001v56.pdf Chaff: Engineering an Efficient SAT Solver]</ref> DPLL-algoritme, [[GRASP (algoritme)|GRASP]], …

…[[kennisbeheer]] (knowledge management), [[machinaal leren]] en [[software engineering]]. …pt Analysis Homepage] (deze website bevat ook een collectie links naar FCA-software) …

Numerieke lineaire algebra is vaak een fundamenteel onderdeel van [[Engineering|technische]] en [[Computationele wetenschap|computationele wetenschappelijk == Software == …

…cy Radar Measurements of Coastal Ocean Parameters, CETN-I-41 6/86, Coastal Engineering Research Centre, Technical Note.{{Citeer web |url=http://chl.erdc.usace.arm …al and Storm-Surge Measurements with Single-Site CODAR, journal of oceanic engineering, Vol. OE-11, No. 2, april 1986, pages 241-245</ref> Bovendien kunnen uit de …

…u van de Verenigde Staten. Hij is sinds 2001 lid van [[National Academy of Engineering]]. Hij ontving de Lemelson-MIT Prijs ter waarde van 500.000 dollar, de groo …engaan van biologische en niet-biologische intelligentie, onsterfelijke op software gebaseerde menselijke wezens en ultrahoge niveaus van intelligentie die zic …

…h-limited waves in water of finite depth |jaargang=28 |tijdschrift=Coastal Engineering |datum=1996 |taal=en |doi=10.1016/S0378-3839(96)00006-3 |pagina's=47-78}}</ …pp</ref> Het model onderging vanaf het begin eind jaren tachtig een reeks software-updates.<ref name="WAMDI88">{{Citeer journal |title=The WAM model - A third …

…iënteerd]]e en [[Functioneel programmeren|functionele principes]]. Moderne software-constructies (closures, [[Monad (Programmeerconcept)|monaden]]<ref>{{Citeer Bekende Java-ontwikkeltools, zoals [[Eclipse (software)|Eclipse]]<ref>{{Citeer web …

…f vloeistoflichtgeleider kan de laser verbinden met de lensopstelling. PIV-software wordt gebruikt om de optische beelden na te bewerken. …n in de toediening van medicijnen, biomedische diagnostiek en microschaal. engineering. …

…gie|biologische]] en non-biologische intelligentie, [[onsterfelijk]]e op [[software]] gebaseerde menselijke wezens en ultrahoge niveaus van intelligentie die… …Shrinking in 2021|bezochtdatum=2017-01-22|werk=IEEE Spectrum: Technology, Engineering, and Science News|taal=en}}</ref> Om de wetmatigheid van Moore vol te houde …