Results 101 to 110 of about 739,581 (296)
Evaluasi Atas Sistem Kliring Dalam Rangka Mencapai Tujuan Pengendalian Intern (Studi Pada PT. Bank X (Persero) Tbk. Kantor Cabang Utama Mojokerto) [PDF]
, 2014 This research has purpose to know Sistem Kliring Nasional Bank Indonesia\u27s implementation and internal control that PT. Bank X (Persero) Tbk. Kantor Cabang Utama Mojokerto uses to reach company\u27s goals.
Novitasari, C. D. (Citra)
core
On the Complexity of ATL and ATL* Module Checking
, 2017 Module checking has been introduced in late 1990s to verify open systems, i.e., systems whose behavior depends on the continuous interaction with the environment.
Bozzelli, Laura, Murano, Aniello
core +1 more source
Towards Defect Phase Diagrams: From Research Data Management to Automated Workflows
Advanced Engineering Materials, EarlyView.A research data management infrastructure is presented for the systematic integration of heterogeneous experimental and simulation data required for defect phase diagrams. The approach combines openBIS with a companion application for large‐object storage, automated metadata extraction, provenance tracking and federated data access, thereby supporting ...
Khalil Rejiba +5 more
wiley +1 more source
Numerical Modeling of Tank Cars Carrying Hazardous Materials With and Without Composite Metal Foam
Advanced Engineering Materials, EarlyView.Large‐scale puncture models consisting of hazardous materials (HAZMATs) tank car with protective steel–steel composite metal foam (S–S CMF) are solved numerically. Tank car plate with added 10.91–13.33 mm thick S–S CMF layer does not puncture. Protective S–S CMF absorbs impact energy, reduces plate deformation, and prevents shear bands formation ...
Aman Kaushik, Afsaneh Rabiei
wiley +1 more source
THE FUTURE OF INTERNAL AUDIT [PDF]
Analele Universităţii Constantin Brâncuşi din Târgu Jiu : Seria Economie, 2015 Over the years, the purpose of internal audit has continued to evolve and expand, managing to successfully transition from its traditional function of monitoring financial statements to the strategic and operational efforts of checking the organization’
COSMIN DUMITRU MATIȘ
doaj
Model checking Branching-Time Properties of Multi-Pushdown Systems is Hard [PDF]
, 2012 We address the model checking problem for shared memory concurrent programs modeled as multi-pushdown systems. We consider here boolean programs with a finite number of threads and recursive procedures. It is well-known that the model checking problem is
Atig, Mohamed Faouzi +3 more
core
Fostering Innovation: Streamlining Magnetocaloric Materials Research by Digitalization
Advanced Engineering Materials, EarlyView.Magnetocaloric cooling (MCE) is an environmentally friendly refrigeration method with great potential. Optimizing MCE materials involves the preparation and screening of large quantities of samples, which in turn generates a large amount of data. A digitalization approach is presented that uses ontologies, knowledge graphs, and digital workflows to ...
Simon Bekemeier +17 more
wiley +1 more source
Check-In Desk Scheduling Optimisation at CDG International Airport
Proceedings of the AAAI Conference on Artificial IntelligenceMore than ever, air transport players (i.e., airline and airport companies) in an intensely competitive climate need to benefit from a carefully optimized management of airport resources to improve the quality of service and control the induced costs. In this paper, we investigate the Airport Check-in Desk Assignment Problem.
Falque, Thibault +3 more
openaire +2 more sources
Advanced Engineering Materials, EarlyView.This plot compares experimental tensile stress–strain curves (with 4 different strain rates) and corresponding modelled curves (obtained using the optimised sets of Voce and Miller–Norton parameter values shown). The inferred M‐N values, characterizing the creep, are very similar to those obtained via conventional creep testing.
S. Ooi, R. P. Thompson, T. W. Clyne
wiley +1 more source
On the equivalence-checking problem for polysemantic models of sequential programs.
Труды Института системного программирования РАН, 2004 We introduce a new propositional model of computation for sequential computer programs. A distinctive feature of this model is that program runs and the results of computations are defined by means of two independent operational semantics.
I.M. Zakharyaschev, V.A. Zakharov
doaj