Sökning: "Models of arithmetic"

Visar resultat 21 - 25 av 26 avhandlingar innehållade orden Models of arithmetic.

  1. 21. Expansions, omitting types, and standard systems

    Författare :Fredrik Engström; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : Recursive saturation and resplendence are two important notions in models of arithmetic. Kaye, Kossak, and Kotlarski introduced the notion of arithmetic saturation and argued that recursive saturation might not be as rigid as first assumed. LÄS MER

  3. 22. Pulsed Electric Field Food Treatment and Low Frequency Bioelectromagnetics

    Författare :Martin Lindgren; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; extremely low frequency; non-thermal microbial inactivation; electromagnetic fields; biological effects; treatment chambers; electric field distribution; magnetic fields; pulsed electric fields;

    Sammanfattning : This thesis is divided in two parts, both of which address the interaction between biological cells (especially cell membranes) and electromagnetic fields. The first part deals with the application of intense pulsed electric fields (PEF) in foods. It is intended to be a non-thermal method to inactivate microorganisms. LÄS MER

  4. 23. Reasoning with Bounded Cognitive Resources

    Författare :Abdul Rahim Nizamani; Göteborgs universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Artificial general intelligence; logical reasoning; inductive learning; proof systems; bounded cognitive resources; cognitive modeling;

    Sammanfattning : Reasoning is an essential element of intelligence. Automated reasoning in formal and symbolic systems is a major topic in computer science and artificial intelligence (AI). Programs for computer-assisted and automated theorem proving are being constructed and used by mathematicians and logicians. LÄS MER

  5. 24. Model Based Speech Enhancement and Coding

    Författare :David Yuheng Zhao; Bastiaan Kleijn; Peter Kabal; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; statistical model; Gaussian mixture mdel GMM ; hidden Markov model HMM ; moise reduction; Telecommunication; Telekommunikation;

    Sammanfattning : In mobile speech communication, adverse conditions, such as noisy acoustic environments and unreliable network connections, may severely degrade the intelligibility and natural- ness of the received speech quality, and increase the listening effort. This thesis focuses on countermeasures based on statistical signal processing techniques. LÄS MER

  7. 25. Reconfigurable Architectures for Embedded Systems

    Författare :Henrik Svensson; Institutionen för elektro- och informationsteknik; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Reconfigurable Architectures; Run-time Reconfiguration; Reconfigurable Computing; Embedded Systems; System Level Modeling; Design Exploration;

    Sammanfattning : Application-specific circuits are used to migrate computer systems from workstations to handheld devices that need real-time performance within the budget for physical size and energy dissipation. However, these circuits are inflexible as any modification requires redesign and refabrication, which is both expensive and time-consuming considering the complexity of recent embedded platforms. LÄS MER