Mathematics Commons^™

Residuated Frames With Applications To Decidability, Nikolaos Galatos, Peter Jipsen

Mathematics, Physics, and Computer Science Faculty Articles and Research

Residuated frames provide relational semantics for substructural logics and are a natural generalization of Kripke frames in intuitionistic and modal logic, and of phase spaces in linear logic. We explore the connection between Gentzen systems and residuated frames and illustrate how frames provide a uniform treatment for semantic proofs of cut-elimination, the finite model property and the finite embeddability property, which imply the decidability of the equational/universal theories of the associated residuated lattice-ordered groupoids. In particular these techniques allow us to prove that the variety of involutive FL-algebras and several related varieties have the finite model property.

A Generalized White Noise Space Approach To Stochastic Integration For A Class Of Gaussian Stationary Increment Processes, Daniel Alpay, Alon Kipnis

Mathematics, Physics, and Computer Science Faculty Articles and Research

Given a Gaussian stationary increment processes, we show that a Skorokhod-Hitsuda stochastic integral with respect to this process, which obeys the Wick-Itô calculus rules, can be naturally defined using ideas taken from Hida’s white noise space theory. We use the Bochner-Minlos theorem to associate a probability space to the process, and define the counterpart of the S-transform in this space. We then use this transform to define the stochastic integral and prove an associated Itô formula.

Convex Cones Of Generalized Positive Rational Functions And Nevanlinna-Pick Interpolation, Daniel Alpay, Izchak Lewkowicz

Mathematics, Physics, and Computer Science Faculty Articles and Research

Scalar rational functions with a non-negative real part on the right half plane, called positive, are classical in the study of electrical networks, dissipative systems, Nevanlinna-Pick interpolation and other areas. We here study generalized positive functions, i.e with a non-negative real part on the imaginary axis. These functions form a Convex Invertible Cone, cic in short, and we explore two partitionings of this set: (i) into (infinitely many non-invertible) convex cones of functions with prescribed poles and zeroes in the right half plane and (ii) each generalized positive function can be written as a sum of even and odd parts. …

Non-Commutative Stochastic Distributions And Applications To Linear Systems Theory, Daniel Alpay, Guy Salomon

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper, we introduce a non-commutative space of stochastic distributions, which contains the non-commutative white noise space, and forms, together with a natural multiplication, a topological algebra. Special inequalities which hold in this space allow to characterize its invertible elements and to develop an appropriate framework of non-commutative stochastic linear systems.

Representation Formulas For Hardy Space Functions Through The Cuntz Relations And New Interpolation Problems, Daniel Alpay, Palle Jorgensen, Izchak Lewkowicz, Itzik Marziano

Mathematics, Physics, and Computer Science Faculty Articles and Research

We introduce connections between the Cuntz relations and the Hardy space H2 of the open unit disk D. We then use them to solve a new kind of multipoint interpolation problem in H2, where for instance, only a linear combination of the values of a function at given points is preassigned, rather than the values at the points themselves.

A Comparison Of Two Teaching Methods For Pediatric Medication Administration: Multimedia And Text-Based Modules, Renee Granados

Doctoral Dissertations

A Comparison of Two Teaching Methods for Pediatrics: Multimedia and Text-based Modules to Teach Pediatric Medication Administration

Nurse educators are in a position to design and develop effective methods that consider the cognitive structures and how the mind processes information to teach pediatric medication content to nursing students. The majority of methods teaching medication administration use only one mode: the visual mode. One mode to present leaning material does not take advantage of the additive effects of using two modes to present learning material.

The purpose of the study was to compare the effectiveness of two teaching methods to present …

Estimasi Parameter Model Hybridizing Exponential Smoothing Dan Neural Network Pada Hasil Pengukuran Mean Sea Level Satelit Altimetri Jason 2, Novi Mara

PYTHAGORAS : Jurnal Matematika dan Pendidikan Matematika

Nilai parameter dari suatu model peramalan dapat diestimasi dengan meminumkan ukuran evaluasi keakuratan peramalan seperti MSE, MAE, MAPE dan AIC. Pada penelitian ini telah dilakukan estimasi parameter hybridizing neural network dengan exponential smoothing dengan meminimumkan MSE, MAE, MPE dan MAPE. Estimasi parameter dibatasi untuk nilai mulai dari 0.01 sampai dengan 0.99. Estimator merupakan nilai yang memberikan model dengan ukuran keakuratan peramalan MAE dan MSE minimum. Dari algoritma program R yang telah dibuat, diperoleh estimator parameter yang meminimalkan MSE adalah 0.13. Estimtor parameter yang meminimumkan MAE adalah 0.01. Estimator parameter yang meminimumkan nilai MPE dan MAPE bernilai sama yakni 0.27. Ketiga …

Aplikasi Model Generalized Space Time Autoregressive Pada Data Pencemaran Udara Di Kota Surabaya, Dhoriva Urwatul Wutsqa, Suhartono Suhartono, Brodjol Sutijo

PYTHAGORAS : Jurnal Matematika dan Pendidikan Matematika

Penelitian ini secara bertujuan mengaplikasan model Generalized Space Time Autoregressive (GSTAR) untuk mendapatkan model peramalan data pencemaran udara di Kota Surabaya. Data yang digunakan dalam penelitian ini adalah zat polutan PM 10 ang berasal dari tiga stasiun pemantau di kota Surabaya mulai Januari hingga Desember 2009. Tahap-tahap pembentukan model peramalan data pencemaran udara meliputi identifikasi order autoregresif dengan criteria AIC (Akaike Information Criterion), estimasi parameter yang terdiri atas estimasi bobot antar lokasi dengan normalisasi korelasi silang dan estimasi parameter autoregresif dengan metode kuadrat terkecil, uji signifikansi parameter melalui statistik uji Wald, serta uji kesesuaian model. Model yang dihasilkan merupakan model …

Sifat Kendala Pemrograman Kerucut Order Dua Dengan Norma ˆŽ, Caturiyati Caturiyati

PYTHAGORAS : Jurnal Matematika dan Pendidikan Matematika

Masalah pemrograman kerucut order dua (Second Order Cone Programming/SOCP) dengan norma merupakan suatu masalah yang merupakan bentuk khusus dari masalah pemrograman kerucut order dua dengan norma 2. Pada makalah ini dikembangkan pengertian kerucut order dua (Second Order Cone/SOC) dengan norma dan sifat sifat kendala pemrograman kerucut order dua dengan Norma berdasarkan pada pengertian kerucut order dua dengan norma 2 dan pemrograman kerucut order dua dengan norma 2. Paper ini ditulis dengan menguraikan pengertian kerucut order dua dengan norma 2 dan pemrograman kerucut order dua dengan norma 2, dilanjutkan dengan mengembangkan pengertian kerucut order dua dengan norma …

Multi Traveling Salesman Problem (Mtsp) Dengan Algoritma Genetika Untuk Menentukan Rute Loper Koran Di Agen Surat Kabar, Fitriana Yuli Saptaningtyas

PYTHAGORAS : Jurnal Matematika dan Pendidikan Matematika

Permasalahan pendistribusian oleh beberapa loper koran di suatu agen surat kabar pada pelanggan sering mengalami keterlambatan. Bagaimana menentukan rute optimum bagi beberapa loper koran di sebuah agen surat kabar akan dimodelkan secara matematis dan akan diselesaikan menggunakan algoritma genetika. Permasalahan ini masuk dalam kategori Multi Travelling Salesman Problem (MTSP). Algoritma genetika yang mengadopsi proses evolusi makhluk hidup, pada penerapannya mengikuti langkah pembentukan populasi, menentukan nilai fitness, melakukan proses seleksi, melakukan pindah silang dan mutasi, dan membentuk individu baru. Algoritma genetika dapat digunakan untuk menentukan rute optimum perjalanan beberapa loper koran di suatu agen surat kabar. Penentuan rute perjalanan beberapa …

Software Requirements Specification Sinapra Berbasis Sistem Informasi, Nur Hadi Waryanto

PYTHAGORAS : Jurnal Matematika dan Pendidikan Matematika

Sistem Informasi Sarana dan Prasarana (SINAPRA) merupakan bagian dari beberapa sistem informasi yang dipakai oleh Univeristas Negeri Yogyakarta. SINAPRA merupakan salah satu sistem yang akan dikembangkan dalam Sistem Informasi Terpadu (SIPADU).

Software Requirements Specification SINAPRA merupakan acuan teknis developer dalam mengembangkan sistem untuk tahap selanjutnya. Software Requirements Specification SINAPRA dikembangkan menggunakan model WSU-TC CptS 322 dengan berbasis sistem informasi terpadu UNY Kata Kunci : Software Requirements Specification, WSU-TC CptS 322, SINAPRA

Permanen Dan Dominan Suatu Matriks Atas Aljabar Max-Plus Interval, Siswanto Siswanto

PYTHAGORAS : Jurnal Matematika dan Pendidikan Matematika

Misalkan himpunan bilangan real. Aljabar Max-Plus adalah himpunan dilengkapi dengan operasi maksimum dan penjumlahan ( . Setiap matriks persegi atas aljabar Max-Plus dapat dikaitkan dengan perrmanen dan dominan. Dari aljabar Max-Plus dapat dibentuk aljabar Max-Plus interval yaitu himpunan yang anggotanya merupakan interval-interval tertutup dalam atau dilengkapi dengan operasi maksimum dan penjumlahan . Dapat dibentuk himpunan matriks persegi atas aljabar Max-Plus interval. Dalam penelitian ini, akan dikaji tentang permanen dan dominan matriks atas aljabar Max-Plus interval, hubungan antara permanen dan dominan, serta bideterminan matriks atas aljabar Max-Plus interval. Dari hasil penelitian diperoleh formula permanen dan dominan, dominan selalu lebih kecil atau …

Kestabilan Global Bebas Penyakitflu Singapura (Hand, Foot And Mouth Disease)Berdasarkan Model Seirs, Eminugroho Ratna Sari

PYTHAGORAS : Jurnal Matematika dan Pendidikan Matematika

AbstrakPenelitian mengenai penyebaran HFMD pertama dilakukan menggunakan model SIR. Pada model ini,populasi individu yang sebenarnya telah terinfeksi tetapi belum menunjukkan gejala-gejala penyakit tidakdijelaskan. Dalam paper ini akan dibahas mengenai pembentukan model matematika dari penyebaranpenyakit HFMD menggunakan model SEIRS. Adanya penambahan kelas populasi E (Exposed) untukmelengkapi kekurangan pada model sebelumnya. Berdasarkan model, diperoleh titik ekuilibrium bebaspenyakit dan endemik. HFMD tidak akan mewabah jika R0 ï"¼1. Selanjutnya dilakukan simulasimenggunakan MAPLE 13.

Evaluasi Distribusi Gabungan Menggunakanalgoritma Konvolusi Dan Rekursi Panjer, Rosita Kusumawati

PYTHAGORAS : Jurnal Matematika dan Pendidikan Matematika

Evaluasi distribusi gabungan merupakan bagian penting dalam matematika asuransi dan manajemenresiko. Perbandingan evaluasi distribusi gabungan menggunakan algoritma Konvolusi dan rekursi Panjerakan dikaji dalam tulisan ini.Keywords: distribusi gabungan, konvolusi, rekursi panjer

Vertex Antimagic Total Labeling Pada Graphmulticycle, Dominikus Arif Budi Prasetyo Pythagors

PYTHAGORAS : Jurnal Matematika dan Pendidikan Matematika

Pelabelan graf merupakan bagian dari graf yang berkembang saat ini. Jenis pelabelan pada graf bergantungpada domainnya, yakni pelabelan sisi ajaib, pelabelan titik ajaib, dan pelabelan total ajaib. Pelabelan totalajaib pada graf dibedakan lagi berdasarkan komponen graf yang dievaluasi, yakni pelabelan total sisi ajaibdan pelabelan total titik ajaib. Pada pelabelan ajaib, bobot dari komponen graf yang dievaluasi adalah sama,jika bobotnya tidak sama maka dinamakan pelabelan tak-ajaib (antimagic). Misalkan G adalah graf denganbanyak titik p dan sisi q. Suatu pemetaan bijektif dari komponen-komponen graf ke bilangan bulat positif {1,2, "¦, (p+q)} disebut called (a, d) vertex antimagic total labelling (pelabelan total titik …

Construction A Coring From Tensor Product Of Bialgebra, Nikken Prima Puspita, Siti Khabibah

PYTHAGORAS : Jurnal Matematika dan Pendidikan Matematika

In this Paper introduced a coring from tensor product of bialgebra. An algebra with compatible coalgebrastructure are known as bialgebra. For any bialgebra B we can obtained tensor product between B anditself. Defined a right and left B -action on the tensor product of bialgebra B such that we have tensorproduct of B and itself is a bimodule over B. In this note we expect that the tensor product B anditself becomes a B -coring with comultiplication and counit.Keywords : action, algebra, coalgebra, coring.

Penerapan Teori Graf Pada Analisis Jejaring Sosialdengan Menggunakan Microsoft Microsoft Node Xl, Nur Insani, Nur Hadi Waryanto

PYTHAGORAS : Jurnal Matematika dan Pendidikan Matematika

Pentingnya posisi seseorang di dalam jaringan ataupun suatu organisasi tidak hanya ditentukanoleh seberapa banyak ia terhubung oleh banyak orang tetapi apakah seseorang menjadi jembatan dariorang-orang yang memiliki banyak jaringan. Jadi bukanlah faktor centraliti yang merupakan faktor utamaseseorang dianggap penting, tetapi information broker, yaitu seseorang yang bukan pusat dariketerhubungan banyak orang namun memiliki hubungan dengan orang-orang yang memiliki banyakpengikut, memegang peranan yang lebih penting. Analisa Jejaring Sosial (AJS) memberikan peranpenting dalam menggambarkan interaksi informal dimana ia menggambarkan keadaan interaksi manusiasebagai mana keadaan nyata. Salah satu bentuk jejaring sosial yang dapat dianalisa adalah kepengurusanDekanat FMIPA Universitas Negeri Yogyakarta (UNY) sampai dengan kepengurusan …

Computational Chemistry Capacity Building In An Underprivileged Context: Challenges, Outcomes And Perspectives, L Mammino

Tanzania Journal of Science

Computational chemistry is a fast developing branch of modern chemistry, focusing on the study of molecules to enable better understanding of the properties of substances. Its applications comprise a variety of fields, from drug design to the design of compounds with desired properties (e.g., catalysts with specific actions) and to ample overlaps with nanotechnology. However, despite its relevance, the presence of computational chemistry research in Sub-Saharan Africa is still scarce, practically absent in many institutions. Bridging the gap with the other continents requires the identification of capacity building options that may enable a rapid growth. The recent experience at the …

Public Expenditure, Environmental Pollution And Endogenous Economic Growth., Trishita Ray Barman Dr.

Doctoral Theses

Sources of Economic Growth and the Definition of Steady-State EquilibriumEconomic growth is defined as a continuous increase in national income taking place over a time horizon. According to the neoclassical theory of economic growth there are three sources of economic growth: (i) capital accumulation, (ii) growth of labour force and (iii) technological progress.The steady-state growth equilibrium is defined as a state where all major macro-economic variables grow at the same rate so that the ratios of these variables remain unchanged over time. For example, in the one sector aggregative model like that of Solow (1956), capital and labour grow at …

The Convergence Of Two Algorithms For Compressed Sensing Based Tomography, Xiezhang Li, Jiehua Zhu

Mathematical Sciences: Faculty Publications

The constrained total variation minimization has been developed successfully for image reconstruction in computed tomography. In this paper, the block component averaging and diagonally-relaxed orthogonal projection methods are proposed to incorporate with the total variation minimization in the compressed sensing framework. The convergence of the algorithms under a certain condition is derived. Examples are given to illustrate their convergence behavior and noise performance.