Relevant bibliographies by topics / Program veri fication applications

Contents

  1. Journal articles
  2. Dissertations / Theses

Academic literature on the topic 'Program veri fication applications'

Author: Grafiati
Published: 6 September 2023
Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Program veri fication applications.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Program veri fication applications"

1

Köngül, Özge, and Mehtap Yıldırım. "Effects of STEM applications on the scientific process skills and performance of secondary school students." Journal of Human Sciences 18, no. 2 (2021): 159–84. http://dx.doi.org/10.14687/jhs.v18i2.6066.

Full text
Abstract:
In this study, it was aimed to examine the effect of STEM applications on the scientific process skills and process performance of 6th grade secondary school students. Convergent parallel design, one of the mixed research designs, was used in the study. The sample of the study consists of 35 6th grade students studying at a public school in the district of Küçükçekmece, Istanbul in the 2018-2019 academic year. Three STEM lesson plans developed by the researchers were implemented for six weeks. Scientific Process Skills Test was used as a data collection tool in the quantitative part of the res
APA, Harvard, Vancouver, ISO, and other styles
2

Harkusha, Vyacheslav. "Peculiarities of the procedure of selection and appointment of a judge." Naukovyy Visnyk Dnipropetrovs'kogo Derzhavnogo Universytetu Vnutrishnikh Sprav 3, no. 3 (2020): 79–82. http://dx.doi.org/10.31733/2078-3566-2020-3-79-82.

Full text
Abstract:
The article deals with state of modern staffing of the judiciary, the problematic issues of the selection and appointment of a judge. In particular, the legislation that determines the procedure for selection for the position of a judge, as well as the stages of such selection are analyzed. The shortcomings of the legislation have been identified and proposals have been made to improve and optimize this procedure. It is proposed to adopt the Law of Ukraine, which will amend the procedure for forming the High Qualification Commission of Judges of Ukraine. Take measures to elect members of the H
APA, Harvard, Vancouver, ISO, and other styles
3

Gökbayrak, Seda, and Dilek Karışan. "Investigating the effect of STEM based laboratory activities on preservice science teacher’s STEM awarenessSTEM temelli laboratuvar etkinliklerinin fen bilgisi öğretmen adaylarının STEM farkındalıklarına etkisinin incelenmesi." Journal of Human Sciences 14, no. 4 (2017): 4275. http://dx.doi.org/10.14687/jhs.v14i4.5017.

Full text
Abstract:
The rapid changes in science and technology have changed the traditional education concept by improving the accessibility of information. Current educational understandings require the application of flexible programs that respond to differences in the interests and abilities of the students and that can go into diversity within themselves. One of these approaches is the Science Technology Engineering and Mathematics (STEM) approach. This study aims to explore the effect of STEM based laboratory activities on preservice teachers STEM awareness. The study was conducted in science laboratory pra
APA, Harvard, Vancouver, ISO, and other styles
4

Lailhacar, Cristián Cárdenas, and Helena Serrano. "A Cogeneration Case Study Using the Interactive Energy Balance Program." Distributed Generation & Alternative Energy Journal, October 20, 2005, 22–36. http://dx.doi.org/10.13052/dgaej2156-3306.2043.

Full text
Abstract:
Cogeneration is a highly effective means of increasing energy ef-ficiency and reducing energy costs by utilizing the heat that wouldnormally be wasted and use some or all of it for the thermal require-ments of a facility. This effective utilization of heat generated duringelectricity production allows for an increase of fuel efficiency from35% to almost 85%. Cogeneration not only reduces energy costs andincreases energy efficiency, but is also beneficial to the environment byreducing the amount of pollutants that are emitted into the atmo-sphere.In a previous work we presented and described th
APA, Harvard, Vancouver, ISO, and other styles
5

AKAN, Ramazan, and Asude BİLGİN. "EVALUATION OF THE PHILOSOPHY FOR CHILDREN- P4C PROGRAM APPLICATIONS APPLIED IN EDUCATIONAL INSTITUTIONS IN TURKEY ACCORDING TO TEACHER'S OPINIONS." Kaygı. Uludağ Üniversitesi Fen-Edebiyat Fakültesi Felsefe Dergisi, August 9, 2022. http://dx.doi.org/10.20981/kaygi.1090736.

Full text
Abstract:
Yapay zekanın egemen olmaya başladığı günümüzde çocukların var olan olay, olgu ve durumlarla ilgili kavramlar geliştirirken sorgulaması ve tartışmacı bir tutum sergilemeleri çocukları anlamlı öğrenmeye taşımakta ve bilgilerin kalıcılığının sağlanmasını sağlamaktadır. Bu araştırmaya veri elde etmek amacıyla yapılan çalıştaydı Türkiye’deki eğitim kurumlarında uygulanan çocuklar için felsefe (P4C) program uygulamalarının öğretmen görüşlerine göre değerlendirilmesi amaçlanmıştır. Bu araştırmaya veri elde etmek amacıyla Eğitim kurumlarında “Çocuklar İçin Felsefe (P4C) Programı” uygulamalarına dönük
APA, Harvard, Vancouver, ISO, and other styles
6

PERÇİN, Furkan, Savas SAHİN, and Alkım GÖKÇEN. "Kontrol ve Test Uygulamaları için Düşük Maliyetli MATLAB-Simulink Uyumlu Veri Toplama Kartı Donanımı ve Yazılımı Tasarımı." European Journal of Science and Technology, July 1, 2022. http://dx.doi.org/10.31590/ejosat.1135168.

Full text
Abstract:
This paper presents a general-purpose data acquisition system is designed for control and test applications. In this data acquisition system, the connections of the input-output ports and peripherals are performed by employing the STM32L4 microcontroller with ARM-Cortex M4 architecture. The microcontroller communicates with the MATLAB-Simulink, transmits given commands to peripheral units, and receives data from the environment. The system has four digital input-output, two analog inputs, two analog outputs, four pulse width modulation outputs, an L298 driver, and encoder inputs. The connectio
APA, Harvard, Vancouver, ISO, and other styles
7

Gözün Kahraman, Özlem, and Elif Sultan Özdemir. "Prematüre Bebeklere Yönelik Erken Müdahale Çalışmalarına İlişkin Tarama Çalışması." İzmir Katip Çelebi Üniversitesi Sağlık Bilimleri Fakültesi Dergisi, May 27, 2024. http://dx.doi.org/10.61399/ikcusbfd.1238230.

Full text
Abstract:
Prematüre Bebeklere Yönelik Erken Müdahale Çalışmalarına İlişkin Tarama Çalışması Özet Bu araştırmanın genel amacı yurtiçinde ve yurtdışında 2015-2020 yılları arasında prematüre bebeklere yönelik erken müdahale çalışmalarının incelenmesidir. Bu genel amaç doğrultusunda prematüre bebeklere yönelik erken müdahale programının konuları, müdahale odakları, sonuçları, nerede uygulandığı, müdahale bileşenleri incelenmiştir. Betimsel tarama modeli, çalışmanın yöntemi olarak tercih edilmiştir. Makale seçimlerinde; prematüre bebeklere yönelik olması, yurtiçi ve yurtdışında 2015-2020 yılları arasında yap
APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Program veri fication applications"

1

Arora, Himanshu. "Checking Observational Purity of Procedures." Thesis, 2018. https://etd.iisc.ac.in/handle/2005/5298.

Full text
Abstract:
We provide two static analysis approaches(using theorem proving) that check if a given (recursive) procedure behaves as if it were stateless, even when it maintains state in global variables. In other words, we check if the given procedure behaves like a mathematical function. In order to eliminate the need for manual annotations, we make use of an invariant that makes use of uninterpreted function symbols. This invariant captures the set of reachable global states in all runs of the procedure, if the procedure is observationally pure. If the procedure is not observationally pure, this i
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography