yusuke1997/dblp-id-title huggingface dataset:
A road map for developing novel decision support system (DSS) for disseminating integrated pest management (IPM) technologies
Estimation of water table depth using DUALEM-2 system
Trailer hopper automatic detection method for silage harvesting based improved U-Net
A sound-based positioning system with centimeter accuracy for mobile robots in a greenhouse using frequency shift compensation
Motion analysis and system response of fertilizer feed apparatus for paddy Variable-Rate fertilizer spreader
Attention-aided semantic segmentation network for weed identification in pineapple field
RGB camera-based monocular stereo vision applied in plant phenotype: A survey
Multivariate analysis of hyper/multi-spectra for determining volatile compounds and visualizing cooking degree during low-temperature baking of tubers
Based on historical weather data to predict summer field-scale maize yield: Assimilation of remote sensing data to WOFOST model by ensemble Kalman filter algorithm
Agricultural crop discrimination in a heterogeneous low-mountain range region based on multi-temporal and multi-sensor satellite data
Lameness detection of dairy cows based on key frame positioning and posture analysis
Using tri-axial accelerometers data to predict behavior activity of grazing donkeys
Classification of maize seeds of different years based on hyperspectral imaging and model updating
Wheat3D PartNet: Annotated dataset for 3D wheat part segmentation
TomPhenoNet: A multi-modal fusion and multi-task learning network model for monitoring growth parameters of dwarf tomatoes
Battery-free wireless sensor system with compressed sensing for table grapes cold chain
Analysis of a multiclass classification problem by Lasso Logistic Regression and Singular Value Decomposition to identify sound patterns in queenless bee colonies
SegRoot: A high throughput segmentation method for root image analysis
Automatic reconstruction of three-dimensional root system architecture based on ground penetrating radar
Versatile method for grapevine row detection in challenging vineyard terrains using aerial imagery
Visible/Near Infrared (VIS/NIR) spectroscopy as an optical sensor for evaluating olive oil quality
Mechanism analysis and performance optimization of corn stalk cutting and throwing based on CFD-DEM coupling approach
Use of color parameters in the grouping of soil samples produces more accurate predictions of soil texture and soil organic carbon
Development of an automatic beehive transporting system based on YOLO and DeepSORT algorithms
Filling the maize yield gap based on precision agriculture - A MaxEnt approach
Detection of table grape berries need to be removed before thinning based on deep learning
Greenhouse tomato detection and pose classification algorithm based on improved YOLOv5
Fixed-time generalized super-twisting control for path tracking of autonomous agricultural vehicles considering wheel slipping
Unmanned airboat technology and applications in environment and agriculture
Detection of kernels in maize forage using hyperspectral imaging
Optimised schedules for sequential agricultural operations using a Tabu Search method
Towards the in-situ trunk identification and length measurement of sea cucumbers via Bézier curve modelling
PrunedYOLO-Tracker: An efficient multi-cows basic behavior recognition and tracking technique
Assessment of optimal airflow baffle locations and angles in mechanically-ventilated dairy houses using computational fluid dynamics
Grasping mode analysis and adaptive impedance control for apple harvesting robotic grippers
Aquatic plants detection in crab ponds using UAV hyperspectral imagery combined with transformer-based semantic segmentation model
In-field classification of the asymptomatic biotrophic phase of potato late blight based on deep learning and proximal hyperspectral imaging
Forecasting yield via reference- and scenario calculations
A method for detecting uneaten feed based on improved YOLOv5
Improving soil moisture prediction with deep learning and machine learning models
Assessment of chemical concentration accuracy and mixture uniformity of premixing in-line injection system
A new approach to extract the upright maize straw from Sentinel-2 satellite imagery using new straw indices
Determination of fibre and protein content in heterogeneous pastures using field spectroscopy and ultrasonic sward height measurements
Extracting apple tree crown information from remote imagery using deep learning
Quantitative extraction and analysis of pear fruit spot phenotypes based on image recognition
Numerical simulation of seed motion characteristics of distribution head for rapeseed and wheat
Grape yield estimation with a smartphone's colour and depth cameras using machine learning and computer vision techniques
CFD-driven Bayesian optimization of localized ventilation to achieve desired microclimate conditions in plant factories
CLA: A self-supervised contrastive learning method for leaf disease identification with domain adaptation
A very low-cost pulse-amplitude modulated chlorophyll fluorometer
Automatic green fruit counting in orange trees using digital images
Research on 3D surface reconstruction and body size measurement of pigs based on multi-view RGB-D cameras
Comparison of three methods for delineating management zones for site-specific crop management
Top-tuning on transformers and data augmentation transferring for boosting the performance of weed identification
Random forest and leaf multispectral reflectance data to differentiate three soybean varieties from two pigweeds
PWD-lightweight and feature fusion network for multi-stage joint detection of pine wilt disease
Utilizing farm knowledge for indoor precision livestock farming: Time-domain adaptation of cattle face recognition
Open source application for optimum irrigation and fertilization using reclaimed water in olive orchards
Machine learning based plot level rice lodging assessment using multi-spectral UAV remote sensing
Toward noninvasive monitoring of plant leaf water content by electrical impedance spectroscopy
Monitoring trough visits of growing-finishing pigs with UHF-RFID
LoRa signal propagation and path loss prediction in Tunisian date palm oases
An appetite assessment method for fish in outdoor ponds with anti-shadow disturbance
A method combining FTIR-ATR and Raman spectroscopy to determine soil organic matter: Improvement of prediction accuracy using competitive adaptive reweighted sampling (CARS)
Instance segmentation of root crops and simulation-based learning to estimate their physical dimensions for on-line machine vision yield monitoring
Synergy between pre-harvest practices and storage conditions to achieve good quality nectarines and prevent brown rot losses during storage: A modeling framework
Using ordered weight averaging (OWA) aggregation for multi-criteria soil fertility evaluation by GIS (case study: southeast Iran)
Algorithm for computing μ-bases of univariate polynomials
Bigraded Castelnuovo-Mumford regularity and Gröbner bases
Symbolic Computation Application for the Design of Linear Multivariable Control Systems
New effective bounds on the dimension of a linear system in P 2
Some Remarks On Numerical Iterations in a Symbolic Manipulation System
Connection Calculus Theorem Proving with Multiple Built-in Theories
Degree bounds for Gröbner bases of modules
Foreword on the special issue of JSC on the occasion of MEGA 2017
An Algorithm for Determining the Simplicity of a Modular Group Representation
An efficient sparse adaptation of the polytope method over I and a record-high binary bivariate factorisation
lim+, δ + , and Non-Permutability of β-Steps
Trace-based verification of imperative programs with I/O
Finite Derivation Type Implies the Homological Finiteness Condition FP_3
Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients
Computing the resolution regularity of bi-homogeneous ideals
An improved EZ-GCD algorithm for multivariate polynomials
Calculations with Simplicial and Cubical Groups in AXIOM
A Microcomputer Based System for Small Relation Algebras
Modular and incremental proofs of AC-termination
Computing linear systems on metric graphs
Symbolic Parametrization of Curves
Divisorial Extensions and the Computation of Integral Closures
The Brauer Tree for J_3 in Characteristic 17
Computing subgroups of bounded index in a finite group
The irreducible characters of the Sylow p -subgroups of the Chevalley groups D 6 ( p f ) and E 6 ( p f )
Estimating the number of tetrahedra determined by volume, circumradius and four face areas using Groebner basis
Using jointly geometry and algebra to determine RC-constructibility
Effective bounds for P-recursive sequences
On conversions from CNF to ANF
An implicitization challenge for binary factor analysis
Algorithmic Computation of Flattenings and of Modular Deformations
Strategies for Computing Minimal Free Resolutions
Symbolic Computation of Hyperbolicity Regions for Systems of Two-Phase Flow Conservation Laws Using Maple
Constructing Normalisers in Finite Soluble Groups
Constructive Lifting in Graded Structures: A Unified View of Buchberger and Hensel Methods
Construction of Linear Systems on Hyperelliptic Curves
Efficiently computing minimal sets of critical pairs
Gröbner bases and the number of Latin squares related to autotopisms of order <= 7
Parametrization of Algebraic Curves over Optimal Field Extensions
Topological types of actions on curves
Characterization of Pythagorean curves and Pythagoreanization using a rational transform
New refiners for permutation group search
Approximate factorization of multivariate polynomials using singular value decomposition
Factoring Polynomials Over Local Fields
Preface to First order theorem proving
Sparse Resultant of Composed Polynomials IMixed-. Unmixed Case
Power Series Remainder Sequences and Pade Fractions Over an Integral Domain
Special Issue: Symbolic Computation in Combinatorics - Foreword of the Guest Editors
Common composites of triangular polynomial systems and hash functions
New Structure Theorem for Subresultants
Combinatorial excess intersection
Apéry-type series via colored multiple zeta values and Fourier-Legendre series expansions
Feasible Arithmetic Computations: Valiant's Hypothesis
Irreducible constituents of monomial representations
Real Reparametrizations of Real Curves
Cartesian effect categories are Freyd-categories
Foreword to special issue
Parameterizing surfaces with certain special support functions, including offsets of quadrics and rationally supported surfaces
Minimal generating sets of non-modular invariant rings of finite groups
Formal reduction of singular linear differential systems using eigenrings: A refined approach
Computation of Hilbert Polynomials in Two Variables
Prony's method in several variables: Symbolic solutions by universal interpolation
Visibility Problems for Polyhedral Terrains
Computing automorphisms of semigroups
Effective identifiability criteria for tensors and polynomials
An Optimal Algorithm for Constructing the Reduced Gröbner Basis of Binomial Ideals, and Applications to Commutative Semigroups
On the Determination of Green's Relations in Finite Tranformation Semigroups
Minimizing representations over number fields
On the log-concavity of the n-th root of sequences
On approximate triangular decompositions in dimension zero
Computer algebra in pure and applied mathematics: A foreword
On Rational Solutions of Systems of Linear Differential Equations
Eta pairing computation on general divisors over hyperelliptic curves y
Parallelization of triangular decompositions: Techniques and implementation
Symbolic computation with finite quandles
A Faster Way to Count the Solution of Inhomogeneous Systems of Algebraic Equations, with Applications to Cyclic n-Roots
Polynomial dynamics of human blood genotypes frequencies
A Review of Mathematica
On the Computation of Elementary Divisors of Integer Matrices
Codatatypes in ML
Computing Galois Groups of Completely Reducible Differential Equations
Constructive General Neron Desingularization for one dimensional local rings
Size Reduction and Partial Decoupling of Systems of Equations
Advances on the Simplification of Sine-Cosine Equations
Guessing Gröbner bases of structured ideals of relations of sequences
Construction of Finitely Presented Lie Algebras and Superalgebras
A Computer Oriented Algorithm for the Determination of the Dimension and Character of a Modular Irreducible SL(n, K)-Module
Systems of Algebraic Equations with Bad Reduction
Sparse polynomial interpolation based on derivatives
Cohomology with local coefficients and knotted manifolds
Calculating the Galois Group of Y'= = = AY+ + + B, Y'= = = AY Completely Reducible
Stratification and Knowledge Base Management
A new algorithmic scheme for computing characteristic sets
On other two representations of the C-recursive integer sequences by terms in modular arithmetic
Taylor and Lyubeznik Resolutions via Gröbner Bases
Computing tropical varieties
Formal analysis of continuous-time systems using Fourier transform
Solving polynomial systems over non-fields and applications to modular polynomial factoring
Editorial: The Integration of Automated Reasoning and Computer Algebra Systems
Modelling the Combination of Functional and Logic Programming Languages
Computing real radicals and S -radicals of polynomial systems
The BMM symmetrising trace conjecture for groups G 4 , G 5 , G 6 , G 7 , G 8
Some Properties of Finite Special String-Rewriting Systems
Reduction-based creative telescoping for definite summation of D-finite functions
Skew polynomial rings, Gröbner bases and the letterplace embedding of the free associative algebra
On Solutions of Linear Ordinary Differential Equations in their Coefficient Field
A symbolic algorithm to compute immersions of polynomial systems into linear ones up to an output injection
Applicability of the q-analogue of Zeilberger's algorithm
Primary Decomposition of Lattice Basis Ideals
Essential Components of an Algebraic Differential Equation
Tropical algebraic geometry in Maple: A preprocessing algorithm for finding common factors for multivariate polynomials with approximate coefficients
Combination of convex theories: Modularity, deduction completeness, and explanation
The Computer Construction of Matrix Representations of Finite Groups over Finite Fields
Local Bézout Theorem
Computation of the Cohomology of BSO_n<16> for 23 <= n <= 26 Using REDUCE
An Efficient Algorithm and Parallel Implementations for Binary and Residue Number Systems
Combinatorial algorithm for the computation of cyclically standard regular bracket monomials
Dynamically Typed Computations for Order-Sorted Equational Presentations
Special Issue on Algorithmic Methods in Galois Theory - Foreword of the Guest Editors
Equational approximations for tree automata completion
Computing with Quantized Enveloping Algebras: PBW-Type Bases, Highest-Weight Modules and R-Matrices
Deciding Hopf Bifurcations by Quantifier Elimination in a Software-component Architecture
Computing Ext Algebras for Finite Groups
Symbolic integration on planar differential foliations
Ideals, bifiltered modules and bivariate Hilbert polynomials
On Shortest Linear Recurrences
On the complexity of the F5 Gröbner basis algorithm
In-depth comparison of the Berlekamp-Massey-Sakata and the Scalar-FGLM algorithms: The adaptive variants
A Theorem on Random Polynomials and Some Consequences in Average Complexity
Genus computation of global function fields
Proving inequalities and solving global optimization problems via simplified CAD projection
Fast computation of the N -th term of a q -holonomic sequence and applications
Computations for Coxeter arrangements and Solomon's descent algebra: Groups of rank three and four
Decidability of Unification in the Theory of One-Sided Distributivity and a Multiplicative Unit
Determining the limits of bivariate rational functions by Sturm's theorem
An algorithm to compute Liouvillian solutions of prime order linear difference-differential equations
Reducing complexes in multidimensional persistent homology theory
Computing Chief Series, Composition Series and Socles in Large Permutation Groups
Cut-elimination and Redundancy-elimination by Resolution
On the Logic of Unification
Solutions of Systems of Algebraic Equations and Linear Maps on Residue Class Rings
Rationalizability of square roots
Isolating all the real roots of a mixed trigonometric-polynomial
Computing the first few Betti numbers of semi-algebraic sets in single exponential time
Computing Segre classes in arbitrary projective varieties
Computing and using minimal polynomials
An algorithm for computing the Hilbert-Samuel multiplicities and reductions of zero-dimensional ideals of Cohen-Macaulay local rings
A combined symbolic and numerical algorithm for the computation of zeros of orthogonal polynomials and special functions
Computing the intersections of three conics according to their Jacobian curve
Comprehensive Gröbner systems in PBW algebras, Bernstein-Sato ideals and holonomic D -modules
Gröbner-Shirshov bases for free multi-operated algebras over algebras
Computing the homology of groups: The geometric way
Symbolic Local Refinement of Tetrahedral Grids
Computing spectral sequences
Computing with Differential-difference Operators
Solving equations using Khovanskii bases
A Polycyclic Quotient Algorithm
Special issue on Symbolic and Algebraic Computation: ISSAC 2021
Comparison of Priority Rules in Pattern Matching and Term Rewriting
QPC_2: A Constructive Calculus with Parameterized Specifications
An Example of Application of Symbolic Computation in Solid State Physics
A propositional encoding for first-order clausal entailment over infinitely many constants
Towards a computational proof of Vizing's conjecture using semidefinite programming and sums-of-squares
Gröbner-free normal forms for Boolean polynomials
Wasserstein distance to independence models
Separation bounds for polynomial systems
On the Derivation and Reduction of C 1 Trigonometric Basis Functions Using Maple TM
Solution of a Hydrodynamic Lubrication Problem with Maple
Fast computation of the rank profile matrix and the generalized Bruhat decomposition
Generalized Subresultants for Computing the Smith Normal Form of Polynomial Matrices
Fast commutative matrix algorithms
Regular Gröbner Bases
Generic Polynomials with Few Parameters
Extremal decompositions of tropical varieties and relations with rigidity theory
Factoring Polynomials Using Fewer Random Bits
Efficiency improvement in an nD systems approach to polynomial optimization
Parameterized norm form equations with arithmetic progressions
Galois theory and algorithms for linear differential equations
Multi-Modular Approach to Polynomial-Time Factorization of Bivariate Integral Polynomials
Implicitization, parameterization and singularity computation of Steiner surfaces using moving surfaces
Coisotropic hypersurfaces in Grassmannians
Cubic vertex-transitive graphs on up to 1280 vertices
Efficient Collection in Infinite Polycyclic Groups
A survey of strategies in rule-based program transformation systems
A geometric algorithm for the factorization of rational motions in conformal three space
Efficient algorithms for the gcd and cubic residuosity in the ring of Eisenstein integers
GCDHEU: Heuristic Polynomial GCD Algorithm Based On Integer GCD Computation
Combining Enumeration and Deductive Techniques in order to Increase the Class of Constructible Infinite Models
Implicitization of hypersurfaces
Using the Magma Computer Algebra System in Abstract Algebra Courses
Implementing the Baumslag-Cannonito-Miller Polycyclic Quotient Algorithm
Explicit Solutions of Galois Embedding Problems by Means of Generalized Clifford Algebras
Foreword from the Editors
An analysis of inhomogeneous signature-based Gröbner basis computations
Parametrized automata simulation and application to service composition
Computer Algebra and Mechanized Reasoning: Selected St. Andrews' ISSAC/Calculemus 2000 Contributions - Foreword from the Editors
Reduction-based creative telescoping for fuchsian D-finite functions
Computing generators of the tame kernel of a global function field
Implicitization of Rational Parametric Surfaces
Standard Bases and Geometric Invariant Theory I. Initial Ideals and State Polytopes
On the complexity of computing with zero-dimensional triangular sets
Flat matching
A Polynomial Time Algorithm for Diophantine Equations in One Variable
Hirota varieties and rational nodal curves
On the probability distribution of singular varieties of given corank
Determining cyclicity of finite modules
Corrigendum to "The F5 criterion revised" [J. Symb. Comput. 46 (2) (2011) 1017-1029]
Solution formulas for cubic equations without or with constraints
Syntactical Methods for Braids of Three Strands
Special Issue on Symbolic and Algebraic Computation Foundations, Algorithmics and Applications: ISSAC 2009
Neglected critical issues of effective CAS utilization
A Generalized Euclidean Algorithm for Computing Triangular Representations of Algebraic Varieties
Toward Symbolic Integration of Elliptic Integrals
Exploring conditional rewriting logic computations
Decomposition loci of tensors
Examples of special quadratic birational transformations into complete intersections of quadrics
Computing generators of groups preserving a bilinear form over residue class rings
Analysing Finitely Presented Groups by Constructing Representations
Differential Equations of Order Two with One Singular Point
The convex algebraic geometry of higher-rank numerical ranges
An Iterated Eigenvalue Algorithm for Approximating Roots of Univariate Polynomials
A Systematic Framework for Solving Geometric Constraints Analytically
Bounding the radii of balls meeting every connected component of semi-algebraic sets
Symmetric representation of the elements of the Conway group .0
Certification for polynomial systems via square subsystems
An Improved Projection Operation for Cylindrical Algebraic Decomposition of Three-Dimensional Space
Computing the Isolated Roots by Matrix Methods
Necklaces count polynomial parametric osculants
Exact resultants for corner-cut unmixed multivariate polynomial systems using the Dixon formulation
Exact p -adic computation in Magma
Automorphism group computation and isomorphism testing in finite groups
Bounds for the Roots of Lacunary Polynomials
Syzygies for translational surfaces
The Knuth-Bendix Procedure for Strings as a Substitute for Coset Enumeration
Galois Groups of Second and Third Order Linear Differential Equations
Integration in finite terms with elementary functions and dilogarithms
Combining Unification Algorithms
Use of Computer Algebra to Locate Critical Loci in Fluid Mixtures
A necessary condition in the monodromy problem for analytic differential equations on the plane
A semi-numerical algorithm for the homology lattice and periods of complex elliptic surfaces over P1
Families of blowups of the real affine plane: Classification, isotopies and visualization
Computing tropical linear spaces
Computation of positively graded filiform nilpotent Lie algebras in low dimensions
On a Conjecture of Peter Borwein
Complexity of the Havas, Majewski, Matthews LLL Hermite Normal Form Algorithm
Trading order for degree in creative telescoping
Towards a clausal analysis of cut-elimination
On the complexity of integer matrix multiplication
Structures of precision losses in computing approximate Gröbner bases
The Cartan matrix and enumerative calculus
Saturations of subalgebras, SAGBI bases, and U-invariants
Cumulant varieties
Boolean Unification - The Story So Far
Coding with skew polynomial rings
On decomposable semigroups and applications
Computing the V-saturation of finitely-generated submodules of V[X] m where V is a valuation domain
A Categorical Critical-pair Completion Algorithm
MacWilliams' Extension Theorem for rank-metric codes
Subresultants of ( x - α ) m and ( x - β ) n , Jacobi polynomials and complexity
Computing Modular and Projective Character Degrees of Soluble Groups
Multivariate Polynomials, Standard Tableaux, and Representations of Symmetric Groups
Solving over-determined systems by the subresultant method (with an appendix by Marc Chardin)
Subresultants of two Hermite-Laurent series
Subresultants Under Composition