Sökning: "interactive function"

Visar resultat 26 - 30 av 113 avhandlingar innehållade orden interactive function.

  1. 26. Boundary Detection in Cardiovascular Ultrasonic Images Based on Multiscale Dynamic Programming

    Författare :Quan Liang; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; multiscale dynamic programming; artery measurement; cardiac measurement; edge-preserving smoothing; ultrasonic imaging; boundary detection;

    Sammanfattning : Non-invasive ultrasonic imaging is widely used in cardiovascular studies as well as clinical diagnostics. This is due to its non-invasiveness, low cost and easy operation. However, ultrasonic images are noisy and present artifacts, speckles, and echo dropouts. LÄS MER

  3. 27. Testing and Proving in Dependent Type Theory

    Författare :Qiao Haiyan; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : We show how random testing, model checking and interactive proving can be combined for functional program verification in dependent type theory. We extend the proof assistant Agda/Alfa for dependent type theory with a tool for random testing of functional programs, thus combining proving and testing in one system. LÄS MER

  4. 28. Constraint-based conceptual design using principle solution elements

    Författare :Sören Wilhelms; Christian Weber; Linköpings universitet; []
    Nyckelord :Conceptual design; functional modelling; constraint-based design; design reuse; VDI 2222; product modelling; design support; TECHNOLOGY; TEKNIKVETENSKAP;

    Sammanfattning : The design of new products is an important engineering activity, and much of the competitiveness in high-salary countries depends on the ability to develop innovative products with acceptable time to market.During conceptual design, the principle solution for a product is conceived. LÄS MER

  5. 29. Flexible Embedded Control Systems : Design and Implementation

    Författare :Johan Eker; Institutionen för reglerteknik; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Automation; Feedback scheduling; Quality of service; Linear quadratic control; Toolbox; Simulation; Rapid prototyping; Programming language; Scheduling; Embedded systems; Real-time system; robotics; control engineering; Automatiska system; robotteknik; reglerteknik;

    Sammanfattning : Embedded control system design is a complex and error prone task, and there is a great need for better development tools. Today most real-time control systems are static systems, designed in an ad-hoc fashion. A more interactive way of working would give shorter development times, reduced costs for testing, and safer, more robust systems. LÄS MER

  7. 30. Här är rymlig plats : Predikoteologier i en komplex verklighet

    Författare :Carina Sundberg; Henry Cöster; Bernice Sundkvist; Karlstads universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; homiletic; theology; communication; justification; sacramental; gender; pluralism; rättfärdiggörelse; sakramental; genus; pluralism; predikan; teologi; kommunikation; Religion Theology; Religionsvetenskap Teologi; Religious Studies and Theology; Religionsvetenskap;

    Sammanfattning : The purpose of this dissertation is to understand the complexity of the preaching event as communication from a theological point of view in order to increase the awareness of this complexity. I see theology of preaching as a way of reducing the complexity, to making the complexity visible. LÄS MER