نتایج جستجو برای: din asad abadi

تعداد نتایج: 5323  

2010
N. FULGA M. O. POPESCU Claudia POPESCU N. Fulga M. O. Popescu Claudia Popescu

Obiectivul acestei lucrări constă în dezvoltarea şi implementarea unui regulator digital PID pentru convertoarele statice. Sunt studiate prin simulare şi experimentări efectele factorilor KP, KI şi KD asupra răspunsului buclei de reglare. În partea a doua a lucrării, este prezentată o analiză comparativă experimentală a două convertoare (un redresor comandat realizat din tiristoare cu filtru ca...

2010
Ioana PISICĂ Petru POSTOLACHE Ioana Pisică Petru Postolache Andrej Skowron

Teoria mulţimilor Rough s-a dovedit a fi o tehnică utilă în analiza datelor incomplete. Fundamentele acesteia au fost îmbunătăţite de-a lungul timpului, iar aplicaţiile se referă la variate domenii, putând fi considerată complementară altor teorii care lucrează cu date incomplete, cum ar fi inferenţa Bayeziană sau teoria mulţimilor fuzzy. Articolul prezintă câteva concepte din teoria mulţimilor...

2015
David Beard Jonathan Rees Ines Rombach Cushla Cooper Jonathan Cook Naomi Merritt Alastair Gray Stephen Gwilym Andrew Judge Julian Savulescu Jane Moser Jenny Donovan Marcus Jepson Caroline Wilson Irene Tracey Karolina Wartolowska Benjamin Dean Andrew Carr

BACKGROUND Arthroscopic subacromial decompression (ASAD) is a commonly performed surgical intervention for shoulder pain. The rationale is that removal of a bony acromial spur relieves symptoms by decompressing rotator cuff tendons passing through the subacromial space. However, the efficacy of this procedure is uncertain. The objective of this trial was to compare the efficacy and cost-effecti...

Journal: :Logical Methods in Computer Science 2006

Goudarz Sadeghi Hashjin, Mehri Mowlaie, Nader Hajloo, Niloofar Mikaeili, Shima Heidari,

Objective: Dynamic psychotherapies are effective in treating anxiety disorders. However, little is known about their effectiveness in treating Adult Separation Anxiety Disorder (ASAD). The present research aimed to examine the effectiveness of Brief Empathic Psychotherapy (BEP) and anxiety-regulating dynamic therapy or Affect Phobia Therapy (APT) in reducing depression and anxiety in a sample o...

2004
Luca Bragazza Juul Limpens

[1] To assess the effects of increased atmospheric N input on N availability in ombrotrophic peatlands, the relative concentrations of dissolved organic nitrogen (DON) to dissolved inorganic nitrogen (DIN) were measured in bog waters along a natural gradient of atmospheric N deposition. Six European bogs were selected, spanning a range of chronic atmospheric N inputs from 0.2 to 2.0 g m 2 yr . ...

2014
Ezgi Kunttas-Tatli David M. Roberts Brooke M. McCartney

The tumor suppressor adenomatous polyposis coli (APC) is an essential negative regulator of Wnt signaling through its activity in the destruction complex with Axin, GSK3β, and CK1 that targets β-catenin/Armadillo (β-cat/Arm) for proteosomal degradation. The destruction complex forms macromolecular particles we termed the destructosome. Whereas APC functions in the complex through its ability to...

Journal: :Electr. Notes Theor. Comput. Sci. 1998
Andrew D. Gordon Paul D. Hankin

We obtain a new formalism for concurrent object-oriented languages by extending Abadi and Cardelli’s imperative object calculus with operators for concurrency from the -calculus and operators for synchronisation based on mutexes. Our syntax of terms is extremely expressive; in a precise sense it unifies notions of expression, process, store, thread, and configuration. We present a chemical-styl...

Journal: :Journal of Computer Security 2004
Daniele Micciancio Bogdan Warinschi

We show that the Abadi-Rogaway logic of indistinguishability for cryptographic expressions is not complete by giving a natural example of a secure encryption function and a pair of expressions, such that the distributions associated to the two expressions are computationally indistinguishable, but equality cannot be proved within the logic. We then introduce a new property for encryption scheme...

Journal: :Jurnal At-Tadbir: Media Hukum dan Pendidikan 2023

Paper ini membahas karya Muhammad Asad (1990-1992) Sahih al-Bukhari The Early Years of Islam yang diterbit pertama kali pada 1935 oleh Arafat Publications, Srinagar, Kashmir dan cetakan kedua 1981 Dar Al-Andalus, Gibraltar. Kitab merupakan terjemahan kritik berisi syarah Hadits tuntas mengesankan terhadap riwayat-riwayat sahih, meninjau latar belakang para perawi, lafaz konteks periwayatannya. ...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید