One can prove the following propositions: (1) For all sets A, B, C, p such that A ∩ B ⊆ {p} and p ∈ C and C misses B holds A ∪ C misses B. (2) For all sets A, B, C, p such that A ∩ C = {p} and p ∈ B and B ⊆ C holds A ∩ B = {p}. (3) For all sets A, B such that for every set y such that y ∈ B holds A misses y holds A misses ⋃ B. (4) For all sets A, B such that for all sets x, y such that x ∈ A an...

Decisions often imply trade-offs that force people to accept missing an opportunity in the past or in the future. However, it is not fully clear whether a past miss or a future miss elicits more regret. In a direct comparison, previous research had found support for the greater impact of future misses. In an experimental study with 216 participants, we replicated and extended previous research ...

Kendaraan listrik mempunyai beberapa kelebihan diantarannya ramah area, minim pemeliharaan, bebas tune-up, suara mantap, dan murah. Kemajuan alat transportasi di Indonesia memanglah tidak sangat kilat karena infrastruktur pengisian baterai yang masih jarang untuk kendaraan membuat warga sedang memakai kendaran materi bakar minyak. Dalam melakukan penelitian ini terkait dengan simulasi aplikasi,...

Previous studies have found the modified Thorington test and the Howell phoria card test to be more repeatable than the von Graefe test. Another potential way to assess the value of a test could be to correlate test results with the level of symptoms. Near dissociated phorias were measured with the modified Thorington, Howell phoria card, and von Graefe procedures with 50 subjects between the a...

Üblicherweise nehmen die Verifizierungsaufgaben, die von den branchenspezifischen Standards gefordert werden, einen großen Teil der Entwicklungskosten von kritischen Systemen ein. Diese Tendenz wird noch verstärkt, da die Entwicklung und Pflege einer großen Menge von funktionalen und Robustheitstests, für immer komplexer werdende Anwendungen, nötig ist. Die formale Verifikation ist ein Weg, die...

Kurzfassung Produktionsdatenbestände bilden einen guten Fundus an Eingabedaten für Testfälle. Allerdings ist die Zahl dieser Eingabedaten oft unpraktikabel hoch, und immer gleiche Eingaben machen den Test aufwändig, finden aber keine weiteren Fehler. In diesem Artikel wird ein Verfahren vorgestellt, das durch das Glassbox-TestWerkzeug CodeCover Produktionsdaten auf ein praktikablen Umfang reduz...