Log in

Relevant bibliographies by topics / Veriflex / Journal articles

To see the other types of publications on this topic, follow the link: Veriflex.

Journal articles on the topic 'Veriflex'

Author: Grafiati

Published: 4 June 2021

Last updated: 19 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Veriflex.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Yaşa, Dilek, and Alper Ağca. "Verisyse versus Veriflex Phakic Intraocular Lenses: Refractive Outcomes and Endothelial Cell Density 5 Years after Surgery." Journal of Ophthalmology 2018 (September 30, 2018): 1–8. http://dx.doi.org/10.1155/2018/4210460.

Full text

Abstract:

Purpose. To compare refractive stability, central endothelial cell density (ECD), and complications between Verisyse (Abbott Medical Optics, Netherlands) and Veriflex (Abbott Medical Optics, Netherlands) phakic intraocular lenses (pIOL) over five years.Methods. We retrospectively reviewed the medical records of patients who underwent Verisyse or Veriflex pIOL implantation for surgical correction of myopia. Patients with a 5-year follow-up period were included in the study. Uncorrected distance visual acuity (UDVA), corrected distance visual acuity (CDVA), spherical equivalent of manifest refraction (SE), and ECD were compared between the groups preoperatively and 1, 3, and 5 years postoperatively.Results. The study included 47 eyes in the Verisyse group and 50 eyes in the Veriflex group. There was no significant difference in mean SE, UDVA, CDVA, and ECD preoperatively or postoperatively. In both groups, there was a statistically significant myopic shift between 1-year and 5-year visits (−0.25 ± 0.30 D and −0.23 ± 0.48 D in the Verisyse and Veriflex groups, respectively). There was no significant difference between the groups in terms of efficacy and safety indexes at 5 years. ECD loss was highest during the first year (3.9% loss in the Verisyse group and 3.9% loss in the Veriflex group,p=0.670). At 5 years, the mean cumulative ECD losses in the Verisyse and Veriflex groups were 7.42% and 7.64%, respectively (p=0.709). Cataracts developed in 2.1% of the eyes in the Verisyse group and in 2.0% of those in the Veriflex group. No sight-threatening complications were observed.Conclusion. Verisyse and Veriflex pIOLs are highly effective for treating high myopia up to 5 years after surgery. Longitudinal studies with longer follow-up periods are necessary to determine the endothelial safety profile.

APA, Harvard, Vancouver, ISO, and other styles

2

McClung, Amber J. W., Gyaneshwar P. Tandon, and Jeffery W. Baur. "Deformation rate-, hold time-, and cycle-dependent shape-memory performance of Veriflex-E resin." Mechanics of Time-Dependent Materials 17, no. 1 (November 19, 2011): 39–52. http://dx.doi.org/10.1007/s11043-011-9157-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Pjano, Melisa, Alma Biscevic, Senad Grisevic, Ajla Pidro, Mirko Ratkovic, Maja Bohac, Amila Husovic, and Refet Gojak. "One Year Follow-Up After Veriflex Phakic Intraocular Lenses Implantation for Correction of Myopia." Acta Informatica Medica 24, no. 3 (2016): 178. http://dx.doi.org/10.5455/aim.2016.24.178-181.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Awadein, Ahmed, and Ahmed E. Habib. "ICL Versus Veriflex Phakic IOL for Treatment of Moderately High Myopia: Randomized Paired-Eye Comparison." Journal of Refractive Surgery 29, no. 7 (July 1, 2013): 445–52. http://dx.doi.org/10.3928/1081597x-20130617-02.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Butaud, P., V. Placet, J. Klesa, M. Ouisse, E. Foltête, and X. Gabrion. "Investigations on the frequency and temperature effects on mechanical properties of a shape memory polymer (Veriflex)." Mechanics of Materials 87 (August 2015): 50–60. http://dx.doi.org/10.1016/j.mechmat.2015.04.002.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Chowdhury, A. M. Sarwaruddin, Christina Schmidt, Klaus Neuking, and Gunther Eggeler. "Comparative studies on the accumulation of strain and recovery ratio of Veriflex®, a shape-memory polymer." High Performance Polymers 25, no. 8 (May 30, 2013): 886–93. http://dx.doi.org/10.1177/0954008313487929.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

McClung, Amber J. W., Gyaneshwar P. Tandon, and Jeffery W. Baur. "Strain rate- and temperature-dependent tensile properties of an epoxy-based, thermosetting, shape memory polymer (Veriflex-E)." Mechanics of Time-Dependent Materials 16, no. 2 (August 6, 2011): 205–21. http://dx.doi.org/10.1007/s11043-011-9148-7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Bohac, Maja, Marija Anticic, Natasa Draca, Bojan Kozomara, Iva Dekaris, Nikica Gabric, and Sudi Patel. "Comparison of Verisyse and Veriflex Phakic Intraocular Lenses for Treatment of Moderate to High Myopia 36 Months after Surgery." Seminars in Ophthalmology 32, no. 6 (August 3, 2016): 725–33. http://dx.doi.org/10.3109/08820538.2016.1170163.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Chowdhury, A. M. Sarwaruddin, Christina Schmidt, Klaus Neuking, and Gunther Eggeler. "Comparative Studies on Thermomechanical Behavior of Veriflex®, a Shape Memory Polymer, for a Low Strain (ϵm= 70%): Laser Experiments." Journal of Macromolecular Science, Part A 48, no. 9 (September 2011): 707–12. http://dx.doi.org/10.1080/10601325.2011.596049.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Kondratyev, D. A., and A. V. Promsky. "Towards the ’Verified Verifier’. Theory and Practice." Modeling and Analysis of Information Systems 21, no. 6 (January 1, 2014): 71–82. http://dx.doi.org/10.18255/1818-1015-2014-6-71-82.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Vilaseca, Meritxell, Adenay Padilla, Jaume Pujol, Juan C. Ondategui, Pablo Artal, and Jose L. Güell. "Optical Quality One Month After Verisyse and Veriflex Phakic IOL Implantation and Zeiss MEL 80 LASIK for Myopia from 5.00 to 16.50 Diopters." Journal of Refractive Surgery 25, no. 8 (August 1, 2009): 689–98. http://dx.doi.org/10.3928/1081597x-20090707-03.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Chowdhury, A. M. Sarwaruddin, Christina Schmidt, Klaus Neuking, and Gunther Eggeler. "Comparative studies on the accumulation of strain and recovery ratio of Veriflex®, a shape-memory polymer for a high strain (∊m = 210%)." High Performance Polymers 26, no. 1 (July 9, 2013): 20–26. http://dx.doi.org/10.1177/0954008313494907.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Fischinger, Isaak R., Jascha Wendelstein, Kristin Tetz, Matthias Bolz, and Manfred R. Tetz. "Toric phakic IOLs in keratoconus—evaluation of preoperative parameters on the outcome of phakic anterior chamber lens implantation in patients with keratoconus." Graefe's Archive for Clinical and Experimental Ophthalmology 259, no. 6 (January 19, 2021): 1643–49. http://dx.doi.org/10.1007/s00417-020-05041-8.

Full text

Abstract:

Abstract Purpose To evaluate the influence of the type of the keratectasia and preoperative keratometry readings on the efficacy of implantation of iris-fixated phakic anterior chamber intraocular lenses (pIOL) in patients with keratoconus. Methods In this retrospective study, iris-fixated pIOLs (Artisan/Artiflex (Ophtec®), Verisyse/Veriflex (AMO®)) were implanted in 38 eyes of 22 patients with stable keratoconus. Thirty-six eyes underwent corneal crosslinking (CXL) prior to the lens implantation. The refractive outcome was evaluated 6 weeks postoperatively and the influence of preoperative refraction and topo- and tomographical factors were analyzed. Results The mean postoperative uncorrected distance visual acuity (UDVApost) was 0.25 ± 0.15 logMAR and was not statistically different from the mean preoperative corrected distance visual acuity (CDVApre), which was 0.24 ± 0.13 logMAR. Twenty-seven eyes (71%) reached UDVApost/CDVApre ≥ 1 (efficacy index), whereas patients with PMD-like ectasia (n = 14) showed significantly (p = 0.003) higher efficacy index (100%) than patients diagnosed with keratoconus (n = 24) (54%). Higher eccentricity of the maximum posterior elevation showed a significant beneficial influence on the efficacy index (p = 0.021). Furthermore, a higher Amsler-Krumeich stage and preoperative MAE were correlated with a worse UDVApost. The mean absolute spherical equivalent was significantly decreased from 5.71 ± 4.96 D to 1.25 ± 1.20 D (p < 0.001). No significant difference was found in endothelial cell count. Conclusion The results indicate that the implantation of phakic iris-fixated anterior chamber IOLs is a reasonable refractive option for patients with keratoconus. Keratoconus patients with a pellucidal marginal degeneration (PMD)-like appearance ectasia seem to benefit most from such procedures.

APA, Harvard, Vancouver, ISO, and other styles

14

Harvey, Alexis R., Brian T. Young, Joseph F. Golob, Samuel J. Zolin, Jeffrey A. Claridge, and Vanessa P. Ho. "ACS-Verifed Trauma Hospitals Outperform Non-Verified Hospitals on Incentive-Driven Reduction of CAUTI." Journal of the American College of Surgeons 229, no. 4 (October 2019): e219. http://dx.doi.org/10.1016/j.jamcollsurg.2019.08.1326.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Khurshid, Ahmed, Wenxuan Zhou, Matthew Caesar, and P. Brighten Godfrey. "Veriflow." ACM SIGCOMM Computer Communication Review 42, no. 4 (September 24, 2012): 467–72. http://dx.doi.org/10.1145/2377677.2377766.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Xie, Fei, and James C. Browne. "Verified systems by composition from verified components." ACM SIGSOFT Software Engineering Notes 28, no. 5 (September 2003): 277–86. http://dx.doi.org/10.1145/949952.940109.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Yu Longkun, 于龙昆, 何冰 He Bing, 沈红 Shen Hong, 温小辉 Wen Xiaohui, and 李智祥 Li Zhixiang. "DIMM中计算公式的分析及验证实验." Infrared and Laser Engineering 50, no. 6 (2021): 20200414. http://dx.doi.org/10.3788/irla20200414.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Stavrou, Angelos, and Jeffrey Voas. "Verified Time." Computer 50, no. 3 (March 2017): 78–82. http://dx.doi.org/10.1109/mc.2017.63.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Leroy, Xavier. "Verified squared." ACM SIGPLAN Notices 46, no. 1 (January 26, 2011): 1–2. http://dx.doi.org/10.1145/1925844.1926387.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Shi, Zhicai, Xiaomei Zhang, and Jin Liu. "The Lightweight RFID Grouping-Proof Protocols with Identity Authentication and Forward Security." Wireless Communications and Mobile Computing 2020 (March 18, 2020): 1–12. http://dx.doi.org/10.1155/2020/8436917.

Full text

Abstract:

In many fields, multiple RFID tags are often combined into a group to identify an object. An RFID grouping-proof protocol is utilized to prove the simultaneous existence of a group of tags. However, many current grouping-proof protocols cannot simultaneously provide privacy preserving, forward security, and the authentication between reader/verifier and tags, which are vulnerable to trace attack, privacy leakage, and desynchronization attack. To improve the secure performance of the current grouping-proof protocols, we propose two provable lightweight grouping-proof protocols that provide forward security, identity authentication, and privacy preserving. Our protocols involve a trusted reader and an untrusted reader, respectively. In order to avoid verifying some invalid evidences, our protocols complete the authentication of the verifier to the trusted reader and the verified tags before the verifier verifies the grouping-proof evidence. Each tag uses parallel mode to complete its signature to improve the efficiency of the protocols. Moreover, the activate-sleep mechanism and the filtering operation are proposed to effectively reduce the collision probability and computing load of tags. Our protocols complete the authentication to tags twice by a verifier and a trusted reader, respectively. They can resist various attacks such as eavesdropping, replay, trace, and desynchronization. The protocols are proven to be secure, flexible, and efficient. They only utilize some lightweight operations. Therefore, they are very suitable to the low-cost RFID systems.

APA, Harvard, Vancouver, ISO, and other styles

21

