Results 31 to 40 of about 11,957,490 (337)
Frontiers in Earth Science, 2023 Efficient gas extraction technology is an important topic for low permeability and high gas outburst coal seam. Based on the engineering background of Hudi Coal Mine with the soft and hard coal seams and the existing hydraulic permeability enhancement ...
Dingqi Li +3 more
doaj +1 more source
Space Efficiency of Propositional Knowledge Representation Formalisms [PDF]
, 2000 We investigate the space efficiency of a Propositional Knowledge Representation (PKR) formalism. Intuitively, the space efficiency of a formalism F in representing a certain piece of knowledge A, is the size of the shortest formula of F that represents A.
Cadoli, M. +3 more
core +3 more sources
Space-Efficient Substring Occurrence Estimation
Algorithmica, 2011 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Orlandi, Alessio, VENTURINI, ROSSANO
openaire +4 more sources
Space-efficient gradual typing [PDF]
Higher-Order and Symbolic Computation, 2010 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Herman, David +2 more
openaire +2 more sources
Shanghai Jiaotong Daxue xuebao, 2022 The excavation of foundation pit above the existing metro tunnel inevitably leads to the uplift of the tunnel. As an anti-uplift measure, the anti-uplift portal frame is still lack of research.
WU Huaina, FENG Donglin, LIU Yuan, LAN Ganzhou, CHEN Renpeng
doaj +1 more source
Efficient computation of spaced seeds [PDF]
BMC Research Notes, 2012 Background The most frequently used tools in bioinformatics are those searching for similarities, or local alignments, between biological sequences. Since the exact dynamic programming algorithm is quadratic, linear-time heuristics such as BLAST are used.
openaire +5 more sources
An Evaluation of Space Use Efficiency in Residential Houses, Kabul City
Journal for Research in Applied Sciences and Biotechnology, 2023 Space efficiency is one of the significant segments of building that requires consideration. This study focuses on the evaluation of space use efficiency in existing residential buildings and seeks to look at the current space use practices in interior ...
Rahmatullah Ibrahimy +2 more
semanticscholar +1 more source
Efficient Space Exploration through Laziness [PDF]
, 2013 Autonomous behavior and onboard decision making is the backbone of robotic space exploration. The enormous distance and communication latency make such missions hardly controllable from Earth and external decision making may overlap and often contradict with the onboard decision making.
Vassev, Emil, Hinchey, Mike
openaire +1 more source
Sharing indoor space: stakeholders’ perspectives and energy metrics
Buildings & Cities, 2020 The sharing of indoor space can improve space and energy efficiency. The drivers and barriers to space-sharing initiatives are investigated from the perspectives of building users and building sector practitioners, based on interviews and a workshop. The
Nicolas Francart +5 more
doaj +1 more source
Shanghai Jiaotong Daxue xuebao, 2022 In order to evaluate the impact of shield tunnel construction on adjacent buildings, a method based on the fuzzy analytic hierarchy process (FAHP) and the interval number improvement technique for order preference by similarity to ideal solution (TOPSIS)
CHEN Renpeng, WANG Zhiteng, WU Huaina, LIU Yuan, MENG Fanyan
doaj +1 more source