Search results for "varieties"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Mohab Safey El Din, Éric Schost	Polar varieties and computation of one point in each connected component of a smooth real algebraic set.	ISSAC	2003	DBLP DOI BibTeX RDF	complexity, real solutions, polynomial system solving
24	Gábor Kun, Csaba Szabó	Order Varieties and Monotone Retractions of Finite Posets.	Order	2001	DBLP DOI BibTeX RDF	finite poset, order variety
24	Yves Diers	Affine Algebraic Varieties Relative to an Algebraic Theory.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	affine algebraic variety, irreducible algebra, algebraic theory
24	Fariba Sadri, Francesca Toni, Paolo Torroni	Dialogues for Negotiation: Agent Varieties and Dialogue Sequences.	ATAL	2001	DBLP DOI BibTeX RDF
24	Dongming Wang 0001	Decomposing Algebraic Varieties.	Automated Deduction in Geometry	1998	DBLP DOI BibTeX RDF
24	Anders Heyden, Kalle Åström	Algebraic Varieties in Multiple View Geometry.	ECCV (2)	1996	DBLP DOI BibTeX RDF
24	Tobias Nipkow	Unification in Primal Algebras, Their Powers and Their Varieties	J. ACM	1990	DBLP DOI BibTeX RDF
20	Ondrej Klíma 0001, Libor Polák	Hierarchies of Piecewise Testable Languages.	Developments in Language Theory	2008	DBLP DOI BibTeX RDF	varieties of languages, piecewise testable languages, syntactic monoid
20	Marie-Renée Fleury, Myriam Quatrini	A Mixed lambda-calculus.	Stud Logica	2007	DBLP DOI BibTeX RDF	Typed ?-calculus, non-commutative linear logic, order varieties, series-parallel orders, normalization
20	David Joyner	Toric Codes over Finite Fields.	Appl. Algebra Eng. Commun. Comput.	2004	DBLP DOI BibTeX RDF	AG codes, Toric varieties, Reed-Muller codes
20	Francesc Esteva, Lluís Godo, Franco Montagna	Equational Characterization of the Subvarieties of BL Generated by t-norm Algebras.	Stud Logica	2004	DBLP DOI BibTeX RDF	t-norm algebras, axiomatization, varieties, Bl-algebras
20	Michael Ben-Or	Algebraic Computation Trees in Characteristi p>0 (Extended Abstract)	FOCS	1994	DBLP DOI BibTeX RDF	combinatorial method, algebraically closed fields, element distinctness problem, Weil conjectures, lower bounds, Zeta function, algebraic varieties, algebraic computation trees
20	Andrew Chi-Chih Yao	Lower Bounds for Algebraic Computation Trees with Integer Inputs	FOCS	1989	DBLP DOI BibTeX RDF	integer inputs, topological lower bound, algebraic computation tree model, integral-constrained form, element distinctness, set disjointness, integer max gap, Milnor-Thom techniques, lower bounds, upper bounds, convex hull, Betti numbers, algebraic varieties, algebraic computation trees
20	Isao Goto, Kiyohisa Natsume	The Regulation of Glutamate-Induced Astrocytic [Ca2 + ]i Responses by the Desensitization of Metabotropic Glutamate Receptor.	Brain-Inspired Information Technology	2010	DBLP DOI BibTeX RDF
20	Martin Beaudry, François Lemieux	Faithful Loops for Aperiodic E-Ordered Monoids.	ICALP (2)	2009	DBLP DOI BibTeX RDF
20	Md. Obaidur Rahman, Muhammad Mostafa Monowar, Byung Goo Choi, Choong Seon Hong	An approach for congestion control in sensor network using priority based application.	ICUIMC	2008	DBLP DOI BibTeX RDF	congestion and control, priority based application, sensor network, rate control
20	Luigi Santocanale	On the Join Dependency Relation in Multinomial Lattices.	Order	2007	DBLP DOI BibTeX RDF	Multinomial lattices, Lattice congruences, Lattices of permutations, Binomial lattices, Lattices of paths, Parikh equivalence relations, Dihomotopies
20	Carlos Beltrán 0001, Luis Miguel Pardo	Estimates on the Distribution of the Condition Number of Singular Matrices.	Found. Comput. Math.	2007	DBLP DOI BibTeX RDF
20	Mai Gehrke, Hilary A. Priestley	Duality for Double Quasioperator Algebras via their Canonical Extensions.	Stud Logica	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) primary 06D50, secondary 06A23, 18A99, 06D35
20	Di Wu 0012, Lei Feng, Yong He 0001	Selection of the Optimal Wavebands for the Variety Discrimination of Chinese Cabbage Seed.	MICAI	2006	DBLP DOI BibTeX RDF
20	Bernhard Thalheim	Achievements and Problems of Conceptual Modelling.	Active Conceptual Modeling of Learning	2006	DBLP DOI BibTeX RDF
20	Xiaoli Li 0010, Yong He 0001	A Novel Approach to Pattern Recognition Based on PCA-ANN in Spectroscopy.	ADMA	2006	DBLP DOI BibTeX RDF
20	Klaus Denecke, S. Radelecki, Ch. Ratanaprasert	On Constantive Simple and Order-Primal Algebras.	Order	2005	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 08B05, 06A11, 06A06
20	Guillermo Morales-Luna	Geometric Aspects Related to Solutions of #kSAT.	MICAI	2005	DBLP DOI BibTeX RDF	Hypercube Geometry, SAT, Hypergraphs, Counting
20	Nicolas Bedon, Chloe Rispal	Schützenberger and Eilenberg Theorems for Words on Linear Orderings.	Developments in Language Theory	2005	DBLP DOI BibTeX RDF
20	Francois Anton	A Certified Delaunay Graph Conflict Locator for Semi-algebraic Sets.	ICCSA (1)	2005	DBLP DOI BibTeX RDF
20	Peter Burmeister	Algebraic theory of quasivarieties of heterogeneous partial algebras.	Stud Logica	2004	DBLP DOI BibTeX RDF	heterogeneous partial algebra, existence equation (E-equation), QE-equation, strong equation, logical (Craig) projection, extended signature, implicational theory, algebraic closure operators, primitive class, quasiprimitive class, quasivariety
20	Antonio Cano, José Ruiz 0001, Pedro García 0001	Running FCRPNI in Efficient Time for Piecewise and Right Piecewise Testable Languages.	ICGI	2004	DBLP DOI BibTeX RDF
20	Gábor Bodnár	Algorithmic Tests for the Normal Crossing Property.	Automated Deduction in Geometry	2002	DBLP DOI BibTeX RDF
20	Frédéric Landragin, Nadia Bellalem, Laurent Romary	Referring to Objects with Spoken and Haptic Modalities.	ICMI	2002	DBLP DOI BibTeX RDF
20	Donald D. Hoffman	Mereology of Visual Form.	IWVF	2001	DBLP DOI BibTeX RDF
20	James R. Warren, Patrick Bolton	Empirical Norms as a Lever for On-Line Support of General Practice.	HICSS	2001	DBLP DOI BibTeX RDF	intelligent split menus, data mining, adaptive user interfaces, health informatics
20	Jinhui Chao, Kazuto Matsuo, Hiroto Kawashiro, Shigeo Tsujii	Construction of Hyperelliptic Curves with CM and Its Application to Cryptosystems.	ASIACRYPT	2000	DBLP DOI BibTeX RDF
20	Tosiyasu L. Kunii, Takao Wachi	Topological Dress Making as Fashion Media Modeling.	MMM	1998	DBLP DOI BibTeX RDF	fashion media, topological dress making, topological characteristics inheritance, cellular spatial structure
20	Nicolas Bedon, Olivier Carton	An Eilenberg Theorem for Words on Countable Ordinals.	LATIN	1998	DBLP DOI BibTeX RDF
20	Pilar de la Torre, David T. Kao	A Uniform Analysis of Trie Structures that Store Prefixing-Keys with Application to Doubly-Chained Prefixing-Tries.	MFCS	1996	DBLP DOI BibTeX RDF
20	Shreeram S. Abhyankar, Srinivasan Chandrasekar, Vijaya Chandru	Improper intersection of algebraic curves.	ACM Trans. Graph.	1990	DBLP DOI BibTeX RDF
14	Kyle Siler, Vincent Larivière	Varieties of diffusion in academic publishing: How status and legitimacy influence growth trajectories of new innovations.	J. Assoc. Inf. Sci. Technol.	2024	DBLP DOI BibTeX RDF
14	Nusrat Mohi ud din, Assif Assad, Rayees Ahmad Dar, Muzafar Rasool, Saqib Ul Sabha, Tabasum Majeed, Zahir Ul Islam, Wahid Gulzar, Aamir Yaseen	RiceNet: A deep convolutional neural network approach for classification of rice varieties.	Expert Syst. Appl.	2024	DBLP DOI BibTeX RDF
14	Heidi Toivonen, Francesco Lelli	The Varieties of Agency in Human-Smart Device Relationships: The Four Agency Profiles.	Future Internet	2024	DBLP DOI BibTeX RDF
14	Zheng Sun, Liang Sun 0005, Yu Liu, Yangwei Li, Luís Guilherme Teixeira Crusiol, Ruiqing Chen, Deji Wuyun	Estimating Fraction of Absorbed Photosynthetically Active Radiation of Winter Wheat Based on Simulated Sentinel-2 Data under Different Varieties and Water Stress.	Remote. Sens.	2024	DBLP DOI BibTeX RDF
14	Merve Ceyhan, Yusuf Kartal, Kemal Özkan, Erol Seke	Classification of wheat varieties with image-based deep learning.	Multim. Tools Appl.	2024	DBLP DOI BibTeX RDF
14	Mahir Bilen Can, Roy Joshua, Girivaru V. Ravindra	Defects of codes from higher dimensional algebraic varieties.	Des. Codes Cryptogr.	2024	DBLP DOI BibTeX RDF
14	Sandra Di Rocco, Lukas Gustafsson, Luca Schaffler	Gaussian Likelihood Geometry of Projective Varieties.	SIAM J. Appl. Algebra Geom.	2024	DBLP DOI BibTeX RDF
14	Daniel Camazón Portela, Juan Antonio López Ramos	Error-Correcting Codes on Projective Bundles over Deligne-Lusztig varieties.	CoRR	2024	DBLP DOI BibTeX RDF
14	Nhi Pham, Lachlan Pham, Adam L. Meyers	Towards Better Inclusivity: A Diverse Tweet Corpus of English Varieties.	CoRR	2024	DBLP DOI BibTeX RDF
14	Zaïneb Bel-Afia, Chiara Meroni, Simon Telen	Chebyshev Varieties.	CoRR	2024	DBLP DOI BibTeX RDF
14	Florentin Goyens, Coralia Cartis, Stéphane Chrétien	Registration of algebraic varieties using Riemannian optimization.	CoRR	2024	DBLP DOI BibTeX RDF
14	Alfonso López, Carlos Javier Ogáyar, Francisco Ramón Feito, Joaquim João Sousa	Classification of grapevine varieties using UAV hyperspectral imaging.	CoRR	2024	DBLP DOI BibTeX RDF
14	Fahim Faisal, Orevaoghene Ahia, Aarohi Srivastava, Kabir Ahuja, David Chiang 0001, Yulia Tsvetkov, Antonios Anastasopoulos	DIALECTBENCH: A NLP Benchmark for Dialects, Varieties, and Closely-Related Languages.	CoRR	2024	DBLP DOI BibTeX RDF
14	Ekaterina Artemova, Verena Blaschke, Barbara Plank	Exploring the Robustness of Task-oriented Dialogue Systems for Colloquial German Varieties.	CoRR	2024	DBLP DOI BibTeX RDF
14	Sina Ahmadi, Daban Q. Jaff, Md Mahfuz Ibn Alam, Antonios Anastasopoulos	Language and Speech Technology for Central Kurdish Varieties.	CoRR	2024	DBLP DOI BibTeX RDF
14	Natanael Alpay, Peter Jipsen, Melissa Sugimoto	Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras.	Log. Methods Comput. Sci.	2024	DBLP DOI BibTeX RDF
14	Damien Robert 0001	Some notes on algorithms for abelian varieties.	IACR Cryptol. ePrint Arch.	2024	DBLP BibTeX RDF
14	Reto Gubelmann, Ioannis Katis, Christina Niklaus, Siegfried Handschuh	Capturing the Varieties of Natural Language Inference: A Systematic Survey of Existing Datasets and Two Novel Benchmarks.	J. Log. Lang. Inf.	2024	DBLP DOI BibTeX RDF
14	Piotr Rybacki, Janetta Niemann, Samir Derouiche, Sara Chetehouna, Islam Boulaares, Nili Mohammed Seghir, Jean Diatta, Andrzej Osuch	Convolutional Neural Network (CNN) Model for the Classification of Varieties of Date Palm Fruits (Phoenix dactylifera L.).	Sensors	2024	DBLP DOI BibTeX RDF
14	Neil Barton, Kameryn J. Williams	Varieties of class-Theoretic Potentialism.	Rev. Symb. Log.	2024	DBLP DOI BibTeX RDF
14	Claudia Fevola, Yelena Mandelshtam	Hirota varieties and rational nodal curves.	J. Symb. Comput.	2024	DBLP DOI BibTeX RDF
14	Andreas Pieper	Theta nullvalues of supersingular Abelian varieties.	J. Symb. Comput.	2024	DBLP DOI BibTeX RDF
14	Francesca Cioffi, Davide Franco, Carmine Sessa	An effective decomposition theorem for Schubert varieties.	J. Symb. Comput.	2024	DBLP DOI BibTeX RDF
14	Dominik Bendle, Janko Böhm, Yue Ren, Benjamin Schröter	Massively parallel computation of tropical varieties, their positive part, and tropical Grassmannians.	J. Symb. Comput.	2024	DBLP DOI BibTeX RDF
14	Adrian Becedas, Kathlén Kohn, Lorenzo Venturello	Voronoi diagrams of algebraic varieties under polyhedral norms.	J. Symb. Comput.	2024	DBLP DOI BibTeX RDF
14	Ekaterina Artemova, Verena Blaschke, Barbara Plank	Exploring the Robustness of Task-oriented Dialogue Systems for Colloquial German Varieties.	EACL (1)	2024	DBLP BibTeX RDF
14	Diego Fernando Válio Antunes Alves	An evaluation of Portuguese language models' adaptation to African Portuguese varieties.	PROPOR	2024	DBLP BibTeX RDF
14	Ghislain Fourier, Gabriele Nebe	Degenerate flag varieties in network coding.	Adv. Math. Commun.	2023	DBLP DOI BibTeX RDF
14	Wentai Fang, Zhenchao Wu, Weiwu Li, Xiaoming Sun 0003, Wulan Mao, Rui Li 0069, Yaqoob Majeed, Longsheng Fu	Fruit detachment force of multiple varieties kiwifruit with different fruit-stem angles for designing universal robotic picking end-effector.	Comput. Electron. Agric.	2023	DBLP DOI BibTeX RDF
14	Danilo Vilela Avelar, Viviane Ribeiro Tomaz da Silva	ℤ2-gradings and minimal varieties of ℤ2-graded PI algebras.	Int. J. Algebra Comput.	2023	DBLP DOI BibTeX RDF
14	Cantay Caliskan, Alaz Kilicaslan	Varieties of corona news: a cross-national study on the foundations of online misinformation production during the COVID-19 pandemic.	J. Comput. Soc. Sci.	2023	DBLP DOI BibTeX RDF
14	Di Pan, Changchun Li, Guijun Yang, Pengting Ren, Yuanyuan Ma, Weinan Chen, Haikuan Feng, Riqiang Chen, Xin Chen, Heli Li	Identification of the Initial Anthesis of Soybean Varieties Based on UAV Multispectral Time-Series Images.	Remote. Sens.	2023	DBLP DOI BibTeX RDF
14	Shiyuan Liu, Bin Zhang, Weiguang Yang, Tingting Chen, Hui Zhang, Yongda Lin, Jiangtao Tan, Xi Li, Yu Gao, Suzhe Yao, Yubin Lan, Lei Zhang 0133	Quantification of Physiological Parameters of Rice Varieties Based on Multi-Spectral Remote Sensing and Machine Learning Models.	Remote. Sens.	2023	DBLP DOI BibTeX RDF
14	Peter Beelen, Trygve Johnsen, Prasant Singh	Linear codes associated to symmetric determinantal varieties: Even rank case.	Finite Fields Their Appl.	2023	DBLP DOI BibTeX RDF
14	Franka Zebe	Vowel and consonant quantity in two Swiss German dialects and their corresponding varieties of Standard German: effects of region, age, and tempo.	Phonetica	2023	DBLP DOI BibTeX RDF
14	Maciej Galazka, Tomasz Mandziuk, Filip Rupniewski	Distinguishing secant from cactus varieties.	Found. Comput. Math.	2023	DBLP DOI BibTeX RDF
14	Simon David Stein	Space Rednecks, Robot Butlers, and Feline Foreigners: Language Attitudes Toward Varieties of English in Videogames.	Games Cult.	2023	DBLP DOI BibTeX RDF
14	Gloria Andrada, Robert W. Clowes, Paul R. Smart	Varieties of transparency: exploring agency within AI systems.	AI Soc.	2023	DBLP DOI BibTeX RDF
14	Rory B. B. Lucyshyn-Wright, Jason Parker	Diagrammatic Presentations of Enriched Monads and Varieties for a Subcategory of Arities.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
14	Matteo Bonini, Stefano Lia, Marco Timpanella	Minimal linear codes from Hermitian varieties and quadrics.	Appl. Algebra Eng. Commun. Comput.	2023	DBLP DOI BibTeX RDF
14	Francesca Cioffi, Davide Franco, Carmine Sessa	Polynomial identities related to special Schubert varieties.	Appl. Algebra Eng. Commun. Comput.	2023	DBLP DOI BibTeX RDF
14	Muneer Nabi, Amal S. Alali, Sakeena Bano	Saturated Varieties of Semigroups.	Symmetry	2023	DBLP DOI BibTeX RDF
14	Anurag Ajay, Madhulika Singh, Subhajit Patra, Harshit Ranjan, Ajay Pundir, Shishpal Poonia, Anurag Kumar, Deepak K. Singh, Pankaj Kumar, Moben Ignatius, Prabhat Kumar, Sonam R. Sherpa, Ram K. Malik, Virender Kumar, Sudhanshu Singh, Peter Craufurd, Andrew J. McDonald	Multi-Year On-Farm Trial Data on the Performance of Long- and Short-Duration Wheat Varieties against Sowing Dates in the Eastern Indo-Gangetic Plain of India.	Data	2023	DBLP DOI BibTeX RDF
14	Karim Karimov, Michael Kirby, Chris Peterson 0001	An algorithm for computing Schubert varieties of best fit with applications.	Frontiers Artif. Intell.	2023	DBLP DOI BibTeX RDF
14	Ryo Kawada, Katsuhiro Endo, Kenji Yasuoka, Hidekazu Kojima, Nobuyuki Matubayasi	Prediction of Water Diffusion in Wide Varieties of Polymers with All-Atom Molecular Dynamics Simulations and Deep Generative Models.	J. Chem. Inf. Model.	2023	DBLP DOI BibTeX RDF
14	Huan Yang, Cheng Wang, Han Zhang, Ya'nan Zhou, Bin Luo	Recognition of maize seed varieties based on hyperspectral imaging technology and integrated learning algorithms.	PeerJ Comput. Sci.	2023	DBLP DOI BibTeX RDF
14	Eunjeong Lee, Mikiya Masuda, Seonjeong Park	Toric Richardson varieties of Catalan type and Wedderburn-Etherington numbers.	Eur. J. Comb.	2023	DBLP DOI BibTeX RDF
14	Jinliang An, Chen Zhang, Ling Zhou, Songlin Jin, Ziyang Zhang, Wenyi Zhao, Xipeng Pan, Weidong Zhang 0007	Tensor based low rank representation of hyperspectral images for wheat seeds varieties identification.	Comput. Electr. Eng.	2023	DBLP DOI BibTeX RDF
14	Songlin Jin, Fengfan Zhang, Ying Zheng, Ling Zhou, Xiangang Zuo, Ziyang Zhang, Wenyi Zhao, Weidong Zhang 0007, Xipeng Pan	CSKNN: Cost-sensitive K-Nearest Neighbor using hyperspectral imaging for identification of wheat varieties.	Comput. Electr. Eng.	2023	DBLP DOI BibTeX RDF
14	Balthasar Grabmayr, Volker Halbach, Lingyuan Ye	Varieties of Self-Reference in Metamathematics.	J. Philos. Log.	2023	DBLP DOI BibTeX RDF
14	Jason M. Altschuler, Pablo A. Parrilo	Kernel Approximation on Algebraic Varieties.	SIAM J. Appl. Algebra Geom.	2023	DBLP DOI BibTeX RDF
14	Paul Breiding, Felix Rydell, Elima Shehu, Angélica Torres	Line Multiview Varieties.	SIAM J. Appl. Algebra Geom.	2023	DBLP DOI BibTeX RDF
14	Michael Borinsky, Anna-Laura Sattelberger, Bernd Sturmfels, Simon Telen	Bayesian Integrals on Toric Varieties.	SIAM J. Appl. Algebra Geom.	2023	DBLP DOI BibTeX RDF
14	Matías R. Bender, Pierre-Jean Spaenlehauer	Dimension results for extremal-generic polynomial systems over complete toric varieties.	CoRR	2023	DBLP DOI BibTeX RDF
14	Alexander Kurz 0001, Wolfgang Poiger, Bruno Teheux	Many-valued coalgebraic logic over semi-primal varieties.	CoRR	2023	DBLP DOI BibTeX RDF
14	Utkucan Balci, Chen Ling, Emiliano De Cristofaro, Megan Squire, Gianluca Stringhini, Jeremy Blackburn	Beyond Fish and Bicycles: Exploring the Varieties of Online Women's Ideological Spaces.	CoRR	2023	DBLP DOI BibTeX RDF
14	Bharat Adsul, Milind A. Sohoni, K. V. Subrahmanyam 0001	Orbit closures, stabilizer limits and intermediate G-varieties.	CoRR	2023	DBLP DOI BibTeX RDF
14	Karima Kadaoui, Samar M. Magdy, Abdul Waheed, Md Tawkat Islam Khondaker, Ahmed Oumar El-Shangiti, El Moatez Billah Nagoudi, Muhammad Abdul-Mageed	TARJAMAT: Evaluation of Bard and ChatGPT on Machine Translation of Ten Arabic Varieties.	CoRR	2023	DBLP DOI BibTeX RDF
14	Bin Gao, Renfeng Peng, Ya-Xiang Yuan	Low-rank optimization on Tucker tensor varieties.	CoRR	2023	DBLP DOI BibTeX RDF
14	Bin Dong, Xuhua He, Pengfei Jin, Felix Schremmer, Qingchao Yu	Machine learning assisted exploration for affine Deligne-Lusztig varieties.	CoRR	2023	DBLP DOI BibTeX RDF
14	Yifan Zhang, Joe Kileel 0001	Covering Number of Real Algebraic Varieties and Beyond: Improved Bounds and Applications.	CoRR	2023	DBLP DOI BibTeX RDF
14	Jason Parker	Strongly finitary monads and multi-sorted varieties enriched in cartesian closed concrete categories.	CoRR	2023	DBLP DOI BibTeX RDF
14	Jesús-Javier Chi-Domínguez, Amalia Pizarro-Madariaga, Edgardo Riquelme	Computing Quotient Groups of Smooth Order with Applications to Isogenies over Higher-Dimensional Abelian Varieties.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF