Results 151 to 160 of about 38,933 (219)

Monitoring and predicting cotton leaf diseases using deep learning approaches and mathematical models. [PDF]

Sci Rep
Rehman A, Akhtar N, Alhazmi OH.
europepmc   +1 more source

A Statistical Framework of Watermarks for Large Language Models: Pivot, Detection Efficiency and Optimal Rules. [PDF]

Ann Stat
Li X, Ruan F, Wang H, Long Q, Su WJ.
europepmc   +1 more source

Research on key technologies for privacy-preserving, regulatorily compliant, and cross-chain interoperability in heterogeneous blockchain systems. [PDF]

Sci Rep
Chen Z, Liu H, Zhang L, Dai B, Shi Y.
europepmc   +1 more source

LLM-Based Unknown Function Automated Modeling in Sensor-Driven Systems for Multi-Language Software Security Verification. [PDF]

Sensors (Basel)
Deng L, Zhong Q, Song J, Lei H, Li W.
europepmc   +1 more source

Automated Geometric Theorem Proving: Wu's Method

The Mathematics Enthusiast, 2006
openaire   +2 more sources

Exploration of Chemical Space Through Automated Reasoning. [PDF]

Angew Chem Int Ed Engl
Clymo J, Collins CM, Atkinson K, Dyer MS, Gaultois MW, Gusev VV, Rosseinsky MJ, Schewe S.   +7 more
europepmc   +1 more source

Report on "Axiomatizing Conditional Normative Reasoning". [PDF]

Kunstliche Intell (Oldenbourg)
Parent X.
europepmc   +1 more source

Algorithms on Trial: Does evaluative probabilistic reporting of forensic evidence infringe the presumption of innocence? [PDF]

Forensic Sci Int Synerg
Sallavaci O.
europepmc   +1 more source

Dynamics of 4D supply chain system with fractal fractional derivatives insight of stability analysis and ANN prediction. [PDF]

Sci Rep
Zehra A, Farman M, Bonny T, Sambas A, Al Nassan W, Nisar KS, Voon BWN, Hafez M.   +7 more
europepmc   +1 more source

FD-DEIM: efficient and robust detection of small, irregular foliar lesions in the field. [PDF]

Front Plant Sci
Zeng H, Tao J.
europepmc   +1 more source