Results 61 to 70 of about 138,202 (206)

Software Model Checking via Large-Block Encoding [PDF]

, 2009
The construction and analysis of an abstract reachability tree (ART) are the basis for a successful method for software verification. The ART represents unwindings of the control-flow graph of the program.
Alberto Griggio, Alessandro Cimatti, Dirk Beyer, Fbk-irst Trento, M. Erkan Keremoglu, Roberto Sebastiani   +5 more
core   +5 more sources

Wearable Tailored Passive Radiative Cooling Textile for Flexible Electronic Integration

Advanced Science, EarlyView.
A scalable, additive‐free wearable tailored passive radiative cooling textile (WRCT) with hierarchically structured fibers delivers exceptional thermal management, combining >95% solar reflectance, 0.96 mid‐infrared emissivity, and ultralow thermal conductivity (0.041 W/m·K).
Lung Chow, Jianpeng Zhang, Zehua Peng, Denglin Ye, Binbin Zhang, Jian Li, Wooyoung Park, Chentao Du, Xingcan Huang, Chun Ki Yiu, Yuze Qiu, Jingkun Zhou, Zhenlin Chen, Yuyu Gao, Weibin Zhu, Pengcheng Wu, Guangyao Zhao, Qiang Zhang, Yuan Guo, Zuowei Sun, Zhan Shen, Shuaiqi Ren, Sang Min Won, Jiyu Li, Xinge Yu   +24 more
wiley   +1 more source

The Effect of Lactobacillus plantarum on the Fecal Microbiota, Short Chain Fatty Acids, Odorous Substances, and Blood Biochemical Indices of Cats

Microorganisms
Lactobacilli have played an important role in the gut health of pets. The aim of this research was to study the effects of isolated Lactobacilli (named L11) on the immune, nutrient metabolism, and gut health of cats.
Bing Han, Shukun Liang, Jintao Sun, Hui Tao, Zhenlong Wang, Baosheng Liu, Xiumin Wang, Jie Liu, Jinquan Wang   +8 more
doaj   +1 more source

Experimental Evidence on Transfer Pricing

International Journal of Management and Economics, 2016
We use incentivized economics experiments to test both the point predictions and comparative static predictions of optimal transfer pricing models, comparing behavior under varying conditions, including wholly versus partially-owned subsidiaries and ...
Tran Quoc H., Croson Rachel T. A., Seldon Barry J.   +2 more
doaj   +1 more source

Molecular characterization and validation of sunflower (Helianthus annuus L.) hybrids through SSR markers.

PLoS ONE, 2022
Genetic purity is a prerequisite for exploiting the potential of hybrids in cross-pollinated crops, such as sunflower. In this regard DNA-based study was conducted using 110 simple sequence repeat (SSR) markers to check the genetic purity of 23 parents ...
Hafiz Ghulam Muhu-Din Ahmed, Muhammad Rizwan, Muhammad Naeem, Muhammad Ahsan Khan, Faheem Shehzad Baloch, Sangmi Sun, Gyuhwa Chung   +6 more
doaj   +1 more source

Mycophenolic Acid Activation of p53 Requires Ribosomal Proteins L5 and L11 [PDF]

Journal of Biological Chemistry, 2008
Mycophenolate mofetil (MMF), a prodrug of mycophenolic acid (MPA), is widely used as an immunosuppressive agent. MPA selectively inhibits inosine monophosphate dehydrogenase (IMPDH), a rate-limiting enzyme for the de novo synthesis of guanine nucleotides, leading to depletion of the guanine nucleotide pool.
Xiao-Xin, Sun, Mu-Shui, Dai, Hua, Lu
openaire   +2 more sources

Finite-Dimensional Representations of the Quantum Superalgebra U$_{q}$[gl(2/2)]: II. Nontypical representations at generic $q$

, 1994
The construction approach proposed in the previous paper Ref. 1 allows us there and in the present paper to construct at generic deformation parameter $q$ all finite--dimensional representations of the quantum Lie superalgebra $U_{q}[gl(2/2)]$.
Faddeev L. D., Nedialka I. Stoilova, Nguyen Anh Ky, Schlosser H.   +3 more
core   +1 more source

Efficiency statistics at all times: Carnot limit at finite power [PDF]

, 2015
We derive the statistics of the efficiency under the assumption that thermodynamic fluxes fluctuate with normal law, parametrizing it in terms of time, macroscopic efficiency, and a coupling parameter $\zeta$.
Esposito, Massimiliano, Polettini, Matteo, Verley, Gatien   +2 more
core   +2 more sources

Efficiency at maximum power of minimally nonlinear irreversible heat engines [PDF]

, 2012
We propose the minimally nonlinear irreversible heat engine as a new general theoretical model to study the efficiency at the maximum power $\eta^*$ of heat engines operating between the hot heat reservoir at the temperature $T_h$ and the cold one at ...
Benjamin R., de Groot S. R., Esposito M., Gao T., Izumida Y., Izumida Y., K. Okuda, Landsberg P. T., Schmiedl T., Tu Z. C., Velasco S., Y. Izumida, Yvon J.   +12 more
core   +2 more sources

Tooth row allometry in domestic rabbits and nondomestic lagomorphs: Evidence for a decoupling of body and tooth row size changes in evolutionary time

The Anatomical Record, EarlyView.
Domestic rabbits of different body sizes differ disproportionately in the length of their tooth row or the length of their diastema. Abstract In various domestic mammals, smaller breeds tend to have proportionally larger teeth, whereas this is not a universal trend across mammals.
Ursina L. Fasciati, Christine Böhmer, Stefanie Ohlerth, Marcus Clauss   +3 more
wiley   +1 more source