Search results for "NaNs"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
40	Nans Laroche, Sébastien Bourguignon, Jérôme Idier, Ewen Carcreff, Aroune Duclos	Fast Non-Stationary Deconvolution of Ultrasonic Beamformed Images for Nondestructive Testing.	IEEE Trans. Computational Imaging	2021	DBLP DOI BibTeX RDF
40	Alexia Chabot, Nans Laroche, Ewen Carcreff, Matthieu Rauch, Jean-Yves Hascoët	Towards defect monitoring for metallic additive manufacturing components using phased array ultrasonic testing.	J. Intell. Manuf.	2020	DBLP DOI BibTeX RDF
40	Christianne Izumigawa, Crisrael Lucero, Lena Nans, Kurt Frederiksen, Oliver Hui, Iovanni Enriquez, Seana Rothman, Rebecca Iden	Building Human-Autonomy Teaming Aids for Real-Time Strategy Games.	HCI (31)	2020	DBLP DOI BibTeX RDF
40	Crisrael Lucero, Christianne Izumigawa, Kurt Frederiksen, Lena Nans, Rebecca Iden, Douglas S. Lange	Human-Autonomy Teaming and Explainable AI Capabilities in RTS Games.	HCI (7)	2020	DBLP DOI BibTeX RDF
40	Nans Lefebvre	Convergence law for hyper-graphs with prescribed degree sequences.	CoRR	2015	DBLP BibTeX RDF
40	Nans Lefebvre	The First-Order Contiguity of Sparse Random Graphs with Prescribed Degrees.	TAMC	2015	DBLP DOI BibTeX RDF
40	Christos A. Kapoutsis, Nans Lefebvre	Analogs of Fagin's Theorem for Small Nondeterministic Finite Automata.	Developments in Language Theory	2012	DBLP DOI BibTeX RDF
40	Thierry Lombardot, Renzo Kottmann, Gregory Giuliani, Andrea de Bono, Nans Addor, Frank Oliver Glöckner	MetaLook: a 3D visualisation software for marine ecological genomics.	BMC Bioinform.	2007	DBLP DOI BibTeX RDF
36	Xiaocheng Wang, Qiaoni Han, Yuan Yin, Haogang Ma	Energy-efficient data transmission with proportional rate fairness for NANs of smart grid communication network.	EURASIP J. Adv. Signal Process.	2023	DBLP DOI BibTeX RDF
36	Shravan Garlapati	Blockchain for IOT-based NANs and HANs in Smart Grid.	CoRR	2020	DBLP BibTeX RDF
36	Oh-Chul Kwon, Wonjae Jang, Giyeon Kim, Chang-Gun Lee	Accurate Thermal Prediction for NANS (N-App N-Screen) Services on a Smart Phone.	SIES	2018	DBLP DOI BibTeX RDF
36	Bashar Ahmed Alohali, Kashif Kifayat, Qi Shi 0001, William Hurst	Group Authentication Scheme for Neighbourhood Area Networks (NANs) in Smart Grids.	J. Sens. Actuator Networks	2016	DBLP DOI BibTeX RDF
36	Richard J. Fateman	Symbolic execution and NaNs: diagnostic tools for tracking scientific computation.	SIGSAM Bull.	1999	DBLP DOI BibTeX RDF
36	Evgenija D. Popova	Interval operations involving NaNs.	Reliab. Comput.	1996	DBLP DOI BibTeX RDF
36	Mark G. Arnold, Thomas A. Bailey, John R. Cowles, Mark D. Winkel	Applying Features of IEEE 754 to Sign/Logarithm Arithmetic.	IEEE Trans. Computers	1992	DBLP DOI BibTeX RDF	sign/logarithm arithmetic, standard floating point arithmetic, multilayer sign/logarithm format, denormalized values, NaNs, logarithmic denormalized arithmetic algorithms, standards, digital arithmetic, number theory, zeros, 32 bit, infinities, IEEE 754
30	Michael Lerch, German Tischler, Jürgen Wolff von Gudenberg, Werner Hofschuster, Walter Krämer	FILIB++, a fast interval library supporting containment computations.	ACM Trans. Math. Softw.	2006	DBLP DOI BibTeX RDF	C++ class library, containment computations, containment sets, exception free computations, filib++, guaranteed numerical results, traits class, validated numerics, validation, templates, interval arithmetic, interval computations
30	William Kahan, Dan Zuras	An Open Question to Developers of Numerical Software.	Computer	2005	DBLP DOI BibTeX RDF	sNaNs, computing milieux, standards, numerical software