Leinenbach, Dirk, and Elena Petrova. "Pervasive Compiler Verification – From Verified Programs to Verified Systems." Electronic Notes in Theoretical Computer Science 217 (July 2008): 23–40. http://dx.doi.org/10.1016/j.entcs.2008.06.040.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Špinar, Jindřich. "Nesiritide not verified." Cor et Vasa 52, no. 11-12 (November 1, 2010): 764–65. http://dx.doi.org/10.33678/cor.2010.190.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Joelsson, Adam C., Ashley S. Brown, Amrita Puri, Martin P. Keough, Benjamin J. Pascal, Zara E. Gaudioso, Adam E. Snook, Louis E. Leong, and Nicholas A. Siciliano. "Veriflow® Campylobacter." Journal of AOAC INTERNATIONAL 97, no. 3 (May 1, 2014): 820–28. http://dx.doi.org/10.5740/jaoacint.13-349.

Full text

Abstract:

Abstract Veriflow®Campylobacter is a molecular based assay for the presumptive and qualitative detection of the most common occurring foodborne Campylobacter species: C. jejuni and C. coli. The assay utilizes a PCR detection method coupled with a rapid, visual, flow-based assay that develops in 3 min post PCR amplification and requires only 24 h of non-specialized enrichment for maximum sensitivity. The Veriflow Campylobacter system eliminates the need for microaerobic chambers, gel electrophoresis or fluorophore based detection of target amplification, and does not require complex data analysis. This Performance Tested MethodSM validation study demonstrated the ability of the Veriflow method to detect naturally occurring Campylobacter from chicken carcass rinsates. In the reference comparison study, Chi-square and probability of detection analyses of two unpaired studies indicated that there was no significant difference between the Veriflow Campylobacter method and the U.S. Department of Agriculture (USDA)/Food Safety and Inspection Service (FSIS) reference method. There was no indication of false positive or false negative detection in the reference comparison study, and all 50 C. jejuni and C. coli strains were detected, while 35 nonspecific organisms were undetected in the exclusivity/ inclusivity study. The study results show that Veriflow Campylobacter is a sensitive, selective and robust assay for the detection of C. jejuni and C. coli in chicken carcass rinsates.

APA, Harvard, Vancouver, ISO, and other styles

24

Klein, Gerwin, and Tobias Nipkow. "Verified bytecode verifiers." Theoretical Computer Science 298, no. 3 (April 2003): 583–626. http://dx.doi.org/10.1016/s0304-3975(02)00869-1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Brull, Sorin J. "Reverifying the verified." Journal of Clinical Anesthesia 5, no. 3 (May 1993): 261–62. http://dx.doi.org/10.1016/0952-8180(93)90033-b.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

Soutar, Anne K. "Second receptor verified?" Nature 341, no. 6238 (September 1989): 106–7. http://dx.doi.org/10.1038/341106a0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Fares, Wassim H. "Orenitram . . . Not Verified." American Journal of Respiratory and Critical Care Medicine 191, no. 6 (March 15, 2015): 713–14. http://dx.doi.org/10.1164/rccm.201411-2082le.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Fitzgerald, Richard J. "Element 114 verified." Physics Today 62, no. 11 (November 2009): 22. http://dx.doi.org/10.1063/1.3265226.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Topol, Eric J. "Nesiritide — Not Verified." New England Journal of Medicine 353, no. 2 (July 14, 2005): 113–16. http://dx.doi.org/10.1056/nejmp058139.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Leslie-Hurd, Joe. "Maintaining verified software." ACM SIGPLAN Notices 48, no. 12 (January 31, 2014): 71–80. http://dx.doi.org/10.1145/2578854.2503787.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Avigad, Jeremy, and John Harrison. "Formally verified mathematics." Communications of the ACM 57, no. 4 (April 2014): 66–75. http://dx.doi.org/10.1145/2591012.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Emiliani, Cesare. "Milankovitch theory verified." Nature 364, no. 6438 (August 1993): 583–84. http://dx.doi.org/10.1038/364583a0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Linton, Alexa. "Voter verified ballots." ACM SIGCAS Computers and Society 36, no. 4 (December 2006): 3. http://dx.doi.org/10.1145/1273261.1273264.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Roeder, Tom, Rafael Pass, and Fred B. Schneider. "Multi-Verifier Signatures." Journal of Cryptology 25, no. 2 (January 29, 2011): 310–48. http://dx.doi.org/10.1007/s00145-010-9096-4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Shepherd, David. "Verified microcode design." Microprocessors and Microsystems 14, no. 10 (December 1990): 623–30. http://dx.doi.org/10.1016/0141-9331(90)90037-v.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Keyes, Ralph. "The Quote Verifier." Antioch Review 64, no. 2 (2006): 256. http://dx.doi.org/10.2307/4614974.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Nipkow, Tobias, and Hauke Brinkop. "Amortized Complexity Verified." Journal of Automated Reasoning 62, no. 3 (March 13, 2018): 367–91. http://dx.doi.org/10.1007/s10817-018-9459-3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Rebner, Gabor, Michael Beer, Ekaterina Auer, and Matthias Stein. "Verified stochastic methods." Soft Computing 17, no. 8 (February 26, 2013): 1415–23. http://dx.doi.org/10.1007/s00500-013-1009-7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Bohrer, Brandon, Yong Kiam Tan, Stefan Mitsch, Magnus O. Myreen, and André Platzer. "VeriPhy: verified controller executables from verified cyber-physical system models." ACM SIGPLAN Notices 53, no. 4 (December 2, 2018): 617–30. http://dx.doi.org/10.1145/3296979.3192406.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Mitsch, Stefan, and André Platzer. "ModelPlex: verified runtime validation of verified cyber-physical system models." Formal Methods in System Design 49, no. 1-2 (February 18, 2016): 33–74. http://dx.doi.org/10.1007/s10703-016-0241-z.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

Yen, Sung-Ming. "Cryptanalysis and repair of the multi-verifier signature with verifier specification." Computers & Security 15, no. 6 (January 1996): 537–44. http://dx.doi.org/10.1016/s0167-4048(96)00015-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Lin, Han-Yu. "ID-Based Non-Interactive Universal Designated Verifier Signature for Privacy-Preserving Applications." International Journal of Computer Theory and Engineering 7, no. 5 (October 2015): 389–93. http://dx.doi.org/10.7763/ijcte.2015.v7.991.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Tabibi, Omid David, and Nathan S. Netanyahu. "VERIFIED NULL-MOVE PRUNING." ICGA Journal 25, no. 3 (September 1, 2002): 153–61. http://dx.doi.org/10.3233/icg-2002-25305.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Ushida, Mebae, Yutaka Kawai, Kazuki Yoneyama, and Kazuo Ohta. "Proxiable Designated Verifier Signature." Journal of Information Processing 19 (2011): 430–40. http://dx.doi.org/10.2197/ipsjjip.19.430.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Hoare, C. A. R., Jayadev Misra, Gary T. Leavens, and Natarajan Shankar. "The verified software initiative." ACM Computing Surveys 41, no. 4 (October 2009): 1–8. http://dx.doi.org/10.1145/1592434.1592439.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

Wang, Xiao-feng, Ting-ting Lin, Shang-ping Wang, and Ya-ling Zhang. "Limited Confederate Verifier Signatures." Journal of Electronics & Information Technology 30, no. 4 (March 11, 2011): 991–94. http://dx.doi.org/10.3724/sp.j.1146.2006.01507.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

Harvey, Philip. "Vaunted, avriable, vexatious, verified." ANZTLA EJournal, no. 38 (May 14, 2019): 31–33. http://dx.doi.org/10.31046/anztla.v0i38.1421.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

Gardner, Philippa. "Verified trustworthy software systems." Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 375, no. 2104 (September 4, 2017): 20150408. http://dx.doi.org/10.1098/rsta.2015.0408.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Landsman, K. A., C. Figgatt, T. Schuster, N. M. Linke, B. Yoshida, N. Y. Yao, and C. Monroe. "Verified quantum information scrambling." Nature 567, no. 7746 (March 2019): 61–65. http://dx.doi.org/10.1038/s41586-019-0952-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

Young, William D. "Verified program support environments." ACM SIGSOFT Software Engineering Notes 15, no. 4 (September 1990): 147–49. http://dx.doi.org/10.1145/99571.99839.

Full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!