|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 220 occurrences of 180 keywords
|
|
|
Results
Found 383 publication records. Showing 383 according to the selection in the facets
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 |
|
Displaying result #1 - #100 of 383 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ >>] |
|