2,761 Hits in 3.9 sec

Multi-party Concurrent Signatures [chapter]

Dongvu Tonien, Willy Susilo, Reihaneh Safavi-Naini
2006 Lecture Notes in Computer Science  
Using techniques of ring signatures and bilinear pairings, for the first time we construct a concurrent signature scheme for multi-users.  ...  Chen, Kudla and Paterson proposed a concurrent signature scheme for two users. Recently, Susilo and Mu constructed a scheme for three users.  ...  An initial user, U 1 , initiates a concurrent signature signing. U 1 picks a random group keystone gk and an individual keystone ik 1 . U 1 computes the group keystone-fix F = KGEN(gk).  ... 
doi:10.1007/11836810_10 fatcat:3mbcgthvszemrf5rsqjcsoqgou

The History of Strabismology: Hirschberg History of Ophthalmology: The Monographs.: von Noorden GK, ed. US$145. Belgium: Wayenborgh, 2002

D R Fredrick
2003 British Journal of Ophthalmology  
A Dick The History of Strabismology: Hirschberg History of Ophthalmology: The Monographs. von Noorden GK, ed. US$145. Belgium: Wayenborgh, 2002.  ...  We therefore recommend the routine use of the 2.5% phenylephrine in ophthalmic surgery and only use 10% solution for cases where the lower concentration may not be as effective.  ... 
doi:10.1136/bjo.87.4.518-b fatcat:gnyea4seqrhy7dpyyy4lput7zq

Concurrent Zero-Knowledge with Timing, Revisited [chapter]

