Results 91 to 100 of about 375,677 (220)

Building Responsive Systems from Physically-correct Specifications [PDF]

, 1993
Predictability - the ability to foretell that an implementation will not violate a set of specified reliability and timeliness requirements - is a crucial, highly desirable property of responsive embedded systems.

core  

Non-Repudiation in Internet Telephony

, 2007
We present a concept to achieve non-repudiation for natural language conversations over the Internet. The method rests on chained electronic signatures applied to pieces of packet-based, digital, voice communication.
Hett, Christian, Kuntze, Nicolai, Schmidt, Andreas U.   +2 more
core   +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

Formal proof for delayed finite field arithmetic using floating point operators [PDF]

, 2008
Formal proof checkers such as Coq are capable of validating proofs of correction of algorithms for finite field arithmetics but they require extensive training from potential users.
Boldo, Sylvie, Daumas, Marc, Giorgi, Pascal   +2 more
core   +3 more sources

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

Impact of the Kinesiology Career Club: a TPSR-base possible futures program for youth in underserved communities [PDF]

, 2012
The purpose of this study was to examine the effectiveness of a 10-week implementation of the Kinesiology Career Club (KCC), a TPSR-based physical activity program.
Scobie, Donnell, Veri, Maria J., Walsh, David   +2 more
core   +1 more source

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  

Does Federalism Facilitate Permanent Minipublics?

Politics and Governance
Deliberative minipublics have been flourishing across the globe, but most have been conducted as one-off experiments. Only in a few cases has their use been codified in formal decisions or positive law. Notable examples include the state of Oregon in the
Francesco Veri, Nenad Stojanović
doaj   +1 more source

Keampuan Berfikir Kreatif Siswa Ditinjau dari Minat Belajar (Studi Komparasi pada Mata Pelajaran Produk Kreatif dan Kewirausahaan di Kelas XI Akuntansi SMK Medikacom Bandung)

Oikos: Jurnal Kajian Pendidikan Ekonomi dan Ilmu Ekonomi, 2019
Tujuan dari penelitian ini untuk mengetahui perbedaan kemampuan berfikir kreatif siswa pada kategori minat belajar tinggi dan minat belajar rendah. Metode penelitian yang digunakan adalah metode komparasi dengan analisis data menggunakan uji t (one ...
Veri Aryanto Sopiansah
doaj  

Vehicle re-identification method based on multi-attribute dense linking network combined with distance control module. [PDF]

Front Neurorobot, 2023
Sun X, Chen Y, Duan Y, Wang Y, Zhang J, Su B, Li L.   +6 more
europepmc   +1 more source