• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 18 matches

• 2024
• 
  Alexey P. Porfirev, Svetlana Nikolaevna Khonina, Nikolay A. Ivliev, Denis P. Porfirev, Nikolay L. Kazanskiy:
  Stacked Polarizing Elements for Controlling Parameters of Surface Relief Gratings Written in Photosensitive Materials. Sensors 24(4): 1166 (2024)
• 2022
• 
  Pavel Khorin, Svetlana Nikolaevna Khonina, Alexey P. Porfirev, Nikolay L. Kazanskiy:
  Simplifying the Experimental Detection of the Vortex Topological Charge Based on the Simultaneous Astigmatic Transformation of Several Types and Levels in the Same Focal Plane. Sensors 22(19): 7365 (2022)
• 2021
• 
  Rongjian Liang, Jinwook Jung, Hua Xiang, Lakshmi N. Reddy, Alexey Lvov, Jiang Hu, Gi-Joon Nam:
  FlowTuner: A Multi-Stage EDA Flow Tuner Exploiting Parameter Knowledge Transfer. ICCAD 2021: 1-9
• 2020
• 
  Pavel G. Serafimovich, Alexey P. Dzyuba, Artem V. Nikonorov, Nikolay L. Kazanskiy:
  Using a Binary Diffractive Optical Element to Increase the Imaging System Depth of Field in UAV Remote Sensing Tasks. ICPR Workshops (7) 2020: 566-577
• 2018
• 
  Alexey Lvov, Gustavo E. Téllez, Gi-Joon Nam:
  On Coloring and Colorability Analysis of Integrated Circuits with Triple and Quadruple Patterning Techniques. ISPD 2018: 152-159
• 2015
• 
  Ali JavadiAbhari, Shruti Patil, Daniel Kudrow, Jeff Heckey, Alexey Lvov, Frederic T. Chong, Margaret Martonosi:
  ScaffCC: Scalable compilation and analysis of quantum programs. Parallel Comput. 45: 2-17 (2015)
• 
  Ali JavadiAbhari, Shruti Patil, Daniel Kudrow, Jeff Heckey, Alexey Lvov, Frederic T. Chong, Margaret Martonosi:
  ScaffCC: Scalable Compilation and Analysis of Quantum Programs. CoRR abs/1507.01902 (2015)
• 2014
• 
  Alexey Lvov, Luis Alfonso Lastras-Montaño, Barry M. Trager, Viresh Paruthi, Robert Shadowen, Ali El-Zein:
  Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry. Formal Methods Syst. Des. 45(2): 189-212 (2014)
• 
  Ali JavadiAbhari, Shruti Patil, Daniel Kudrow, Jeff Heckey, Alexey Lvov, Frederic T. Chong, Margaret Martonosi:
  ScaffCC: a framework for compilation and analysis of quantum computing programs. Conf. Computing Frontiers 2014: 1:1-1:10
• 2012
• 
  Alexey Lvov, Luis Alfonso Lastras-Montaño, Viresh Paruthi, Robert Shadowen, Ali El-Zein:
  Formal verification of error correcting circuits using computational algebraic geometry. FMCAD 2012: 141-148
• 2011
• 
  Jeonghee Shin, John A. Darringer, Guojie Luo, Merav Aharoni, Alexey Lvov, Gi-Joon Nam, Michael B. Healy:
  Floorplanning challenges in early chip planning. SoCC 2011: 388-393
• 2008
• 
  Alexey Lvov, Ulrich Finkler:
  Exact basic geometric operations on arbitrary angle polygons using only fixed size integer coordinates. ICCAD 2008: 494-498
• 2006
• 
  Kanad Chakraborty, Alexey Lvov, Maharaj Mukherjee:
  Novel algorithms for placement of rectangular covers for mask inspection in advanced lithography and other VLSI design applications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25(1): 79-91 (2006)
• 2004
• 
  Alexey Lvov, Fook-Luen Heng:
  A graph based simplex method for the integer minimum perturbation problem with sum and difference constraints. ACM Great Lakes Symposium on VLSI 2004: 67-72
• 2001
• 
  Bernard Chazelle, Alexey Lvov:
  The Discrepancy of Boxes in Higher Dimension. Discret. Comput. Geom. 25(4): 519-524 (2001)
• 
  Bernard Chazelle, Alexey Lvov:
  A Trace Bound for the Hereditary Discrepancy. Discret. Comput. Geom. 26(2): 221-231 (2001)
• 2000
• 
  Bernard Chazelle, Alexey Lvov:
  A trace bound for the hereditary discrepancy. SCG 2000: 64-69
• 1999
• 
  Amit Chakrabarti, Bernard Chazelle, Benjamin Gum, Alexey Lvov:
  A Lower Bound on the Complexity of Approximate Nearest-Neighbor Searching on the Hamming Cube. STOC 1999: 305-311