Results 31 to 40 of about 110,761 (291)

Efficient Certified Resolution Proof Checking [PDF]

, 2016
We present a novel propositional proof tracing format that eliminates complex processing, thus enabling efficient (formal) proof checking. The benefits of this format are demonstrated by implementing a proof checker in C, which outperforms a state-of-the-
A Biere, A Darbari, A Gelder, A Gelder Van, B Konev, B Konev, C Sinz, E Alkassar, F Maric, F Maric, JC Blanchette, L Cruz-Filipe, L Cruz-Filipe, M Armand, M Heule, MJH Heule, MJH Heule, MJH Heule, N Shankar, N Wetzler, N Wetzler, P Beame, P Letouzey, RM McConnell, S Lescuyer, T Coquand, T Jussila, T Jussila, T Weber, Y Bertot   +29 more
core   +3 more sources

Penerapan Metode Rational Unified Process (RUP) Dalam Pengembangan Sistem Informasi Medical Check Up Pada Citra Medical Centre

Jurnal Teknologi Informasi Komputer dan Aplikasinya (JTIKA ), 2020
The Rational Unified Process (RUP) method is an iterative and incremental software development method that focuses on architecture. The RUP method will be used in the development of a medical check-up information system on a Citra medical center because ...
Ririn Perwitasari, Royana Afawani, Sri Endang Anjarwani   +2 more
semanticscholar   +1 more source

Use of Heating Methods and Xylose to Increase Rumen Undegradable Protein of Alternative Protein Sources: 1) Peanut Meal

Animals, 2022
Peanut meal has an excellent total protein content but also has low rumen undegradable protein (RUP). High-performance ruminants have high RUP requirements. We aimed to evaluate the effects of processing peanut meal with an autoclave and conventional and
Fernanda Rigon, David A. B. Pereira, Kalista E. Loregian, Elaine Magnani, Marcos I. Marcondes, Renata H. Branco, Pedro D. B. Benedeti, Eduardo M. Paula   +7 more
doaj   +1 more source

Bigger is Surprisingly Better: Agglomerates of Larger RuP Nanoparticles Outperform Benchmark Pt Nanocatalysts for the Hydrogen Evolution Reaction

Advances in Materials, 2018
Although metallic ruthenium (Ru) is a potential electrocatalyst for the hydrogen evolution reaction (HER) to replace platinum (Pt) at a cost of only ≈4% of Pt, the persistent dissolution of Ru under operation conditions remains a challenge.
Jie Yu, Yanan Guo, Sixuan She, S. Miao, M. Ni, Wei Zhou, Meilin Liu, Zongping Shao   +7 more
semanticscholar   +1 more source

Abundances and kinematics for ten anticentre open clusters [PDF]

, 2016
Open clusters are distributed all across the disk and are convenient tracers of its properties. In particular, outer disk clusters bear a key role for the investigation of the chemical evolution of the Galactic disk.
Bragaglia, A., Cantat-Gaudin, T., Donati, P., Magrini, L., Sordo, R., Vallenari, A.   +5 more
core   +2 more sources

The Effect of Magnitude M_w and Distance R_rup on the Fragility Assessment of a Multistory RC Frame Due to Earthquake-Induced Structural Pounding

Buildings, 2023
The effect of an intensity measure’s (IM’s) sufficiency property on the probabilistic assessment of reinforced concrete (RC) structures due to floor-to-floor structural pounding conditions is examined.
Maria G. Flenga, Maria J. Favvata
doaj   +1 more source

INT-RUP Secure Lightweight Parallel AE Modes

IACR Transactions on Symmetric Cryptology, 2020
Owing to the growing demand for lightweight cryptographic solutions, NIST has initiated a standardization process for lightweight cryptographic algorithms.
Avik Chakraborti, N. Datta, Ashwin Jha, Cuauhtemoc Mancillas-López, M. Nandi, Yu Sasaki   +5 more
semanticscholar   +1 more source

Growth Performance, Eating Behavior, Digestibility, Blood Metabolites, and Carcass Traits in Growing-Finishing Fat-Tailed Lambs Fed Different Levels of Dietary Neutral Detergent Fiber with High Rumen Undegradable Protein

Agriculture, 2021
This study was conducted to investigate the effect of decreasing concentrations of dietary neutral detergent fiber (NDF) at high rumen undegradable protein (RUP) on performance, digestibility, chewing activity, blood attributes, and carcass ...
Hamidreza Mirzaei-Alamouti, Azam Beiranvand, Arman Abdollahi, Hamid Amanlou, Amlan Kumar Patra, Jörg R. Aschenbach   +5 more
doaj   +1 more source

A comparative study of the intestinal digestive characteristics of different feeds for Holstein cows

Animal Diseases, 2022
This experiment was conducted with lactating Chinese Holstein cows to study the nutritional value of local protein feed resources. A three-step method (TSP) and a modified three-step method (MTSP) were used to measure the in vitro digestibility of rumen ...
Shuai Han, Fan Zhang, Yanli Zhao, Xiaoyu Guo, Xiaowei Zhu, Sumei Yan   +5 more
doaj   +1 more source

Model Simulasi Rational Unified Process (RUP) Pada Pegembagan Perangkat Lunak

Jurnal Repositor, 2020
Pada pengembangan perangkat lunak terdapat beberapa jenis metodologi yang dapat digunakan, salah satunya adalah Rational Unified Process (RUP). RUP merupakan salah satu jenis proses pengembangan perangkat lunak yang digunakan di berbagai perusahaan ...
T. Tia, Ilyas Nuryasin, M. Maskur
semanticscholar   +1 more source