|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 8 keywords
|
|
|
Results
Found 32 publication records. Showing 32 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
81 | Jeannette M. Wing |
Using Larch to Specify Avalon/C++ Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(9), pp. 1076-1088, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Avalon/C++ objects, subatomic, nonfunctional properties, complex properties, formal specification, formal specification, atomic, recoverable, Larch |
60 | Luca Roversi |
Subatomic systems need not be subatomic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1804.08105, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
44 | L. Musa |
FPGAS in high energy physics experiments at CERN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: FPL 2008, International Conference on Field Programmable Logic and Applications, Heidelberg, Germany, 8-10 September 2008, pp. 2, 2008, IEEE, 978-1-4244-1961-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
44 | Jeannette M. Wing |
Specifying Avalon Objects in Larch. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.2 ![In: TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages (CCIPL), pp. 61-80, 1989, Springer, 3-540-50940-2. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
30 | Jahanzeb Akhtar, Imran Ghous, Muhammad Jawad 0001, Zhaoxia Duan, Ikramullah Khosa, Saim Ahmed |
A computationally efficient unscented Kalman smoother for ameliorated tracking of subatomic particles in high energy physics experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Phys. Commun. ![In: Comput. Phys. Commun. 283, pp. 108585, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
30 | Kai Tanter |
Subatomic Inferences: an inferentialist Semantics for Atomics, Predicates, and Names. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Symb. Log. ![In: Rev. Symb. Log. 16(3), pp. 672-699, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
30 | Adam Shiveley, Nikolaos G. Bourbakis |
Nano- Particles Detection in Subatomic Texture Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IISA ![In: 14th International Conference on Information, Intelligence, Systems & Applications, IISA 2023, Volos, Greece, July 10-12, 2023, pp. 1-8, 2023, IEEE, 979-8-3503-1806-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
30 | Chris Barrett, Alessio Guglielmi |
A Subatomic Proof System for Decision Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 23(4), pp. 26:1-26:25, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
30 | Jens Uwe Loers, Vanessa Vermeirssen |
SUBATOMIC: a SUbgraph BAsed mulTi-OMIcs clustering framework to analyze integrated multi-edge networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 23(1), pp. 363, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
30 | Chris Barrett, Alessio Guglielmi |
A Subatomic Proof System for Decision Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2105.01382, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
30 | Bartosz Wieckowski |
Subatomic Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 30(1), pp. 207-262, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
30 | Bartosz Wieckowski |
Intuitionistic multi-agent subatomic natural deduction for belief and knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 31(3), pp. 704-770, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
30 | Zhaoxia Duan, Jahanzeb Akhtar, Imran Ghous, Muhammad Jawad 0001, Ikramullah Khosa, Khurram Ali |
Improving the Tracking of Subatomic Particles Using the Unscented Kalman Filter With Measurement Redundancy in High Energy Physics Experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 7, pp. 61728-61737, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
30 | Andrea Aler Tubella, Alessio Guglielmi |
Subatomic Proof Systems: Splittable Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 19(1), pp. 5:1-5:33, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
30 | Zach Duer, Leo Piilonen, George Glasson |
Belle2VR: A Virtual-Reality Visualization of Subatomic Particle Physics in the Belle II Experiment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Computer Graphics and Applications ![In: IEEE Computer Graphics and Applications 38(3), pp. 33-43, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
30 | Zvonko Fazarinc |
Subatomic kinematics supporting engineering education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Appl. Eng. Educ. ![In: Comput. Appl. Eng. Educ. 26(5), pp. 1089-1101, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
30 | Andrea Aler Tubella, Alessio Guglielmi |
Subatomic Proof Systems: Splittable Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1703.10258, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
30 | Bartosz Wieckowski |
Subatomic Natural Deduction for a Naturalistic First-Order Language with Non-Primitive Identity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 25(2), pp. 215-268, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
30 | Bartosz Wieckowski |
Refinements of subatomic natural deduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 26(5), pp. 1567-1616, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
30 | Bartosz Wieckowski |
Rules for subatomic Derivation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Symb. Log. ![In: Rev. Symb. Log. 4(2), pp. 219-236, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
30 | Alexis Kirke, Eduardo R. Miranda, Antonino Chiaramonte, Anna R. Troisi, John Matthias, Jeff Radtke, Nicholas Fry, Catherine McCabe, Martyn Bull |
Cloud chamber: a performance involving real time two-way interaction between subatomic radioactive particles and violinist. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMC ![In: Proceedings of the 2011 International Computer Music Conference, ICMC 2011, Huddersfield, UK, July 31 - August 5, 2011, 2011, Michigan Publishing. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
30 | Paul A. LaViolette |
The electric charge and magnetisation distribution of the nucleon: evidence of a subatomic Turing wave pattern. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gen. Syst. ![In: Int. J. Gen. Syst. 37(6), pp. 649-676, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Gary Singh |
Digital Visions from the Subatomic Realm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Computer Graphics and Applications ![In: IEEE Computer Graphics and Applications 22(1), pp. 4-5, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Steven O. Kimbrough |
On Electronic Commerce, Subatomic Semantics and Caesar's Stabbing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (4) ![In: 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 7-10 January 1997, Maui, Hawaii, USA, pp. 502-, 1997, IEEE Computer Society, 0-8186-7734-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
22 | Stephen L. Macknik, Susana Martinez-Conde |
Interactive viscosity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UIST ![In: Proceedings of the 22nd Annual ACM Symposium on User Interface Software and Technology, Victoria, BC, Canada, October 4-7, 2009, pp. 1-2, 2009, ACM, 978-1-60558-745-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
the mind, magic, illusions |
22 | Michel Vetterli |
ATLAS Computing: Dealing with Petabytes of Data per Year. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCS ![In: 22nd Annual International Symposium on High Performance Computing Systems and Applications (HPCS 2008), June 9-11, 2008, Québec City, Canada, pp. 84, 2008, IEEE Computer Society, 978-0-7695-3250-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
grid computing, high performance computing |
22 | Manuel Calixto |
Physical Basis of Quantum Computation and Cryptography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWINAC (1) ![In: Bio-inspired Modeling of Cognitive Tasks, Second International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2007, La Manga del Mar Menor, Spain, June 18-21, 2007, Proceedings, Part I, pp. 21-30, 2007, Springer, 978-3-540-73052-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Ridya C. Vidya, H. D. Phaneendra, M. S. Shivakumar |
Quantum Algorithms and Hard Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ICCI ![In: Proceedings of the Firth IEEE International Conference on Cognitive Informatics, ICCI 2006, July 17-19, Beijing, China, pp. 783-787, 2006, IEEE Computer Society, 1-4244-0475-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Wilfred Pinfold |
Awards & video - SC06 video: powerful beyond imagination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings of the ACM/IEEE SC2006 Conference on High Performance Networking and Computing, November 11-17, 2006, Tampa, FL, USA, pp. 239, 2006, ACM Press, 0-7695-2700-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Alexandre Urzhumtsev, Natalia Lunina, Pavel V. Afonine, Vladimir Y. Lunin |
Some Applications of Dummy Point Scatterers for Phasing in Macromolecular X-Ray Crystallography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CompLife ![In: Computational Life Sciences, First International Symposium, CompLife 2005, Konstanz, Germany, September 25-27, 2005, Proceedings, pp. 35-45, 2005, Springer, 3-540-29104-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Keith Marzullo, Michael Ogg, Aleta Ricciardi, Alessandro Amoroso, F. Andrew Calkins, Eric Rothfus |
NILE: wide-area computing for high energy physics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS European Workshop ![In: Proceedings of the 7th ACM SIGOPS European Workshop: Systems Support for Worldwide Applications, 1996, Connemara, Ireland, September 9-11, 1996, pp. 49-54, 1996, ACM. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
22 | Roger Segelken |
A Case History of a Computer Media Event - Introducing a Supercomputer Center. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDOC ![In: Proceedings of the Fourth International Conference on Systems Documentation, SIGDOC 1985, Ithaca, NY, USA, June 18-21, 1985, pp. 146-160, 1985, ACM, 0-89791-186-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #32 of 32 (100 per page; Change: )
|
|