|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 722 occurrences of 572 keywords
|
|
|
Results
Found 2439 publication records. Showing 2439 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
70 | Milos Stojmenovic, Amiya Nayak |
Measuring Linearity of Ordered Point Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSIVT ![In: Advances in Image and Video Technology, Second Pacific Rim Symposium, PSIVT 2007, Santiago, Chile, December 17-19, 2007, Proceedings, pp. 274-288, 2007, Springer, 978-3-540-77128-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIARP ![In: Progress in Pattern Recognition, Image Analysis and Applications, 13th Iberoamerican Congress on Pattern Recognition, CIARP 2008, Havana, Cuba, September 9-12, 2008. Proceedings, pp. 102-111, 2008, Springer, 978-3-540-85919-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: Proceedings 2003 International Test Conference (ITC 2003), Breaking Test Interface Bottlenecks, 28 September - 3 October 2003, Charlotte, NC, USA, pp. 218-227, 2003, IEEE Computer Society, 0-7803-8106-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
55 | Anders Fagerjord |
Linearity and multicursality in World Wide Web documentaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hypertext ![In: HYPERTEXT 2001, Proceedings of the 12th ACM Conference on Hypertext and Hypermedia, August 14-18, 2001, University of Aarhus, Århus, Denmark, pp. 185-194, 2001, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linearity&TLLA@IJCAR-FSCD ![The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linearity&TLLA@IJCAR-FSCD ![In: Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity&TLLA@IJCAR-FSCD 2020, Online, 29-30 June 2020., pp. 157-174, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
53 | Alberto Naibo, Yuta Takahashi |
Harmony in the Light of Computational Ludics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linearity&TLLA@IJCAR-FSCD ![In: Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity&TLLA@IJCAR-FSCD 2020, Online, 29-30 June 2020., pp. 132-156, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
53 | James Wood, Robert Atkey |
A Linear Algebra Approach to Linear Metatheory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linearity&TLLA@IJCAR-FSCD ![In: Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity&TLLA@IJCAR-FSCD 2020, Online, 29-30 June 2020., pp. 195-212, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
53 | Michael Shulman |
*-autonomous envelopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linearity&TLLA@IJCAR-FSCD ![In: Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity&TLLA@IJCAR-FSCD 2020, Online, 29-30 June 2020., pp. 175-194, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
53 | Gianluca Curzi |
Linear Additives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linearity&TLLA@IJCAR-FSCD ![In: Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity&TLLA@IJCAR-FSCD 2020, Online, 29-30 June 2020., pp. 74-93, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
53 | Matteo Acclavio |
Exponentially Handsome Proof Nets and Their Normalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linearity&TLLA@IJCAR-FSCD ![In: Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity&TLLA@IJCAR-FSCD 2020, Online, 29-30 June 2020., pp. 1-25, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
53 | Jack Hughes 0002, Michael Vollmer 0003, Dominic Orchard |
Deriving Distributive Laws for Graded Linear Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linearity&TLLA@IJCAR-FSCD ![In: Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity&TLLA@IJCAR-FSCD 2020, Online, 29-30 June 2020., pp. 109-131, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
53 | Masahito Hasegawa |
A Braided Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linearity&TLLA@IJCAR-FSCD ![In: Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity&TLLA@IJCAR-FSCD 2020, Online, 29-30 June 2020., pp. 94-108, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
53 | Esaïe Bauer, Olivier Laurent 0001 |
Super Exponentials in Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linearity&TLLA@IJCAR-FSCD ![In: Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity&TLLA@IJCAR-FSCD 2020, Online, 29-30 June 2020., pp. 50-73, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
53 | Matteo Acclavio, Giulio Guerrieri |
A Deep Inference System for Differential Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linearity&TLLA@IJCAR-FSCD ![In: Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity&TLLA@IJCAR-FSCD 2020, Online, 29-30 June 2020., pp. 26-49, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linearity-TLLA@FLoC ![The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
53 | Giulio Guerrieri, Giulio Manzonetto |
The Bang Calculus and the Two Girard's Translations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linearity-TLLA@FLoC ![In: Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford, UK, 7-8 July 2018., pp. 15-30, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
53 | Iliano Cervesato, Sharjeel Khan, Giselle Reis, Dragisa Zunic |
Formalization of Automated Trading Systems in a Concurrent Linear Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linearity-TLLA@FLoC ![In: Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford, UK, 7-8 July 2018., pp. 1-14, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
53 | Carlos Olarte, Valeria de Paiva, Elaine Pimentel, Giselle Reis |
The ILLTP Library for Intuitionistic Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linearity-TLLA@FLoC ![In: Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford, UK, 7-8 July 2018., pp. 118-132, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
53 | Jiaming Jiang, Harley Eades III, Valeria de Paiva |
On the Lambek Calculus with an Exchange Modality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linearity-TLLA@FLoC ![In: Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford, UK, 7-8 July 2018., pp. 43-89, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
53 | Masahito Hasegawa |
From Linear Logic to Cyclic Sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linearity-TLLA@FLoC ![In: Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford, UK, 7-8 July 2018., pp. 31-42, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
53 | Paolo Pistone |
Proof nets, coends and the Yoneda isomorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linearity-TLLA@FLoC ![In: Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford, UK, 7-8 July 2018., pp. 148-167, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
53 | Lê Thành Dung Nguyên, Thomas Seiller |
Coherent Interaction Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linearity-TLLA@FLoC ![In: Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford, UK, 7-8 July 2018., pp. 104-117, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
53 | Wen Kokke, Fabrizio Montesi, Marco Peressotti |
Taking Linear Logic Apart. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linearity-TLLA@FLoC ![In: Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford, UK, 7-8 July 2018., pp. 90-103, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
53 | Luca Paolini, Luca Roversi, Margherita Zorzi |
Quantum programming made easy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linearity-TLLA@FLoC ![In: Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford, UK, 7-8 July 2018., pp. 133-147, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
53 | Antoine Allioux |
Krivine Machine and Taylor Expansion in a Non-uniform Setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings Fourth International Workshop on Linearity, LINEARITY 2016, Porto, Portugal, 25 June 2016., pp. 24-32, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
53 | Miguel E. P. Silva, Mário Florido, Frank Pfenning |
Non-Blocking Concurrent Imperative Programming with Session Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings Fourth International Workshop on Linearity, LINEARITY 2016, Porto, Portugal, 25 June 2016., pp. 64-72, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
53 | Max Willsey, Rokhini Prabhu, Frank Pfenning |
Design and Implementation of Concurrent C0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings Fourth International Workshop on Linearity, LINEARITY 2016, Porto, Portugal, 25 June 2016., pp. 73-82, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
53 | Quentin Heath, Dale Miller 0001 |
A Proof Theory for Model Checking: An Extended Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings Fourth International Workshop on Linearity, LINEARITY 2016, Porto, Portugal, 25 June 2016., pp. 1-10, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
53 | Lawrence Dunn, Jamie Vicary |
Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings Fourth International Workshop on Linearity, LINEARITY 2016, Porto, Portugal, 25 June 2016., pp. 33-43, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
53 | Matteo Acclavio |
Proof diagrams for multiplicative linear logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings Fourth International Workshop on Linearity, LINEARITY 2016, Porto, Portugal, 25 June 2016., pp. 11-23, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
53 | Masahito Hasegawa |
Linear Exponential Comonads without Symmetry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings Fourth International Workshop on Linearity, LINEARITY 2016, Porto, Portugal, 25 June 2016., pp. 54-63, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
53 | Stefano Guerrini |
Linear β-reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings Fourth International Workshop on Linearity, LINEARITY 2016, Porto, Portugal, 25 June 2016., pp. 44-53, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
53 | Sandra Alves, Iliano Cervesato (eds.) |
Proceedings Third International Workshop on Linearity, LINEARITY 2014, Vienna, Austria, 13th July, 2014. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
53 | Michele Basaldella |
Ludics without Designs I: Triads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings Third International Workshop on Linearity, LINEARITY 2014, Vienna, Austria, 13th July, 2014., pp. 49-63, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
53 | Kaustuv Chaudhuri |
Undecidability of Multiplicative Subexponential Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings Third International Workshop on Linearity, LINEARITY 2014, Vienna, Austria, 13th July, 2014., pp. 1-8, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
53 | Edward Gan, Jesse A. Tov, Greg Morrisett |
Type Classes for Lightweight Substructural Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings Third International Workshop on Linearity, LINEARITY 2014, Vienna, Austria, 13th July, 2014., pp. 34-48, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
53 | Jennifer Paykin, Steve Zdancewic |
A Linear/Producer/Consumer Model of Classical Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings Third International Workshop on Linearity, LINEARITY 2014, Vienna, Austria, 13th July, 2014., pp. 9-23, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
53 | Taus Brock-Nannestad, Nicolas Guenot |
Cut Elimination in Multifocused Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings Third International Workshop on Linearity, LINEARITY 2014, Vienna, Austria, 13th July, 2014., pp. 24-33, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
53 | Ugo Dal Lago, Margherita Zorzi |
Wave-Style Token Machines and Quantum Lambda Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings Third International Workshop on Linearity, LINEARITY 2014, Vienna, Austria, 13th July, 2014., pp. 64-78, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
53 | Marco Solieri |
Geometry of Resource Interaction - A Minimalist Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings Third International Workshop on Linearity, LINEARITY 2014, Vienna, Austria, 13th July, 2014., pp. 79-94, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
53 | Sandra Alves, Ian Mackie (eds.) |
Proceedings 2nd International Workshop on Linearity, LINEARITY 2012, Tallinn, Estonia, 1 April 2012. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
53 | Maribel Fernández, Sébastien Maulat |
Higher-order port-graph rewriting ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings 2nd International Workshop on Linearity, LINEARITY 2012, Tallinn, Estonia, 1 April 2012., pp. 25-37, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
53 | Eugen Jiresch |
Extending the Interaction Nets Calculus by Generic Rules ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings 2nd International Workshop on Linearity, LINEARITY 2012, Tallinn, Estonia, 1 April 2012., pp. 12-24, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
53 | Yuxin Deng, Iliano Cervesato, Robert J. Simmons |
Relating Reasoning Methodologies in Linear Logic and Process Algebra ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings 2nd International Workshop on Linearity, LINEARITY 2012, Tallinn, Estonia, 1 April 2012., pp. 50-60, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
53 | Maurizio Dominici, Simona Ronchi Della Rocca, Paolo Tranquilli |
Standardization in resource lambda-calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings 2nd International Workshop on Linearity, LINEARITY 2012, Tallinn, Estonia, 1 April 2012., pp. 1-11, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
53 | Pedro Baltazar, Dimitris Mostrous, Vasco Thudichum Vasconcelos |
Linearly Refined Session Types ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings 2nd International Workshop on Linearity, LINEARITY 2012, Tallinn, Estonia, 1 April 2012., pp. 38-49, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
53 | Maribel Fernández, Nikolaos Siafakas |
Labelled Lambda-calculi with Explicit Copy and Erase ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings First International Workshop on Linearity, LINEARITY 2009, Coimbra, Portugal, 12th September 2009., pp. 49-64, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
53 | Paolo Torrini, Reiko Heckel |
Resource-Bound Quantification for Graph Transformation ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings First International Workshop on Linearity, LINEARITY 2009, Coimbra, Portugal, 12th September 2009., pp. 14-25, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
53 | Edsko de Vries, Adrian Francalanza, Matthew Hennessy |
Uniqueness Typing for Resource Management in Message-Passing Concurrency ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings First International Workshop on Linearity, LINEARITY 2009, Coimbra, Portugal, 12th September 2009., pp. 26-37, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
53 | Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Antonino Salibra |
On Linear Information Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings First International Workshop on Linearity, LINEARITY 2009, Coimbra, Portugal, 12th September 2009., pp. 38-48, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
53 | Marco Gaboardi, Mauro Piccolo |
Categorical Models for a Semantically Linear Lambda-calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings First International Workshop on Linearity, LINEARITY 2009, Coimbra, Portugal, 12th September 2009., pp. 1-13, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
52 | Amit Gopal M. Purohit, Sanjeev Gupta |
A New Linearity Enhancing Technique for Low Noise Amplifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APCCAS ![In: IEEE Asia Pacific Conference on Circuits and Systems 2006, APCCAS 2006, Singapore, 4-7 December 2006, pp. 29-32, 2006, IEEE, 1-4244-0387-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (1) ![In: Proceedings of the 2004 International Symposium on Circuits and Systems, ISCAS 2004, Vancouver, BC, Canada, May 23-26, 2004, pp. 928-931, 2004, IEEE, 0-7803-8251-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
52 | Wei Guo, Daquan Huang |
Noise and linearity analysis for a 1.9 GHz CMOS LNA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APCCAS (2) ![In: IEEE Asia Pacific Conference on Circuits and Systems 2002, APCCAS 2002, Singapore, 16-18 December 2002, pp. 409-414, 2002, IEEE, 0-7803-7690-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISICA ![In: Advances in Computation and Intelligence, 4th International Symposium, ISICA 2009, Huangshi, China, Ocotober 23-25, 2009, Proceedings, pp. 337-348, 2009, Springer, 978-3-642-04842-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 24(6), pp. 567-576, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICA ![In: Independent Component Analysis and Signal Separation, 8th International Conference, ICA 2009, Paraty, Brazil, March 15-18, 2009. Proceedings, pp. 362-370, 2009, Springer, 978-3-642-00598-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2008), 18-21 May 2008, Sheraton Seattle Hotel, Seattle, Washington, USA, pp. 2402-2405, 2008, IEEE, 978-1-4244-1683-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (5) ![In: Proceedings of the 2002 International Symposium on Circuits and Systems, ISCAS 2002, Scottsdale, Arizona, USA, May 26-29, 2002, pp. 581-584, 2002, IEEE, 0-7803-7448-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (3) ![In: Proceedings of the 2002 International Symposium on Circuits and Systems, ISCAS 2002, Scottsdale, Arizona, USA, May 26-29, 2002, pp. 453-456, 2002, IEEE, 0-7803-7448-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 8(4), pp. 522-545, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 14th ACM Great Lakes Symposium on VLSI 2004, Boston, MA, USA, April 26-28, 2004, pp. 328-331, 2004, ACM, 1-58113-853-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: Proceedings of the 16th Annual IEEE Conference on Computational Complexity, Chicago, Illinois, USA, June 18-21, 2001, pp. 244-254, 2001, IEEE Computer Society, 0-7695-1053-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDOC ![In: Proceedings of the 26th Annual International Conference on Design of Communication, SIGDOC 2008, Lisbon, Portugal, September 22-24, 2008, pp. 225-234, 2008, ACM, 978-1-60558-083-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPROX-RANDOM ![In: Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, 12th International Workshop, APPROX 2009, and 13th International Workshop, RANDOM 2009, Berkeley, CA, USA, August 21-23, 2009. Proceedings, pp. 601-614, 2009, Springer, 978-3-642-03684-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2008), 18-21 May 2008, Sheraton Seattle Hotel, Seattle, Washington, USA, pp. 2406-2409, 2008, IEEE, 978-1-4244-1683-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IbPRIA (1) ![In: Pattern Recognition and Image Analysis, Third Iberian Conference, IbPRIA 2007, Girona, Spain, June 6-8, 2007, Proceedings, Part I, pp. 63-71, 2007, Springer, 978-3-540-72846-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2007), 27-20 May 2007, New Orleans, Louisiana, USA, pp. 3884-3887, 2007, IEEE, 1-4244-0920-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 8th International Symposium on Quality of Electronic Design (ISQED 2007), 26-28 March 2007, San Jose, CA, USA, pp. 513-518, 2007, IEEE Computer Society, 978-0-7695-2795-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Shihyen Chen, Kaizhong Zhang |
An Improved Algorithm for Tree Edit Distance Incorporating Structural Linearity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007, Proceedings, pp. 482-492, 2007, Springer, 978-3-540-73544-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (4) ![In: Computational Science - ICCS 2006, 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part IV, pp. 574-581, 2006, Springer, 3-540-34385-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Mallesh Rajashekharaiah, Parag Upadhyaya, Deuk Hyoun Heo |
Enhanced gm3 cancellation for linearity improvement in CMOS LNAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2006), 21-24 May 2006, Island of Kos, Greece, 2006, IEEE, 0-7803-9389-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APCCAS ![In: IEEE Asia Pacific Conference on Circuits and Systems 2006, APCCAS 2006, Singapore, 4-7 December 2006, pp. 267-270, 2006, IEEE, 1-4244-0387-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (1) ![In: International Symposium on Circuits and Systems (ISCAS 2005), 23-26 May 2005, Kobe, Japan, pp. 792-795, 2005, IEEE, 0-7803-8834-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (2) ![In: International Symposium on Circuits and Systems (ISCAS 2005), 23-26 May 2005, Kobe, Japan, pp. 1610-1613, 2005, IEEE, 0-7803-8834-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (1) ![In: Proceedings of the 2004 International Symposium on Circuits and Systems, ISCAS 2004, Vancouver, BC, Canada, May 23-26, 2004, pp. 349-352, 2004, IEEE, 0-7803-8251-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Cosmin Popa |
Linearized CMOS active resistor independent on the bulk effect. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, Stresa, Lago Maggiore, Italy, March 11-13, 2007, pp. 253-256, 2007, ACM, 978-1-59593-605-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCIT ![In: Distributed Computing and Internet Technology, First International Conference, ICDCIT 2004, Bhubaneswar, India, December 22-24, 2004, Proceedings, pp. 452-457, 2004, Springer, 3-540-24075-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DGCI ![In: Discrete Geometry for Computer Imagery, 11th International Conference, DGCI 2003, Naples, Italy, November 19-21, 2003, Proceedings, pp. 288-297, 2003, Springer, 3-540-20499-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 35th Annual ACM Symposium on Theory of Computing, June 9-11, 2003, San Diego, CA, USA, pp. 612-621, 2003, ACM, 1-58113-674-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 24th IEEE VLSI Test Symposium (VTS 2006), 30 April - 4 May 2006, Berkeley, California, USA, pp. 228-233, 2006, IEEE Computer Society, 0-7695-2514-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 36th Annual Symposium on Foundations of Computer Science, Milwaukee, Wisconsin, USA, 23-25 October 1995, pp. 432-441, 1995, IEEE Computer Society, 0-8186-7183-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLDI ![In: Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Madrid, Spain, January 23, 2010, pp. 77-88, 2010, ACM, 978-1-60558-891-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2007), 27-20 May 2007, New Orleans, Louisiana, USA, pp. 1229-1232, 2007, IEEE, 1-4244-0920-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Razvan Iordache, Ioan Tabus |
Index assignment for transmitting vector quantized LSF parameters over binary Markov channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (4) ![In: Proceedings of the 1999 International Symposium on Circuits and Systems, ISCAS 1999, Orlando, Florida, USA, May 30 - June 2, 1999, pp. 544-547, 1999, IEEE, 0-7803-5471-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SenSys ![In: Proceedings of the 7th International Conference on Embedded Networked Sensor Systems, SenSys 2009, Berkeley, California, USA, November 4-6, 2009, pp. 363-364, 2009, ACM, 978-1-60558-519-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (1) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2009, 12th International Conference, London, UK, September 20-24, 2009, Proceedings, Part I, pp. 853-860, 2009, Springer, 978-3-642-04267-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Klaus P. Jantke |
The Evolution of Story Spaces of Digital Games beyond the Limits of Linearity and Monotonicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIDS ![In: Interactive Storytelling, Second Joint International Conference on Interactive Digital Storytelling, ICIDS 2009, Guimarães, Portugal, December 9-11, 2009. Proceedings, pp. 308-311, 2009, Springer, 978-3-642-10642-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EIT ![In: 2008 IEEE International Conference on Electro/Information Technology, EIT 2008, held at Iowa State University, Ames, Iowa, USA, May 18-20, 2008, pp. 117-122, 2008, IEEE, 978-1-4244-2030-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 25th IEEE VLSI Test Symposium (VTS 2007), 6-10 May 2007, Berkeley, California, USA, pp. 303-310, 2007, IEEE Computer Society, 0-7695-2812-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, WA, USA, Proceedings, pp. 59-68, 2006, IEEE Computer Society, 0-7695-2631-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2006), 21-24 May 2006, Island of Kos, Greece, 2006, IEEE, 0-7803-9389-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2006), 21-24 May 2006, Island of Kos, Greece, 2006, IEEE, 0-7803-9389-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2006), 21-24 May 2006, Island of Kos, Greece, 2006, IEEE, 0-7803-9389-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACCV (1) ![In: Computer Vision - ACCV 2006, 7th Asian Conference on Computer Vision, Hyderabad, India, January 13-16, 2006, Proceedings, Part I, pp. 297-306, 2006, Springer, 3-540-31219-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSB Workshops ![In: Fourth International IEEE Computer Society Computational Systems Bioinformatics Conference Workshops & Poster Abstracts, CSB 2005 Workshops, Stanford, CA, USA, August 8-11, 2005, pp. 277-282, 2005, IEEE Computer Society, 0-7695-2442-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (2) ![In: International Symposium on Circuits and Systems (ISCAS 2005), 23-26 May 2005, Kobe, Japan, pp. 1378-1381, 2005, IEEE, 0-7803-8834-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 2439 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|