Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
21 | Tero Harju, Ion Petre, Grzegorz Rozenberg |
Formal Properties of Gene Assembly: Equivalence Problem for Overlap Graphs. |
Aspects of Molecular Computing |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Gheorghe Paun |
Membrane Computing: Some Non-standard Ideas. |
Aspects of Molecular Computing |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Lila Kari, Carlos Martín-Vide, Andrei Paun |
On the Universality of P Systems with Minimal Symport/Antiport Rules. |
Aspects of Molecular Computing |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Natasa Jonoska, Kalpana Mahalingam |
Methods for Constructing Coded DNA Languages. |
Aspects of Molecular Computing |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Ashish Gehani, Thomas H. LaBean, John H. Reif |
DNA-based Cryptography. |
Aspects of Molecular Computing |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Francesco Bernardini, Marian Gheorghe 0001, Mike Holcombe |
Eilenberg P Systems with Symbol-Objects. |
Aspects of Molecular Computing |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Franziska Freund, Rudolf Freund, Marion Oswald |
Splicing Test Tube Systems and Their Relation to Splicing Membrane Systems. |
Aspects of Molecular Computing |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Natasa Jonoska, Shiping Liao, Nadrian C. Seeman |
Transducers with Programmable Input by DNA Self-assembly. |
Aspects of Molecular Computing |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Debananda Misra, V. Sundararajan, Paul K. Wright |
Zig-Zag Tool Path Generation for Sculptured Surface Finishing. |
Geometric and Algorithmic Aspects of Computer-Aided Design and Manufacturing |
2003 |
DBLP DOI BibTeX RDF |
|
21 | |
Preface. |
Geometric and Algorithmic Aspects of Computer-Aided Design and Manufacturing |
2003 |
DBLP BibTeX RDF |
|
21 | Taejung Kim, Sanjay E. Sarma |
Machinability: Geometric Reasoning for Cutting. |
Geometric and Algorithmic Aspects of Computer-Aided Design and Manufacturing |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Tamal K. Dey |
Sample Based Geometric Modeling. |
Geometric and Algorithmic Aspects of Computer-Aided Design and Manufacturing |
2003 |
DBLP DOI BibTeX RDF |
|
21 | John Keyser, Koji Ouchi, J. Maurice Rojas |
The Exact Rational Univariate Representation for Detecting Degeneracies. |
Geometric and Algorithmic Aspects of Computer-Aided Design and Manufacturing |
2003 |
DBLP DOI BibTeX RDF |
|
21 | A. Frank van der Stappen |
Immobilization: Analysis, Existence, and Output- Sensitive Synthesis. |
Geometric and Algorithmic Aspects of Computer-Aided Design and Manufacturing |
2003 |
DBLP DOI BibTeX RDF |
|
21 | |
Forward. |
Geometric and Algorithmic Aspects of Computer-Aided Design and Manufacturing |
2003 |
DBLP BibTeX RDF |
|
21 | Prabhjot Singh, Debasish Dutta |
Towards a Process Planning Framework for Multi-Direction Layered Deposition. |
Geometric and Algorithmic Aspects of Computer-Aided Design and Manufacturing |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Ioannis Z. Emiris, Ilias S. Kotsireas |
Implicitization Exploiting Sparseness. |
Geometric and Algorithmic Aspects of Computer-Aided Design and Manufacturing |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Ioana M. Boier-Martin, Denis Zorin, Fausto Bernardini |
A Survey of Subdivision-Based Tools for Surface Modeling. |
Geometric and Algorithmic Aspects of Computer-Aided Design and Manufacturing |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Vijay Srinivasan |
Elements of Computational Metrology. |
Geometric and Algorithmic Aspects of Computer-Aided Design and Manufacturing |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Denis Blackmore, Yuriy Mileyko, Ming C. Leu, William C. Regli, Wei Sun 0003 |
Computational Topology and Swept Volumes. |
Geometric and Algorithmic Aspects of Computer-Aided Design and Manufacturing |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Meera Sitharam |
Combinatorial Approaches to Geometric Constraint Solving: Problems, Progress, and Directions. |
Geometric and Algorithmic Aspects of Computer-Aided Design and Manufacturing |
2003 |
DBLP DOI BibTeX RDF |
|
21 | W. Randolph Franklin |
Mass Properties of the Union of Millions of Identical Cubes. |
Geometric and Algorithmic Aspects of Computer-Aided Design and Manufacturing |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Ravi Janardan, Michiel H. M. Smid |
Geometric Algorithms for Layered Manufacturing. |
Geometric and Algorithmic Aspects of Computer-Aided Design and Manufacturing |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Saugata Basu, Laureano González-Vega (eds.) |
Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science, Proceedings of a DIMACS Workshop, Piscataway, NJ, USA, March 12-16, 2001 |
Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Clint McCrory |
How to Show a Set is not Algebraic. |
Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Fabrice Rouillier |
Efficient Algorithms Based on Critical Points Method. |
Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Ileana Streinu |
Combinatorial Roadmaps in Configuration Spaces of Simple Planar Polygons. |
Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Isabelle Bonnard |
Combinatorial Characterizations of Algebraic Sets. |
Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Bruce Reznick |
Patterns of Dependence Among Powers of Polynomials. |
Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Carlos Andradas |
Characterization and Description of Basic Semialgebraic Sets. |
Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Thorsten Theobald |
Visibility Computations: From Discrete Algorithms to Real Algebraic Geometry. |
Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Peter Bürgisser |
Lower Bounds and Real Algebraic Geometry. |
Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Andrei Gabrielov, Thierry Zell |
On the Number of Connected Components of the Relative Closure of a Semi-Pfaffian Family. |
Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Pablo A. Parrilo, Bernd Sturmfels |
Minimizing Polynomial Functions. |
Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Dionne Bailey, Victoria Powers |
Constructive Approaches to Representation Theorems in Finitely Generated Real Algebras. |
Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Benoit Chevallier |
The Viro Method Applied with Quadratic Transforms. |
Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Frank Sottile |
Enumerative Real Algebraic Geometry. |
Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science |
2001 |
DBLP DOI BibTeX RDF |
|
21 | M. Areshi Nait Abdallah |
Computing Natural Language Presuppositions: A Partial Information Logic Based Approach. |
Mathematical Aspects of Natural and Formal Languages |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Helmut Jürgensen, Katrin Tent |
Algebraic Foundations for Montague Grammars. |
Mathematical Aspects of Natural and Formal Languages |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Andrzej Ehrenfeucht, Gheorghe Paun, Grzegorz Rozenberg |
Normal Forms for Contextual Grammars. |
Mathematical Aspects of Natural and Formal Languages |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Virgil Emil Cazanescu, Gheorghe Stefanescu |
Feedback, Iteration, and Repetition. |
Mathematical Aspects of Natural and Formal Languages |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Alexandru Mateescu |
Marcus Contextual Grammars with Shuffled Contexts. |
Mathematical Aspects of Natural and Formal Languages |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Dragos Vaida |
Applied Semirings: Some Examples Related to Fuzzy Theory and Languages. |
Mathematical Aspects of Natural and Formal Languages |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Erzsébet Csuhaj-Varjú |
Grammar Systems: a Multi-Agent Framework for Natural Language Generation. |
Mathematical Aspects of Natural and Formal Languages |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Lila Kari, Gabriel Thierrin |
Aperiodic Languages and Generalizations. |
Mathematical Aspects of Natural and Formal Languages |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Ferucio-Laurentiu Tiplea |
On Conditional Grammars and Conditional Petri Nets. |
Mathematical Aspects of Natural and Formal Languages |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Cristian Calude, Hermann Maurer |
Pocket Mathematics. |
Mathematical Aspects of Natural and Formal Languages |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Juhani Karhumäki, Wojciech Plandowski |
On the Defect Effect of Many Identities in Free Semigroups. |
Mathematical Aspects of Natural and Formal Languages |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Valeria Mihalache |
Matrix Grammars versus Parallel Communicating Grammar Systems. |
Mathematical Aspects of Natural and Formal Languages |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Masami Ito, Masashi Katsura |
On Transitive Cofinal Automata. |
Mathematical Aspects of Natural and Formal Languages |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Adrian Atanasiu |
Substitution on Words and Languages: Applications to Cryptography. |
Mathematical Aspects of Natural and Formal Languages |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Patrice Séébold, Karine Slowinski |
Redundant Retreat Free Words. |
Mathematical Aspects of Natural and Formal Languages |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Robert Marty |
Foundations of a Mathematical Semiotics. |
Mathematical Aspects of Natural and Formal Languages |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Rudolf Freund |
Control Mechanisms on #-Context-Free Array Grammars. |
Mathematical Aspects of Natural and Formal Languages |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Rudolf Richter |
Acyclic Structure Grammars and Reducing Operators. |
Mathematical Aspects of Natural and Formal Languages |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Miroslav Novotný |
Reducts versus Reducing Operators. |
Mathematical Aspects of Natural and Formal Languages |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Codrut Matei |
Time-Varying Grammars and Referenced Automata. |
Mathematical Aspects of Natural and Formal Languages |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Manfred Kudlek |
A Mathematical Model of Personal Pronouns. |
Mathematical Aspects of Natural and Formal Languages |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Lucian Ilie |
On Contextual Grammars with Parallel Derivation. |
Mathematical Aspects of Natural and Formal Languages |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Sorina Vicolov-Dumitrescu |
Grammars, Grammar Systems, and GSM Mappings with Valences. |
Mathematical Aspects of Natural and Formal Languages |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Lech T. Polkowski, Maria Semeniuk-Polkowska |
On Rough Mereological Constructibility: Anaphorically Constructible Many-Object Events. |
Mathematical Aspects of Natural and Formal Languages |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Victor Mitrana |
Contextual Grammars: The Strategy of Minimal Competence. |
Mathematical Aspects of Natural and Formal Languages |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Juraj Hromkovic, Juraj Procházka |
Lower Bounds on Systolic Array Computations and the Optimality of Kung's Convolution Algorithm. |
Mathematical Aspects of Natural and Formal Languages |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Gianina Georgescu |
Infinite Hierarchies of Some Types of Contextual Languages. |
Mathematical Aspects of Natural and Formal Languages |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa |
Marcus Contextual Grammars: Modularity and Leftmost Derivation. |
Mathematical Aspects of Natural and Formal Languages |
1994 |
DBLP DOI BibTeX RDF |
|
21 | S. M. Kang, M. Sriram |
Binary formulations for Placement and Routing Problems. |
Algorithmic Aspects of VLSI Layout |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Toshihiko Takahashi, Yoji Kajitani |
The Virtual Dimensions of a Straight Line Embedding of a plane Graph. |
Algorithmic Aspects of VLSI Layout |
1993 |
DBLP DOI BibTeX RDF |
|
21 | D. Zhou, Franco P. Preparata |
On the Manhattan and knock-knee Routing Models. |
Algorithmic Aspects of VLSI Layout |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Prithviraj Banerjee |
A Survey of Parallel Algorithms for VLSI cell Placement. |
Algorithmic Aspects of VLSI Layout |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Shuji Tsukiyama, Keiichi Koike, Isao Shirakawa |
An Algorithm to Eliminate All Complex Triangles in a Maximal Planar Graph for Use in VLSI floorplan. |
Algorithmic Aspects of VLSI Layout |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Malgorzata Marek-Sadowska |
Issues in Timing Driven Layout. |
Algorithmic Aspects of VLSI Layout |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Tetsuo Asano, Takeshi Tokuyama |
Circuit Partitioning Algorithms based on Geometry Model. |
Algorithmic Aspects of VLSI Layout |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Martin L. Brady, Donna J. Brown, Patrick J. McGuiness |
The three-dimensional channel Routing Problem. |
Algorithmic Aspects of VLSI Layout |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Teofilo F. Gonzalez, Shashishekhar Kurki-Gowdara, Si-Qing Zheng |
Switch-Box Routing under the two-Overlap wiring Model. |
Algorithmic Aspects of VLSI Layout |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Chuan-Jin Shi |
Constrained via Minimization and Signed Hypergraph Partitioning. |
Algorithmic Aspects of VLSI Layout |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Teofilo F. Gonzalez, Sing-Ling Lee |
Routing around two Rectangles to minimize the Layout Area. |
Algorithmic Aspects of VLSI Layout |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Thomas Lengauer, Martin Lügering |
Integer Program formulations of Global Routing and Placement Problems. |
Algorithmic Aspects of VLSI Layout |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Ting-Chi Wang, D. F. Wong 0001 |
A note on the Complexity of Stockmeyer's floorplan Optimization Technique. |
Algorithmic Aspects of VLSI Layout |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Fillia Makedon, Spyros Tragoudas |
Approximate solutions for Graph and Hypergraph Partitioning. |
Algorithmic Aspects of VLSI Layout |
1993 |
DBLP DOI BibTeX RDF |
|
21 | José E. Castillo 0001, Stanly Steinberg |
1. Introduction. |
Mathematical Aspects of Numerical Grid Generation |
1991 |
DBLP DOI BibTeX RDF |
|
21 | Z. U. A. Warsi |
7. Surface Grid Generation and Differential Geometry. |
Mathematical Aspects of Numerical Grid Generation |
1991 |
DBLP DOI BibTeX RDF |
|
21 | José E. Castillo 0001 |
3. Continuum Variational Formulation. |
Mathematical Aspects of Numerical Grid Generation |
1991 |
DBLP DOI BibTeX RDF |
|
21 | A. Dvinsky |
8. Harmonic Maps in Grid Generation. |
Mathematical Aspects of Numerical Grid Generation |
1991 |
DBLP DOI BibTeX RDF |
|
21 | José E. Castillo 0001 |
4. Discrete Variational Grid Generation. |
Mathematical Aspects of Numerical Grid Generation |
1991 |
DBLP DOI BibTeX RDF |
|
21 | C. Wayne Mastin |
2. Elliptic Grid Generation and Conformal Mapping. |
Mathematical Aspects of Numerical Grid Generation |
1991 |
DBLP DOI BibTeX RDF |
|
21 | Stanly Steinberg, Patrick J. Roache |
5. Bifurcation of Grids on Curves. |
Mathematical Aspects of Numerical Grid Generation |
1991 |
DBLP DOI BibTeX RDF |
|
21 | G. Liao |
9. On Harmonic Maps. |
Mathematical Aspects of Numerical Grid Generation |
1991 |
DBLP DOI BibTeX RDF |
|
21 | Patrick M. Knupp |
6. Intrinsic Algebraic Grid Generation. |
Mathematical Aspects of Numerical Grid Generation |
1991 |
DBLP DOI BibTeX RDF |
|
21 | Thomas Storer, David J. Winter (eds.) |
Formal Aspects of Cognitive Processes, Interdisciplinary Conference, Ann Arbor, MI, USA, March 1972 |
Formal Aspects of Cognitive Processes |
1975 |
DBLP DOI BibTeX RDF |
|
21 | J. Patrick Cavanagh |
Two Classes of Holographic Processes Realizable in the Neutral Realm. |
Formal Aspects of Cognitive Processes |
1972 |
DBLP DOI BibTeX RDF |
|
21 | Chin-W. Kim |
Models of Speech Production. |
Formal Aspects of Cognitive Processes |
1972 |
DBLP DOI BibTeX RDF |
|
21 | David Rothenberg |
Predicate Calculus Feature Generation. |
Formal Aspects of Cognitive Processes |
1972 |
DBLP DOI BibTeX RDF |
|
21 | David J. Winter |
A Simple Hierarchical Model of Natural Selection. |
Formal Aspects of Cognitive Processes |
1972 |
DBLP DOI BibTeX RDF |
|
21 | Elizabeth Loftus |
Semantic Memory Retrieval: Some Data and a Model. |
Formal Aspects of Cognitive Processes |
1972 |
DBLP DOI BibTeX RDF |
|
21 | Arnold Lewis Glass |
Implication as an Alternative to Set-Inclusion as the Semantic Primitive. |
Formal Aspects of Cognitive Processes |
1972 |
DBLP DOI BibTeX RDF |
|
21 | Armen Gabrielian, Seymour Ginsburg |
Structured-Storage AFA (Abstract). |
Formal Aspects of Cognitive Processes |
1972 |
DBLP DOI BibTeX RDF |
|
21 | David Rothenberg |
A Mathematical Model for Perception Applied to the Perception of Pitch. |
Formal Aspects of Cognitive Processes |
1972 |
DBLP DOI BibTeX RDF |
|
21 | John T. Lamendella |
Theories of the Brain; Behavior, the Mind, Robots and Cognitive Processes, Respectively. |
Formal Aspects of Cognitive Processes |
1972 |
DBLP DOI BibTeX RDF |
|
21 | Thomas Storer |
Welcome Aboard. |
Formal Aspects of Cognitive Processes |
1972 |
DBLP DOI BibTeX RDF |
|
21 | Renate Bartsch, Theo Vennemann |
The Grammar of relative Adjectives and Comparison. |
Formal Aspects of Cognitive Processes |
1972 |
DBLP DOI BibTeX RDF |
|