Search results for "subatomic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
81	Jeannette M. Wing	Using Larch to Specify Avalon/C++ Objects.	IEEE Trans. Software Eng.	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.	CoRR	2018	DBLP BibTeX RDF
44	L. Musa	FPGAS in high energy physics experiments at CERN.	FPL	2008	DBLP DOI BibTeX RDF
44	Jeannette M. Wing	Specifying Avalon Objects in Larch.	TAPSOFT, Vol.2	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.	Comput. Phys. Commun.	2023	DBLP DOI BibTeX RDF
30	Kai Tanter	Subatomic Inferences: an inferentialist Semantics for Atomics, Predicates, and Names.	Rev. Symb. Log.	2023	DBLP DOI BibTeX RDF
30	Adam Shiveley, Nikolaos G. Bourbakis	Nano- Particles Detection in Subatomic Texture Images.	IISA	2023	DBLP DOI BibTeX RDF
30	Chris Barrett, Alessio Guglielmi	A Subatomic Proof System for Decision Trees.	ACM Trans. Comput. Log.	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.	BMC Bioinform.	2022	DBLP DOI BibTeX RDF
30	Chris Barrett, Alessio Guglielmi	A Subatomic Proof System for Decision Trees.	CoRR	2021	DBLP BibTeX RDF
30	Bartosz Wieckowski	Subatomic Negation.	J. Log. Lang. Inf.	2021	DBLP DOI BibTeX RDF
30	Bartosz Wieckowski	Intuitionistic multi-agent subatomic natural deduction for belief and knowledge.	J. Log. Comput.	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.	IEEE Access	2019	DBLP DOI BibTeX RDF
30	Andrea Aler Tubella, Alessio Guglielmi	Subatomic Proof Systems: Splittable Systems.	ACM Trans. Comput. Log.	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.	IEEE Computer Graphics and Applications	2018	DBLP DOI BibTeX RDF
30	Zvonko Fazarinc	Subatomic kinematics supporting engineering education.	Comput. Appl. Eng. Educ.	2018	DBLP DOI BibTeX RDF
30	Andrea Aler Tubella, Alessio Guglielmi	Subatomic Proof Systems: Splittable Systems.	CoRR	2017	DBLP BibTeX RDF
30	Bartosz Wieckowski	Subatomic Natural Deduction for a Naturalistic First-Order Language with Non-Primitive Identity.	J. Log. Lang. Inf.	2016	DBLP DOI BibTeX RDF
30	Bartosz Wieckowski	Refinements of subatomic natural deduction.	J. Log. Comput.	2016	DBLP DOI BibTeX RDF
30	Bartosz Wieckowski	Rules for subatomic Derivation.	Rev. Symb. Log.	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.	ICMC	2011	DBLP BibTeX RDF
30	Paul A. LaViolette	The electric charge and magnetisation distribution of the nucleon: evidence of a subatomic Turing wave pattern.	Int. J. Gen. Syst.	2008	DBLP DOI BibTeX RDF
30	Gary Singh	Digital Visions from the Subatomic Realm.	IEEE Computer Graphics and Applications	2002	DBLP DOI BibTeX RDF
30	Steven O. Kimbrough	On Electronic Commerce, Subatomic Semantics and Caesar's Stabbing.	HICSS (4)	1997	DBLP DOI BibTeX RDF
22	Stephen L. Macknik, Susana Martinez-Conde	Interactive viscosity.	UIST	2009	DBLP DOI BibTeX RDF	the mind, magic, illusions
22	Michel Vetterli	ATLAS Computing: Dealing with Petabytes of Data per Year.	HPCS	2008	DBLP DOI BibTeX RDF	grid computing, high performance computing
22	Manuel Calixto	Physical Basis of Quantum Computation and Cryptography.	IWINAC (1)	2007	DBLP DOI BibTeX RDF
22	Ridya C. Vidya, H. D. Phaneendra, M. S. Shivakumar	Quantum Algorithms and Hard Problems.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
22	Wilfred Pinfold	Awards & video - SC06 video: powerful beyond imagination.	SC	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.	CompLife	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.	ACM SIGOPS European Workshop	1996	DBLP DOI BibTeX RDF
22	Roger Segelken	A Case History of a Computer Media Event - Introducing a Supercomputer Center.	SIGDOC	1985	DBLP DOI BibTeX RDF