Results 31 to 40 of about 60,108 (204)
Lensa: Kajian Kebahasaan, Kesusastraan, dan Budaya, 2018 Tujuan penelitian ini yaitu mendeskripsi tipe-tipe kompositum subordinatif substantif pada nama-nama makanan tradisional Jawa Tengah dan menemukan dominasi pada nama-nama makanan tradisonal Jawa Tengah. Objek dalam penelitian ini berupa nama-nama makanan
RNG Isyfa Rohmah Nurhayati +1 more
doaj +1 more source
Three Optimisations for Sharing [PDF]
, 2002 In order to improve precision and efficiency sharing analysis should track both freeness and linearity. The abstract unification algorithms for these combined domains are suboptimal, hence there is scope for improving precision. This paper proposes three
Howe, Jacob M., King, Andy
core +3 more sources
Comparison of Laminar, RNG, and LES Model for Wave Propagation Simulation with FLOW-3D
JGEET: Journal of Geoscience, Engineering, Environment and TechnologyUnderstanding wave transformation and its interaction with coastal structures is critical for shoreline protection and design. While physical modeling has traditionally supported such studies, its high cost has led to increased reliance on numerical ...
Rizaldi Yuniardi +5 more
doaj +1 more source
Turbulence Models Application in Air Flow of Crossflow Turbine
International Journal of Technology, 2018 Using the CFD method as the initial analysis for experiments has more benefits, including saving time and costs. The variable of flow parameters and geometry can be easily developed to get the desired results.
Gun Gun R. Gunadi +2 more
doaj +1 more source
Periodic orbits of the ensemble of Sinai-Arnold cat maps and pseudorandom number generation
, 2006 We propose methods for constructing high-quality pseudorandom number generators (RNGs) based on an ensemble of hyperbolic automorphisms of the unit two-dimensional torus (Sinai-Arnold map or cat map) while keeping a part of the information hidden.
A. J. Lichtenberg +16 more
core +1 more source
Comparative Biology of Temperate and Subtropical Bark and Ambrosia Beetles (Coleoptera: Scolytidae, Platypodidae) in Indiana and Florida [PDF]
, 2017 Bark and ambrosia beetles were compared from two intensively studied sites. The Indiana site produced 58 species, the Florida site 57 species; 17 species occurred at both sites. Much greater plant host diversity at the Indiana site seems balanced by more
Atkinson, Thomas H, Deyrup, Mark
core +2 more sources
Binary simple homogeneous structures are supersimple with finite rank [PDF]
, 2015 Suppose that M is an infinite structure with finite relational vocabulary such that every relation symbol has arity at most 2. If M is simple and homogeneous then its complete theory is supersimple with finite SU-rank which cannot exceed the number of ...
Koponen, Vera
core +1 more source
Application of Computational Fluid Dynamics Method for Cross-flow Turbine in Pico Scale
JEMMME (Journal of Energy, Mechanical, Material, and Manufacturing Engineering), 2021 Crisis electricity was a crucial issue in the rural area. Crossflow turbine (CFT) in pico in pico scale is the best option for electricity provider for rural areas.
Imam Syofi'i +3 more
doaj +1 more source
, 2013 In this update, we present the new version of the random number generator (RNG) library RNGSSELIB, which, in particular, contains fast SSE realizations of a number of modern and most reliable generators \cite{RNGSSELIB1}. The new features are: i) Fortran
Barash, L. Yu., Shchur, L. N.
core +1 more source
Uniform Interpolation for Coalgebraic Fixpoint Logic [PDF]
, 2015 We use the connection between automata and logic to prove that a wide class of coalgebraic fixpoint logics enjoys uniform interpolation. To this aim, first we generalize one of the central results in coalgebraic automata theory, namely closure under ...
Marti, Johannes +2 more
core +3 more sources