Search results for "strands"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
58	Wendy K. Pogozelski, Matthew P. Bernard, Salvatore F. Priore, Anthony J. Macula	Experimental Validation of DNA Sequences for DNA Computing: Use of a SYBR Green I Assay.	DNA	2005	DBLP DOI BibTeX RDF
58	Bernard Yurke, David C. Lin, Noshir A. Langrana	Use of DNA Nanodevices in Modulating the Mechanical Properties of Polyacrylamide Gels.	DNA	2005	DBLP DOI BibTeX RDF
56	Peter G. Sassone, D. Scott Wills	Dynamic Strands: Collapsing Speculative Dependence Chains for Reducing Pipeline Communication.	MICRO	2004	DBLP DOI BibTeX RDF
56	Akihiro Fujiwara, Ken-ichi Matsumoto, Wei Chen 0003	Addressable Procedures for Logic and Arithmetic Operations with DNA Strands.	IPDPS	2003	DBLP DOI BibTeX RDF
51	Daniel Dougherty, José Meseguer 0001, Sebastian Alexander Mödersheim, Paul D. Rowe (eds.)	Protocols, Strands, and Logic - Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday	Protocols, Strands, and Logic	2021	DBLP DOI BibTeX RDF
51	Abigail Siegel, Mia Santomauro, Tristan Dyer, Tim Nelson, Shriram Krishnamurthi	Prototyping Formal Methods Tools: A Protocol Analysis Case Study.	Protocols, Strands, and Logic	2021	DBLP DOI BibTeX RDF
51	John D. Ramsdell	Cryptographic Protocol Analysis and Compilation Using CPSA and Roletran.	Protocols, Strands, and Logic	2021	DBLP DOI BibTeX RDF
51	Prajna Bhandary, Edward Zieglar, Charles Nicholas	Searching for Selfie in TLS 1.3 with the Cryptographic Protocol Shapes Analyzer.	Protocols, Strands, and Logic	2021	DBLP DOI BibTeX RDF
51	Riccardo Focardi, Flaminia L. Luccio	Secure Key Management Policies in Strand Spaces.	Protocols, Strands, and Logic	2021	DBLP DOI BibTeX RDF
51	Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do 0001, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Tim Würtele	A Tutorial-Style Introduction to DY*.	Protocols, Strands, and Logic	2021	DBLP DOI BibTeX RDF
51	Sreekanth Malladi, Jonathan K. Millen	Adapting Constraint Solving to Automatically Analyze UPI Protocols.	Protocols, Strands, and Logic	2021	DBLP DOI BibTeX RDF
51	Pierpaolo Degano, Letterio Galletta, Selene Gerali	Verifying a Blockchain-Based Remote Debugging Protocol for Bug Bounty.	Protocols, Strands, and Logic	2021	DBLP DOI BibTeX RDF
51	Kangsoo Jung, Sayan Biswas, Catuscia Palamidessi	Establishing the Price of Privacy in Federated Data Trading.	Protocols, Strands, and Logic	2021	DBLP DOI BibTeX RDF
51	Daniel J. Dougherty	Model Finding for Exploration.	Protocols, Strands, and Logic	2021	DBLP DOI BibTeX RDF
51	Alessandra Di Pierro, Massimiliano Incudini	Quantum Machine Learning and Fraud Detection.	Protocols, Strands, and Logic	2021	DBLP DOI BibTeX RDF
51	Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott	On the Complexity of Verification of Time-Sensitive Distributed Systems.	Protocols, Strands, and Logic	2021	DBLP DOI BibTeX RDF
51	Mohammad M. Ahmadpanah, Musard Balliu, Daniel Hedin, Lars Eric Olsson, Andrei Sabelfeld	Securing Node-RED Applications.	Protocols, Strands, and Logic	2021	DBLP DOI BibTeX RDF
51	Dale M. Johnson	Formal Methods and Mathematical Intuition.	Protocols, Strands, and Logic	2021	DBLP DOI BibTeX RDF
51	Flemming Nielson, René Rydhof Hansen, Hanne Riis Nielson	Benign Interaction of Security Domains.	Protocols, Strands, and Logic	2021	DBLP DOI BibTeX RDF
51	Sebastian Mödersheim, Jorge Cuéllar	Three Branches of Accountability.	Protocols, Strands, and Logic	2021	DBLP DOI BibTeX RDF
51	Wojciech Jamroga, Peter Y. A. Ryan, Steve Schneider, Carsten Schürmann, Philip B. Stark	A Declaration of Software Independence.	Protocols, Strands, and Logic	2021	DBLP DOI BibTeX RDF
51	Dusko Pavlovic	Probabilistic Annotations for Protocol Models - Dedicated to Joshua Guttman.	Protocols, Strands, and Logic	2021	DBLP DOI BibTeX RDF
51	Paul Syverson	Principles of Remote Sattestation.	Protocols, Strands, and Logic	2021	DBLP DOI BibTeX RDF
51	Véronique Cortier, Itsaka Rakotonirina	How to Explain Security Protocols to Your Children.	Protocols, Strands, and Logic	2021	DBLP DOI BibTeX RDF
51	Sylvan Pinsky	Joshua Guttman: Pioneering Strand Spaces.	Protocols, Strands, and Logic	2021	DBLP DOI BibTeX RDF
51	Damián Aparicio-Sánchez, Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001, Julia Sapiña	Protocol Analysis with Time and Space.	Protocols, Strands, and Logic	2021	DBLP DOI BibTeX RDF
51	Paul D. Rowe	On Orderings in Security Models.	Protocols, Strands, and Logic	2021	DBLP DOI BibTeX RDF
51	Alessandro Bruni, Marco Carbone, Rosario Giustolisi, Sebastian Mödersheim, Carsten Schürmann 0001	Security Protocols as Choreographies.	Protocols, Strands, and Logic	2021	DBLP DOI BibTeX RDF
46	Vinhthuy T. Phan, Max H. Garzon	On codeword design in metric DNA spaces.	Nat. Comput.	2009	DBLP DOI BibTeX RDF	Data coding in DNA, Metric DNA space, Codeword design, h-Distance, Maximal codes, DNA hybridization, Gibbs energy
46	Pawel Mackiewicz, Przemyslaw Biecek, Dorota Mackiewicz, Joanna Kiraga, Krystian Baczkowski, Maciej Sobczynski, Stanislaw Cebrat	Optimisation of Asymmetric Mutational Pressure and Selection Pressure Around the Universal Genetic Code.	ICCS (3)	2008	DBLP DOI BibTeX RDF	error minimization, asymmetric mutational pressure, amino acid usage, leading strand, lagging strand, adaptation, genetic code
46	Yasubumi Sakakibara	Population Computation and Majority Inference in Test Tube.	DNA	2001	DBLP DOI BibTeX RDF
45	Peter G. Sassone, D. Scott Wills, Gabriel H. Loh	Static strands: Safely exposing dependence chains for increasing embedded power efficiency.	ACM Trans. Embed. Comput. Syst.	2007	DBLP DOI BibTeX RDF	dependency collapsing, Architecture, energy, sequentiality
45	Aili Han	RLM: A New Method of Encoding Weights in DNA Strands.	HIS	2006	DBLP DOI BibTeX RDF
45	Peter G. Sassone, D. Scott Wills, Gabriel H. Loh	Static strands: safely collapsing dependence chains for increasing embedded power efficiency.	LCTES	2005	DBLP DOI BibTeX RDF	dependency collapsing, architecture, embedded, energy, sequentiality
45	Akihiro Fujiwara, Satoshi Kamio	Procedures for Multiple Input Functions with DNA Strands.	IPDPS	2004	DBLP DOI BibTeX RDF
45	Iliano Cervesato, Nancy A. Durgin, John C. Mitchell, Patrick Lincoln, Andre Scedrov	Relating Strands and Multiset Rewriting for Security Protocol Analysis.	CSFW	2000	DBLP DOI BibTeX RDF
43	Joanna A. Ellis-Monaghan, Greta Pangborn, Nadrian C. Seeman, Sam Blakeley, Conor Disher, Mary Falcigno, Brianna Healy, Ada Morse, Bharti Singh, Melissa Westland	Design tools for reporter strands and DNA origami scaffold strands.	Theor. Comput. Sci.	2017	DBLP DOI BibTeX RDF
40	Arquimedes Canedo, Takeo Yoshizawa, Hideaki Komatsu	Automatic parallelization of simulink applications.	CGO	2010	DBLP DOI BibTeX RDF	coarse grain dataflow, equation-level parallelism, compilers, multi-core, automatic parallelization, simulink, strands
40	Ping Zhu, Xuqing Tang, Zhenyuan Xu, Weihong Guan	The Algebraic Computing Structure of Four DNA Bases.	ICAT Workshops	2006	DBLP DOI BibTeX RDF	natural operation, double and single strands, semi-ring, DNA computing
40	Giovannina Albano, Roberto La Scala	A Koszul Decomposition for the Computation of Linear Syzygies.	Appl. Algebra Eng. Commun. Comput.	2001	DBLP DOI BibTeX RDF	Linear Strands, Koszul syzygies, Block matrices, Sparse matrices, Betti Numbers
35	Alexander Kister	Relationship between Amino Acids Sequences and Protein Structures: Folding Patterns and Sequence Patterns.	ISBRA	2009	DBLP DOI BibTeX RDF	Beta-sandwich proteins, supersecondary structure, protein structure classification, sequence alignment, protein folding, protein structure prediction
35	Chung-Wei Yeh, Chih-Ping Chu	Molecular Verification of Rule-Based Systems Based on DNA Computation.	IEEE Trans. Knowl. Data Eng.	2008	DBLP DOI BibTeX RDF	Knowledge base verification, Rule-based processing, Evolutionary computing and genetic algorithms
35	Don Jyh-Fu Jeng, Ikno Kim, Junzo Watada	Bio-soft computing with fixed-length DNA to a group control optimization problem.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Elevator dispatching problem, Evolutionary computation, Combinatorial optimization, Soft computing, DNA computing
35	Feida Zhu 0001, Xifeng Yan, Jiawei Han 0001, Philip S. Yu	Efficient Discovery of Frequent Approximate Sequential Patterns.	ICDM	2007	DBLP DOI BibTeX RDF
35	Tetsuro Kitajima, Masahiro Takinoue, Ko-ichiroh Shohda, Akira Suyama	Design of Code Words for DNA Computers and Nanostructures with Consideration of Hybridization Kinetics.	DNA	2007	DBLP DOI BibTeX RDF
35	Jianzhong Cui, Zhixiang Yin, Jin Yang	Molecular Computation: Solving 3-Vertex-Colourability Problem.	ICIC (3)	2007	DBLP DOI BibTeX RDF	3-vertex-colourability, NP-complete, DNA computing
35	Don Jyh-Fu Jeng, Ikno Kim, Junzo Watada	Bio-Soft Computing Approach to Elevator Dispatching Problem.	ICICIC (1)	2006	DBLP DOI BibTeX RDF
35	Wannasak Wetcharaporn, Nachol Chaiyaratana, Sissades Tongsima	DNA Fragment Assembly: An Ant Colony System Approach.	EvoWorkshops	2006	DBLP DOI BibTeX RDF
35	Lila Kari, Stavros Konstantinidis, Elena Losseva, Geoff Wozniak	Sticky-free and overhang-free DNA languages.	Acta Informatica	2003	DBLP DOI BibTeX RDF	Theoretical DNA computing, DNA encodings, codes, formal languages
35	Dan C. Tulpan, Holger H. Hoos	Hybrid Randomised Neighbourhoods Improve Stochastic Local Search for DNA Code Design.	AI	2003	DBLP DOI BibTeX RDF
35	Michael S. Livstone, Laura F. Landweber	Mathematical Considerations in the Design of Microreactor-Based DNA Computers.	DNA	2003	DBLP DOI BibTeX RDF
35	Nao Nitta, Akira Suyama	Autonomous Biomolecular Computer Modeled after Retroviral Replication.	DNA	2003	DBLP DOI BibTeX RDF
35	Mirela Andronescu, Danielle Dees, Laura Slaybaugh, Yinglei Zhao, Anne Condon, Barry Cohen, Steven Skiena	Algorithms for Testing That Sets of DNA Words Concatenate without Secondary Structure.	DNA	2002	DBLP DOI BibTeX RDF
35	Rana Barua, Janardan Misra	Binary Arithmetic for DNA Computers.	DNA	2002	DBLP DOI BibTeX RDF
35	John H. Reif, Thomas H. LaBean	Computationally Inspired Biotechnologies: Improved DNA Synthesis and Associative Search Using Error-Correcting Codes and Vector-Quantization.	DNA Computing	2000	DBLP DOI BibTeX RDF
33	M. J. Krawczyk, Krzysztof Kulakowski	Pores in a Two-Dimensional Network of DNA Strands - Computer Simulations.	International Conference on Computational Science (1)	2006	DBLP DOI BibTeX RDF
28	Miklós Bergou, Max Wardetzky, Stephen Robinson, Basile Audoly, Eitan Grinspun	Discrete elastic rods.	ACM Trans. Graph.	2008	DBLP DOI BibTeX RDF	discrete holonomy, rods, discrete differential geometry, strands
28	Ernst Kleiberg, Huub van de Wetering, Jarke J. van Wijk	Botanical Visualization of Huge Hierarchies.	INFOVIS	2001	DBLP DOI BibTeX RDF	botanical tree, logical tree, huge hierarchy, directory tree, phyllotaxis, tree visualization, strands
23	Andrés de la Peña, Francisco J. Cisneros, Ángel Goñi Moreno, Juan Castellanos	DNA Electrophoresis Simulation.	IWANN (2)	2009	DBLP DOI BibTeX RDF	Electrophoresis, Simulation, Software, DNA Computing
23	Susan McKeever, Juan Ye, Lorcan Coyle, Simon Dobson	A Context Quality Model to Support Transparent Reasoning with Uncertain Context.	QuaCon	2009	DBLP DOI BibTeX RDF
23	Jieun K. Jeong, Piotr Berman, Teresa M. Przytycka	Improving Strand Pairing Prediction through Exploring Folding Cooperativity.	IEEE ACM Trans. Comput. Biol. Bioinform.	2008	DBLP DOI BibTeX RDF	Biology and genetics, Combinatorial algorithms
23	Morgan A. Bishop, Anthony J. Macula, Thomas E. Renz, Vladimir Ufimtsev	Hypothesis group testing for disjoint pairs.	J. Comb. Optim.	2008	DBLP DOI BibTeX RDF	Nonadaptive, Complexes, Random algorithms, Group testing, Pooling
23	Huawei Zhao, Wenyu Zhang	Definitions and Analysis of Integrity in Strand Spaces Model.	ISECS	2008	DBLP DOI BibTeX RDF	strand spaces model, protocols, integrity
23	Lila Kari, Kalpana Mahalingam, Gabriel Thierrin	The syntactic monoid of hairpin-free languages.	Acta Informatica	2007	DBLP DOI BibTeX RDF
23	Lila Kari, Kalpana Mahalingam	Watson-Crick Conjugate and Commutative Words.	DNA	2007	DBLP DOI BibTeX RDF
23	Clifford R. Johnson	Modeling Non-specific Binding in Gel-Based DNA Computers.	DNA	2007	DBLP DOI BibTeX RDF
23	Marc García-Arnau, Daniel Manrique, Alfonso Rodríguez-Patón, Petr Sosík	Towards a Robust Biocomputing Solution of Intractable Problems.	DNA	2007	DBLP DOI BibTeX RDF	Incremental Strategy, DNA Computing, NP-Complete problem, Membrane Computing, Maximum Clique Problem
23	Jamie Wither, Florence Bertails, Marie-Paule Cani	Realistic Hair from a Sketch.	Shape Modeling International	2007	DBLP DOI BibTeX RDF
23	Lila Kari	Nanocomputing by Self-assembly.	UC	2007	DBLP DOI BibTeX RDF
23	Pascal Volino, Nadia Magnenat-Thalmann	Real-Time Animation of Complex Hairstyles.	IEEE Trans. Vis. Comput. Graph.	2006	DBLP DOI BibTeX RDF	virtual characters, Real-time animation, hair modeling, mechanical simulation
23	Lila Kari, Kalpana Mahalingam	DNA Codes and Their Properties.	DNA	2006	DBLP DOI BibTeX RDF
23	Ke Chen 0003, Lukasz A. Kurgan, Jishou Ruan	Optimization of the Sliding Window Size for Protein Structure Prediction.	CIBCB	2006	DBLP DOI BibTeX RDF
23	Kyubum Wee, Woosuk Lee	Extensions and Variations on Construction of Autoreplicators in Typogenetics.	ECAL	2005	DBLP DOI BibTeX RDF
23	Max H. Garzon, Vinhthuy T. Phan, Kiran C. Bobba, Raghuver Kontham	Sensitivity and Capacity of Microarray Encodings.	DNA	2005	DBLP DOI BibTeX RDF	h-distance, DNA chips, genomic analysis, classification and discrimination, data mining, fault-tolerant computing, microarrays, Data representation, Gibbs energy
23	Matteo Cavaliere, Natasa Jonoska, Peter Leupold	Recognizing DNA Splicing.	DNA	2005	DBLP DOI BibTeX RDF
23	Yusei Tsuboi, Zuwairie Ibrahim, Osamu Ono	Demonstration of DNA-Based Semantic Model by Using Parallel Overlap Assembly.	ICIC (1)	2005	DBLP DOI BibTeX RDF
23	Yusei Tsuboi, Zuwairie Ibrahim, Nobuyuki Kasai, Osamu Ono	DNA Computing Approach to Construction of Semantic Model.	ICNC (2)	2005	DBLP DOI BibTeX RDF
23	Sean Luke	Evolutionary computation and the c-value paradox.	GECCO	2005	DBLP DOI BibTeX RDF	C-value paradox, evolutionary genetics, theoretical biology, genetic programming, code bloat
23	Christopher Wilks, Sami Khuri	A Fast Shotgun Assembly Heuristic.	CSB Workshops	2005	DBLP DOI BibTeX RDF
23	Alexander Kister	The Main Structural Regularities of the Sandwich Proteins.	WABI	2005	DBLP DOI BibTeX RDF
23	Pascal Volino, Nadia Magnenat-Thalmann	Animating complex hairstyles in real-time.	VRST	2004	DBLP DOI BibTeX RDF	virtual characters, real-time animation, hair modeling, mechanical simulation
23	Lila Kari, Stavros Konstantinidis, Petr Sosík	Preventing Undesirable Bonds Between DNA Codewords.	DNA	2004	DBLP DOI BibTeX RDF
23	Kenichi Fujibayashi, Satoshi Murata	A Method of Error Suppression for Self-assembling DNA Tiles.	DNA	2004	DBLP DOI BibTeX RDF
23	Eric Klavins	Universal Self-Replication Using Graph Grammars.	ICMENS	2004	DBLP DOI BibTeX RDF
23	Yasubumi Sakakibara	DNA-based algorithms for learning Boolean formulae.	Nat. Comput.	2003	DBLP DOI BibTeX RDF	population computation, weighted majority, DNA computing, massively parallel, Boolean formula, computational learning
23	Mirela Andronescu, Danielle Dees, Laura Slaybaugh, Yinglei Zhao, Anne Condon, Barry Cohen, Steven Skiena	Algorithms for testing that sets of DNA words concatenate without secondary structure.	Nat. Comput.	2003	DBLP DOI BibTeX RDF	testing DNA word sets, RNA secondary structure
23	Arkadii G. D'yachkov, Péter L. Erdös, Anthony J. Macula, Vyacheslav V. Rykov, David C. Torney, Chang-Shung Tung, Pavel A. Vilenkin, P. Scott White	Exordium for DNA Codes.	J. Comb. Optim.	2003	DBLP DOI BibTeX RDF	binding propensity, digital velcro, directed design, DNA computing, DNA hybridization, formulation
23	Hee-Woong Lim, Hae-Man Jang, Sung-Mo Ha, Young-Gyu Chai, Suk-In Yoo, Byoung-Tak Zhang	A Lab-on-a-Chip Module for Bead Separation in DNA-Based Concept Learning.	DNA	2003	DBLP DOI BibTeX RDF
23	Yusuke Ogura, Takashi Kawakami, Fumika Sumiyama, Akira Suyama, Jun Tanida	Parallel Translation of DNA Clusters by VCSEL Array Trapping and Temperature Control with Laser Illumination.	DNA	2003	DBLP DOI BibTeX RDF
23	Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, Andre Scedrov	A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis.	ISSS	2002	DBLP DOI BibTeX RDF
23	Yasubumi Sakakibara, Hiroshi Imai	A DNA-based Computational Model Using a Specific Type of Restriction Enzyme.	DNA	2002	DBLP DOI BibTeX RDF
23	Ho-Seop Kim, James E. Smith 0001	An Instruction Set and Microarchitecture for Instruction Level Distributed Processing.	ISCA	2002	DBLP DOI BibTeX RDF
23	James C. Mitchell, Bernard Yurke	DNA Scissors.	DNA	2001	DBLP DOI BibTeX RDF
23	Adam Liwo, Jaroslaw Pillardy, Cezary Czaplewski, Jooyoung Lee 0002, Daniel R. Ripoll, Malgorzata Groth, Sylwia Rodziewicz-Motowidlo, Rajmund Kazmierkiewicz, Ryszard J. Wawak, Stanislaw Oldziej, Harold A. Scheraga	UNRES: a united-residue force field for energy-based prediction of protein structure - orgin and significance of multibody terms.	RECOMB	2000	DBLP DOI BibTeX RDF
23	Jan J. Mulawka, Piotr Wasiewicz, Katarzyna Pietak	Virus-Enhanced Genetic Algorithms Inspired by DNA Computing.	ISMIS	1999	DBLP DOI BibTeX RDF
23	Alfred P. Maneki	Honest Functions and their Application to the Analysis of Cryptographic Protocols.	CSFW	1999	DBLP DOI BibTeX RDF
23	Mark Daley, Lila Kari, Greg Gloor, Rani Siromoney	Circular Contextual Insertions/Deletions with Applications to Biomolecular Computation.	SPIRE/CRIWG	1999	DBLP DOI BibTeX RDF
22	Yusuke Takimoto, Hikari Takehara, Hiroyuki Sato, Zihao Zhu, Bo Zheng	Dr.Hair: Reconstructing Scalp-Connected Hair Strands without Pre-training via Differentiable Rendering of Line Segments.	CoRR	2024	DBLP DOI BibTeX RDF
22	Viet-Linh Tran, Jin-Kook Kim	Ensemble machine learning-based models for estimating the transfer length of strands in PSC beams.	Expert Syst. Appl.	2023	DBLP DOI BibTeX RDF
22	Wenjuan Song, Rodney A. Badcock, Nicholas J. Long, Zhenan Jiang	AC Loss in REBCO Coil Windings Wound With Various Cables: Effect of Current Distribution Among the Cable Strands.	IEEE Access	2023	DBLP DOI BibTeX RDF