Results 11 to 20 of about 130,902 (295)
Certified Programs and Proofs, 2023 We present an extensive mechanization of the metatheory of Martin-Löf Type Theory (MLTT) in the Coq proof assistant. Our development builds on pre-existing work in Agda to show not only the decidability of conversion, but also the decidability of type ...
Arthur Adjedj +4 more
semanticscholar +1 more source
MTS-LOF: Medical Time-Series Representation Learning via Occlusion-Invariant Features [PDF]
IEEE journal of biomedical and health informatics, 2023 Medical time series data are indispensable in healthcare, providing critical insights for disease diagnosis, treatment planning, and patient management.
Huayu Li +4 more
semanticscholar +1 more source
Adaptable and Robust EEG Bad Channel Detection Using Local Outlier Factor (LOF)
Italian National Conference on Sensors, 2022 Electroencephalogram (EEG) data are typically affected by artifacts. The detection and removal of bad channels (i.e., with poor signal-to-noise ratio) is a crucial initial step.
V. Kumaravel +3 more
semanticscholar +1 more source
ADASYN-LOF Algorithm for Imbalanced Tornado Samples
Atmosphere, 2022 Early warning and forecasting of tornadoes began to combine artificial intelligence (AI) and machine learning (ML) algorithms to improve identification efficiency in the past few years.
Zhipeng Qing +5 more
semanticscholar +1 more source
JTSL (Jurnal Tanah dan Sumberdaya Lahan), 2023 The price of the AB mix is relatively high, so it needed to find another alternative with a more economical price. One of the alternatives is Liquid Organic Fertilizer (LOF). This study aimed to know the quality of LOF made from banana peels and chicken
Indri Hapsari Fitriyani +2 more
doaj +1 more source
Frontiers in Pharmacology, 2021 Background: CYP2C19 loss-of-function (LOF) alleles reduce the effectiveness of clopidogrel in patients undergoing percutaneous coronary intervention for acute coronary syndrome.
Yi Zhang +14 more
doaj +1 more source
Growth and yield of sweet corn in response to the liquid organic fertilizer derived from Tithonia diversifolia and Ageratum conyzoides [PDF]
E3S Web of Conferences, 2023 Sweet corn is a popular alternative vegetable among Indonesians. Because the majority of its growing area is alternated with other vegetable crops, a strategy for managing the source of fertilizer is required to ensure efficiency and sustainability. This
Fadhillah I.M. +2 more
doaj +1 more source
JURNAL BIOLOGI TROPIS, 2021 Fertilizer is one of the most important needs for plants. Fertilizing can be done by using inorganic fertilizers or organic fertilizers. Long term fertilizing by using inorganic fertilizers without adding the organic matter could potentially reduce soil ...
Legita Dwi Kurnianta +2 more
semanticscholar +1 more source
Beyond product markets: new insight on liability of foreignness from capital markets [PDF]
, 2011 We expand the Liability of Foreignness (LOF) construct beyond the product market domain to include liabilities faced by firms attempting to secure resources in host capital markets. Drawing from institutional theory and research in finance, we identify
Bell, R. Greg +2 more
core +2 more sources
Cell Communication and Signaling, 2020 Background Recent physiological and experimental data highlight the role of the sensory nervous system in bone repair, but its precise role on angiogenesis in a bone regeneration context is still unknown.
Alice Leroux +4 more
doaj +1 more source