Search or add a thesis

Advanced Search (Beta)
Home > Sat Based Model Checking

Sat Based Model Checking

Thesis Info

Author

Een, Niklas.

Institute

Chalmers University of Technology

Institute Type

Public

City

Goteborg

Country

Sweden

Thesis Completing Year

2005

Thesis Completion Status

Completed

Page

90 . ; ill. ;

Subject

English

Language

English

Other

Papercover.; Call No: 428.1 E 26 S

Added

2021-02-17 19:49:13

Modified

2023-01-06 19:20:37

ARI ID

1676712295633

Similar


Loading...
Loading...

Similar Books

Loading...

Similar Chapters

Loading...

Similar News

Loading...

Similar Articles

Loading...

Similar Article Headings

Loading...

ساغر جعفری

ساغر جعفری(۱۹۱۳ء۲۰۰۲ء) کا اصل نام محمد حسین جعفری ہے۔ آپ سیالکوٹ میں پیدا ہوئے۔ ساغر جعفری ایک پختہ گو شاعر تھے۔ ان کا کلام’’ادبِ لطیف‘‘،’’ساقی‘‘،’’رومان‘‘ اور دیگر ملکی سطح کے رسائل و جرائد میں چھپتا رہا۔ساغر جعفری رومانوی تحریک سے وابستہ رہے۔ (۶۵۹) انھوں نے غزل ،نظم،گیت ،قطعہ ،نعت ،منقتبت،مرثیہ ،سلام،ماہیہ ،اور ہائیکو میں طبع آزمائی کی۔ آپ اقبال کی قومی و ملی شاعری سے بہت متاثر تھے۔ قومیت و وطنیت کے حوالے سے اقبال کا رنگ ساغر جعفری کی شاعری میں واضح طورپر نظر آتا ہے۔

’’بہارو نگار‘‘ ساغر جعفری کا پہلا مجموعہ کلام ہے۔ جس کا پہلا ایڈیشن ۱۹۹۵ء میں شائع ہوا۔ اس مجموعے کے صفحات دو سو چوبیس ہیں۔ا س کا پیش لفظ ڈاکٹر وحید قریشی اور تعارف احمد ندیم قاسمی نے لکھا ہے۔ اس مجموعے میں غزلیں ،ہائیکو اور ماہیے شامل ہیں۔ دوسرا شعری مجموعہ ’’برگِ گل‘‘ کے نام سے ۱۹۹۵ء میں شائع ہوا۔ اس مجموعے کے صفحات کی تعداد ایک سو چھہتر ہے۔ اس میں ان کی نظمیں ،غزلیں اور گیت شامل ہیں۔ برگِ گل میں مشاہیر پاکستان بالخصوص قائد اعظم اور اقبال کی خدمات پر انھیں خراجِ عقیدت پیش کیا گیا ہے۔ ان کے علاوہ میرانیس اور مرزا دبیر کے فکری و فنی اثرات کا اظہار بھی ہے۔ اس کتاب کا دیباچہ ڈاکٹر وزیر آغا اور تعارف ظہیر کا شمیری نے لکھا ہے۔

ساغر جعفری کا تیسرا شعری مجموعہ ’’دائرے‘‘ ہے۔ جو ۱۹۹۶ء میں شائع ہوا۔ اس کے صفحات کی تعداد ایک سو چوراسی ہے۔ اس مجموعے میں غزلیں اور قطعات شامل ہیں۔ اس کتاب کا مقدمہ ڈاکٹر انور سدید نے لکھا ہے۔ اس کے قطعات کا بڑا موضوع اخلاقی ،معاشرتی اور سماجی مسائل ہیں۔

’’جامِ مودت‘‘ ساغر کا چوتھا شعری مجموعہ ہے جو ۱۹۹۷ء میں شائع ہوا۔ اس کا فلیپ علامہ...

Akuntansi Terintegrasi Islam : Alternatif Model Dalam Penyusunan Laporan Keuangan Islamic Integrated Accounting : Alternative Models in Preparing Financial Statements

