Results 51 to 60 of about 512,676 (214)
STAcEP Test Specification Code 2 [PDF]
, 2020 STAcEP Test Specification atau Standardized Test of Academic English Proficiency Test Specification merupakan video yang berisikan framework atau kerangka dasar dari penyusunan alat tes STAcEP.
Nimasari, Elok Putri +2 more
core
On the Model Checking Problem for Some Extension of CTL*
Моделирование и анализ информационных систем, 2020 Sequential reactive systems include programs and devices that work with two streams of data and convert input streams of data into output streams. Such information processing systems include controllers, device drivers, computer interpreters.
Anton Romanovich Gnatenko +1 more
doaj +1 more source
From Conceptual Specification to OO Specification
, 2023 Our earlier work showed how to improve the development path for an information system from initial user wishes via a conceptual specification (CS) to an implementation design in a systematic way. A CS should be implementation-independent. We generated implementations in a few directions, e.g., towards a relational DBMS using SQL. An object-oriented (OO)
Bert de Brock, Rein Smedinga
openaire +2 more sources
STAcEP Test Specification [PDF]
, 2019 STAcEP Test Specification merupakan salah satu instrumen peraga untuk pendidikan, yang dikhususkan dengan spesifikasi berbahasa ...
Nimasari, Elok Putri +2 more
core
Towards the ’Verified Verifier’. Theory and Practice
Моделирование и анализ информационных систем, 2014 As opposed to traditional testing, the deductive verification represents a formal way to examine the program correctness. But what about the correctness of the verification system itself?
D. A. Kondratyev, A. V. Promsky
doaj +1 more source
Acupuncture: Specific and Non-Specific Effects [PDF]
Forschende Komplementärmedizin / Research in Complementary Medicine, 2008 As an alternative and complement to conventional or allopathic medicine, acupuncture has become a firmly established therapy in many countries. Despite this wide acceptance, the question of how acupuncture works, or whether it works at all, remains the subject of lively debate. One problem in the discussion of acupuncture and its possible mechanisms is
openaire +2 more sources
, 2018 <p>With the NTA Database we aim to collect relevant information about the research in network traffic analysis conducted during the last years. To this end, we have curated related papers from journals and conferences and stored the extracted data ...
Ferreira, Daniel C. +9 more
core +4 more sources
Journal of Architecture and Urbanism, 2006 Comprehensive planning of towns and townships takes a wider scale in the country. Therefore, there appears an urgent need to revise or review some conceptions of planning methodology that should be accepted after various alternatives consideration ...
Zigmas Jonas Daunora
doaj +1 more source
Molecular Programming of Mesodiencephalic Dopaminergic Neuronal Subsets
Frontiers in Neuroanatomy, 2017 Dopamine neurons of the substantia nigra compacta (SNc) and ventral tegmental area (VTA) are critical components of the neuronal machinery to control emotion and movement in mammals.
Marten P. Smidt
doaj +1 more source
, 2014 This specification is protected by copyright laws and contains material proprietary to the Khronos Group, Inc. It or any components may not be reproduced, republished, distributed, transmitted, displayed, broadcast or otherwise exploited in any manner ...
Edited Tim +1 more
core