Found: 23
Select item for more details and to access through your institution.
Effectiveness of the piezoelectric knife as a tool for nasal beak reduction in patients with chronic rhinosinusitis - a pilot study.
- Published in:
- Polish Otolaryngology / Otolaryngologia Polska, 2024, v. 78, n. 3, p. 1, doi. 10.5604/01.3001.0054.4172
- By:
- Publication type:
- Article
The Influence of Endodontic Lesions on The Clinical Evolution of Odontogenic Sinusitis—A Cohort Study.
- Published in:
- Journal of Clinical Medicine, 2023, v. 12, n. 3, p. 1103, doi. 10.3390/jcm12031103
- By:
- Publication type:
- Article
Do Symptoms Correlate with the Signs in Odontogenic Sinusitis with Periapical Lesions?
- Published in:
- ORL, 2023, v. 85, n. 1, p. 12, doi. 10.1159/000525700
- By:
- Publication type:
- Article
Adversarial Robustness Guarantees for Gaussian Processes.
- Published in:
- Journal of Machine Learning Research, 2022, v. 23, p. 1
- By:
- Publication type:
- Article
The effect of odontogenic sinusitis with periapical lesions on quality of life.
- Published in:
- Polish Otolaryngology / Otolaryngologia Polska, 2022, v. 76, n. 1, p. 13, doi. 10.5604/01.3001.0015.4539
- By:
- Publication type:
- Article
A Language for Modeling and Optimizing Experimental Biological Protocols.
- Published in:
- Computation, 2021, v. 9, n. 10, p. 107, doi. 10.3390/computation9100107
- By:
- Publication type:
- Article
On the Hardness of Robust Classification.
- Published in:
- Journal of Machine Learning Research, 2021, v. 22, p. 1
- By:
- Publication type:
- Article
Current State and Future Directions of Technology-Based Ecological Momentary Assessment and Intervention for Major Depressive Disorder: A Systematic Review.
- Published in:
- Journal of Clinical Medicine, 2019, v. 8, n. 4, p. 465, doi. 10.3390/jcm8040465
- By:
- Publication type:
- Article
Current state and future directions of technology-based ecological momentary assessments and interventions for major depressive disorder: protocol for a systematic review.
- Published in:
- Systematic Reviews, 2018, v. 7, n. 1, p. N.PAG, doi. 10.1186/s13643-018-0899-y
- By:
- Publication type:
- Article
PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 2, p. 195, doi. 10.1007/s10009-017-0476-z
- By:
- Publication type:
- Article
Chemical reaction network designs for asynchronous logic circuits.
- Published in:
- Natural Computing, 2018, v. 17, n. 1, p. 109, doi. 10.1007/s11047-017-9665-7
- By:
- Publication type:
- Article
Programming discrete distributions with chemical reaction networks.
- Published in:
- Natural Computing, 2018, v. 17, n. 1, p. 131, doi. 10.1007/s11047-017-9667-5
- By:
- Publication type:
- Article
Precise parameter synthesis for stochastic biochemical systems.
- Published in:
- Acta Informatica, 2017, v. 54, n. 6, p. 589, doi. 10.1007/s00236-016-0265-2
- By:
- Publication type:
- Article
The Impact of Glyphosate, Its Metabolites and Impurities on Viability, ATP Level and Morphological changes in Human Peripheral Blood Mononuclear Cells.
- Published in:
- PLoS ONE, 2016, v. 11, n. 6, p. 1, doi. 10.1371/journal.pone.0156946
- By:
- Publication type:
- Article
Guiding the folding pathway of DNA origami.
- Published in:
- Nature, 2015, v. 525, n. 7567, p. 82, doi. 10.1038/nature14860
- By:
- Publication type:
- Article
DNA walker circuits: computational potential, design, and verification.
- Published in:
- Natural Computing, 2015, v. 14, n. 2, p. 195, doi. 10.1007/s11047-014-9426-9
- By:
- Publication type:
- Article
GLIFOSAT I JEGO PREPARATY -- TOKSYCZNOŚĆ, NARAŻENIE ZAWODOWE I ŚRODOWISKOWE.
- Published in:
- Medycyna Pracy, 2013, v. 64, n. 5, p. 717, doi. 10.13075/mp.5893.2013.0059
- By:
- Publication type:
- Article
The role of mechanisms of buffering anxiety in HIV carriers. A study within the terror management theory paradigm.
- Published in:
- Advances in Hygiene & Experimental Medicine / Postepy Higieny i Medycyny Doswiadczalnej, 2011, v. 65, p. 133, doi. 10.5604/17322693.934030
- By:
- Publication type:
- Article
Guest Editors' Introduction to the Special Issue on Quantitative Evaluation of Computer Systems.
- Published in:
- IEEE Transactions on Software Engineering, 2009, v. 35, n. 2, p. 145, doi. 10.1109/TSE.2009.24
- By:
- Publication type:
- Article
A formal analysis of bluetooth device discovery.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 6, p. 621, doi. 10.1007/s10009-006-0014-x
- By:
- Publication type:
- Article
Numerical vs. statistical probabilistic model checking.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 3, p. 216, doi. 10.1007/s10009-005-0187-8
- By:
- Publication type:
- Article
Probabilistic symbolic model checking with PRISM: a hybrid approach.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2004, v. 6, n. 2, p. 128, doi. 10.1007/s10009-004-0140-2
- By:
- Publication type:
- Article
Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2004, v. 5, n. 2/3, p. 221, doi. 10.1007/s10009-003-0118-5
- By:
- Publication type:
- Article