Search results for "EUCLID"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
114	Richard C. Holt, David B. Wortman, James R. Cordy, David R. Crowe	The Euclid Language: a progress report.	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF	Legality assertions, Machine dependencies, Visibility of names, Reliability, Verification, Language, Pascal, Aliasing, Storage allocation, Systems programming, Data encapsulation, Parameterized types, Euclid, EUCLID
96	John Mumma	Ensuring Generality in Euclid's Diagrammatic Arguments.	Diagrams	2008	DBLP DOI BibTeX RDF
90	Panayiotis E. Pintelas, K. P. Ventouris, M. D. Papassimakopoulou	A translator from Small Euclid to Pascal.	ACM SIGPLAN Notices	1989	DBLP DOI BibTeX RDF	Pascal, EUCLID
75	Keith Ford	The Euclid RTP 11.13 Synthetic Environment Development and Exploitation Process (SEDEP).	Virtual Real.	2005	DBLP DOI BibTeX RDF	Euclid RTP 11.13, SEDEP, Process, Synthetic Environments
60	Morris E. Kranc	A Separate Compilation Facility for Pascal.	ACM SIGPLAN Notices	1982	DBLP DOI BibTeX RDF
60	David R. Barach, David H. Taenzer	A Technique for Finding Storage Allocation Errors in C-language Programs.	ACM SIGPLAN Notices	1982	DBLP DOI BibTeX RDF
60	Loïck Lhote, Brigitte Vallée	Gaussian Laws for the Main Parameters of the Euclid Algorithms.	Algorithmica	2008	DBLP DOI BibTeX RDF	Euclid’s algorithms, Distributional analysis, Transfer operator, Asymptotic Gaussian laws, Tauberian theorems, Perron’s formula, Dynamical analysis of algorithms, Dynamical systems, Analysis of algorithms, Average-case analysis
60	Mitchell A. Harris, Edward M. Reingold	Line drawing, leap years, and Euclid.	ACM Comput. Surv.	2004	DBLP DOI BibTeX RDF	Bresenham's algorithm, Euclid's algorithm, calendar algorithms, leap years, scan-line conversion, line drawing, continued fractions, greatest common divisor
60	K. Lall, J. William Atwood	A microprogrammed interpreter for concurrent Euclid.	MICRO	1989	DBLP DOI BibTeX RDF	Concurrent Euclid
60	Richard C. Holt, David B. Wortman	A model for implementing Euclid modules and type templates.	SIGPLAN Symposium on Compiler Construction	1979	DBLP DOI BibTeX RDF	EUCLID
51	Jae Hyun Baek, Myung Hoon Sunwoo	New degree computationless modified euclid algorithm and architecture for Reed-Solomon decoder.	IEEE Trans. Very Large Scale Integr. Syst.	2006	DBLP DOI BibTeX RDF
51	Jaehyun Baek, Myung Hoon Sunwoo	Enhanced degree computationless modified Euclid's algorithm for Reed-Solomon decoder.	ISCAS	2006	DBLP DOI BibTeX RDF
51	Loïck Lhote, Brigitte Vallée	Sharp Estimates for the Main Parameters of the Euclid Algorithm.	LATIN	2006	DBLP DOI BibTeX RDF
51	David B. Wortman, Richard C. Holt, James R. Cordy, David R. Crowe, Ian H. Griggs	Euclid: a language for compiling quality software.	AFIPS National Computer Conference	1981	DBLP DOI BibTeX RDF
42	Roland Coghetto	Tarski's Parallel Postulate implies the 5th Postulate of Euclid, the Postulate of Playfair and the original Parallel Postulate of Euclid.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
42	Morgan A. Schmitz	Euclid weak lensing: PSF field estimation. (Estimation du champ de PSF pour l'effet de lentille gravitationnelle faible avec Euclid).		2019	RDF
39	Chien-Hsing Wu 0002, Chien-Ming Wu, Ming-Der Shieh, Yin-Tsung Hwang	High-Speed, Low-Complexity Systolic Designs of Novel Iterative Division Algorithms in GF(2^m).	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF	Stein's algorithm, Euclid's algorithm, Finite field, systolic array, division
39	Raymond T. Boute	The Euclidian Definition of the Functions div and mod.	ACM Trans. Program. Lang. Syst.	1992	DBLP DOI BibTeX RDF	Euclid's theorem, div function, hardware description, integer division, mod function, predefined functions, remainder, interpolation, sampling, residue, decimation, number representation
39	Alexander D. Stoyenko, V. Carl Hamacher, Richard C. Holt	Analyzing Hard-Real-Time Programs For Guaranteed Schedulability.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	language-independent schedulability analysis, hardware-dependent information, table-driven fashion, worst-case time bounds, prototype schedulability analyzer, partially language-dependent front-end, real-time Euclid, schedulability analysis provisions, language-dependent back-end, realistic real-time programs, multiple-microprocessor system, scheduling, real-time systems, program verification, systems analysis, high level languages, program performance, real-time language
36	Christina Volioti, Christos Orovas, Theodosios Sapounidis, Georgios P. Trachanas, Euclid Keramopoulos	Augmented Reality in Primary Education: An Active Learning Approach in Mathematics.	Comput.	2023	DBLP DOI BibTeX RDF
36	Georgios Lampropoulos 0001, Euclid Keramopoulos, Konstantinos I. Diamantaras	Semantically Enriched Augmented Reality Applications: A Proposed System Architecture and a Case Study.	Int. J. Recent Contributions Eng. Sci. IT	2022	DBLP BibTeX RDF
36	Georgios Lampropoulos 0001, Euclid Keramopoulos	Virtual Reality in Education: A Comparative Social Media Data and Sentiment Analysis Study.	Int. J. Recent Contributions Eng. Sci. IT	2022	DBLP DOI BibTeX RDF
36	Christina Volioti, Euclid Keramopoulos, Theodosios Sapounidis, Konstantinos Melisidis, Maria Zafeiropoulou, Charalampos Sotiriou, Vladimiros Spiridis	Using Augmented Reality in K-12 Education: An Indicative Platform for Teaching Physics.	Inf.	2022	DBLP DOI BibTeX RDF
36	Maria Zafeiropoulou, Christina Volioti, Euclid Keramopoulos, Theodosios Sapounidis	Developing Physics Experiments Using Augmented Reality Game-Based Learning Approach: A Pilot Study in Primary School.	Comput.	2021	DBLP DOI BibTeX RDF
36	Georgios Lampropoulos 0001, Euclid Keramopoulos, Konstantinos I. Diamantaras	Enhancing the functionality of augmented reality using deep learning, semantic web and knowledge graphs: A review.	Vis. Informatics	2020	DBLP DOI BibTeX RDF
36	Prabindh Sundareson, Euclid Aug	Idly-Dosa-Vada Dataset.		2020	DOI RDF
36	Charalampos C. Charalampidis, Euclid Keramopoulos	Semantic Web user interfaces - A model and a review.	Data Knowl. Eng.	2018	DBLP DOI BibTeX RDF
36	Konstantinos Stavridis, Georgia Koloniari, Euclid Keramopoulos	Deriving Word Embeddings Using Multilingual Transfer Learning for Opinion Mining.	SEEDA-CECNSM	2018	DBLP DOI BibTeX RDF
36	Alexander Katsaros, Euclid Keramopoulos, Michail Salampasis	Cultivation Optimization Using Augmented Reality.	HAICTA	2017	DBLP BibTeX RDF
36	Ilias Nektarios Seitanidis, Georgios Charitakis, Euclid Keramopoulos	iGQL: An Intelligent NoSQL Graphical Query Language.	PCI	2016	DBLP DOI BibTeX RDF
36	Aren Memet Erkan, Euclid Keramopoulos	EGQL: a gesture query language.	Panhellenic Conference on Informatics	2015	DBLP DOI BibTeX RDF
36	K. Bekiropoulos, Euclid Keramopoulos, Olga Beza, P. Mouratidis	A list of features that a graphical XML query language should support.	Comput. Syst. Sci. Eng.	2013	DBLP BibTeX RDF
36	Euclid Keramopoulos, Dimitrios Dervos, Ignatios S. Deligiannis, Georgios Evangelidis 0001, Philippos Pouyioutas	HERMES: A Tool for Querying Heterogeneous Data Stores.	Panhellenic Conference on Informatics	2012	DBLP DOI BibTeX RDF
36	K. Bekiropoulos, Euclid Keramopoulos, Olga Beza, P. Mouratidis	A list of features that a graphical xml query language should support.	Comput. Syst. Sci. Eng.	2010	DBLP BibTeX RDF
36	Euclid Keramopoulos, Philippos Pouyioutas, Tasos Ptohos	The GOQL Language and its Formal Specifications.	Int. J. Comput. Sci. Appl.	2008	DBLP BibTeX RDF
36	Euclid Keramopoulos, Philippos Pouyioutas, Tasos Ptohos	Implementation of the GOQL Language.	IV	2004	DBLP DOI BibTeX RDF
36	Euclid Keramopoulos, Tasos Ptohos, Philippos Pouyioutas	The System Architecture of the GOQL Language.	Databases and Applications	2004	DBLP BibTeX RDF
36	Euclid Eberle Moon	Interferometric-spatial-phase imaging for sub-nanometer three-dimensional positioning.		2004	RDF
36	Euclid Keramopoulos	GOQL, a graphical query language for object-oriented database systems.		2004	RDF
36	Euclid Keramopoulos, Philippos Pouyioutas, Tasos Ptohos	A Formal Definition of the Users View (UV) of the Graphical Object Query Language (GOQL).	IV	2002	DBLP DOI BibTeX RDF	Object-Oriented Databases, Formal Definition, Graphical Query Languages
36	Euclid Keramopoulos, Philippos Pouyioutas, Tasos Ptohos	The User's View Level of the GOQL Graphical Query Language.	IV	1999	DBLP DOI BibTeX RDF	grqphical query languages, human computer interaction, query languages, data model, Object-Oriented Databases, object model, graphical interfaces
36	Jaehyun Baek, Myung Hoon Sunwoo	Simplified Degree Computationless Modified Euclid's Algorithm and its Architecture.	ISCAS	2007	DBLP DOI BibTeX RDF
36	Nathaniel Miller	Extended Abstract of Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry.	Diagrams	2006	DBLP DOI BibTeX RDF
36	Jang Woong Park, Jae Hyun Baek, Myung Hoon Sunwoo	Enhanced Degree Computationless Modified Euclid's Algorithm.	APCCAS	2006	DBLP DOI BibTeX RDF
36	Sidi Mohamed Sedjelmaci	On a parallel Lehmer-Euclid GCD algorithm.	ISSAC	2001	DBLP DOI BibTeX RDF
36	Hyunman Chang, Myung Hoon Sunwoo	A low complexity Reed-Solomon architecture using the Euclid's algorithm.	ISCAS (1)	1999	DBLP DOI BibTeX RDF
36	Richard C. Holt	A Short Introduction to Concurrent Euclid.	ACM SIGPLAN Notices	1982	DBLP DOI BibTeX RDF
30	S. Barry Cooper	Introduction: If CiE Did Not Exist, It Would Be Necessary to Invent It.	CiE	2005	DBLP DOI BibTeX RDF
30	Philippe Cousin	Interoperabolity Events Complementing Conformance Testing Activities.	TestCom	2003	DBLP DOI BibTeX RDF
24	Nathan Linial, Avner Magen, Assaf Naor	Girth and euclidean distortion.	STOC	2002	DBLP DOI BibTeX RDF	EUCLID
24	M. Anwarul Hasan	Double-Basis Multiplicative Inversion Over GF(2m).	IEEE Trans. Computers	1998	DBLP DOI BibTeX RDF	Euclid's algorithm, Galois (or finite) fields, multiplicative inverses, canonical (or polynomial) basis and triangular basis, Computer arithmetic
24	Hannes Brunner, Andreas Curiger, Max Hofstetter	On Computing Multiplicative Inverses in GF(2^m).	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	computing multiplicative inverses, modular standard basis inversion, Euclid's algorithm, area requirement, AT-complexity, digital arithmetic, polynomials, computation time, Galois fields, greatest common divisor, asymptotic complexity
21	Yuan Yuan	Enhanced EDAS technique for colleges business English teaching quality evaluation based on Euclid distance and cosine similarity measure.	J. Intell. Fuzzy Syst.	2024	DBLP DOI BibTeX RDF
21	Endre Boros, Vladimir Gurvich, Kazuhisa Makino, Michael N. Vyalyi	Computing Remoteness Functions of Moore, Wythoff, and Euclid's games.	CoRR	2023	DBLP DOI BibTeX RDF
21	M. Pöntinen, Mikael Granvik, Achille A. Nucita, L. Conversi, Bruno Altieri, B. Carry, C. M. O'Riordan, D. Scott, N. Aghanim, A. Amara, L. Amendola, N. Auricchio, M. Baldi, D. Bonino, E. Branchini, Massimo Brescia, S. Camera, V. Capobianco, C. Carbone, J. Carretero, M. Castellano, Stefano Cavuoti, A. Cimatti, R. Cledassou, G. Congedo, Y. Copin, L. Corcione, F. Courbin, M. Cropper, A. Da Silva, Hubert Degaudenzi, J. Dinis, Florian Dubath, X. Dupac, S. Dusini, S. Farrens, S. Ferriol, Marco Frailis, Enrico Franceschi, M. Fumana, S. Galeotta, et al.	Euclid: Identification of asteroid streaks in simulated images using deep learning.	CoRR	2023	DBLP DOI BibTeX RDF
21	Moritz Flaschel, Huitian Yu, Nina Reiter, Jan Hinrichsen, Silvia Budday, Paul Steinmann, Siddhant Kumar, Laura De Lorenzis	Automated discovery of interpretable hyperelastic material models for human brain tissue with EUCLID.	CoRR	2023	DBLP DOI BibTeX RDF
21	Andrzej Salwicki	A new proof of Euclid's algorithm.	CoRR	2023	DBLP DOI BibTeX RDF
21	Yifu Yuan, Jianye Hao, Fei Ni, Yao Mu, Yan Zheng, Yujing Hu, Jinyi Liu 0002, Yingfeng Chen, Changjie Fan	EUCLID: Towards Efficient Unsupervised Reinforcement Learning with Multi-choice Dynamics Model.	ICLR	2023	DBLP BibTeX RDF
21	Tateaki Sasaki	A Bridge between Euclid and Buchberger: (An Attempt to Enhance Gröbner Basis Algorithm by PRSs and GCDs).	ACM Commun. Comput. Algebra	2022	DBLP DOI BibTeX RDF
21	Yuval Hart, L. Mahadevan, Moira R. Dillon	Euclid's Random Walk: Developmental Changes in the Use of Simulation for Geometric Reasoning.	Cogn. Sci.	2022	DBLP DOI BibTeX RDF
21	Prakash Thakolkaran, Akshay Joshi, Yiwen Zheng, Moritz Flaschel, Laura De Lorenzis, Siddhant Kumar	NN-EUCLID: deep-learning hyperelasticity without stress data.	CoRR	2022	DBLP DOI BibTeX RDF
21	Moritz Flaschel, Siddhant Kumar, Laura De Lorenzis	Automated discovery of generalized standard material models with EUCLID.	CoRR	2022	DBLP DOI BibTeX RDF
21	Yifu Yuan, Jianye Hao, Fei Ni, Yao Mu, Yan Zheng, Yujing Hu, Jinyi Liu 0002, Yingfeng Chen, Changjie Fan	EUCLID: Towards Efficient Unsupervised Reinforcement Learning with Multi-choice Dynamics Model.	CoRR	2022	DBLP DOI BibTeX RDF
21	Akshay Joshi, Prakash Thakolkaran, Yiwen Zheng, Maxime Escande, Moritz Flaschel, Laura De Lorenzis, Siddhant Kumar	Bayesian-EUCLID: discovering hyperelastic material laws with uncertainties.	CoRR	2022	DBLP DOI BibTeX RDF
21	Michael Beeson	Euclid after Computer Proof-Checking.	Am. Math. Mon.	2022	DBLP DOI BibTeX RDF
21	Sarah Placì	When Newton beats Euclid: intuitive physics underlies sensitivity to geometry.	CogSci	2022	DBLP BibTeX RDF
21	Sara Nieto Rodriguez, Bruno Altieri, Pilar de Teodoro	Big Data Exploitation in Cosmology: The Euclid Scientific Archive System.	IEEE Big Data	2022	DBLP DOI BibTeX RDF
21	Saeideh Nabipour, Masoume Gholizade, Nima Nabipour	Area-Delay-Efficeint FPGA Design of 32-bit Euclid's GCD based on Sum of Absolute Difference.	CoRR	2021	DBLP BibTeX RDF
21	Christian Elsholtz	Fermat's Last Theorem Implies Euclid's Infinitude of Primes.	Am. Math. Mon.	2021	DBLP DOI BibTeX RDF
21	Kurt Girstmair	Reducing radicals in the spirit of Euclid.	J. Symb. Comput.	2021	DBLP DOI BibTeX RDF
21	Barrett Durtschi, Mahesh Mahat, Mustafa Mashal, Andrew Chrysler	Preliminary Analysis of RFID Localization System for Moving Precast Concrete Units using Multiple-Tags and Weighted Euclid Distance k-NN algorithm.	RFID	2021	DBLP DOI BibTeX RDF
21	Michael Beeson	On the Notion of Equal Figures in Euclid.	CoRR	2020	DBLP BibTeX RDF
21	Steven W. Buchanan, Andrew J. Hetzel	On the Success of Seriously Mishandling Euclid's Lemma.	Am. Math. Mon.	2020	DBLP DOI BibTeX RDF
21	Radamanthys Stivaktakis, Grigorios Tsagkatakis, Bruno Moraes, Filipe B. Abdalla, Jean-Luc Starck, Panagiotis Tsakalides	Convolutional Neural Networks for Spectroscopic Redshift Estimation on Euclid Data.	IEEE Trans. Big Data	2020	DBLP DOI BibTeX RDF
21	Piotr Blaszczyk, Anna Petiurenko	Modes of Diagrammatic Reasoning in Euclid's Elements.	Diagrams	2020	DBLP DOI BibTeX RDF
21	Michael Beeson, Julien Narboux, Freek Wiedijk	Proof-checking Euclid.	Ann. Math. Artif. Intell.	2019	DBLP DOI BibTeX RDF
21	Ariel Kellison, Mark Bickford, Robert L. Constable	Implementing Euclid's straightedge and compass constructions in type theory.	Ann. Math. Artif. Intell.	2019	DBLP DOI BibTeX RDF
21	John Mumma	The Eu Approach to Formalizing Euclid: A Response to "On the Inconsistency of Mumma's Eu".	Notre Dame J. Formal Log.	2019	DBLP DOI BibTeX RDF
21	Eunice Y. S. Chan, Robert M. Corless	Minimal Height Companion Matrices for Euclid Polynomials.	Math. Comput. Sci.	2019	DBLP DOI BibTeX RDF
21	Bill Rounds	Euclid's Lemma and the Square Root of 2.	Am. Math. Mon.	2019	DBLP DOI BibTeX RDF
21	Yuqiang Tu	Benefit evaluation for ocean engineering based on grey Euclid model of game compromise.	Clust. Comput.	2019	DBLP DOI BibTeX RDF
21	Rayi Sailaja, Ch. Rupa 0001, A. S. N. Chakravarthy	A novel integrated approach using Euclid's and fuzzy logic for secure communication.	Int. J. Inf. Priv. Secur. Integr.	2018	DBLP DOI BibTeX RDF
21	Qiuyi Zhang, Shunli Li, Mei Yang, Xiaoxing Yin, Hongxin Zhao	Theoretical analysis on the characterization of imaging systems using Euclid distance.	SOLI	2018	DBLP DOI BibTeX RDF
21	Linjing Wei, Wenke Dong, Hui Zhou, Yue Li, Xia Zhao	Application of Fuzzy Analogy Preferred Ratio Based on Euclid Distance in Quantitative Decision of Turfgrass Introduction.	DASC/PiCom/DataCom/CyberSciTech	2018	DBLP DOI BibTeX RDF
21	Michael Beeson, Julien Narboux, Freek Wiedijk	Proof-checking Euclid.	CoRR	2017	DBLP BibTeX RDF
21	Andrew R. Booker	A Variant of the Euclid-Mullin Sequence Containing Every Prime.	J. Integer Seq.	2016	DBLP BibTeX RDF
21	Hing Leung	A note on extended Euclid's algorithm.	CoRR	2016	DBLP BibTeX RDF
21	Adrian W. Dudek	On the Success of Mishandling Euclid's Lemma.	Am. Math. Mon.	2016	DBLP BibTeX RDF
21	Pilar de Teodoro, Sara Nieto Rodriguez, Bruno Altieri	Data Management in the Euclid Science Archive System.	Astroinformatics	2016	DBLP DOI BibTeX RDF
21	Pierre Dubath, Nikolaos Apostolakos, Andrea Bonchi, Andrey N. Belikov, Massimo Brescia, Stefano Cavuoti, Peter Capak, Jean Coupon, Christophe Dabin, Hubert Degaudenzi, Shantanu Desai, Florian Dubath, Adriano Fontana, Sotiria Fotopoulou, Marco Frailis, Audrey Galametz, John Hoar, Mark Holliman, Ben Hoyle, Patrick Hudelot, Olivier Ilbert, Martin Kuemmel, Martin Melchior, Yannick Mellier, Joe Mohr, Nicolas Morisset, Stéphane Paltani, Roser Pello, Stefano Pilo, Gianluca Polenta, Maurice Poncet, Roberto Saglia, Mara Salvato, Marc Sauvage, Marc Schefer, Santiago Serrano, Marco Soldati, Andrea Tramacere, O. Rees Williams, Andrea Zacchei	The Euclid Data Processing Challenges.	Astroinformatics	2016	DBLP DOI BibTeX RDF
21	Solomon Marcus	Starting from the scenario Euclid-Bolyai-Einstein.	Synth.	2015	DBLP DOI BibTeX RDF
21	Audrey Repetti, Mai Quyen Pham, Laurent Duval, Émilie Chouzenoux, Jean-Christophe Pesquet	Euclid in a Taxicab: Sparse Blind Deconvolution with Smoothed ℓ1/ℓ2 Regularization.	IEEE Signal Process. Lett.	2015	DBLP DOI BibTeX RDF
21	Roland Carl Backhouse, João F. Ferreira 0001	On Euclid's Algorithm and Elementary Number Theory.	CoRR	2015	DBLP BibTeX RDF
21	Eowyn Cenek	Review of: The King of Infinite Space: Euclid and his Elements by David Berlinski.	SIGACT News	2015	DBLP DOI BibTeX RDF
21	Guoce Xin	A Euclid style algorithm for MacMahon's partition analysis.	J. Comb. Theory, Ser. A	2015	DBLP DOI BibTeX RDF
21		Euclid's Elements.	Kybernetika	2014	DBLP BibTeX RDF
21	Valérie Berthé, Hitoshi Nakada, Rie Natsui, Brigitte Vallée	Fine costs for Euclid's algorithm on polynomials and Farey maps.	Adv. Appl. Math.	2014	DBLP DOI BibTeX RDF
21	Nathan A. Carlson	A Connection between Furstenberg's and Euclid's Proofs of the Infinitude of Primes.	Am. Math. Mon.	2014	DBLP DOI BibTeX RDF
21	Paul Pollack, Enrique Treviño	The Primes that Euclid Forgot.	Am. Math. Mon.	2014	DBLP DOI BibTeX RDF
21	John Chowning	Mathews' Diagram and Euclid's Line: Fifty Years Ago.	ICMC	2014	DBLP BibTeX RDF