Oded Goldreich
2006 Lecture Notes in Computer Science  
Following Dwork, Naor, and Sahai (30th STOC, 1998), we consider concurrent executions of protocols in a semi-synchronized network.  ...  Speci cally, we assume that each party holds a local clock such that bounds on the relative rates of these clocks as well as on the messagedelivery time are a-priori known, and consider protocols that  ...  Our research was partially supported by the Minerva Foundation, Germany. 29 Actually, the simulator uses a knowledge-extractor that corresponds to Steps 2{3.  ... 
doi:10.1007/11685654_2 fatcat:pn6mbczgpbatboaulfhx6k6eha

The use of docking-based comparative intermolecular contacts analysis to identify optimal docking conditions within glucokinase and to discover of new GK activators

Mutasem O. Taha, Maha Habash, Mohammad A. Khanfar
2014 Journal of Computer-Aided Molecular Design  
Glucokinase (GK) is involved in normal glucose homeostasis and therefore it is a valid target for drug design and discovery efforts.  ...  contacts analysis (dbCICA), to validate docking configurations performed on a group of GKAs within GK binding site. dbCICA assesses the consistency of docking by assessing the correlation between ligands  ...  ., search of concurrent contacts rather than separate contacts.  ... 
doi:10.1007/s10822-014-9740-4 pmid:24610240 fatcat:otc4tx73tzhyfcrb5qyc5h5a5m

A Model for Selecting Product Ideas in Fuzzy Front End

Houn-Wen Chang, Chiu-Chi Wei, Ru-Jen Lin
2008 Concurrent Engineering - Research and Applications  
This study proposes a rational and effective fuzzy multiple attribute group decision-making approach called product idea screening model for selecting new product ideas in the fuzzy front end, and aims  ...  Define fuzzy ideal positive solution p à ¼ 1,1,1 ð Þ and fuzzy ideal negative solution p À ¼ 0,0,0 ð Þ.  ...  Decide the criteria weight from group members: w $ n ¼ 1 gk w $1 n þ w $ 2 n þ Á Á Á þ w $ gk n ! ð5Þ where gk ¼ 1, . . .  ... 
doi:10.1177/1063293x08092485 fatcat:kxezvfzs2zdbff4r4cfsdvzxmi

Procedure-level verification of real-time concurrent systems [chapter]

Farn Wang, Chia-Tien Lo
1996 Lecture Notes in Computer Science  
Nowadays, there is a big gap in between the classical verification theories and the engineering practice in real-world projects.  ...  On the other hand, better understanding of the problem nature corroborates the engineering wisdom and may eventually lead to better solution.  ...  SMV is used as a routine for calculating the transitive closure in the rendezvous state graph in table 1.  ... 
doi:10.1007/3-540-60973-3_114 fatcat:fmxxsoaxv5dh7hjcbog3pw4jhi

Concurrent Adversarial Learning for Large-Batch Training [article]

Yong Liu, Xiangning Chen, Minhao Cheng, Cho-Jui Hsieh, Yang You
2022 arXiv   pre-print
Large-batch training has become a commonly used technique when training neural networks with a large number of GPU/TPU processors.  ...  To overcome this issue, we propose a novel Concurrent Adversarial Learning (ConAdv) method that decouple the sequential gradient computations in adversarial learning by utilizing staled parameters.  ...  ACKNOWLEDGEMENTS We thank Google TFRC for supporting us to get access to the Cloud TPUs.  ... 
arXiv:2106.00221v2 fatcat:wihz4a27vzawpjqshlh7ooft2e

Sequence comparison on the connection machine

Mikhail J. Atallah, Scott McFaddin
1991 Concurrency Practice and Experience  
Our first algorithm computes d(X, Y) using N processors and O(MS) time units, where M = min(|Jf|, |Y|) + 1, N = max(|X|, |Y|) + 1 and S is the time required for a parallel prefix operation.  ...  The second algorithm computes d(X,Y) using NM processors and 0((logjVlogM)(S 4-72.)) time units, where 72 is the time for a "router" communication step -one in which each processor is able to read data  ...  In practice, however, such access in not generally available nor is it practical. We caution the reader, then, that there is a great deal of information hiding behind the TZ and S symbols.  ... 
doi:10.1002/cpe.4330030203 fatcat:zkih2556f5bk3kb3kigekxbgy4

Concurrent Multiscale Damage Analysis with Adaptive Spatiotemporal Dimension Reduction [article]

Shiguang Deng, Diran Apelian, Ramin Bostanabad
2022 arXiv   pre-print
In particular, we use our efficient concurrent multiscale model to quantify the significance of spatially varying microscopic porosity on a macrostructural softening behavior.  ...  Concurrent multiscale damage models are often used to quantify the impacts of manufacturing-induced micro porosity on the damage response of macroscopic metallic components.  ...  Specifically, we appreciate Randy Beals from Magna International, and Chen Dai from VJ Technologies for providing us with the Wprofile plate samples and X-ray computed tomography scanning and data generation  ... 
arXiv:2205.12149v1 fatcat:3b4a6dsgpbfhng54tpkjtiq2qi

Modeling of Concurrent Task Execution in a Distributed System for Real-Time Control

Peng, Shin
1987 IEEE transactions on computers  
Finally, a sequence of homogeneous continuous-time Markov chains (CTMC's) is built from the GSPN to model the concurrent task execution in the system.  ...  The CTMC model is useful for the study of various design and analysis issues in distributed real-time systems.  ...  S4) Using the posterior probabilities P7'(t,) computed in S2) as the initial probabilities at time t{, compute the CDF of (5) the first passage time QLXm,Gk(tc, t') to any sj in Gk given that Xm(t,) =  ... 
doi:10.1109/tc.1987.1676931 fatcat:2whksncrlzbczkup66jevzcnpy

Structural Decentralised Control of Concurrent Discrete-event Systems

Sang-Heon Lee, Kai C. Wong
2002 European Journal of Control  
So, when one obtains Gj in Step 5 of Algorithm I, one has that Gj = Gks = G J+ 1. Let us define Gas := (<?"  ...  Using our results, decentralised solution for the control of the CIP process is obtained.  ...  The cost function is the same as used in Eq. A.9. However, now it is considered as a cost on the full state space $ : M3 -> M, where e{k) is given by Eq.  ... 
doi:10.3166/ejc.8.477-491 fatcat:t73bjopowrg7fagxg6nxmg7vzu

Finite failures and partial computations in concurrent logic languages

Moreno Falaschi, Giorgio Levi
1990 Theoretical Computer Science  
is paper investigates some semantic properties of concurrent logic languages. Concurrent logic languages with a commit operator differ from pure iogic languages :n rhe finite failure set.  ...  The commit operator is a primitive which was first introduced in the relational parallel language [4] and is present in many concurrent languages, such as PARLOC [5], Concurrent Prolog [21] and GI-IC [  ...  for a reduction in a committed-choice language requires a preliminary solution of its guard.  ... 
doi:10.1016/0304-3975(90)90061-l fatcat:k7issa46yverzatjfma25auctu

Concurrently coupled atomistic and XFEM models for dislocations and cracks

Robert Gracie, Ted Belytschko
2009 International Journal for Numerical Methods in Engineering  
A dislocation core is treated in the continuum by superposing the analytic solution of an edge dislocation in an infinite domain with an FE solution via traction boundary conditions.  ...  The objective is to model crack fronts and dislocation cores by atomistics, and in the rest of the domain use a continuum model.  ...  We end this introduction with a few words about the use of a concurrent scheme versus an hierarchical multiscale scheme. In this paper a concurrent multiscale method is described.  ... 
doi:10.1002/nme.2488 fatcat:nzi44c7ryvbodati4cmncernzu

An overview of manifold and its implementation

F. Arbab, I. Herman, P. Spilling
1993 Concurrency Practice and Experience  
This is not necessarily bad in practice, but we prefer a more elegant solution that does not impose such static limits.  ...  More experience is still necessary to thoroughly evaluate the practical usefulness of MANIFOLD.  ...  with underscores as the word dividers. 11 Tell the client that a window has been created, and then 11 reinstall the guard on the request port.  ... 
doi:10.1002/cpe.4330050103 fatcat:vs4rf5tukjaqngqnslvngqzu5m

Dynamic analysis of a reverse-idler gear pair with concurrent clearances

T.E. Rook, R. Singh
1995 Journal of Sound and Vibration  
Both methods are used to study periodic responses, while the Floquet theory is used to study the stability of such solutions.  ...  Although the emphasis is on periodic steady state solutions, quasi-periodic responses have been briefly examined due to their prevalence in a system with concurrent nonlinearities.  ...  Padmanabhan is also acknowledged for introducing us to the shooting method [30] , as well as for his insight into non-linear systems.  ... 
doi:10.1006/jsvi.1994.0198 fatcat:qupf7l5ulnf3dgtvshwo4dfxl4
« Previous Showing results 1 — 15 out of 2,761 results