Search results for "diderot"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
84	James R. Cowie, Louise Guthrie, Wang Jin, Rong Wang, Takahiro Wakao, James Pustejovsky, Scott Waterman	CRL/Brandeis: description of the Diderot system as used for MUC-5.	MUC	1993	DBLP DOI BibTeX RDF
43	Diderot Cidjeu, Igor Tchappi, Amro Najjar, Yazan Mualla, Stéphane Galland	Elliptic-Curve based Crypto-Compression Scheme For Medical Videos in Connected Ambulance.	ANT/EDI40	2023	DBLP DOI BibTeX RDF
43	Paramesvarane Kumara Guru Diderot, Natarajan Vasudevan	Infected cells of mammogram image and performance analysis using imaging techniques.	Int. J. Bioinform. Res. Appl.	2021	DBLP DOI BibTeX RDF
43	Paramesvarane Kumara Guru Diderot, Natarajan Vasudevan	A hybrid approach to diagnosis mammogram breast cancer using an optimally pruned hybrid wavelet kernel-based extreme learning machine with dragonfly optimisation.	Int. J. Comput. Aided Eng. Technol.	2021	DBLP DOI BibTeX RDF
43	Krishnan Sakthidasan, Natarajan Vasudevan, Paramesvarane Kumara Guru Diderot, Chellakkutti Kadhiravan	WOAPR: an affinity propagation based clustering and optimal path selection for time-critical wireless sensor networks.	IET Networks	2019	DBLP DOI BibTeX RDF
43	K. Sakthidasan Sankaran, Natarajan Vasudevan, Paramesvarane Kumara Guru Diderot, Velmurugan Nagarajan	Efficient Image De-Noising Technique Based on Modified Cuckoo Search Algorithm.	J. Medical Syst.	2019	DBLP DOI BibTeX RDF
33	David Alan Grier	The Spirit of Combination.	Computer	2010	DBLP DOI BibTeX RDF	diderot, search, wikipedia, hyperlinks, encyclopedia
33	David Alan Grier	Mental Discipline.	Computer	2010	DBLP DOI BibTeX RDF	diderot, search, wikipedia, hyperlinks, encyclopedia
31	Ayberk Tosun, Martín Hötzel Escardó	Patch Locale of a Spectral Locale in Univalent Type Theory.	MFPS	2023	DBLP DOI BibTeX RDF
31	Justin Hsu, Christine Tasson (eds.)	Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, MFPS XXXXVIII, Cornell University, Ithaca, NY, USA, with a satellite event at IRIF, Denis Diderot University, Paris, France, and online, July 11-13, 2022	MFPS	2022	DBLP DOI BibTeX RDF
31	Tao Gu, Robin Piedeleu, Fabio Zanasi	A Complete Diagrammatic Calculus for Boolean Satisfiability.	MFPS	2022	DBLP DOI BibTeX RDF
31	Benedetto Intrigila, Giulio Manzonetto, Nicolas Munnich	Extended Addressing Machines for PCF, with Explicit Substitutions.	MFPS	2022	DBLP DOI BibTeX RDF
31	Henry DeYoung, Frank Pfenning	Data Layout from a Type-Theoretic Perspective (extended version).	MFPS	2022	DBLP DOI BibTeX RDF
31	Stefan Zetzsche, Alexandra Silva 0001, Matteo Sammartino	Guarded Kleene Algebra with Tests: Automata Learning.	MFPS	2022	DBLP DOI BibTeX RDF
31	Mateusz Pyzik	Call-By-Name Is Just Call-By-Value with Delimited Control.	MFPS	2022	DBLP DOI BibTeX RDF
31	Alexandre Goy 0002	Weakening and Iterating Laws using String Diagrams.	MFPS	2022	DBLP DOI BibTeX RDF
31	Paul-André Melliès, Noam Zeilberger	Parsing as a lifting problem and the Chomsky-Schützenberger representation theorem.	MFPS	2022	DBLP DOI BibTeX RDF
31	James Laird	Revisiting Decidable Bounded Quantification, via Dinaturality.	MFPS	2022	DBLP DOI BibTeX RDF
31	Jason Z. S. Hu, Brigitte Pientka	A Categorical Normalization Proof for the Modal Lambda-Calculus.	MFPS	2022	DBLP DOI BibTeX RDF
31	Takahiro Sanada	Category-Graded Algebraic Theories and Effect Handlers.	MFPS	2022	DBLP DOI BibTeX RDF
31	Vikraman Choudhury, Marcelo Fiore	Free Commutative Monoids in Homotopy Type Theory.	MFPS	2022	DBLP DOI BibTeX RDF
31	Daniele Palombi, Jonathan Sterling	Classifying topoi in synthetic guarded domain theory.	MFPS	2022	DBLP DOI BibTeX RDF
31	Masahito Hasegawa	The Internal Operads of Combinatory Algebras.	MFPS	2022	DBLP DOI BibTeX RDF
31	Tomoya Yoshida	Continuous Functions on Final Comodels of Free Algebraic Theories.	MFPS	2022	DBLP DOI BibTeX RDF
31	Willem Heijltjes	The Functional Machine Calculus.	MFPS	2022	DBLP DOI BibTeX RDF
31	Hugo Paquet	Bi-invariance for Uniform Strategies on Event Structures.	MFPS	2022	DBLP DOI BibTeX RDF
31	Bart Jacobs 0001	Sufficient Statistics and Split Idempotents in Discrete Probability Theory.	MFPS	2022	DBLP DOI BibTeX RDF
31	Panagiotis I. Radoglou-Grammatikis, Panagiotis G. Sarigiannidis, George Efstathopoulos, Paris-Alexandros Karypidis, Antonios Sarigiannidis	DIDEROT: an intrusion detection and prevention system for DNP3-based SCADA systems.	ARES	2020	DBLP DOI BibTeX RDF
31	Charles T. Wolfe	Vital anti-mathematicism and the ontology of the emerging life sciences: from Mandeville to Diderot.	Synth.	2019	DBLP DOI BibTeX RDF
31	Charisee Chiw, Gordon L. Kindlmann, John H. Reppy	Compiling Diderot: From Tensor Calculus to C.	CoRR	2018	DBLP BibTeX RDF
31	Jonathan Bean	On high-def Diderot and the cost of climate change.	Interactions	2017	DBLP DOI BibTeX RDF
31	Charisee Chiw, Gordon L. Kindlmann, John H. Reppy	DATm: Diderot's Automated Testing Model.	AST@ICSE	2017	DBLP DOI BibTeX RDF
31	Gordon L. Kindlmann, Charisee Chiw, Nicholas Seltzer, Lamont Samuels, John H. Reppy	Diderot: a Domain-Specific Language for Portable Parallel Scientific Visualization and Image Analysis.	IEEE Trans. Vis. Comput. Graph.	2016	DBLP DOI BibTeX RDF
31	Charisee Chiw, Gordon L. Kindlmann, John H. Reppy, Lamont Samuels, Nick Seltzer	Diderot: a parallel DSL for image analysis and visualization.	PLDI	2012	DBLP DOI BibTeX RDF
31	Shahid Rahman, John Symons	Logic, Epistemology and the Unity of Science: An Encyclopedic Project in the Spirit of Neurath and Diderot.	Logic, Epistemology, and the Unity of Science	2004	DBLP DOI BibTeX RDF
31	Brian Vickery	A Social History of Knowledge: From Gutenberg to Diderot.	J. Documentation	2002	DBLP DOI BibTeX RDF
31	Annaïg Mahé, Christine Andrys, Ghislaine Chartron	How French research scientists are making use of electronic journals: a case study conducted at Pierre et Marie Curie University and Denis Diderot University.	J. Inf. Sci.	2000	DBLP DOI BibTeX RDF
31	Marc Chemillier	Fourth Annual Mathematical Diderot Forum: Mathematics and Music.	Comput. Music. J.	2000	DBLP DOI BibTeX RDF
31	Yorick Wilks, James Pustejovsky, James R. Cowie	Diderot: TIPSTER Program, Automatic Data Extraction from Text Utilizing Semantic Analysis.	HLT	1994	DBLP BibTeX RDF
31	Yorick Wilks, James Pustejovsky, James R. Cowie	Diderot: TIPSTER Program, Automatic Data Extraction from Text Utilizing Semantic Analysis.	HLT	1993	DBLP BibTeX RDF
31	James R. Cowie, Louise Guthrie, Wang Jin, William C. Ogden, James Pustejovsky, Rong Wang, Takahiro Wakao, Scott Waterman, Yorick Wilks	CRL/BRANDEIS: The Diderot System.	TIPSTER	1993	DBLP BibTeX RDF
31	Yorick Wilks, James Pustejovsky, James R. Cowie	Diderot: TIPSTER Program, Automatic Data Extraction from Text Utilizing Semantic Analysis.	HLT	1992	DBLP BibTeX RDF
26	Adrian Ratkic	Dialogue seminars as a tool in post graduate education.	AI Soc.	2009	DBLP DOI BibTeX RDF
26	Marc Wilhelm Küster, Graham Moore	Scaling Topic Maps.	TMRA	2007	DBLP DOI BibTeX RDF
26	James R. Cowie, Louise Guthrie, Yorick Wilks, James Pustejovsky	CRL/NMSU and Brandeis MucBruce: MUC-4 test results and analysis.	MUC	1992	DBLP DOI BibTeX RDF