Quirky Quantifiers: Optimal Models and Complexity of Computation Tree Logic [PDF]
, 2018 Martin Lück
openalex +1 more source
SLICE (SMARTS and Logic In ChEmistry): fast generation of molecules using advanced chemical synthesis logic and modern coding style. [PDF]
J CheminformIlemo SN +6 more
europepmc +1 more source
A Guide to Bayesian Optimization in Bioprocess Engineering
Biotechnology and Bioengineering, EarlyView.ABSTRACT Bayesian optimization has become widely popular across various experimental sciences due to its favorable attributes: it can handle noisy data, perform well with relatively small data sets, and provide adaptive suggestions for sequential experimentation.
Maximilian Siska +5 more
wiley +1 more source
Vectorized symbolic model checking of computation tree logic for sequential machine verification [PDF]
, 1992 Hiromi Hiraishi +3 more
openalex +1 more source
Area efficient approximate multiplier based on novel 4:2 compressors and error correction logic. [PDF]
Sci RepP KP, V NK.
europepmc +1 more source
Biological Reviews, EarlyView.ABSTRACT Basal and standard metabolic rate (BMR and SMR) are cornerstones of physiological ecology and are assumed to be relatively fixed intrinsic properties of organisms that represent the minimum energy required to sustain life. However, this assumption is conceptually flawed. Many core maintenance processes underlying SMR are temporally partitioned
Helena Norman +4 more
wiley +1 more source
A scalable automated framework for multiply-accumulate unit design in high-performance computing applications. [PDF]
Sci RepVenkatachalam A +2 more
europepmc +1 more source
Can Hybrid Organisations Solve the Paradox of the Triple Bottom Line, and Does It Need Solving?
Business Strategy and the Environment, EarlyView.ABSTRACT This study investigates how B Corp certification enables hybrid organisations to integrate competing institutional logics of market and social purpose. Through a two‐stage qualitative design combining cross‐sector interviews with B Corps and an in‐depth case study, with a total of 30 participants, we analyse how certification supports hybrid ...
Ruth Cherrington +3 more
wiley +1 more source
Computation Tree Logic Model Checking of Multi-Agent Systems Based on Fuzzy Epistemic Interpreted Systems [PDF]
Xia Li +5 more
openalex +1 more source
Modified vedic multiplier architecture using Nikhilam and Karatsuba algorithms with hybrid adders for enhanced performance. [PDF]
Sci RepA S, A S.
europepmc +1 more source