نتایج جستجو برای: 4 predicate

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

Journal: :IACR Cryptology ePrint Archive 2017
Alex Lombardi Vinod Vaikuntanathan

In the study of cryptography in NC, it was previously known that Goldreich’s candidate pseudorandom generator (PRG) is insecure when instantiated with a predicate P in 4 or fewer variables, if one wants to achieve polynomial stretch (that is, stretching n bits to n bits for some constant > 0). The current standard candidate predicate for this setting is the “tri-sumand” predicate TSA(x) = XOR3⊕...

2016

1. Max-3-SAT: In this case, Γ represents the OR-predicate. 2. Max-Cut: We can model this as a CSP where the vertices that get assigned to one side get 0 value and the other gets 1; so the domain set is D = {0, 1}. The set Γ contains only 6= predicate. 3. Max-E3-LIN2: The domain is {0, 1}. There are two types of precidates in Γ, i.e. xi + xj + xk = 0 and xi + xj = xk = 1 (under modolu two.) 4. M...

1993
David B. Lomet

“Phan~oma” are records inserted into a concurrently aelected set of records specified by a predicate such that Ihe selection does not eee a transaction conaietent result. The usual locking slrategy is lo lock only czisling records. However, records that satisfy the eeleclion predicate muat be locked even when they are nol present in the database to prevent their insertion. One way to cope with ...

Journal: :Science of Computer Programming 1994

Journal: :Electronic Notes in Theoretical Computer Science 2008

Journal: :Notre Dame Journal of Formal Logic 1981

Journal: :Legalitas 2023

Mengantisipasi dan memberantas tindakan pelaku yang demikian, maka selain sanksi tindak pidana di bidang perpajakan, sebagaimana diatur dalam UU No.28 Tahun 2007, juga penegasan tersebut PPTPPU menempatkan perpajakan dengan memasukkannya ke kelompok kejahatan (predicate crime) 4 Pasal 2 ayat (1) PPTPPU. Hal ini dimaksud bahwa apabilahasil dari kemudian oleh melakukan pencucian uang, dapat dijer...

Journal: :فلسفه و کلام اسلامی 0
سیاوش اسدی دانشجوی دکتری دانشگاه تربیت مدرس رضا اکبریان عضو هیأت علمی دانشگاه تربیت مدرس محمد سعیدی مهر عضو هیأت علمی دانشگاه تربیت مدرس لطف الله نبوی عضو هیأت علمی دانشگاه تربیت مدرس

this paper intends to find an answer to the problematic description of the difference between mulla sadra and allameh tabatabaei’s views on the ontological explanation of “predication” and also, tries to find the origin of this difference. since subject and predicate are different degrees of one existence in mulla sadra’s philosophical structure, the reality of predication is the :union: of two...

2015
Timothy Osborne Shudong Ma

This contribution examines the descriptive and resultative de-constructions in Mandarin Chinese, e.g. Wǒ pǎo-de hěn kuài ‘I run very fast’. There is a longstanding debate about this construction. The primary point of dispute concerns the main predicate: Is the first predicate the root of the sentence, i.e. pǎo-de ‘run’, or is the second predicate the root, i.e. kuài ‘fast’? We demonstrate here ...

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

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