Results 51 to 60 of about 135,698 (258)
Automatic inventory of retaining walls from aerial lidar data using 3D deep learning
Civil Engineering Design, Volume 7, Issue 4, Page 178-189, December 2025.Abstract Infrastructure management along highways and railways requires inventories of critical structures like retaining walls, which traditionally rely on manual inspection and documentation. Unfortunately, data in infrastructure databases is often incomplete.
Ivo Gasparini +2 more
wiley +1 more source
Counterexamples to simulation in non-deterministic call-by-need lambda-calculi with letrec [PDF]
, 2009 This note shows that in non-deterministic extended lambda calculi with letrec, the tool of applicative (bi)simulation is in general not usable for contextual equivalence, by giving a counterexample adapted from data flow analysis.
Machkasova, Elena +2 more
core +1 more source
Speed-scaling with no Preemptions [PDF]
, 2014 We revisit the non-preemptive speed-scaling problem, in which a set of jobs have to be executed on a single or a set of parallel speed-scalable processor(s) between their release dates and deadlines so that the energy consumption to be minimized.
Bampis, Evripidis +2 more
core +3 more sources
WIREs Energy and Environment, Volume 14, Issue 4, December 2025.Graphical abstract illustrating the challenges, opportunities, and research gaps in decarbonizing ASEAN'S transport sector through electric vehicle (EV) and biofuel policy pathways. The framework highlights infrastructural, policy, and investment barriers alongside emerging opportunities from advanced biofuel technologies and supportive policy ...
Ohn Zin Lin +4 more
wiley +1 more source
Sistem Informasi Pengadaan Barang Berbasis Web pada PT. Arpan Bali Utama
INSERT, 2021 PT Arpan Bali Utama merupakan perusahaan manufaktur yang bergerak dalam bidang produksi minuman wine. Adapun beberapa permasalahan yang ada yaitu disaat proses pencatatan transaksi pembelian dan penerimaan barang, serta permasalahan lainnya yaitu, pihak
Ni Kadek Sutriasih +2 more
doaj +1 more source
Market uptake of pegylated interferons for the treatment of hepatitis C in Europe : meeting abstract [PDF]
, 2008 Introduction and Objectives Hepatitis C virus (HCV) infection is a leading cause of chronic liver disease with life threatening sequelae such as end-stage liver cirrhosis and liver cancer.
Lettmeier, Beate +5 more
core
ChemCatChem, Volume 17, Issue 20, October 20, 2025.A catalyst‐informatics framework for Ga‐Pt supported liquid alloy in propane dehydrogenation is presented. The framework, combining statistical analysis and machine learning, identifies key factors influencing catalyst performance and highlights the need for larger datasets for predictive design.
Angelika Owsienko +4 more
wiley +1 more source
, 2002 Die Informatik (engl.: Computer Science, auch Informatics) ist die Wissenschaft von der automatischen Informationsverarbeitung, insbesondere mit Hilfe digitaler Rechenanlagen (Computer).
Johann Blieberger +2 more
openaire +3 more sources
Informatische Bildung in SchulenFachausschuss Informatische Bildung in Schulen (FA IBS) 22. - 24.09.2025: Informatik und Schule - INFOS 2025 (Stoos Lodge, Stoos, Schweiz) Didaktik der Informatik (FG DDI) 24.
doaj +1 more source
On the Descriptional Complexity of Operations on Semilinear Sets [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 We investigate the descriptional complexity of operations on semilinear sets. Roughly speaking, a semilinear set is the finite union of linear sets, which are built by constant and period vectors.
Simon Beier +2 more
doaj +1 more source