Results 61 to 70 of about 15,272 (223)
Machine Learning in Proof General: Interfacing Interfaces [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 We present ML4PG - a machine learning extension for Proof General. It allows users to gather proof statistics related to shapes of goals, sequences of applied tactics, and proof tree structures from the libraries of interactive higher-order proofs ...
Ekaterina Komendantskaya +2 more
doaj +1 more source
Decision Sciences Journal of Innovative Education, Volume 24, Issue 3, July 2026.Abstract The growing demand for data literacy across disciplines has intensified the need for instructional approaches that balance technical rigor with accessibility, engagement, and real‐world relevance. In data science education, code‐centric instruction can support technical depth, but it may also divert novice learners’ attention toward syntax and
Dursun Delen
wiley +1 more source
, 2015 <ul> <li>Can now choose to save the script in the model using the -save flag.</li> </ul ...
Christopher Beckham
core +1 more source
Analysis of the Attributes of Liver Cirrhosis using the Machine Learning Tools
Applied Medical Informatics, 2023 Background: The liver controls the metabolic process of our physiological system. The hepatic portal system is the pathway via which food and other ingredients we ingest enter the liver.
Gireesh NAMINENI, Krupanidhi SREERAMA
doaj
Journal of Microscopy, Volume 303, Issue 1, Page 88-100, July 2026.Abstract A recipe for producing carbon extraction replicas from twin‐jet electropolished disks is described. This technique allows tracking the analysed region with respect to the bulk sample. An example use of the method as applied to a reduced activation ferritic martensitic (RAFM) steel, ‘UK‐RAFM’, is reported.
Jack Haley +3 more
wiley +1 more source
Datenanalyse im HRM. Ein Leitfaden von der Erstellung erster Kennzahlen zu HR Analytics
, 2023 Das Thema HR Analytics ist nicht neu. Schon lange werden im HRM Zahlen und Daten erhoben und ausgewertet. Doch seit gut zehn Jahren ist dieses Feld im Wandel und durchläuft eine Professionalisierung.
Sitte, Michael
core
Düzce Üniversitesi Bilim ve Teknoloji Dergisi, 2015 Günümüzde sosyal ağ kullanımı oldukça artmıştır. Bu çalışmada Kocaeli İlinde yer alan Ulusal Egemenlik Ortaokulu öğrencileri üzerinde anket uygulaması gerçekleştirilmiş, toplanan anket sonuçları veri madenciliği teknikleri kullanılarak analiz edilmiştir.
Meltem Kurt Pehlivanoğlu, Nevcihan Duru
doaj
Journal of Raman Spectroscopy, Volume 57, Issue 6, Page 1071-1080, June 2026.We present an automated system that combines an image‐based fuzzy logic controller for precise positioning of microfluidic picoliter droplets with nonlinear microscopy, using CARS and TPEF modalities for detailed analysis of droplet composition. Time series and z‐stack images of E. coli, B. subtilis, and M. arborescens were recorded.
Fabian Ott +6 more
wiley +1 more source
, 2021 See https://github.com/clij/clijx/releases/tag/0.30.1.14 https://github.com/clij/clij2/releases/tag/2.2.0 ...
Robert Haase
core +1 more source
New Zealand Journal of Botany, Volume 64, Issue 2, June 2026.Gentianella calcis subsp. waipara Glenny & Molloy (Gentianaceae) is endemic to limestone formations in North Canterbury, New Zealand. A previous conservation genetics study of G. calcis Glenny & Molloy and another eastern South Island limestone endemic species, G. astonii (Petrie) T.N.Ho & S.W.Liu, showed that G. calcis subsp.
Robb W. Eastman‐Densem +3 more
wiley +1 more source