|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 239 occurrences of 189 keywords
|
|
|
Results
Found 990 publication records. Showing 908 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
164 | Federico Crazzolara, Glynn Winskel |
Composing Strand Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings, pp. 97-108, 2002, Springer, 3-540-00225-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
137 | Joseph Y. Halpern, Riccardo Pucella |
On the relationship between strand spaces and multi-agent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. Secur. ![In: ACM Trans. Inf. Syst. Secur. 6(1), pp. 43-70, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
multi-agent systems, Agents, security protocols, expressiveness, strand spaces |
118 | Dietrich Fahrenholtz, Volker Haarslev |
Visualization of Strand(tm) Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: Proceedings 11th International IEEE Symposium on Visual Languages, Darmstadt, Germany, September 5-9, 1995, pp. 114-115, 1995, IEEE Computer Society, 0-8186-7045-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
large call tree circular shaped layout, Strand programs, Strand process visualisation, parallel Strand programs, Polaranimation tool, debugging facilities, parallel programming, parallel programs, software tools, visual programming, visual languages, software performance evaluation, data visualisation, program debugging, tree data structures, performance tuning, visualization tool, polar coordinates |
115 | Joseph Y. Halpern, Riccardo Pucella |
On the relationship between strand spaces and multi-agent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: CCS 2001, Proceedings of the 8th ACM Conference on Computer and Communications Security, Philadelphia, Pennsylvania, USA, November 6-8, 2001., pp. 106-115, 2001, ACM, 1-58113-385-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
100 | Kirsten R. Butcher, Sonal Bhushan, Tamara Sumner |
Multimedia displays for conceptual discovery: information seeking with strand maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Syst. ![In: Multim. Syst. 11(3), pp. 236-248, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Strand maps, Educational technology, Information seeking, Educational digital libraries, Science learning |
91 | Jieun K. Jeong, Piotr Berman, Teresa M. Przytycka |
Improving Strand Pairing Prediction through Exploring Folding Cooperativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ACM Trans. Comput. Biol. Bioinform. ![In: IEEE ACM Trans. Comput. Biol. Bioinform. 5(4), pp. 484-491, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Biology and genetics, Combinatorial algorithms |
85 | Faisal Ahmad, Qianyi Gu, Tamara Sumner |
Concept Space Interchange Protocol: A Protocol for Concept Map Based Resource Discovery in Educational Digital Libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECDL ![In: Research and Advanced Technology for Digital Libraries, 10th European Conference, ECDL 2006, Alicante, Spain, September 17-22, 2006, Proceedings, pp. 471-476, 2006, Springer, 3-540-44636-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
79 | Jieun K. Jeong, Piotr Berman, Teresa M. Przytycka |
Bringing Folding Pathways into Strand Pairing Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WABI ![In: Algorithms in Bioinformatics, 7th International Workshop, WABI 2007, Philadelphia, PA, USA, September 8-9, 2007, Proceedings, pp. 38-48, 2007, Springer, 978-3-540-74125-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
79 | Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, Andre Scedrov |
A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSS ![In: Software Security -- Theories and Systems, Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers, pp. 356-383, 2002, Springer, 3-540-00708-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
79 | Henry Lai, Monserrat Carino, Narendra Singh |
Naltrexone blocks RFR-induced DNA double strand breaks in rat brain cells. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Networks ![In: Wirel. Networks 3(6), pp. 471-476, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
76 | Hong Wang, Jianping Ma, Bo Chen |
Formal Analysis of Fairness in E-Payment Protocol Based on Strand Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISM ![In: Web Information Systems and Mining, International Conference, WISM 2009, Shanghai, China, November 7-8, 2009. Proceedings, pp. 469-478, 2009, Springer, 978-3-642-05249-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
e-Payment protocol, iKP, fairness, strand space |
67 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS (3) ![In: Computational Science - ICCS 2008, 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part III, pp. 100-109, 2008, Springer, 978-3-540-69388-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
error minimization, asymmetric mutational pressure, amino acid usage, leading strand, lagging strand, adaptation, genetic code |
64 | Huawei Zhao, Wenyu Zhang |
Definitions and Analysis of Integrity in Strand Spaces Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISECS ![In: Proceedings of The International Symposium on Electronic Commerce and Security, ISECS 2008, August 3-5, 2008, Guangzhou, China, pp. 153-158, 2008, IEEE Computer Society, 978-0-7695-3258-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
strand spaces model, protocols, integrity |
64 | Kirsten R. Butcher, Sonal Bhushan |
Using strand maps to engage digital library users with science content. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDL ![In: ACM/IEEE Joint Conference on Digital Libraries, JCDL 2005, Denver, CO, USA, June 7-11, 2005, Proceedings, pp. 371, 2005, ACM, 1-58113-876-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
strand maps, multimedia interfaces, science learning |
58 | James Heather, Steve A. Schneider |
Equal To The Task? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS ![In: Computer Security - ESORICS 2002, 7th European Symposium on Research in Computer Security, Zurich, Switzerland, October 14-16, 2002, Proceedings, pp. 162-177, 2002, Springer, 3-540-44345-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
inequality tests, formal methods in security, RSA, cryptographic protocols, security models, rank functions, data independence, security verification, strand spaces |
49 | Fumiaki Tanaka, Takashi Tsuda, Masami Hagiya |
Towards DNA Comparator: The Machine That Compares DNA Concentrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DNA ![In: DNA Computing, 14th International Meeting on DNA Computing, DNA 14, Prague, Czech Republic, June 2-9, 2008. Revised Selected Papers, pp. 11-20, 2008, Springer, 978-3-642-03075-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
49 | Tony Hoare |
Science and Engineering: A Collusion of Cultures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, 25-28 June 2007, Edinburgh, UK, Proceedings, pp. 2-9, 2007, IEEE Computer Society, 0-7695-2855-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
49 | Matteo Cavaliere, Natasa Jonoska, Peter Leupold |
Recognizing DNA Splicing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DNA ![In: DNA Computing, 11th International Workshop on DNA Computing, DNA11, London, ON, Canada, June 6-9, 2005. Revised Selected Papers., pp. 12-26, 2005, Springer, 3-540-34161-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
46 | Junzhou Luo, Ming Yang 0001 |
Analysis of security protocols based on challenge-response. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 50(2), pp. 137-153, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Strand Space Model, network security, protocol analysis, challenge-response |
46 | Gang Wu, Nadrian C. Seeman |
Multiplying with DNA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nat. Comput. ![In: Nat. Comput. 5(4), pp. 427-441, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
DNA multiplication, DNA polymerase, DNA representation of binary numbers, strand extension, DNA hybridization |
46 | John A. Rose, Akira Suyama |
Physical modeling of biomolecular computers: Models, limitations, and experimental validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nat. Comput. ![In: Nat. Comput. 3(4), pp. 411-426, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
DNA strand design, molecular mechanics, statistical thermodynamics, biomolecular computing, kinetics, DNA-based computing |
46 | Bernard Yurke, Allen P. Mills Jr. |
Using DNA to Power Nanostructures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Genet. Program. Evolvable Mach. ![In: Genet. Program. Evolvable Mach. 4(2), pp. 111-122, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
molecular motors, DNA nanostructures, toeholds, strand exchange, reaction kinetics |
42 | Petar Radojkovic, Vladimir Cakarevic, Javier Verdú, Alex Pajuelo, Francisco J. Cazorla, Mario Nemirovsky, Mateo Valero |
Thread to strand binding of parallel network applications in massive multi-threaded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2010, Bangalore, India, January 9-14, 2010, pp. 191-202, 2010, ACM, 978-1-60558-877-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
ultrasparc t2, simultaneous multithreading, process scheduling, cmt |
42 | Georg Seelig, David Soloveichik |
Time-Complexity of Multilayered DNA Strand Displacement Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DNA ![In: DNA Computing and Molecular Programming, 15th International Conference, DNA 15, Fayetteville, AR, USA, June 8-11, 2009, Revised Selected Papers, pp. 144-153, 2009, Springer, 978-3-642-10603-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
42 | Robin Sharp, Michael R. Hansen |
Timed Traces and Strand Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSR ![In: Computer Science - Theory and Applications, Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings, pp. 373-386, 2007, Springer, 978-3-540-74509-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
verification, real-time, Security protocols, interval logic |
42 | Yongjian Li, Jun Pang 0001 |
Extending the Strand Space Method to Verify Kerberos V. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDCAT ![In: Eighth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2007), 3-6 December 2007, Adelaide, Australia, pp. 437-444, 2007, IEEE Computer Society, 0-7695-3049-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
42 | Zeeshan Furqan, Shahabuddin Muhammad, Ratan K. Guha |
Formal Verification of 802.11i using Strand Space Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICN/ICONS/MCL ![In: Fifth International Conference on Networking and the International Conference on Systems (ICN / ICONS / MCL 2006), 23-29 April 2006, Mauritius, pp. 140, 2006, IEEE Computer Society, 0-7695-2552-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
42 | Yongjian Li |
The Inductive Approach to Strand Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings, pp. 547-552, 2005, Springer, 3-540-29189-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
42 | Joshua D. Guttman, F. Javier Thayer, Jay A. Carlson, Jonathan C. Herzog, John D. Ramsdell, Brian T. Sniffen |
Trust Management in Strand Spaces: A Rely-Guarantee Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, pp. 325-339, 2004, Springer, 3-540-21313-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
42 | James Heather |
Strand Spaces and Rank Functions: More than Distant Cousins. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: 15th IEEE Computer Security Foundations Workshop (CSFW-15 2002), 24-26 June 2002, Cape Breton, Nova Scotia, Canada, pp. 104-, 2002, IEEE Computer Society, 0-7695-1689-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
42 | David G. Herr |
On a Statistical Model of Strand and Westwater for the Numerical Solution of a Fredholm Integral Equation of the First Kind. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 21(1), pp. 1-5, 1974. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
39 | Wenqi Liu, Jianhua Yang, Zhixin Li |
Fairness Analysis of Electronic Commerce Protocol Based on Strand Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IIH-MSP ![In: Fifth International Conference on Intelligent Information Hiding and Multimedia Signal Processing (IIH-MSP 2009), Kyoto, Japan, 12-14 September, 2009, Proceedings, pp. 714-717, 2009, IEEE Computer Society, 978-1-4244-4717-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
e-commece protocol, fairness, formal analysis, strand space |
37 | Matteo Cavaliere, Natasa Jonoska, Peter Leupold |
DNA splicing: computing by observing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nat. Comput. ![In: Nat. Comput. 8(1), pp. 157-170, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Splicing, Observer, Formal languages, DNA computing |
37 | Dan Martin, Mohamad A. Eid, Abdulmotaleb El-Saddik |
A Haptic Enabled DNA Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: 9th International Symposium on Parallel Architectures, Algorithms, and Networks, ISPAN 2008, 7-9 May 2008, Sydney, NSW, Australia, pp. 210-215, 2008, IEEE Computer Society, 978-0-7695-3125-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Haptics, Distributed Virtual Environments, DNA |
37 | Aili Han, Daming Zhu |
A New DNA-Based Approach to Solve the Maximum Weight Clique Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (3) ![In: Computational Intelligence and Bioinformatics, International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006. Proceedings, Part III, pp. 320-327, 2006, Springer, 3-540-37277-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
37 | Aili Han |
DNA Computing Model for the 0/1 Knapsack Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HIS ![In: 6th International Conference on Hybrid Intelligent Systems (HIS 2006), 13-15 December 2006, Auckland, New Zealand, pp. 18, 2006, IEEE Computer Society, 0-7695-2662-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
37 | Iliano Cervesato, Nancy A. Durgin, John C. Mitchell, Patrick Lincoln, Andre Scedrov |
Relating Strands and Multiset Rewriting for Security Protocol Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: Proceedings of the 13th IEEE Computer Security Foundations Workshop, CSFW '00, Cambridge, England, UK, July 3-5, 2000, pp. 35-51, 2000, IEEE Computer Society, 0-7695-0671-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
37 | Alfred P. Maneki |
Honest Functions and their Application to the Analysis of Cryptographic Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: Proceedings of the 12th IEEE Computer Security Foundations Workshop, CSFW 1999, Mordano, Italy, June 28-30, 1999, pp. 83-89, 1999, IEEE Computer Society, 0-7695-0201-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
37 | Kurt Siegl |
Parallelizing Algorithms for Symbolic Computation using ||MAPLE||. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the Fourth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), San Diego, California, USA, May 19-22, 1993, pp. 179-186, 1993, ACM, 0-89791-589-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
logic programming, Maple, computer algebra systems |
36 | David Porubsky, Ashley D. Sanders, Aaron Taudt, Maria Colomé-Tatché, Peter M. Lansdorp, Victor Guryev |
breakpointR: an R/Bioconductor package to localize strand state changes in Strand-seq data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 36(4), pp. 1260-1261, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
36 | Thu-Hien To, Stephen M. Pederson |
strandCheckR: An R package for quantifying and removing double strand sequences for strand-specific RNA-seq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Open Source Softw. ![In: J. Open Source Softw. 4(34), pp. 1145, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
36 | Ngoc-Loi Dang, Thanh-Canh Huynh, Jeong-Tae Kim |
Local Strand-Breakage Detection in Multi-Strand Anchorage System Using an Impedance-Based Stress Monitoring Method - Feasibility Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 19(5), pp. 1054, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
36 | Yuanpei Chen, Fanming Meng, Xiansheng Gong |
Parametric modeling and comparative finite element analysis of spiral triangular strand and simple straight strand. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Eng. Softw. ![In: Adv. Eng. Softw. 90, pp. 63-75, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
36 | Hao Wu, Hongzhu Qu, Ning Wan, Zhang Zhang 0002, Songnian Hu, Jun Yu 0004 |
Strand-biased Gene Distribution in Bacteria Is Related to both Horizontal Gene Transfer and Strand-biased Nucleotide Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Genom. Proteom. Bioinform. ![In: Genom. Proteom. Bioinform. 10(4), pp. 186-196, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
36 | Hervé Seligmann |
Mitochondrial tRNAs as light strand replication origins: Similarity between anticodon loops and the loop of the light strand replication origin predicts initiation of DNA replication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biosyst. ![In: Biosyst. 99(2), pp. 85-93, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
36 | Matthew G. Brin |
The Algebra of Strand Splitting Ii: a Presentation for the Braid Group on One Strand. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 16(1), pp. 203-219, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Rukmini Kolluri, Ted Albert Torrey, Alan J. Kinniburgh |
A CT promoter element binding protein: definition of a double-strand and a novel single-strand DNA binding motif. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nucleic Acids Res. ![In: Nucleic Acids Res. 20(1), pp. 111-116, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
35 | Jarle Strand, Torfinn Taxt |
Two-dimensional phase unwrapping using robust derivative estimation and adaptive integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 11(10), pp. 1192-1200, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
34 | James Heather, Steve A. Schneider |
To infinity and beyond or, avoiding the infinite in security protocol analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 346-353, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
model checking, security protocols, strand spaces |
34 | Yafen Li, Wuu Yang, Ching-Wei Huang |
Preventing type flaw attacks on security protocols with a simplified tagging scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISICT ![In: Proceedings of the Intenational Symposium on Information and Communication Technologies, Las Vegas, Nevada, USA, June 16-18, 2004, pp. 244-249, 2004, Trinity College Dublin, 1-59593-170-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
type flaw, network security, tagging, security protocol, strand space |
34 | Sreekanth Malladi, Jim Alves-Foss |
What are Multi-Protocol Guessing Attacks and How to Prevent Them. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 11th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2002), 10-12 June 2002, Pittsburgh, PA, USA, pp. 77-82, 2002, IEEE Computer Society, 0-7695-1748-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Multi-protocol guessing attacks, weak secrets, mixed strand spaces, EKE |
34 | George K. Efthivoulidis, Nikos Vlassis, Panayotis Tsanakas, George K. Papakonstantinou |
An experiment for truly parallel logic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 16(2), pp. 169-184, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
STRAND language, natural language processing, Parallel logic programming |
30 | Jennifer Blain Christen, Brian Iglehart, Philippe O. Pouliquen |
Ultra-high ratio dilution microfluidic system for single strand DNA isolation. ![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. 1822-1825, 2008, IEEE, 978-1-4244-1683-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Zhuo Song, Ning Zhang 0005, Zhuo Yang, Tao Zhang 0062 |
Prediction of Helix, Strand Segments from Primary Protein Sequences by a Set of Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (2) ![In: Advances in Neural Networks - ISNN 2007, 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part II, pp. 1248-1253, 2007, Springer, 978-3-540-72392-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Aybek Mukhamedov, Steve Kremer, Eike Ritter |
Analysis of a Multi-party Fair Exchange Protocol and Formal Proof of Correctness in the Strand Space Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Financial Cryptography ![In: Financial Cryptography and Data Security, 9th International Conference, FC 2005, Roseau, The Commonwealth of Dominica, February 28 - March 3, 2005, Revised Papers, pp. 255-269, 2005, Springer, 3-540-26656-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Jonathan C. Herzog |
The Diffie-Hellman Key-Agreement Scheme in the Strand-Space Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: 16th IEEE Computer Security Foundations Workshop (CSFW-16 2003), 30 June - 2 July 2003, Pacific Grove, CA, USA, pp. 234-247, 2003, IEEE Computer Society, 0-7695-1927-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Atsushi Kameda, Masahito Yamamoto, Hiroki Uejima, Masami Hagiya, Kensaku Sakamoto, Azuma Ohuchi |
Conformational Addressing Using the Hairpin Structure of Single-Strand DNA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DNA ![In: DNA Computing, 9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003, revised Papers, pp. 219-223, 2003, Springer, 3-540-20930-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
30 | F. Javier Thayer, Jonathan C. Herzog, Joshua D. Guttman |
Mixed Strand Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: Proceedings of the 12th IEEE Computer Security Foundations Workshop, CSFW 1999, Mordano, Italy, June 28-30, 1999, pp. 72-82, 1999, IEEE Computer Society, 0-7695-0201-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Rolf Backofen, Dekel Tsur, Shay Zakov, Michal Ziv-Ukelson |
Sparse RNA Folding: Time and Space Efficient Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPM ![In: Combinatorial Pattern Matching, 20th Annual Symposium, CPM 2009, Lille, France, June 22-24, 2009, Proceedings, pp. 249-262, 2009, Springer, 978-3-642-02440-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Joshua D. Guttman |
Cryptographic Protocol Composition via the Authentication Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 303-317, 2009, Springer, 978-3-642-00595-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Ralph Elliott, John R. W. Glauert, Richard Kennaway, Ian Marshall, Éva Sáfár |
Linguistic modelling and language-processing technologies for Avatar-based sign language presentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Univers. Access Inf. Soc. ![In: Univers. Access Inf. Soc. 6(4), pp. 375-391, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | John H. Reif, Urmi Majumder |
Isothermal Reactivating Whiplash PCR for Locally Programmable Molecular Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DNA ![In: DNA Computing, 14th International Meeting on DNA Computing, DNA 14, Prague, Czech Republic, June 2-9, 2008. Revised Selected Papers, pp. 41-56, 2008, Springer, 978-3-642-03075-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | John A. Rose, Ken Komiya, Satsuki Yaegashi, Masami Hagiya |
Displacement Whiplash PCR: Optimized Architecture and Experimental Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DNA ![In: DNA Computing, 12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers, pp. 393-403, 2006, Springer, 3-540-49024-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Aili Han, Daming Zhu |
A New DNA Encoding Method for Traveling Salesman Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (3) ![In: Computational Intelligence and Bioinformatics, International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006. Proceedings, Part III, pp. 328-335, 2006, Springer, 3-540-37277-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Sunil Hadap |
Oriented strands: dynamics of stiff multi-body system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Computer Animation ![In: Proceedings of the 2006 ACM SIGGRAPH/Eurographics Symposium on Computer Animation, SCA 2006, Vienna, Austria, September 2-4, 2006, pp. 91-100, 2006, Eurographics Association, 3-905673-34-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Ho-Lin Chen, Qi Cheng 0001, Ashish Goel, Ming-Deh A. Huang, Pablo Moisset de Espanés |
Invadable self-assembly: combining robustness with efficiency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2004, New Orleans, Louisiana, USA, January 11-14, 2004, pp. 890-899, 2004, SIAM, 0-89871-558-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
24 | Matthew Menke, Eben Scanlon, Jonathan King, Bonnie Berger, Lenore Cowen |
Wrap-and-pack: a new paradigm for beta structural motif recognition with application to recognizing beta trefoils. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RECOMB ![In: Proceedings of the Eighth Annual International Conference on Computational Molecular Biology, 2004, San Diego, California, USA, March 27-31, 2004, pp. 298-307, 2004, ACM, 1-58113-755-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
beta structures, beta trefoils, motif recognition, rotamer libraries, threading, protein structure prediction |
24 | John H. Reif, Thomas H. LaBean, Sudheer Sahu, Hao Yan, Peng Yin 0003 |
Design, Simulation, and Experimental Demonstration of Self-assembled DNA Nanostructures and Motors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UPP ![In: Unconventional Programming Paradigms, International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers, pp. 173-187, 2004, Springer, 3-540-27884-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Pawel Mackiewicz, Malgorzata Dudkiewicz, Maria Kowalczuk, Dorota Mackiewicz, Joanna Banaszak, Natalia Polak, Kamila Smolarczyk, Aleksandra Nowicka, Miroslaw R. Dudek, Stanislaw Cebrat |
Differential Gene Survival under Asymmetric Directional Mutational Pressure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science ![In: Computational Science - ICCS 2004, 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part IV, pp. 687-693, 2004, Springer, 3-540-22129-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | John H. Reif |
The design of autonomous DNA nano-mechanical devices: Walking and rolling DNA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nat. Comput. ![In: Nat. Comput. 2(4), pp. 439-461, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
molecular, motor nanomechanical device, nanostructure, DNA |
24 | John H. Reif |
The Design of Autonomous DNA Nanomechanical Devices: Walking and Rolling DNA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DNA ![In: DNA Computing, 8th International Workshop on DNA Based Computers, DNA8, Sapporo, Japan, June 10-13, 2002, Revised Papers, pp. 22-37, 2002, Springer, 3-540-00531-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Perdita Stevens, Jennifer Tenzer |
Games for UML Software Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures, pp. 467-486, 2002, Springer, 3-540-20303-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Federico Crazzolara, Glynn Winskel |
Events in security protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: CCS 2001, Proceedings of the 8th ACM Conference on Computer and Communications Security, Philadelphia, Pennsylvania, USA, November 6-8, 2001., pp. 96-105, 2001, ACM, 1-58113-385-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Phil Bradley, Lenore Cowen, Matthew Menke, Jonathan King, Bonnie Berger |
Predicting the beta-helix fold from protein sequence data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RECOMB ![In: Proceedings of the Fifth Annual International Conference on Computational Biology, RECOMB 2001, Montréal, Québec, Canada, April 22-25, 2001, pp. 59-67, 2001, ACM, 1-58113-353-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Masayuki Yamamoto, Yusuke Hiroto, Taku Motoba |
Another Realization of Aqueous Computing with Peptide Nucleic Acid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DNA ![In: DNA Computing, 7th International Workshop on DNA-Based Computers, DNA7, Tampa, Florida, USA, June 10-13, 2001, Revised Papers, pp. 213-222, 2001, Springer, 3-540-43775-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | John H. Reif, Thomas H. LaBean, Michael Pirrung, Vipul S. Rana, Bo Guo, Carl Kingsford, Gene S. Wickham |
Experimental Construction of Very Large Scale DNA Databases with Associative Search Capability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DNA ![In: DNA Computing, 7th International Workshop on DNA-Based Computers, DNA7, Tampa, Florida, USA, June 10-13, 2001, Revised Papers, pp. 231-247, 2001, Springer, 3-540-43775-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Margit Biemans, Herma Van Kranenburg, Marc M. Lankhorst |
User Evaluations to Guide the Design of an Extended Personal Service Environment for Mobile Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: 5th International Symposium on Wearable Computers (ISWC 2001), 8-9 October 2001, Zurich, Switzerland, pp. 94-, 2001, IEEE Computer Society, 0-7695-1318-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Personal Service Environment, User Profile, Mobile Services, User Evaluations, Personalisation, Tailoring |
24 | Ian T. Foster, Carl Kesselman |
Language Constructs and Runtime Systems for Compositional Parallel Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONPAR ![In: Parallel Processing: CONPAR 94 - VAPP VI, Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994, Proceedings, pp. 5-16, 1994, Springer, 3-540-58430-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
24 | Rowland R. Johnson |
Modelling Summary Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1981 ACM SIGMOD International Conference on Management of Data, Ann Arbor, Michigan, USA, April 29 - May 1, 1981, pp. 93-97, 1981, ACM Press, 978-0-89791-040-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
23 | Swagata Kundu, Subhashis Banerjee, Eva Breznik, Dimitrios Toumpanakis, Johan Wikström, Robin Strand, Ashis Kumar Dhara |
ASE-Net for Segmentation of Post-Operative Glioblastoma and Patient-Specific Fine-Tuning for Segmentation Refinement of Follow-Up MRI Scans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SN Comput. Sci. ![In: SN Comput. Sci. 5(1), pp. 106, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
23 | Christian Creß, Walter Zimmer, Nils Purschke, Bach Ngoc Doan, Venkatnarayanan Lakshminarasimhan, Leah Strand, Alois C. Knoll |
TUMTraf Event: Calibration and Fusion Resulting in a Dataset for Roadside Event-Based and RGB Cameras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.08474, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
23 | Rakesh John Amala Arokia Nathan, Sigrid Strand, Dmitriy Shutin, Oliver Bimber |
Reciprocal Visibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.06991, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
23 | Benjamin Alt, Florian Stöckl, Silvan Müller, Christopher Braun, Julian Raible, Saad Alhasan, Oliver Rettig, Lukas Ringle, Darko Katic, Rainer Jäkel, Michael Beetz, Marcus Strand, Marco F. Huber |
RoboGrind: Intuitive and Interactive Surface Treatment with Industrial Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.16542, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
23 | Christoph Busch 0001, Farzin Deravi, Dinusha Frings, Els Kindt, Ralph Lessmann, Alexander Nouak, Jean Salomon, Mateus Achcar, Fernando Alonso-Fernandez, Daniel Bachenheimer, David Bethell, Josef Bigün, Matthew Brawley, Guido Brockmann, Enrique Cabello, Patrizio Campisi, Aleksandrs Cepilovs, Miles Clee, Mickey Cohen, Christian Croll, Andrzej Czyzewski, Bernadette Dorizzi, Martin Drahanský, Pawel Drozdowski, Catherine Fankhauser, Julian Fiérrez, Marta Gomez-Barrero, Georg Hasse, Richard M. Guest, Ekaterina Komleva, Sébastien Marcel, Gian Luca Marcialis, Laurent Mercier, Emilio Mordini, Stefance Mouille, Pavlina Navratilova, Javier Ortega-Garcia, Dijana Petrovska, Norman Poh, Istvan Racz, Ramachandra Raghavendra, Christian Rathgeb, Christophe Remillet, Uwe Seidel, Luuk J. Spreeuwers, Brage Strand, Sirra Toivonen, Andreas Uhl |
Facilitating free travel in the Schengen area - A position paper by the European Association for Biometrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Biom. ![In: IET Biom. 12(2), pp. 112-128, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Nouman Ahmad, Robin Strand, Björn Sparresäter, Sambit Tarai, Elin Lundström, Göran Bergström, Håkan Ahlström, Joel Kullberg |
Automatic segmentation of large-scale CT image datasets for detailed body composition analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 24(1), pp. 346, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Uriel Cohen Priva, Emily Strand |
Schwa's duration and acoustic position in American English. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Phonetics ![In: J. Phonetics 96, pp. 101198, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Jason Kaye, Hugo U. R. Strand, Denis Golez |
Decomposing imaginary time Feynman diagrams using separable basis functions: Anderson impurity model strong coupling expansion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.08566, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Hong Hui Yeoh, Andrea Liew, Raphael C.-W. Phan, Fredrik Strand, Kartini Rahmat, Tuong Linh Nguyen, John L. Hopper, Maxine Tan |
RADIFUSION: A multi-radiomics deep learning based breast cancer risk prediction model using sequential mammographic images with image attention and bilateral asymmetry refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.00257, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Eva Breznik, Hoel Kervadec, Filip Malmberg, Joel Kullberg, Håkan Ahlström, Marleen de Bruijne, Robin Strand |
Leveraging point annotations in segmentation learning with boundary loss. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.03537, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Chelsea Huynh, Anna Ma, Michael Strand |
Block-missing data in linear systems: An unbiased stochastic gradient descent approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.10147, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Andreas Strand, Patrick Gorton, Martin Asprusten, Karsten Brathen |
Learning Environment for the Air Domain (LEAD). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.14423, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Ruben Dobler Strand, Lars Michael Kristensen, Laure Petrucci |
Development and Verification of a Microservice Architecture for a Fire Risk Notification System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Petri Nets Other Model. Concurr. ![In: Transactions on Petri Nets and Other Models of Concurrency XVII, pp. 27-53, 2023, Springer, 978-3-662-68190-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Tor Sporsem, Audun Fauchald Strand, Geir Kjetil Hanssen |
Unscheduled Meetings in Hybrid Work. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 40(2), pp. 42-49, March - April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Håkon Strand Bølviken, Federico Veronesi, Eigil Samset |
Simultaneous segmentation of all four chambers in cardiac ultrasound images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. methods Biomech. Biomed. Eng. Imaging Vis. ![In: Comput. methods Biomech. Biomed. Eng. Imaging Vis. 11(3), pp. 425-432, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Anna M. Rose, Jacob M. Rose, Kara M. Obermire, Carolyn Strand Norman, Nicole Frydenlund |
How can firms repair their reputations when they discover information technology control material weaknesses? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Account. Inf. Syst. ![In: Int. J. Account. Inf. Syst. 48, pp. 100595, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Jason Kaye, Hugo U. R. Strand |
A fast time domain solver for the equilibrium Dyson equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 49(4), pp. 63, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Jonathan Karlsson, Fredrik Strand, Josef Bigün, Fernando Alonso-Fernandez, Kevin Hernandez-Diaz, Felix Nilsson |
Visual Detection of Personal Protective Equipment and Safety Gear on Industry Workers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPRAM ![In: Proceedings of the 12th International Conference on Pattern Recognition Applications and Methods, ICPRAM 2023, Lisbon, Portugal, February 22-24, 2023., pp. 395-402, 2023, SCITEPRESS, 978-989-758-626-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Dimosthenis Masouros, Dimitrios Soudris, Georgios Gardikis, Victoria Katsarou, Maria Christopoulou, George Xilouris, Hugo Ramón, Antonio Pastor 0001, Fabrizio Scaglione, Cristian Petrollini, António Pinto, João P. Vilela, Antonia Karamatskou, Nikolaos Papadakis, Anna Angelogianni, Thanassis Giannetsos, Luis Javier García-Villalba, Jesús A. Alonso-López, Martin Strand 0001, Gudmund Grov, Anastasios N. Bikos, Kostas Ramantas, Ricardo Santos 0001, Fábio Silva, Nikolaos Tsampieris |
Towards Privacy-First Security Enablers for 6G Networks: The PRIVATEER Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAMOS ![In: Embedded Computer Systems: Architectures, Modeling, and Simulation - 23rd International Conference, SAMOS 2023, Samos, Greece, July 2-6, 2023, Proceedings, pp. 379-391, 2023, Springer, 978-3-031-46076-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Subhashis Banerjee, Dimitrios Toumpanakis, Ashis Kumar Dhara, Johan Wikström, Robin Strand |
Deep curriculum learning for follow-up MRI registration in glioblastoma. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image Processing ![In: Medical Imaging 2023: Image Processing, San Diego, CA, USA, February 19-23, 2023, 2023, SPIE, 9781510660335. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Subhashis Banerjee, Robin Strand |
Lifelong learning with dynamic convolutions for glioma segmentation from multi-modal MRI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image Processing ![In: Medical Imaging 2023: Image Processing, San Diego, CA, USA, February 19-23, 2023, 2023, SPIE, 9781510660335. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 908 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|