Akuntansi merupakan suatu sistem informasi yang krusial dalam menggambarkan kinerja keuangan suatu entitas. Dalam konteks global yang semakin kompleks dan multikultural, terdapat kebutuhan untuk mengembangkan pendekatan akuntansi yang mencerminkan nilai-nilai dan prinsip-prinsip Islam. Penelitian ini bertujuan untuk mengusulkan alternatif model penyusunan laporan keuangan yang terintegrasi dengan prinsip-prinsip Islam sebagai respons terhadap kebutuhan akan transparansi, etika, dan keadilan dalam pelaporan keuangan.Dengan menggabungkan prinsip-prinsip akuntansi konvensional dengan nilai-nilai Islam, model ini menawarkan kerangka kerja yang holistik untuk menerapkan konsep akuntansi terintegrasi Islam. Model ini mendasarkan penyusunan laporan keuangan pada prinsip-prinsip syariah, termasuk larangan riba, gharar (ketidakpastian yang berlebihan), dan maysir (spekulasi). Selain itu, model ini menekankan pada tanggung jawab sosial dan lingkungan, serta aspek etis dalam pelaporan keuangan.Dalam konteks praktis, penelitian ini mengkaji penerapan model akuntansi terintegrasi Islam dalam berbagai jenis entitas, mulai dari perusahaan skala kecil hingga perusahaan skala besar. Implikasi dari penggunaan model ini terhadap transparansi, keadilan, dan keberlanjutan keuangan dianalisis melalui studi kasus dan perbandingan dengan pendekatan akuntansi konvensional.Hasil penelitian menunjukkan bahwa model akuntansi terintegrasi Islam ini mampu memberikan pandangan yang lebih komprehensif dan berkelanjutan terhadap kinerja keuangan entitas, dengan mengakomodasi prinsip-prinsip syariah dan nilai-nilai etis. Implikasi dari penelitian ini akan memberikan kontribusi bagi pengembangan praktek akuntansi yang lebih inklusif, berkelanjutan, dan sesuai dengan prinsip-prinsip agama Islam, sehingga memberikan pandangan yang lebih holistik terhadap aspek keuangan dan non-keuangan dalam penyusunan laporan keuangan.

Growth and Characterization of Nano Structured Composite Carbon Films

The structural and surface morphology of metal-incorporated diamond like carbon films have been investigated. These films were deposited on Si (111) substrates using Pulsed Laser Deposition (PLD) technique. A KrF Excimer laser (λ= 248 nm) was used for co- ablation from multi component Ni-graphite and Ag-graphite targets. The carbon composite films were prepared without and with external magnetic field applied transverse to the plume. The structural analysis was performed using X-ray Differactrometer (XRD) and Raman spectroscopy. Scanning Electron Microscope (SEM) and Atomic Force Microscope (AFM) analyses were performed to explore the surface morphology, texture and roughness of films. The application of external magnetic field has significantly improved the film quality. Films prepared in the presence of external magnetic field have comparatively larger crystallite size of Ni as well as of Ag. Another important aspect of application of external field is the enhancement in the graphitization and shifting of G-band towards higher wave number. The nucleation and growth process of carbon films are strongly dependent on the size and energies of the ablated species. The I D /I G ratios for the films prepared under external magnetic field indicate that the chain length and the six-fold aromatic rings of carbon clusters have developed substantially in that film matrix and thus graphitization is enhanced. The metal intercalated atoms support to the formation of carbon ring clusters by taking the π-electron which reduces the excited state of molecule. The surface morphological investigations reveal that surface texture and organized growth of the particles varies with concentration as well as with the applied field. The roughness has also been influenced by the application of magnetic field as well as by the Ni and Ag dopants in the prepared composite films. The purpose of developing such kind of films is to enhance the conventional properties of the films and to achieve some exceptional results which are not possible in ordinary films. These films have a vast variety of applications in photo-voltaic, bio-medical, tribological and semiconductor industry.