Results 91 to 100 of about 389,519 (223)

Primula veris subsp. veris

, 2018
Published as part of Konrad Lauber, Gerhart Wagner & Andreas Gygax, 2018, Flora Helvetica - Primulaceae, pp.
Konrad Lauber, Gerhart Wagner, Andreas Gygax   +2 more
openaire   +1 more source

Pemanfaatan Elasticsearch untuk Temu Kembali Informasi Tugas Akhir

Jurnal Teknologi dan Sistem Informasi, 2019
Teknologi Informasi (TI) telah menjadi pendukung utama dalam menjalankan operasional di berbagai kebutuhan organisasi, termasuk perguruan tinggi. Bentuk dari produk teknologi informasi yang paling sering digunakan adalah sistem informasi yang dapat ...
Ardian Prima Atmaja, Susilo Veri Yulianto   +1 more
doaj   +1 more source

On Being Very, Very Old: An Insider's Perspective [PDF]

The Gerontologist, 2010
When I began to think about my perspective as a very very old person, I found that I was writing both from my perspective as a gerontologist and from my perspective as an individual grown old. The reason for my dual perspective is that I was born in 1922, at a time when the aging population was growing rapidly, and I lived through several ensuing ...
openaire   +2 more sources

A Framework for Program Development Based on Schematic Proof [PDF]

, 1993
Often, calculi for manipulating and reasoning about programs can be recast as calculi for synthesizing programs. The difference involves often only a slight shift of perspective: admitting metavariables into proofs. We propose that such calculi should be
Basin, David, Bundy, Alan, Kraan, Ina, Matthews, Sean   +3 more
core   +1 more source

Mapping discourses through Hierarchical Clustering on Principal Components

Methodological Innovations
This article proposes a methodological framework that combines a Q-concourse questionnaire with Multiple Factor Analysis and Hierarchical Clustering on Principal Components (MFA/HCPC) to derive discourse typologies from large-N survey data. The framework
Francesco Veri
doaj   +1 more source

A Relational Logic for Higher-Order Programs

, 2017
Relational program verification is a variant of program verification where one can reason about two programs and as a special case about two executions of a single program on different inputs.
Aguirre, Alejandro, Barthe, Gilles, Gaboardi, Marco, Garg, Deepak, Strub, Pierre-Yves   +4 more
core   +1 more source

Development of Interactive Learning Media in Media and Telecommunication Network Subjects at Vocational High School

Jurnal Teknologi Pendidikan
This research aims to develop Android-based interactive learning media that can improve student learning outcomes in MJT subjects at SMKN 4 Payakumbuh.
Veri Kurtis, Dedy Irfan
doaj   +1 more source

Very fast, very functorial, and very easy resolution of singularities

, 2019
The main theorem, I.a, is the existence for excellent Deligne-Mumford champ of characteristic zero of a resolution functor independent of the resolution process itself. Perceived wisdom was that this was impossible, but the counterexamples overlooked the possibility of using weighted blow ups.
McQuillan, Michael, Marzo, Gianluca
openaire   +2 more sources

SİYASAL İLETİŞİMDE YAPAY ZEKA VE VERİ ODAKLI DÖNÜŞÜM

Journal of Management Theory and Practices Research
Dijital teknolojilerin hızlı gelişimi, siyasal iletişim alanında köklü dönüşümlere yol açmakta ve bu dönüşümde yapay zekâ önemli bir rol üstlenmektedir.
Onur Sayın, Ahmet İlkay Ceyhan
doaj  

Structural abstract interpretation, A formal study using Coq [PDF]

, 2008
interpreters are tools to compute approximations for behaviors of a program. These approximations can then be used for optimisation or for error detection. In this paper, we show how to describe an abstract interpreter using the type-theory based theorem
Bertot, Yves
core   +3 more sources