Sökning: "Extended black"

Visar resultat 21 - 25 av 42 avhandlingar innehållade orden Extended black.

  1. 21. Learning-based Software Testing using Symbolic Constraint Solving Methods

    Författare :Fei Niu; Karl Meinke; Reiner Hähnle; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Testing; Machine learning; Symbolic constraint solving; Model checking;

    Sammanfattning : Software testing remains one of the most important but expensive approaches to ensure high-quality software today. In order to reduce the cost of testing, over the last several decades, various techniques such as formal verification and inductive learning have been used for test automation in previous research. LÄS MER

  3. 22. Subphotospheric dissipation in gamma-ray bursts observed by the Fermi Gamma-ray Space Telescope

    Författare :Björn Ahlgren; Josefin Larsson; Ross Church; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Fysik; Physics;

    Sammanfattning : Gamma-ray bursts (GRBs) are the brightest events in the Universe, for a short time outshining the rest of the Universe combined, as they explode with isotropic equivalent luminosities up to $10^{54}$ erg s$^{-1}$. These events are believed to be connected to supernovae and to binary compact object mergers, such as binary neutron stars or neutron star -- black hole systems. LÄS MER

  4. 23. Heart rot of spruce and alder in forests of Latvia : impact and possibilities for silvicultural control

    Författare :Natalija Arhipova; Sveriges lantbruksuniversitet; Sveriges lantbruksuniversitet; []
    Nyckelord :LANTBRUKSVETENSKAPER; AGRICULTURAL SCIENCES;

    Sammanfattning : Heart rot causes great decrease in timber quality throughout the world. In the conifer forests of Northern Hemisphere the most significant losses are caused by fungi from the Heterobasidion annosum species complex. LÄS MER

  5. 24. Development of speed-power performance models for ship voyage optimization

    Författare :Xiao Lang; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; full-scale measurements; speed-power performance; added resistance due to waves; energy efficiency; machine learning; voyage optimization;

    Sammanfattning : Various measures, such as voyage optimization, performance monitoring and ship cleaning schedules, have been developed to help increase the energy efficiency of shipping operations. One of the most important elements needed for these measures is a reliable ship speed-power model. LÄS MER

  7. 25. Data-Driven Interaction-Aware Behavior Prediction for Autonomous Vehicles

    Författare :Theodor Westny; Erik Frisk; Björn Olofsson; Paolo Falcone; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : Future progress toward the realization of fully self-driving vehicles still re-quires human-level social compliance, arguably dependent on the ability to accurately forecast the behavior of surrounding road users. Due to the inter-connected nature of traffic participants, in which the actions of one agent can significantly influence the decisions of others, the development of behavior pre-diction methods is crucial for achieving resilient autonomous motion planning. LÄS MER