Search results for "Ext"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
47	Yevgeniy Dodis, Daniel Wichs	Non-malleable extractors and symmetric key cryptography from weak secrets.	STOC	2009	DBLP DOI BibTeX RDF	bounded retrieval model, information reconcilliation, authentication, encryption, information theoretic security, randomness extractors, privacy amplification, authenticated key agreement
47	Marius Zimand	Exposure-Resilient Extractors and the Derandomization of Probabilistic Sublinear Time.	Comput. Complex.	2008	DBLP DOI BibTeX RDF	Subject classification, 68Q15
47	Mikhail Moshkov, Andrzej Skowron, Zbigniew Suraj	On Irreducible Descriptive Sets of Attributes for Information Systems.	RSCTC	2008	DBLP DOI BibTeX RDF	maximal consistent extensions, irreducible descriptive sets, rough sets, information systems
47	Pierluigi Minari	Analytic combinatory calculi and the elimination of transitivity.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF	Extensionality, Elimination of transitivity, Equational logic, Combinatory logic
37	Saharon Shelah	On nice equivalence relations on ?2.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF	Definable equivalence relation, Generalized descriptive set theory to uncountable cardinals, Perfect sets of pairwise non equivalence, Ext, Set theory, Abelian group
30	Jarl G. Taxerås Flaten	Formalising Yoneda Ext in Univalent Foundations.	CoRR	2023	DBLP DOI BibTeX RDF
30	J. Daniel Christensen, Jarl G. Taxerås Flaten	Ext groups in Homotopy Type Theory.	CoRR	2023	DBLP DOI BibTeX RDF
30	P. Sharmila, C. Deisy, S. Parthasarathy	Ext-ICAS: A Novel Self-Normalized Extractive Intra Cosine Attention Similarity Summarization.	Comput. Syst. Sci. Eng.	2023	DBLP DOI BibTeX RDF
30	Meng Han, Muhang Li, Zhiqiang Chen, Hongxin Wu, Xilong Zhang	High utility pattern mining algorithm over data streams using ext-list.	Appl. Intell.	2023	DBLP DOI BibTeX RDF
30	Zuosong Liang, Guangjun Xu, Chunsong Bai	A note on the Three Color Problem on planar graphs without 4- and 5-cycles and without ext-triangular 7-cycles.	Discret. Math.	2023	DBLP DOI BibTeX RDF
30	Baosheng Yin, Hua Wu, Weiyi Kong	A joint event extraction model based on RoBERTa-wwm-ext and gating mechanism.	J. Comput. Methods Sci. Eng.	2023	DBLP DOI BibTeX RDF
30	Jarl G. Taxerås Flaten	Formalising Yoneda Ext in Univalent Foundations.	ITP	2023	DBLP DOI BibTeX RDF
30	Zhuo Xu	RoBERTa-wwm-ext Fine-Tuning for Chinese Text Classification.	CoRR	2021	DBLP BibTeX RDF
30	Franco Oberti, Alessandro Savino, Ernesto Sánchez 0001, Filippo Parisi, Stefano Di Carlo	EXT-TAURUM P2T: an Extended Secure CAN-FD Architecture for Road Vehicles.	CoRR	2021	DBLP BibTeX RDF
30	Seokjun Lee, Wooyeon Jo, Soowoong Eo, Taeshik Shon	ExtSFR: scalable file recovery framework based on an Ext file system.	Multim. Tools Appl.	2020	DBLP DOI BibTeX RDF
30	Enyo José Tavares Gonçalves, Guilherme Rodrigues, Paulo Miranda, João Pimentel 0001, João Araújo 0001, Jaelson Castro	piStar-ext: Supporting the Creation of iStar Extensions with the piStar tool.	iStar	2020	DBLP BibTeX RDF
30	Ruihui Hou, Hanhao Li, Honghai Feng, Yunpeng Li, Jun Li, Yatian Shen	An entity relation extraction algorithm based on BERT(wwm-ext)-BiGRU-Attention.	CIAT	2020	DBLP DOI BibTeX RDF
30	Ligang Jin, Ying-li Kang, Michael Schubert, Yingqian Wang 0001	Plane Graphs without 4- and 5-Cycles and without Ext-Triangular 7-Cycles are 3-Colorable.	SIAM J. Discret. Math.	2017	DBLP DOI BibTeX RDF
30	Tommi Tuovinen, Timo Kumpuniemi, Matti Hämäläinen, Kamya Yekeh Yazdandoost, Jari H. Iinatti	Effect of the antenna-body distance on the on-ext and on-on channel link path gain in UWB WBAN applications.	EMBC	2013	DBLP DOI BibTeX RDF
30	Diogo L. P. Machado, Ricardo Campanha Carrano, Débora C. Muchaluat-Saade	Analysis of energy efficient OLSR extensions and OLSR-EXT energetic optimization proposal.	PE-WASUN	2013	DBLP DOI BibTeX RDF
30	Martti Laiho, Dimitrios Dervos, José Francisco Aldana Montes, Fritz Laux	DBTech EXT: Education and Hands-On Training for the Database Professional.	ADBIS	2010	DBLP DOI BibTeX RDF
30	Julien M. Hendrickx, Changbin Yu, Baris Fidan, Brian D. O. Anderson	Rigidity and persistence for ensuring shape maintenance of multiagent meta formations (ext'd version)	CoRR	2007	DBLP BibTeX RDF
30	Hitoshi Koshita	An example of relations on the Ext-quiver for the Suzuki group Sz(8) in characteristic 2.	J. Symb. Comput.	2007	DBLP DOI BibTeX RDF
30	Guillermo Sánchez-Díaz, Manuel Lazo-Cortés	CT-EXT: An Algorithm for Computing Typical Testor Set.	CIARP	2007	DBLP DOI BibTeX RDF	typical testors, pattern recognition, feature selection
30	Jesper Carlström	EM + Ext- + ACint is equivalent to ACext.	Math. Log. Q.	2004	DBLP DOI BibTeX RDF
30	Jon F. Carlson, Edward L. Green, Gerhard J. A. Schnieder	Computing Ext Algebras for Finite Groups.	J. Symb. Comput.	1997	DBLP DOI BibTeX RDF
30	Francesca Arcelli, Uwe M. Borghoff, Ferrante Formato, Remo Pareschi	Constraint-Based Protocols for Distributed Problem Solving (Ext. Abstract).	UNIF	1995	DBLP BibTeX RDF
30	G. Sageev, Saharon Shelah	On the Structure of Ext(A, Z) in ZFC+.	J. Symb. Log.	1985	DBLP DOI BibTeX RDF
23	Miquel Moretó, Francisco J. Cazorla, Alex Ramírez, Rizos Sakellariou, Mateo Valero	FlexDCP: a QoS framework for CMP architectures.	ACM SIGOPS Oper. Syst. Rev.	2009	DBLP DOI BibTeX RDF
23	Pierluigi Minari	Analytic proof systems for lambda-calculus: the elimination of transitivity, and why it matters.	Arch. Math. Log.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03B40, 03F03, 03F07, 03F05
23	Luis Paricio	Homotopy Categories for Simply Connected Torsion Spaces.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2001) 55U35, 55U40, 55N25, 55Q70
23	Hideaki Goto, Hirotomo Aso	Character Pattern Extraction Based on Local Multilevel Thresholding and Region Growing.	ICPR	2000	DBLP DOI BibTeX RDF