Trifonov, Valery: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

An interpretation of typed OOP in a language with state

Jonathan Eifrig, Scott Smith, Valery Trifonov, Amy Zwarico

Journal:

Higher-Order and Symbolic Computation

Year:

1995

Language:

english

File:

PDF, 2.19 MB

english, 1995

2

[ACM Press the ninth annual conference - Portland, Oregon, United States (1994.10.23-1994.10.28)] Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications - OOPSLA '94 - Application of OOP type theory

Eifrig, Jonathan, Smith, Scott, Trifonov, Valery, Zwarico, Amy

Year:

1994

Language:

english

File:

PDF, 1.89 MB

english, 1994

3

[IEEE 2018 International Conference on Intelligent and Innovative Computing Applications (ICONIC) - Mon Tresor, Plaine Magnien, Mauritius (2018.12.6-2018.12.7)] 2018 International Conference on Intelligent and Innovative Computing Applications (ICONIC) - Artificial Intelligence in Cyber Threats Intelligence

Trifonov, Roumen, Nakov, Ognyan, Mladenov, Valeri

Year:

2018

Language:

english

File:

PDF, 572 KB

english, 2018

4

Protein folding: Looping from hydrophobic nuclei

Igor N. Berezovsky, Valery M. Kirzhner, Alla Kirzhner, Edward N. Trifonov

Journal:

Proteins: Structure, Function, and Bioinformatics

Year:

2001

Language:

english

File:

PDF, 203 KB

english, 2001

5

Overlapping Messages and Survivability

Ofer Peleg, Valery Kirzhner, Edward Trifonov, Alexander Bolshoy

Journal:

Journal of Molecular Evolution

Year:

2004

Language:

english

File:

PDF, 260 KB

english, 2004

6

Distinct Stages of Protein Evolution as Suggested by Protein Sequence Analysis

Edward N. Trifonov, Alla Kirzhner, Valery M. Kirzhner, Igor N. Berezovsky

Journal:

Journal of Molecular Evolution

Year:

2001

Language:

english

File:

PDF, 787 KB

english, 2001

7

Type Inference for Recursively Constrained Types and its Application to OOP

Jonathan Eifrig, Scott Smith, Valery Trifonov

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1995

Language:

english

File:

PDF, 1.06 MB

english, 1995

8

A Syntactic Approach to Foundational Proof-Carrying Code

Nadeem A. Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni

Journal:

Journal of Automated Reasoning

Year:

2003

Language:

english

File:

PDF, 233 KB

english, 2003

9

Polarization-sensitive speckle spectroscopy of scattering media beyond the diffusion limit

Zimnyakov, Dmitry A., Oh, Jung-Taek, Sinichkin, Yury P., Trifonov, Valery A., Gurianov, Eugeny V.

Journal:

Journal of the Optical Society of America A

Year:

2004

Language:

english

File:

PDF, 443 KB

english, 2004

10

Purification, cDNA cloning and homology modeling of endo-1,3-β-d-glucanase from scallop Mizuhopecten yessoensis

Svetlana N. Kovalchuk, Elena V. Sundukova, Mikhail I. Kusaykin, Konstantin V. Guzev, Stanislav D. Anastiuk, Galina N. Likhatskaya, Evgeni V. Trifonov, Evgeni A. Nurminski, Valeri B. Kozhemyako, Tatyan

Journal:

Comparative Biochemistry and Physiology Part B: Biochemistry and Molecular Biology

Year:

2006

Language:

english

File:

PDF, 589 KB

english, 2006

11

Spelling Protein Structure

Berezovsky, Igor N., Kirzhner, Alla, Kirzhner, Valery M., Trifonov, Edward N.

Journal:

Journal of Biomolecular Structure and Dynamics

Year:

2003

Language:

english

File:

PDF, 792 KB

english, 2003

12

SPIE Proceedings [SPIE Saratov Fall Meeting '98: Light Scattering Technologies for Mechanics, Biomedicine, and Material Science - Saratov, Russia (Tuesday 6 October 1998)] Saratov Fall Meeting '98: Light Scattering Technologies for Mechanics, Biomedicine, and Material Science - Superradiance: multiatomic coherent emission

Trifonov, Evgeni D., Tuchin, Valery V., Ryabukho, Vladimir P., Zimnyakov, Dmitry A.

Year:

1999

Language:

english

File:

PDF, 432 KB

english, 1999

13

Design principles of molecular networks revealed by global comparisons and composite motifs

Haiyuan Yu, Yu Xia, Valery Trifonov, Mark Gerstein

Journal:

Year:

2006

Language:

english

File:

PDF, 332 KB

english, 2006

14

[IEEE 2010 11th International Conference and Seminar of Young Specialists on Micro/Nanotechnologies and Electron Devices (EDM 2010) - Novosibirsk, Russia (2010.06.30-2010.07.4)] 2010 11th International Conference and Seminar on Micro/Nanotechnologies and Electron Devices - Medical and technical justification of the ozone-ultrasound method for treatment of patients with sensorineural deafness and tinnitus

Pedder, Valery V., Ovchinnikov, Jury M., Svistushkin, V.M., Khrustaleva, Elena V., Pedder, Alexander V., Poteryaeva, Elena L., Nesina, Irina A., Shkuro, Jury V., Trifonov, Andrey I., Batyaikin, Alexan

Year:

2010

Language:

english

File:

PDF, 891 KB

english, 2010

15

Protein Sequences Yield a Proteomic Code

Berezovsky, Igor N., Kirzhner, Alla, Kirzhner, Valery M., Rosenfeld, Vladimir R., Trifonov, Edward N.

Journal:

Journal of Biomolecular Structure and Dynamics

Year:

2003

Language:

english

File:

PDF, 402 KB

english, 2003

16

The Importance of Bottlenecks in Protein Networks: Correlation with Gene Essentiality and Expression Dynamics

Yu, Haiyuan, Kim, Philip M., Sprecher, Emmett, Trifonov, Valery, Gerstein, Mark

Journal:

PLoS Computational Biology

Year:

2007

Language:

english

File:

PDF, 439 KB

english, 2007

17

[ACM Press the tenth annual conference - Austin, Texas, United States (1995.10.15-1995.10.19)] Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications - OOPSLA '95 - Sound polymorphic type inference for objects

Eifrig, Jonathan, Smith, Scott, Trifonov, Valery

Year:

1995

Language:

english

File:

PDF, 5.55 MB

english, 1995

18

A type system for certified binaries

Shao, Zhong, Trifonov, Valery, Saha, Bratin, Papaspyrou, Nikolaos

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2005

Language:

english

File:

PDF, 466 KB

english, 2005

19

[ACM Press the 29th ACM SIGPLAN-SIGACT symposium - Portland, Oregon (2002.01.16-2002.01.18)] Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '02 - A type system for certified binaries

Shao, Zhong, Saha, Bratin, Trifonov, Valery, Papaspyrou, Nikolaos

Year:

2002

Language:

english

File:

PDF, 281 KB

english, 2002

20

Intensional analysis of quantified types

Saha, Bratin, Trifonov, Valery, Shao, Zhong

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2003

Language:

english

File:

PDF, 719 KB

english, 2003

21

Type-preserving compilation of Featherweight Java

League, Christopher, Shao, Zhong, Trifonov, Valery

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2002

Language:

english

File:

PDF, 370 KB

english, 2002

22

SPIE Proceedings [SPIE Biomedical Optics 2003 - San Jose, CA (Saturday 25 January 2003)] Coherence Domain Optical Methods and Optical Coherence Tomography in Biomedicine VII - Polarization-sensitive low-coherence speckle spectroscopy of scattering media

Zimnyakov, Dmitry A., Oh, Jung-Taek, Tuchin, Valery V., Sinichkin, Yury P., Akchurin, Garif G., Trifonov, Valery A., Tuchin, Valery V., Izatt, Joseph A., Fujimoto, James G.

Year:

2003

Language:

english

File:

PDF, 228 KB

english, 2003

23

SPIE Proceedings [SPIE Optical Metrology - Munich, Germany (Monday 23 June 2003)] Optical Measurement Systems for Industrial Inspection III - Low-coherent probing of scattering media with use of speckle contrast analysis

Trifonov, Valery A., Osten, Wolfgang, Kujawinska, Malgorzata, Zimnyakov, Dmitry A., Creath, Katherine

Year:

2003

Language:

english

File:

PDF, 401 KB

english, 2003

24

A type system for certified binaries

Shao, Zhong, Saha, Bratin, Trifonov, Valery, Papaspyrou, Nikolaos

Journal:

ACM SIGPLAN Notices

Year:

2002

Language:

english

File:

PDF, 281 KB

english, 2002

25

SPIE Proceedings [SPIE Radiofrequency and Optical Methods of Biomedical Diagnostics and Therapy - Saratov, Russia (Wednesday 1 July 1992)] Optical Methods of Biomedical Diagnostics and Therapy - Portable electric and laser biologically active points stimulator

Zimnyakov, Dmitry A., Ryabukho, Vladimir P., Trifonov, V. A., Tuchin, Valery V.

Year:

1993

Language:

english

File:

PDF, 123 KB

english, 1993

26

SPIE Proceedings [SPIE LAMILADIS '91: International Workshop--Laser Microtechnology and Laser Diagnostics of Surfaces - Chernovstsy, Ukraine (Tuesday 16 April 1991)] LAMILADIS '91 Intl Workshop: Laser Microtechnology and Laser Diagnostics of Surfaces - Muller matrix for laser light reflected from surface with small periodic profile

Avetisyan, Yuri A., Trifonov, V. A., Tuchin, Valery V., Koroteev, Nikolai I., Panchenko, Vladislav Y.

Year:

1992

Language:

english

File:

PDF, 79 KB

english, 1992

27

Baryons in a soft-wall AdS-Schwarzschild approach at low temperature

Gutsche, Thomas, Lyubovitskij, Valery E., Schmidt, Ivan, Trifonov, Andrey Yu.

Journal:

Physical Review D

Year:

2019

Language:

english

File:

PDF, 164 KB

english, 2019

28

An Eye-Opener to Protein Structures

Berezovsky, Igor N., Kirzhner, Alla, Kirzhner, Valery M., Trifonov, Edward N.

Journal:

Year:

2003

Language:

english

File:

PDF, 150 KB

english, 2003