Treffer 1 - 17 von 17 für Suche 'Tsitovich, Aliaksei', Suchdauer: 0,77s Treffer weiter einschränken
  1. 1
    Resolution proof transformation for compression and interpolation

    Resolution proof transformation for compression and interpolation von Rollini, Simone Fulvio, Bruttomesso, Roberto, Sharygina, Natasha, Tsitovich, Aliaksei

    Veröffentlicht in Formal methods in system design

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Loop summarization using state and transition invariants

    Loop summarization using state and transition invariants von Kroening, Daniel, Sharygina, Natasha, Tonetta, Stefano, Tsitovich, Aliaksei, Wintersteiger, Christoph M.

    Veröffentlicht in Formal methods in system design

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    An abstraction refinement approach combining precise and approximated techniques

    An abstraction refinement approach combining precise and approximated techniques von Sharygina, Natasha, Tonetta, Stefano, Tsitovich, Aliaksei


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    The OpenSMT Solver

    The OpenSMT Solver von Bruttomesso, Roberto, Pek, Edgar, Sharygina, Natasha, Tsitovich, Aliaksei


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Training a filter for noise reduction in a hearing device

    Training a filter for noise reduction in a hearing device von Tsitovich, Aliaksei

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Termination Analysis with Compositional Transition Invariants

    Termination Analysis with Compositional Transition Invariants von Kroening, Daniel, Sharygina, Natasha, Tsitovich, Aliaksei, Wintersteiger, Christoph M.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Loop Summarization and Termination Analysis

    Loop Summarization and Termination Analysis von Tsitovich, Aliaksei, Sharygina, Natasha, Wintersteiger, Christoph M., Kroening, Daniel


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Flexible interpolation with local proof transformations

    Flexible interpolation with local proof transformations von Bruttomesso, R, Rollini, S, Sharygina, N, Tsitovich, A


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Selectively collecting and storing sensor data of a hearing system

    Selectively collecting and storing sensor data of a hearing system von Derleth, Peter, Krueger, Harald, Tsitovich, Aliaksei, Breitenmoser, Andreas

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Loopfrog: A Static Analyzer for ANSI-C Programs

    Loopfrog: A Static Analyzer for ANSI-C Programs von Kroening, D., Sharygina, N., Tonetta, S., Tsitovich, A., Wintersteiger, C.M.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Loop Summarization Using Abstract Transformers

    Loop Summarization Using Abstract Transformers von Kroening, Daniel, Sharygina, Natasha, Tonetta, Stefano, Tsitovich, Aliaksei, Wintersteiger, Christoph M.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Securely sharing data between a hearing device, hearing device user, and data storage

    Securely sharing data between a hearing device, hearing device user, and data storage von Wojcieszyn, Filip, Schneider, Philipp, Tsitovich, Aliaksei, Schmid, Daniel

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Selectively Collecting and Storing Sensor Data of a Hearing System

    Selectively Collecting and Storing Sensor Data of a Hearing System von Derleth, Peter, Krueger, Harald, Tsitovich, Aliaksei, Breitenmoser, Andreas

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  14. 14
    SELECTIVELY COLLECTING AND STORING SENSOR DATA OF A HEARING SYSTEM

    SELECTIVELY COLLECTING AND STORING SENSOR DATA OF A HEARING SYSTEM von Derleth, Peter, Krueger, Harald, Tsitovich, Aliaksei, Breitenmoser, Andreas

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  15. 15
    SECURING A UNIFORM RESOURCE INDICATOR FOR COMMUNICATING BETWEEN A HEARING CARE PROFESSIONAL AND A HEARING DEVICE USER

    SECURING A UNIFORM RESOURCE INDICATOR FOR COMMUNICATING BETWEEN A HEARING CARE PROFESSIONAL AND A HEARING DEVICE USER von Wojcieszyn, Filip, Schneider, Phillipp, Tsitovich, Aliaksei

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  16. 16
    SECURELY SHARING DATA BETWEEN A HEARING DEVICE, HEARING DEVICE USER, AND DATA STORAGE

    SECURELY SHARING DATA BETWEEN A HEARING DEVICE, HEARING DEVICE USER, AND DATA STORAGE von Wojcieszyn, Filip, Schneider, Philipp, Tsitovich, Aliaksei, Schmid, Daniel

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  17. 17
    ADJUSTING A HEARING AID BASED ON USER INTERACTION SCENARIOS

    ADJUSTING A HEARING AID BASED ON USER INTERACTION SCENARIOS von TSITOVICH, Aliaksei, SCHNEIDER, Philipp, ROTH, Tim, JULITA, Francois

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: