Search results for "Linearity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
70	Milos Stojmenovic, Amiya Nayak	Measuring Linearity of Ordered Point Sets.	PSIVT	2007	DBLP DOI BibTeX RDF	ordered point sets, polygonization, Linearity
63	Milos Stojmenovic, Amiya Nayak	Measuring the Related Properties of Linearity and Elongation of Point Sets.	CIARP	2008	DBLP DOI BibTeX RDF	elongation, unordered point sets, Linearity
59	Le Jin, Kumar L. Parthasarathy, Turker Kuyel, Degang Chen 0001, Randall L. Geiger	Linearity Testing of Precision Analog-to-Digital Converters Using Stationary Nonlinear Inputs.	ITC	2003	DBLP DOI BibTeX RDF
55	Anders Fagerjord	Linearity and multicursality in World Wide Web documentaries.	Hypertext	2001	DBLP DOI BibTeX RDF	Barthes, Genette, Nelson, disposition, focalisation, multicursality, Web, narrative, nonlinearity, Web design, linking, linearity, text, semiotics, television, print, rhetoric, film, narratology
53	Ugo Dal Lago, Valeria de Paiva (eds.)	Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity&TLLA@IJCAR-FSCD 2020, Online, 29-30 June 2020.	Linearity&TLLA@IJCAR-FSCD	2021	DBLP DOI BibTeX RDF
53	Christian Retoré	Flag: a Self-Dual Modality for Non-Commutative Contraction and Duplication in the Category of Coherence Spaces.	Linearity&TLLA@IJCAR-FSCD	2020	DBLP DOI BibTeX RDF
53	Alberto Naibo, Yuta Takahashi	Harmony in the Light of Computational Ludics.	Linearity&TLLA@IJCAR-FSCD	2020	DBLP DOI BibTeX RDF
53	James Wood, Robert Atkey	A Linear Algebra Approach to Linear Metatheory.	Linearity&TLLA@IJCAR-FSCD	2020	DBLP DOI BibTeX RDF
53	Michael Shulman	*-autonomous envelopes.	Linearity&TLLA@IJCAR-FSCD	2020	DBLP DOI BibTeX RDF
53	Gianluca Curzi	Linear Additives.	Linearity&TLLA@IJCAR-FSCD	2020	DBLP DOI BibTeX RDF
53	Matteo Acclavio	Exponentially Handsome Proof Nets and Their Normalization.	Linearity&TLLA@IJCAR-FSCD	2020	DBLP DOI BibTeX RDF
53	Jack Hughes 0002, Michael Vollmer 0003, Dominic Orchard	Deriving Distributive Laws for Graded Linear Types.	Linearity&TLLA@IJCAR-FSCD	2020	DBLP DOI BibTeX RDF
53	Masahito Hasegawa	A Braided Lambda Calculus.	Linearity&TLLA@IJCAR-FSCD	2020	DBLP DOI BibTeX RDF
53	Esaïe Bauer, Olivier Laurent 0001	Super Exponentials in Linear Logic.	Linearity&TLLA@IJCAR-FSCD	2020	DBLP DOI BibTeX RDF
53	Matteo Acclavio, Giulio Guerrieri	A Deep Inference System for Differential Linear Logic.	Linearity&TLLA@IJCAR-FSCD	2020	DBLP DOI BibTeX RDF
53	Thomas Ehrhard, Maribel Fernández, Valeria de Paiva, Lorenzo Tortora de Falco (eds.)	Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford, UK, 7-8 July 2018.	Linearity-TLLA@FLoC	2019	DBLP DOI BibTeX RDF
53	Giulio Guerrieri, Giulio Manzonetto	The Bang Calculus and the Two Girard's Translations.	Linearity-TLLA@FLoC	2018	DBLP DOI BibTeX RDF
53	Iliano Cervesato, Sharjeel Khan, Giselle Reis, Dragisa Zunic	Formalization of Automated Trading Systems in a Concurrent Linear Framework.	Linearity-TLLA@FLoC	2018	DBLP DOI BibTeX RDF
53	Carlos Olarte, Valeria de Paiva, Elaine Pimentel, Giselle Reis	The ILLTP Library for Intuitionistic Linear Logic.	Linearity-TLLA@FLoC	2018	DBLP DOI BibTeX RDF
53	Jiaming Jiang, Harley Eades III, Valeria de Paiva	On the Lambek Calculus with an Exchange Modality.	Linearity-TLLA@FLoC	2018	DBLP DOI BibTeX RDF
53	Masahito Hasegawa	From Linear Logic to Cyclic Sharing.	Linearity-TLLA@FLoC	2018	DBLP DOI BibTeX RDF
53	Paolo Pistone	Proof nets, coends and the Yoneda isomorphism.	Linearity-TLLA@FLoC	2018	DBLP DOI BibTeX RDF
53	Lê Thành Dung Nguyên, Thomas Seiller	Coherent Interaction Graphs.	Linearity-TLLA@FLoC	2018	DBLP DOI BibTeX RDF
53	Wen Kokke, Fabrizio Montesi, Marco Peressotti	Taking Linear Logic Apart.	Linearity-TLLA@FLoC	2018	DBLP DOI BibTeX RDF
53	Luca Paolini, Luca Roversi, Margherita Zorzi	Quantum programming made easy.	Linearity-TLLA@FLoC	2018	DBLP DOI BibTeX RDF
53	Iliano Cervesato, Maribel Fernández (eds.)	Proceedings Fourth International Workshop on Linearity, LINEARITY 2016, Porto, Portugal, 25 June 2016.	LINEARITY	2017	DBLP DOI BibTeX RDF
53	Antoine Allioux	Krivine Machine and Taylor Expansion in a Non-uniform Setting.	LINEARITY	2016	DBLP DOI BibTeX RDF
53	Miguel E. P. Silva, Mário Florido, Frank Pfenning	Non-Blocking Concurrent Imperative Programming with Session Types.	LINEARITY	2016	DBLP DOI BibTeX RDF
53	Max Willsey, Rokhini Prabhu, Frank Pfenning	Design and Implementation of Concurrent C0.	LINEARITY	2016	DBLP DOI BibTeX RDF
53	Quentin Heath, Dale Miller 0001	A Proof Theory for Model Checking: An Extended Abstract.	LINEARITY	2016	DBLP DOI BibTeX RDF
53	Lawrence Dunn, Jamie Vicary	Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract).	LINEARITY	2016	DBLP DOI BibTeX RDF
53	Matteo Acclavio	Proof diagrams for multiplicative linear logic.	LINEARITY	2016	DBLP DOI BibTeX RDF
53	Masahito Hasegawa	Linear Exponential Comonads without Symmetry.	LINEARITY	2016	DBLP DOI BibTeX RDF
53	Stefano Guerrini	Linear β-reduction.	LINEARITY	2016	DBLP DOI BibTeX RDF
53	Sandra Alves, Iliano Cervesato (eds.)	Proceedings Third International Workshop on Linearity, LINEARITY 2014, Vienna, Austria, 13th July, 2014.	LINEARITY	2015	DBLP DOI BibTeX RDF
53	Michele Basaldella	Ludics without Designs I: Triads.	LINEARITY	2014	DBLP DOI BibTeX RDF
53	Kaustuv Chaudhuri	Undecidability of Multiplicative Subexponential Logic.	LINEARITY	2014	DBLP DOI BibTeX RDF
53	Edward Gan, Jesse A. Tov, Greg Morrisett	Type Classes for Lightweight Substructural Types.	LINEARITY	2014	DBLP DOI BibTeX RDF
53	Jennifer Paykin, Steve Zdancewic	A Linear/Producer/Consumer Model of Classical Linear Logic.	LINEARITY	2014	DBLP DOI BibTeX RDF
53	Taus Brock-Nannestad, Nicolas Guenot	Cut Elimination in Multifocused Linear Logic.	LINEARITY	2014	DBLP DOI BibTeX RDF
53	Ugo Dal Lago, Margherita Zorzi	Wave-Style Token Machines and Quantum Lambda Calculi.	LINEARITY	2014	DBLP DOI BibTeX RDF
53	Marco Solieri	Geometry of Resource Interaction - A Minimalist Approach.	LINEARITY	2014	DBLP DOI BibTeX RDF
53	Sandra Alves, Ian Mackie (eds.)	Proceedings 2nd International Workshop on Linearity, LINEARITY 2012, Tallinn, Estonia, 1 April 2012.	LINEARITY	2012	DBLP DOI BibTeX RDF
53	Maribel Fernández, Sébastien Maulat	Higher-order port-graph rewriting	LINEARITY	2012	DBLP DOI BibTeX RDF
53	Eugen Jiresch	Extending the Interaction Nets Calculus by Generic Rules	LINEARITY	2012	DBLP DOI BibTeX RDF
53	Yuxin Deng, Iliano Cervesato, Robert J. Simmons	Relating Reasoning Methodologies in Linear Logic and Process Algebra	LINEARITY	2012	DBLP DOI BibTeX RDF
53	Maurizio Dominici, Simona Ronchi Della Rocca, Paolo Tranquilli	Standardization in resource lambda-calculus	LINEARITY	2012	DBLP DOI BibTeX RDF
53	Pedro Baltazar, Dimitris Mostrous, Vasco Thudichum Vasconcelos	Linearly Refined Session Types	LINEARITY	2012	DBLP DOI BibTeX RDF
53	Mário Florido, Ian Mackie (eds.)	Proceedings First International Workshop on Linearity, LINEARITY 2009, Coimbra, Portugal, 12th September 2009.	LINEARITY	2009	DBLP DOI BibTeX RDF
53	Maribel Fernández, Nikolaos Siafakas	Labelled Lambda-calculi with Explicit Copy and Erase	LINEARITY	2009	DBLP DOI BibTeX RDF
53	Paolo Torrini, Reiko Heckel	Resource-Bound Quantification for Graph Transformation	LINEARITY	2009	DBLP DOI BibTeX RDF
53	Edsko de Vries, Adrian Francalanza, Matthew Hennessy	Uniqueness Typing for Resource Management in Message-Passing Concurrency	LINEARITY	2009	DBLP DOI BibTeX RDF
53	Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Antonino Salibra	On Linear Information Systems	LINEARITY	2009	DBLP DOI BibTeX RDF
53	Marco Gaboardi, Mauro Piccolo	Categorical Models for a Semantically Linear Lambda-calculus	LINEARITY	2009	DBLP DOI BibTeX RDF
52	Amit Gopal M. Purohit, Sanjeev Gupta	A New Linearity Enhancing Technique for Low Noise Amplifiers.	APCCAS	2006	DBLP DOI BibTeX RDF
52	Le Jin, Chengming He, Degang Chen 0001, Randall L. Geiger	An SoC compatible linearity test approach for precision ADCs using easy-to-generate sinusoidal stimuli.	ISCAS (1)	2004	DBLP DOI BibTeX RDF
52	Wei Guo, Daquan Huang	Noise and linearity analysis for a 1.9 GHz CMOS LNA.	APCCAS (2)	2002	DBLP DOI BibTeX RDF
47	Yubin Zhan, Jianping Yin, Xinwang Liu 0002, Guomin Zhang	Adaptive Neighborhood Select Based on Local Linearity for Nonlinear Dimensionality Reduction.	ISICA	2009	DBLP DOI BibTeX RDF	local linearity, manifold learning, neighborhood, geodesic distance
47	Shalabh Goyal, Abhijit Chatterjee	Linearity Testing of A/D Converters Using Selective Code Measurement.	J. Electron. Test.	2008	DBLP DOI BibTeX RDF	Testing, Non-linearity, Manufacturing test, Analog-digital conversion
44	Keisuke Toyama 0002, Mark D. Plumbley	Estimating Phase Linearity in the Frequency-Domain ICA Demixing Matrix.	ICA	2009	DBLP DOI BibTeX RDF
44	Hanqing Xing, Degang Chen 0001, Randall L. Geiger, Le Jin	System identification -based reduced-code testing for pipeline ADCs' linearity test.	ISCAS	2008	DBLP DOI BibTeX RDF
44	Preetam Tadeparthy, M. Das	Techniques to improve linearity of CMOS sample-and-hold circuits for achieving 100 dB performance at 80 MSps.	ISCAS (5)	2002	DBLP DOI BibTeX RDF
44	Yuanbin Guo, Joseph R. Cavallaro	A novel adaptive pre-distorter using LS estimation of SSPA non-linearity in mobile OFDM systems.	ISCAS (3)	2002	DBLP DOI BibTeX RDF
42	Kumar L. Parthasarathy, Turker Kuyel, Dana Price, Le Jin, Degang Chen 0001, Randall L. Geiger	BIST and production testing of ADCs using imprecise stimulus.	ACM Trans. Design Autom. Electr. Syst.	2003	DBLP DOI BibTeX RDF	ADC linearity, imprecision measurement, imprecision stimulus, built-in self-test, Analog and mixed-signal testing, production test
40	Ji Hwan (Paul) Chun, Hak-soo Yu, Jacob A. Abraham	An efficient linearity test for on-chip high speed ADC and DAC using loop-back.	ACM Great Lakes Symposium on VLSI	2004	DBLP DOI BibTeX RDF	BIST, linearity, ADC, mixed signal test, DAC
40	Johan Håstad, Avi Wigderson	Simple Analysis of Graph Tests for Linearity and PCP.	CCC	2001	DBLP DOI BibTeX RDF	graph test, pseudorandomness, PCP, Linearity testing, iterated test
37	João Soares de Oliveira Neto, Lucia Vilela Leite Filgueiras	Crossmedia application design: exploring linear and non-linear narrative abilities.	SIGDOC	2008	DBLP DOI BibTeX RDF	crossmedia, narrative artifact, user experience, linearity, non-linearity, proof of concept
36	Swastik Kopparty, Shubhangi Saraf	Tolerant Linearity Testing and Locally Testable Codes.	APPROX-RANDOM	2009	DBLP DOI BibTeX RDF
36	Hooman Farkhani, Mohammad Maymandi-Nejad, Manoj Sachdev	A fully digital ADC using a new delay element with enhanced linearity.	ISCAS	2008	DBLP DOI BibTeX RDF
36	Grégory Rogez, Jesús Martínez del Rincón, Carlos Orrite	Dealing with Non-linearity in Shape Modelling of Articulated Objects.	IbPRIA (1)	2007	DBLP DOI BibTeX RDF
36	Calogero D. Presti, Francesco Carrara, Antonino Scuderi, Giuseppe Palmisano	Fast Peak Detector with Improved Accuracy and Linearity for High-Frequency Waveform Processing.	ISCAS	2007	DBLP DOI BibTeX RDF
36	Guo Yu, Peng Li 0001, Wei Dong 0002	Achieving Low-Cost Linearity Test and Diagnosis of Sigma Delta ADCs via Frequency-Domain Nonlinear Analysis and Macromodeling.	ISQED	2007	DBLP DOI BibTeX RDF
36	Shihyen Chen, Kaizhong Zhang	An Improved Algorithm for Tree Edit Distance Incorporating Structural Linearity.	COCOON	2007	DBLP DOI BibTeX RDF	RNA secondary structure comparison, dynamic programming, Tree edit distance
36	Michelle Mills Strout, Paul D. Hovland	Linearity Analysis for Automatic Differentiation.	International Conference on Computational Science (4)	2006	DBLP DOI BibTeX RDF
36	Mallesh Rajashekharaiah, Parag Upadhyaya, Deuk Hyoun Heo	Enhanced gm3 cancellation for linearity improvement in CMOS LNAs.	ISCAS	2006	DBLP DOI BibTeX RDF
36	Chua-Chin Wang, Tzung-Je Lee, Chih-Chen Li, Ron Hu	An All-MOS High Linearity Voltage-to-Frequency Converter Chip with 520 KHz/V Sensitivity.	APCCAS	2006	DBLP DOI BibTeX RDF
36	Zhongjun Yu, Degang Chen 0001, Randall L. Geiger, Ioannis Papantonopoulos	Pipeline ADC linearity testing with dramatically reduced data capture time.	ISCAS (1)	2005	DBLP DOI BibTeX RDF
36	Koen van Hartingsveldt, Chris J. M. Verhoeven, J. Willms	Influence of frequency compensation on the linearity of negative feedback amplifiers.	ISCAS (2)	2005	DBLP DOI BibTeX RDF
36	Saeed Saeedi, Saeid Mehrmanesh, Seyed Mojtaba Atarodi, Hesam Amir Aslanzadeh	A 1-V 400MS/s 14bit self-calibrated CMOS DAC with enhanced dynamic linearity.	ISCAS (1)	2004	DBLP DOI BibTeX RDF
34	Cosmin Popa	Linearized CMOS active resistor independent on the bulk effect.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	CMOS design, active resistor, linearity, area minimization
34	Debdeep Mukhopadhyay, Dipanwita Roy Chowdhury	Cellular Automata : An Ideal Candidate for a Block Cipher.	ICDCIT	2004	DBLP DOI BibTeX RDF	Cycle Structure, Self-invertibility, Cellular Automata, Block Ciphers, Non-linearity
34	Guillaume Damiand, Olivier Alata, Camille Bihoreau	Using 2D Topological Map Information in a Markovian Image Segmentation.	DGCI	2003	DBLP DOI BibTeX RDF	Markovian segmentation, boundaries linearity, topological maps, region segmentation
34	Eli Ben-Sasson, Madhu Sudan 0001, Salil P. Vadhan, Avi Wigderson	Randomness-efficient low degree tests and short PCPs via epsilon-biased sets.	STOC	2003	DBLP DOI BibTeX RDF	property testing, probabilistically checkable proofs, locally testable codes, linearity testing, low degree testing
32	Qi Wang, Mani Soma	RF Front-end System Gain and Linearity Built-in Test.	VTS	2006	DBLP DOI BibTeX RDF	CMOS RF amplitude detector, gfain measurement, linearity measurement, built-in test, RF test
32	Mihir Bellare, Don Coppersmith, Johan Håstad, Marcos A. Kiwi, Madhu Sudan 0001	Linearity Testing in Characteristic Two.	FOCS	1995	DBLP DOI BibTeX RDF	characteristic two, relative distance, rejection probability, Max3SAT, MaxSNP problems, lower bounds, lower bound, probability, theorem proving, upper bound, homomorphisms, Fourier analysis, Fourier analysis, linearity testing, linear functions
31	Karl Mazurak, Jianzhou Zhao, Steve Zdancewic	Lightweight linear types in system fdegree.	TLDI	2010	DBLP DOI BibTeX RDF	type systems, polymorphism, linear logic
31	Andreas Tritschler	A Continuous Time Analog-to-Digital Converter With 90µW and 1.8µV/LSB Based on Differential Ring Oscillator Structures.	ISCAS	2007	DBLP DOI BibTeX RDF
31	Razvan Iordache, Ioan Tabus	Index assignment for transmitting vector quantized LSF parameters over binary Markov channels.	ISCAS (4)	1999	DBLP DOI BibTeX RDF
29	Prasant Misra, Santoshini Kumari Mohini, Saroj Kumar Mishra	ANN-based non-linearity compensator of LVDT sensor for structural health monitoring.	SenSys	2009	DBLP DOI BibTeX RDF	FLANN, LVDT, FPGA, structural health monitoring
29	Marius de Groot, Meike W. Vernooij, Stefan Klein 0001, Alexander Leemans, Renske de Boer, Aad van der Lugt, Monique M. B. Breteler, Wiro J. Niessen	Iterative Co-linearity Filtering and Parameterization of Fiber Tracts in the Entire Cingulum.	MICCAI (1)	2009	DBLP DOI BibTeX RDF
29	Klaus P. Jantke	The Evolution of Story Spaces of Digital Games beyond the Limits of Linearity and Monotonicity.	ICIDS	2009	DBLP DOI BibTeX RDF
29	Hanqing Xing, Degang Chen 0001, Randall L. Geiger	On-chip at-speed linearity testing of high-resolution high-speed DACs using DDEM ADCs with dithering.	EIT	2008	DBLP DOI BibTeX RDF
29	Le Jin, Degang Chen 0001, Randall L. Geiger	Code-Density Test of Analog-to-Digital Converters Using Single Low-Linearity Stimulus Signal.	VTS	2007	DBLP DOI BibTeX RDF
29	Catuscia Palamidessi, Vijay A. Saraswat, Frank D. Valencia, Björn Victor	On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus.	LICS	2006	DBLP DOI BibTeX RDF
29	Viet-Hoang Le, Trung-Kien Nguyen, Seok-Kyun Han, Sang-Gug Lee 0001, S. B. Hyun	Low power high linearity transmitter front-end for 900 MHz Zigbee applications.	ISCAS	2006	DBLP DOI BibTeX RDF
29	Hanqing Xing, Degang Chen 0001, Randall L. Geiger	Linearity test for high resolution DACs using low-accuracy DDEM flash ADCs.	ISCAS	2006	DBLP DOI BibTeX RDF
29	Tien-Yu Lo, Chung-Chih Hung	A high speed and high linearity OTA in 1-V power supply voltage.	ISCAS	2006	DBLP DOI BibTeX RDF
29	Prithwijit Guha, Dibyendu Palai, K. S. Venkatesh, Amitabha Mukerjee	A Multiscale Co-linearity Statistic Based Approach to Robust Background Modeling.	ACCV (1)	2006	DBLP DOI BibTeX RDF
29	Richard S. Gunasekera, Hari Damodaran, Yasantha Rajakarunanayake, Keith Hyland	The Significance of Linearity of Quantities in Electrophoresed and Blotted Materials Demonstrated by BandScan - an Analytical Program.	CSB Workshops	2005	DBLP DOI BibTeX RDF
29	Le Jin, Degang Chen 0001, Randall L. Geiger	A digital self-calibration algorithm for ADCs based on histogram test using low-linearity input signals.	ISCAS (2)	2005	DBLP DOI BibTeX RDF