101 research outputs found
Seismic Site Classification Using the Multichannel Analysis of Surface Waves Method
No full textThe soil has a variety of qualities that affect its ability to support the weight of a structure. One of these features is soil stiffness, which can be determined using the surface wave method to prevent soil collapse. Multichannel Analysis of Surface Waves (MASW) is one of the non-invasive methodologies used in this study to investigate subsurface structures in North Sumatra, Indonesia. This method utilizes the dispersion properties of Rayleigh waves, producing a dispersion curve to get the shear wave velocity (Vs) through inversion. The shear wave velocity can be used to examine the soil stiffness qualities. The dispersion curve explains the relationship between shear wave velocity and depth, which can subsequently be used as a site class parameter. This survey uses three lines with one shot for each line which uses thirty geophones. The seismic source used is a gun with the type M16.38 Cal. Each line consists of 30 geophones with a distance of 5 m. The entire track is 160 m long and lasts for 2048 seconds with a sampling rate of 0.00025 seconds. The average shear wave velocity measured at three measurements was 372.5 m/s on line P1, 347.1 m/s on line P2A, and 311.0 m/s on line P2B, respectively. Overall, the soil classification on the P1 line is class C, and the P2A and P2B lines are class D, which is suitable for development planning areas
(Im)possibilty results in Proof Complexity and Arithmetic
No full textTitle: (Im)possibilty results in Proof Complexity and Arithmetic Author: Erfan Khaniki Department: Department of Algebra Supervisor: Prof. RNDr. Pavel Pudl'ak, DrSc Abstract: We study various problems in proof complexity, bounded arithmetic, and intuitionistic arithmetic. We focus on topics such as lower bounds for different proof systems, connections between proof complexity generators and models of arithmetic, jump operators in proof complexity, and the non-locality of certain Kripke models of Heyting arithmetic. Keywords: Proof complexity, Lower bounds, Bounded arithmetic, Independence, Heyt- ing arithmetic, Kripke models
Výsledky o (ne)možnostech v důkazové složitosti a aritmetice
No full textTitle: (Im)possibilty results in Proof Complexity and Arithmetic Author: Erfan Khaniki Department: Department of Algebra Supervisor: Prof. RNDr. Pavel Pudl'ak, DrSc Abstract: We study various problems in proof complexity, bounded arithmetic, and intuitionistic arithmetic. We focus on topics such as lower bounds for different proof systems, connections between proof complexity generators and models of arithmetic, jump operators in proof complexity, and the non-locality of certain Kripke models of Heyting arithmetic. Keywords: Proof complexity, Lower bounds, Bounded arithmetic, Independence, Heyt- ing arithmetic, Kripke models 1Názov práce: Výsledky o (ne)možnostech v důkazové složitosti a aritmetice Autor: Erfan Khaniki Katedra: Katedra Algebry Vedúci dizertačnej práce: Prof. RNDr. Pavel Pudlák, DrSc Abstrakt: Zabýváme se problémy v důkazové složitosti, omezené aritmetice a intu- icionistické aritmetice. Soustředíme se na témata jako dolní odhady pro různé důkazové systémy, souvislosti mezi generátory v důkazové složitosti a modely ar- itmetiky, operátory skoku v důkazové složitosti a nelokalitou určitých Kripkeho modelů v Heytingově aritmetice. Klíčová slova: důkazová složitost, dolní odhady, omezenená aritmetika, nezávislost, Heytin- gova aritmetika, Kripkeho modely 1Faculty of Mathematics and PhysicsMatematicko-fyzikální fakult
Vibration Serviceability of Pedestrian Structures in Vertical Direction including Human-structure Interaction: New Statistical Framework for Assessment
No full textArticleThis is the author accepted manuscript. The final version is freely available from Elsevier via the DOI in this record.Predicting the effect of walking traffic on structural vibrations is a great challenge to designers of pedestrian structures, such as footbridges and floors. This is mainly due to the lack of adequate design guidelines, which in turn can be blamed on poor research findings. Even the fundamental data are very rare and limited. This study proposes a new and more reliable method for serviceability assessment of the vertical vibrations induced by multi-pedestrian walking traffic. Key novelties include modelling the natural variability of the walking forces and the human bodies, as well as their individual interaction with the supporting structure at their moving location. Moreover, a novel approach to vibration serviceability assessment (VSA) is proposed based on the actual level of vibration experienced by each pedestrian, rather than the typical maximum vibration response at a fixed point. Application of this method on two full-scale footbridge structures have shown that, with a suitable calibration of human model parameters, the proposed method can predict the occupied structure modal frequency with less than 0.1% error and - more importantly - modal damping ratio with less than 1% error. The new method also estimated the structural responses with considerably less error (5–10%) compared to a selection of current design guidelines (200–500%). The proposed VSA method is not suitable for hand-based calculations. However, if coded and materialised as a user-friendly software, it can be incorporated into design guidelines and used by consultants in everyday engineering practice.The authors acknowledge the financial support, which came from the University of Sheffield doctoral scholarship for Dr Shahabpoor and the UK Engineering and Physical Sciences Research Council (EPSRC) for the following research grants:
•
Platform Grant EP/G061130/2 (Dynamic performance of large civil engineering structures: an integrated approach to management, design and assessment);
•
Standard Grant EP/I029567/1 (Synchronization in dynamic loading due to multiple pedestrians and occupants of vibration-sensitive structures); and
•
Frontier Engineering Grant EP/K03877X/1 (Modelling complex and partially identified engineering problems: Application to the individualized multiscale simulation of the musculoskeletal system)
IDENTIFIKASI BIJIH BESI (Fe) MENGGUNAKAN METODA GEOLISTRIK RESISTIVITAS KONFIGURASI WENNER- SCHLUMBERGER DI KABUPATEN LUWU
No full textTelah dilakukan penelitian untuk mengidentifikasi sebaran bijih besi di Kecamatan Walenrang, Kabupaten Luwu, Sulawesi Selatan dengan menggunakan metoda geolistrik tahanan jenis konfigurasi Wenner-Schlumberger. Hasil survey resistivity berupa penampang 2-D dan blok model 3-D yang memberikan informasi mengenai sebaran bijih besi, dimana penyebaran terbesar berada di sebelah barat daerah penelitian dengan arah timur laut - barat daya. Data resistivitas dari penampang resistivitas 2-D yang diperoleh dari pengukuran lintasan 1 sampai dengan pengukuran lintasan 4 di lapangan yaitu zona lapisan bijih besi magnetite berada pada resistivitas ρ < 40 Ωm, zona pelapukan batuan andesit dengan resistivitas 40 Ωm < ρ < 250 Ωm dan zona batuan basalt dengan resistivitas tinggi ρ > 250 Ωm yang sesuai dengan yang ditemukan bagian barat daerah penelitian yaitu di lembah buntu Mario dan buntu Sikuku hingga ke buntu Andulan bagian utara ada boulder magnetis yang tersebar di aliran sungai lamasi diperkirakan berasal dari zona potasik
Myket Android Application Install Dataset
No full textThis dataset contains information on application install interactions of users in the Myket android application market. The dataset was created for the purpose of evaluating interaction prediction models, requiring user and item identifiers along with timestamps of the interactions. Hence, the dataset can be used for interaction prediction and building a recommendation system. Furthermore, the data forms a dynamic network of interactions, and we can also perform network representation learning on the nodes in the network, which are users and applications.
Data Creation
The dataset was initially generated by the Myket data team, and later cleaned and subsampled by Erfan Loghmani a master student at Sharif University of Technology at the time. The data team focused on a two-week period and randomly sampled 1/3 of the users with interactions during that period. They then selected install and update interactions for three months before and after the two-week period, resulting in interactions spanning about 6 months and two weeks.
We further subsampled and cleaned the data to focus on application download interactions. We identified the top 8000 most installed applications and selected interactions related to them. We retained users with more than 32 interactions, resulting in 280,391 users. From this group, we randomly selected 10,000 users, and the data was filtered to include only interactions for these users. The detailed procedure can be found in here.
Data Structure
The dataset has two main files.
myket.csv: This file contains the interaction information and follows the same format as the datasets used in the "JODIE: Predicting Dynamic Embedding Trajectory in Temporal Interaction Networks" (ACM SIGKDD 2019) project. However, this data does not contain state labels and interaction features, resulting in associated columns being all zero.
app_info_sample.csv: This file comprises features associated with applications present in the sample. For each individual application, information such as the approximate number of installs, average rating, count of ratings, and category are included. These features provide insights into the applications present in the dataset.
Dataset Details
Total Instances: 694,121 install interaction instances
Instances Format: Triplets of user_id, app_name, timestamp
10,000 users and 7,988 android applications
Item features for 7,606 applications
For a detailed summary of the data's statistics, including information on users, applications, and interactions, please refer to the Python notebook available at summary-stats.ipynb. The notebook provides an overview of the dataset's characteristics and can be helpful for understanding the data's structure before using it for research or analysis.
Top 20 Most Installed Applications
Package Name
Count of Interactions
com.instagram.android
15292
ir.resaneh1.iptv
12143
com.tencent.ig
7919
com.ForgeGames.SpecialForcesGroup2
7797
ir.nomogame.ClutchGame
6193
com.dts.freefireth
6041
com.whatsapp
5876
com.supercell.clashofclans
5817
com.mojang.minecraftpe
5649
com.lenovo.anyshare.gps
5076
ir.medu.shad
4673
com.firsttouchgames.dls3
4641
com.activision.callofduty.shooter
4357
com.tencent.iglite
4126
com.aparat
3598
com.kiloo.subwaysurf
3135
com.supercell.clashroyale
2793
co.palang.QuizOfKings
2589
com.nazdika.app
2436
com.digikala
2413
Comparison with SNAP Datasets
The Myket dataset introduced in this repository exhibits distinct characteristics compared to the real-world datasets used by the project. The table below provides a comparative overview of the key dataset characteristics:
Dataset
#Users
#Items
#Interactions
Average Interactions per User
Average Unique Items per User
Myket
10,000
7,988
694,121
69.4
54.6
LastFM
980
1,000
1,293,103
1,319.5
158.2
Reddit
10,000
984
672,447
67.2
7.9
Wikipedia
8,227
1,000
157,474
19.1
2.2
MOOC
7,047
97
411,749
58.4
25.3
The Myket dataset stands out by having an ample number of both users and items, highlighting its relevance for real-world, large-scale applications. Unlike LastFM, Reddit, and Wikipedia datasets, where users exhibit repetitive item interactions, the Myket dataset contains a comparatively lower amount of repetitive interactions. This unique characteristic reflects the diverse nature of user behaviors in the Android application market environment.
Citation
If you use this dataset in your research, please cite the following preprint:
@misc{loghmani2023effect,
title={Effect of Choosing Loss Function when Using T-batching for Representation Learning on Dynamic Networks},
author={Erfan Loghmani and MohammadAmin Fazli},
year={2023},
eprint={2308.06862},
archivePrefix={arXiv},
primaryClass={cs.LG}
The present study attempts to briefly depict the splendid era of BABATAHER-E-ORIAN
No full text1 - Introduction of BABATAHER and analysis of Erfan and in the fifth century; the latter itself is comprrisedof three sections: a) The concept of Erfan as well as the differences existing between Erfan and Sufism. b) Erfan a most private personal knowledge, intransferable to others. c) A perspective of "Ertan" and "sufism" in the second century along with some dicriptions. - Introduction of BABATAHER-E-ORIAN and a number of his This section, too, is comprised of l\VO sections: a) Introducing those who bclivcd in four eminent figures from this school and some of their most brilliant works. b) The author has contented himself to introducing four celebrities from this school. - General conclusion on the basis of mystical methods. This is divied into two parts: in part a some of the beliefs of the four mystics mentioned above arc pointdc out, analying the concept of piosity as well as the positive and the negative aspects of worship ans religious devotion. In part b some of the most glorious works of those four mystics who belong the same school arc pointed out. At the end a conclusion is provided concerning the pioneers of this school and the method they had adopted in their practice. Generally speaking, in this section the worldviews of these pioneers are introduced by referring to their works; attempts have been made to prove that these grest people saw nothing but God in the world. Attempts have also been made to prove their vicwpionts and hence their optimism and beliefs in existenc
Dynamic-template-directed crystallization of semiconducting polymers for organic electronics
No full textSolution processable semiconducting polymers have been under intense investigations due to their potential applications in large-area printed electronics from solar cells to biomedical devices. However, controlling the multiscale morphology and device performance of printed polymer thin films remains a key challenge. This is largely due to the disparity in time scales of polymer assembly and high-throughput manufacturing. Designing novel substrate/ink interfaces to induce crystallization is particularly a promising strategy to address this challenge given that heterogeneous nucleation is energetically more favorable than that of the bulk.
Dynamic surfaces play a critical role in templating highly ordered complex structures in living systems (e.g., biomineralization). This strategy is rarely employed for directing assembly of the synthetic functional materials. In my thesis, I introduce the concept of dynamic templating to expedite polymer nucleation and address the kinetic mismatch between polymer crystallization and high-speed solution coating. The solid-state properties of the dynamic-templated films are comprehensively characterized and correlated to the template properties.
I designed an ionic-liquid-based dynamic template compatible with solution coating and fabricated highly ordered polymer thin films over large area (>1cm2). Dynamic-templated films showed 2 orders of magnitude increase in domain size, over 10 times higher in-plane backbone alignment and dramatic out-of-plane order compared to the static substrates. These results were independent of coating conditions and led to 2-fold enhancement of hole transport mobility. Simulation results suggest that surface reconfigurability is key to promoting template–polymer interactions. The result of such enhanced interaction is lower nucleation barrier and expedited crystallization process which is responsible for the improved morphological characteristics.
I further established the dynamic-template-directed assembly design rules revealing the critical role of template dynamics and chemistry to promote template-polymer interactions. I demonstrated that the concept of dynamic templating can be expanded to other non-ionic templates. However, the effectiveness of the templates is governed primarily by the strength of template-polymer interactions measured directly via adsorption enthalpy. Increasing template-CP interactions leads to larger domains, higher alignment and crystallinity as well as enhanced device performance even at very high coating speeds (0.1 m.s-1).
Finally, I designed the second-generation dynamic templates using ion gels with widely tunable dynamics via chemical composition. By modulating template properties, I systematically modulated the degree of alignment over 55 times and increased crystallinity >49%. Correspondingly, charge transport was improved by up to 4 and 11 times along both polymer backbone and π-π stacking direction, respectively. Apparent hole mobilities exceeded 3.0 cm2V-1s-1 which is way higher than the minimum required performance to use in commercial displays. Intriguingly, I discovered a synergistic effect between the gel components that produces enhanced templating effect outperforming the neat components. Our experimental and computational studies suggest complementary multivalent interactions to be responsible for this synergy. The generality of this notion is confirmed by designing multicomponent templates and analyzing polymer thin film morphology. Our methodology and mechanistic understanding have broad implications, given the importance of surface-induced assembly of functional materials across disciplines.Submission published under a 24 month embargo labeled 'Closed Access', the embargo will last until 2021-05-01The student, Erfan Mohammadi, accepted the attached license on 2019-04-14 at 22:49.The student, Erfan Mohammadi, submitted this Dissertation for approval on 2019-04-14 at 23:06.This Dissertation was approved for publication on 2019-04-15 at 16:36.DSpace SAF Submission Ingestion Package generated from Vireo submission #13613 on 2019-08-22 at 16:21:18Made available in DSpace on 2019-08-23T20:47:23Z (GMT). No. of bitstreams: 3
MOHAMMADI-DISSERTATION-2019.pdf: 13817774 bytes, checksum: 41ebe3a842eddbb3f2f3a0d1da5e4653 (MD5)
LICENSE.txt: 4212 bytes, checksum: ef45fac2ce488246a3c38a04e236aa59 (MD5)
PROQUEST_LICENSE.txt: 4558 bytes, checksum: 84539979e30b8f66612a358276234249 (MD5)
Previous issue date: 2019-04-15Embargo set by: Seth Robbins for item 112313
Lift date: 2021-08-23T20:47:38Z
Reason: Author requested closed access (OA after 2yrs) in Vireo ETD systemEmbargo set by: Seth Robbins for item 112313
Lift date: 2021-08-23T20:48:32Z
Reason: Author requested closed access (OA after 2yrs) in Vireo ETD systemLimited Restriction Lifted for Item 112313 on 2021-08-24T09:15:28Z
Efektivitas Kombinasi Ekstrak Etanol Biji Kakao dan Albumin Ikan Gabus terhadap Penyembuhan Luka Infeksi
No full textWHO menyebutkan bahwa prevalensi infeksi nosokomial di dunia
tahun 2018 mencapai angka 9%, sedangkan di Indonesia prevalensi infeksi
ini pada tahun 2011 mencapai angka 7,1%. Salah satu penyebab tingginya
prevalensi di Indonesia disebabkan oleh meningkatnya jumlah tindakan
operasi dari tahun 2011 sampai 2012 sebesar 140 juta menjadi 148 juta
tindakan. Berdasarkan data ini, dilaporkan bahwa infeksi luka operasi (ILO)
juga ikut meningkat, dimana ILO termasuk dalam kategori infeksi
nosokomial. Menurut Khan (2017), Sthapylococcus aureus merupakan
bakteri penyebab utama dari ILO. Bakteri ini masih efektif ditangani oleh
antibiotik mupirosin dengan penggunaan sesuai prinsip 5T (tepat pasien,
tepat waktu, tepat obat, tepat rute, dan tepat dosis). Namun, pada tahun 2011,
Suhariyanto melaporkan bahwa adanya resistensi antibiotik mupirosin oleh
bakteri methicillin resistant S. aureus (MRSA), selain itu tidak semua
kalangan masyarakat dapat menjangkau harga antibiotik ini, oleh sebab itu
perlu ditemukan bahan alternatif lain sebagai terapi infeksi bakteri
Staphylococcus aureus. Menurut penelitian Syamsuddin (2013) dan
Suprayitno (2009), kakao dan ikan gabus diduga mampu membantu proses
penyembuhan luka karena mengandung bahan aktif berupa polifenol dan
asam amino. Oleh sebab itu, penelitian ini bertujuan untuk mengetahui
efektivitas kombinasi ekstrak etanol biji kakao dan albumin ikan gabus
terhadap penyembuhan luka infeksi.
Penelitian ini dilakukan dengan metode quasi eksperimental
laboratoris dan posttest only control group design. Unit eksperimen
menggunakan tikus Rattus norvegicus dengan jumlah sampel berdasarkan
rumus Federer sebanyak 24 ekor yang dibagi ke dalam empat kelompok.
Kelompok kontrol diberikan terapi krim antibiotik mupirosin 2%, kelompok
perlakuan pertama diberikan terapi krim ekstrak etanol biji kakao 8%,
kelompok perlakuan kedua diberikan terapi serbuk albumin ikan gabus, dan
kelompok perlakuan ketiga diberikan terapi kombinasi krim ekstrak etanol
biji kakao 8% serta serbuk albumin ikan gabus. Variabel yang diukur pada
penelitian ini yaitu persentase penyembuhan luka infeksi, skor penyembuhan
luka infeksi, skor kepadatan serabut kolagen, dan jumlah fibroblas. Data
persentase penyembuhan luka hari ke-4 dianalisis menggunakan uji One Way
Anova karena berskala rasio, terdistribusi normal, dan homogen. Data
persentase penyembuhan luka hari ke-7 dianalisis menggunkan uji Kruskal
Wallis karena berskala rasio, terdistribusi tidak normal, dan tidak homogen.
Data skor penyembuhan luka dan skor kepadatan serabut kolagen dianalisis
menggunakan uji Mann Whitney karena berskala ordinal dengan tabel
(>2)x(>2) dan syarat x2
tidak terpenuhi. Data jumlah fibroblas dianalisis
menggunakan uji One Way Anova karena berskala rasio, terdistribusi normal,
dan homogen.
Hasil analisis data persentase penyembuhan luka hari ke-4, persentase
penyembuhan luka hari ke-7, dan skor penyembuhan luka menunjukkan
bahwa p>0,05 yang artinya tidak ada perbedaan signifikan antar kelompok
perlakuan. Hal ini dapat disebabkan karena tidak semua sampel memiliki
selisih yang berbeda jauh antar kelompok perlakuan. Hasil analisis data skor
kepadatan serabut kolagen dan jumlah fibroblas menunjukkan bahwa p<0,05
yang artinya terdapat perbedaan signifikan antara kelompok perlakuan. Hal
ini dapat disebabkan karena penambahan terapi albumin ikan gabus yang
mengandung asam amino dapat meningkatkan proses pembentukan kolagen
dan proliferasi fibroblas dalam pembentukan jaringan baru.
Berdasarkan hasil yang diperoleh dapat disimpulkan bahwa terapi
kombinasi krim ekstrak etanol biji kakao 8% dengan serbuk albumin ikan
gabus lebih efektif dibanding terapi tunggal krim ekstrak etanol biji kakao
8% dilihat dari parameter mikroskopis yaitu skor kepadatan serabut kolagen
dan jumlah fibroblas. Oleh sebab itu, perlu dilakukan uji klinis untuk
diaplikasikan sebagai terapi
Analyzing Lexical Density of Reading Texts in the Elt Textbook for Senior High School Students
No full textReading is an interactive process that goes on between the author, the reader
and the text. In the process of trying to understand a written text, the reader has to
perform a number of simultaneous tasks, decode the message by recognizing the
written signs, interpret the message by assigning meaning to the string of words, and
finally, understand what the author’s intention was (murcia, 2000). In teaching
learning process of reading, the lessons are typically represented in the form of texts
which consists of vocabulary. In this case, the teachers should provide the appropriate
textbook to be applied in teaching learning process
- …
