Search results for "aspects"

Hits ?▲	Authors	Title	Venue	Year	Link
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