Results 41 to 50 of about 1,118,392 (326)
Вестник медицинского института «Реавиз»: Реабилитация, врач и здоровьеThe aim of the study is to evaluate the possibilities of determining the postmortem interval by non-linear programming in conditions of changing ambient temperature.
G. V. Nedugov
doaj +1 more source
Advances in Materials Science and Engineering, 2018 To explore the distribution and evolution of the surrounding rock of underground caverns of hydropower stations, the dynamic compression tests for granite sample were carried out and the dynamic constitutive relation suitable to computer programming was ...
Yumin Zhang +3 more
doaj +1 more source
Challenging the Myth of Presentation in Digital Editions
Journal of the Text Encoding Initiative, 2016 Are the data of an edition means to a particular and privileged presentation, or is the presentation a side effect? Because of the changing nature of computer systems, with constant progression in hardware and software, the encoded texts are the most ...
Magdalena Turska +2 more
doaj +1 more source
Nonstandard optimal control problem: case study in an economical application of royalty problem
IJAIN (International Journal of Advances in Intelligent Informatics), 2019 This paper's focal point is on the nonstandard Optimal Control (OC) problem. In this matter, the value of the final state variable, y(T) is said to be unknown.
Wan Noor Afifah Wan Ahmad +6 more
doaj +1 more source
Three-Way Merging Algorithm for Structured Data
IEEE AccessA general problem in multi-node systems is data synchronization, where the most used method uses synchronous data updating. All changes made by the user are immediately reflected in the data shared with other users.
Jan Janech +3 more
doaj +1 more source
Study the Thermal Effect of Twin Spool on the Dynamic Response and Whirl Orbit Using the Combined Finite Element – Transfer Matrix Method [PDF]
Engineering and Technology Journal, 2010 A study of the thermal effect on the critical speed and on the distribution of both the lateral and axial vibrations along the Dual rotor – system are considered .
doaj +1 more source
On the enumeration of closures and environments with an application to random generation [PDF]
, 2019 Environments and closures are two of the main ingredients of evaluation in lambda-calculus. A closure is a pair consisting of a lambda-term and an environment, whereas an environment is a list of lambda-terms assigned to free variables.
Bendkowski, Maciej, Lescanne, Pierre
core +3 more sources
, 2015 The Common HOL project aims to facilitate porting source code and proofs between members of the HOL family of theorem provers. At the heart of the project is the Common HOL Platform, which defines a standard HOL theory and API that aims to be compatible ...
Adams, Mark
core +2 more sources
The IQ‐compete assay for measuring mitochondrial protein import efficiencies in living yeast cells
FEBS Letters, EarlyView.The efficiency of mitochondrial protein import depends on the properties of the newly synthesized precursor proteins. The Import and de‐Quenching Competition (IQ‐compete) assay is a novel method to monitor the import efficiency of different proteins by fluorescence in living yeast cells.
Yasmin Hoffman +3 more
wiley +1 more source
Biosemiotic Entropy of the Genome: Mutations and Epigenetic Imbalances Resulting in Cancer
Entropy, 2013 Biosemiotic entropy involves the deterioration of biological sign systems. The genome is a coded sign system that is connected to phenotypic outputs through the interpretive functions of the tRNA/ribosome machinery.
Samuel S. Shepard +2 more
doaj +1 more source