Sökning: "machine arithmetic"

Visar resultat 1 - 5 av 6 avhandlingar innehållade orden machine arithmetic.

1. 1. From Machine Arithmetic to Approximations and back again : Improved SMT Methods for Numeric Data Types

   Författare :Aleksandar Zeljic; Philipp Ruemmer; Christoph M. Wintersteiger; Yi Wang; Armin Biere; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; SMT; Model construction; Approximations; floating-point arithmetic; machine arithmetic; bit-vectors; Computer Science; Datavetenskap;

   Sammanfattning : Safety-critical systems, especially those found in avionics and automotive industries, rely on machine arithmetic to perform their tasks: integer arithmetic, fixed-point arithmetic or floating-point arithmetic (FPA). Machine arithmetic exhibits subtle differences in behavior compared to the ideal mathematical arithmetic, due to fixed-size representation in memory. LÄS MER

3. 2. Approximations and abstractions for reasoning about machine arithmetic

   Författare :Aleksandar Zeljic; Philipp Rümmer; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap med inriktning mot inbyggda system; Computer Science with specialization in Embedded Systems;

   Sammanfattning : Safety-critical systems rely on various forms of machine arithmetic to perform their tasks: integer arithmetic, fixed-point arithmetic or floating-point arithmetic. The problem with machine arithmetic is that it can exhibit subtle differences in behavior compared to the ideal mathematical arithmetic, due to fixed-size representation in memory. LÄS MER

4. 3. Världsmaskinen. Emanuel Swedenborgs naturfilosofi

   Författare :David Dunér; Avdelningen för idé- och lärdomshistoria; []
   Nyckelord :HUMANIORA; HUMANITIES; Christopher Polhem; Charles XII; hydrodynamics; technology; optics; acoustics; mechanics; space; theology; number systems; neurology; iatromechanics; body and soul; infinity; mineralogy; cosmology; matter theory; perception; analogy; metaphors; cognition; 18th century Swedish history; philosophy of science; philosophy of religion; mechanical philosophy; philosophy; geometry; mathematics; history of science; Emanuel Swedenborg 1688–1772 ; natural philosophy; History of philosophy; history of ideas; Filosofins historia; idéhistoria; History of science; Vetenskapshistoria;

   Sammanfattning : The Swedish natural philosopher Emanuel Swedenborg (1688–1772) thought in his early scientific career that the world was like a gigantic machine, following the laws of mechanics and geometry. The work presented here is a study of his mechanistic worldview and metaphorical way of thinking up to the year 1734, examining most of his fields of interest, from geometry and metaphysics to technology and mining engineering. LÄS MER

5. 4. Journeys in vector space: Using deep neural network representations to aid automotive software engineering

   Författare :Dhasarathy Parthasarathy; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; automotive software design and testing; generative adversarial networks; latent space arithmetic; generative AI; explainable AI; large language models;

   Sammanfattning : Context - The automotive industry is in the midst of a transformation where software is becoming the primary tool for delivering value to customers. While this has vastly improved their product offerings, vehicle manufacturers are facing an urgent need to continuously develop, test, and deliver functionality, while maintaining high levels of quality. LÄS MER

7. 5. Closing the Gap : How an Adaptive Behavioral Based Program on a Tablet Can Help Low Performing Children Catch Up in Math: a Randomized Placebo Controlled Study

   Författare :Martin Hassler Hallstedt; Ata Ghaderi; Tomas Furmark; Nancy Jordan; Uppsala universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; intervention; mathematics; tablet; fluency; short and long-term effects; educational technology; Psychology; Psykologi;

   Sammanfattning : Early mathematic skills have a substantial impact on later school achievement. Children with poor school achievement are at risk for adverse consequences later in life. Math competencies also have consequences for the economy at large because societies are becoming increasingly dependent on skill sets including mathematics. LÄS MER