检索结果-南通市图书馆

ZKP Protocols for Usowan,Herugolf,and Five Cells

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Tsinghua Science and Technology 2024年第6期29卷 1651-1666页

作者： Daiki Miyahara Léo Robert pascal Lafourcade Takaaki Mizuki Graduate School of Informatics and Engineering The University of Electro-CommunicationsTokyo 1828585Japan MIS Lab University of Picardy Jules VerneAmiens 80000France Laboratory of Computer Science Modelling and Systems OptimisationUniversity of Clermont AuvergneClermont-Ferrand 63178France Cyberscience Center Tohoku UniversitySendai 9808578Japan

A Zero-Knowledge Proof (ZKP) protocol allows a participant to prove the knowledge of some secret without revealing any information about it. While such protocols are typically executed by computers, there exists a line of research proposing physical instances of ZKP protocols. Up to now, many card-based ZKP protocols for pen-and-pencil puzzles, like Sudoku, have been designed. Those games, mostly edited by Nikoli, have simple rules, yet designing them in card-based ZKP protocols is non-trivial. In this work, we propose a card-based ZKP protocol for Usowan, a Nikoli game. In Usowan, for each room of a puzzle instance, there is exactly one piece of false information. The goal of the game is to detect this wrong data amongst the correct data and also to satisfy the other rules. Designing a card-based ZKP protocol to deal with the property of detecting a liar has never been done. In some sense, we propose a physical ZKP for hiding of a liar. This work extends a previous paper appearing in Ref. [1]. In this extension, we propose two other protocols, for Herugolf and Five Cells. The puzzles are specifically chosen because each of those three puzzles shares a common constraint, connectivity. However, showing the connected configuration cannot be done with generic approach and brings new construction to the existing connectivity ZKP protocol. Indeed, in Herugolf, the connectivity is handled with a given length of cell which is decremental (i.e., the length of each connected cell decreases by one at each step). For Five Cells, there is an additional step in the setup allowing to encode all the information needed to ensure a valid ZKP protocol.

关键词： Zero-Knowledge Proof(ZKP)protocol playing cards card-based cryptography physical assumptions Usowan Herugolf FiveCells

HEALTHCARE: A COMPLEX SERVICE SYSTEM

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Systems Science and Systems Engineering 2009年第3期18卷 257-282页

作者： James M. TIEN pascal J. GOLDSCHMIDT-CLERMONT Dean College of Engineering University of Miami Coral GablesFlorida USA Dean Miller School of Medicine University of Miami Coral GablesFlorida USA

Healthcare is indeed a complex service system, one requiring the technobiology approach of systems engineering to underpin its development as an integrated and adaptive system. In general, healthcare services are carried out with knowledge-intensive agents or components which work together as providers and consumers to create or co-produce value. Indeed, the engineering design of a healthcare system must recognize the fact that it is actually a complex integration of human-centered activities that is increasingly dependent on information technology and knowledge. Like any service system, healthcare can be considered to be a combination or recombination of three essential components - people （characterized by behaviors, values, knowledge, etc.）, processes （characterized by collaboration, customization, etc.） and products （characterized by software, hardware, infrastructures, etc.）. Thus, a healthcare system is an integrated and adaptive set of people, processes and products. It is, in essence, a system of systems which objectives are to enhance its efficiency （leading to greater interdependency） and effectiveness （leading to improved health）. Integration occurs over the physical, temporal, organizational and functional dimensions, while adaptation occurs over the monitoring, feedback, cybernetic and learning dimensions. In sum, such service systems as healthcare are indeed complex, especially due to the uncertainties associated with the human-centered aspects of these systems. Moreover, the system complexities can only be dealt with methods that enhance system integration and adaptation.

关键词： Services healthcare system integration system adaptation system complexity system of systems customization co-production decision informatics real-time decision making

An inverse method for characterization of dynamic response of 2D structures under stochastic conditions

在线全文

学校读者我要写书评

暂无评论

Chinese Journal of Aeronautics 2024年第3期37卷 440-455页

作者： Xuefeng LI Abdelmalek ZINE Mohamed ICHCHOU Noureddine BOUHADDI pascal FOSSAT Laboratory of Tribology and Systems Dynamic Central School of LyonEcully 69134France Institut Camille Jordan Central School of LyonEcully 69134France Department of Applied Mechanics University of Burgundy Franche-ComtéBesancon 25000France

The reliable estimation of the wavenumber space(k-space)of the plates remains a longterm concern for acoustic modeling and structural dynamic behavior *** current analyses of wavenumber identification methods are based on the deterministic *** this end,an inverse method is proposed for identifying wave propagation characteristics of twodimensional structures under stochastic conditions,such as wavenumber space,dispersion curves,and band *** proposed method is developed based on an algebraic identification scheme in the polar coordinate system framework,thus named Algebraic K-Space Identification(AKSI)***,a model order estimation strategy and a wavenumber filter are proposed to ensure that AKSI is successfully *** main benefit of AKSI is that it is a reliable and fast method under four stochastic conditions:(A)High level of signal noise;(B)Small perturbation caused by uncertainties in measurement points’coordinates;(C)Non-periodic sampling;(D)Unknown structural *** validate the proposed method,we numerically benchmark AKSI and three other inverse methods to extract dispersion curves on three plates under stochastic *** experiment is then performed on an isotropic steel *** investigations demonstrate that AKSI is a good in-situ k-space estimator under stochastic conditions.

关键词： Inverse method Dispersion relation Wavenumber space Periodic plates Stochastic conditions Wave propagation characterization

Two paths for stabilization of ERG in prostate carcinogenesis： TMPRSS2-ERG fusions and speckle-type pox virus and zinc finger protein mutations

在线全文

学校读者我要写书评

暂无评论

Asian Journal of Andrology 2016年第4期18卷 594-595页

作者： Laura E pascal Zhou Wang Department of Urology University of Pittsburgh Cancer Institute Department of Pharmacology and Chemical Biology Department of Pathology University of Pittsburgh School of Medicine Pittsburgh PA 15232 USA.

Speckle-type POZ （pox virus and zinc finger protein） protein （SPOP） is anE3 ubiquitin ligase adaptor protein that specifically promotes the ubiquitination and proteasome degradation of proteins. SPOP mutations are frequent in prostate cancer, and in a previous study, An et al. demonstrated that SPOP induced the degradation of the androgen receptor （AR） suggesting that SPOP is important in maintaining prostate homeostasis. In this current highlighted report, An and colleagues showed that ERG, which has been implicated as an oncoprotein in prostate cancer.

关键词： @@

Virtual drug design： Skpl-Skp2 inhibition targets cancer stem cells

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Asian Journal of Andrology 2013年第6期15卷 717-718页

作者： Laura E pascal Zhou Wang Department of Urology University of Pittsburgh School of Medicine Pittsburgh PA 15232 USA University of Pittsburgh Cancer Institute University of Pittsburgh School of Medicine Pittsburgh PA 15232 USA Department of Pharmacology and Chemical Biology University of Pittsburgh School of Medicine Pittsburgh PA 15232 USA

The dysregulation of pathways regulat-ing cellular function is a frequent hall-mark of cancer and the development of specific pathway inhibitors that alter tumor growth and progression are the focus of multiple recent studies. E3 ubiquitin ligases are a large group of diverse protein enzymes that specifically target proteins for dear- ance, and their importance to normal cel-lular function is illustrated in the many diseases associated with their loss of func- tion or inappropriate targeting. S-phase kinase-associated protein 2 （Skp2） is an F box protein that plays critical roles in cell-cycle progression, senescence, metabolism, and acts as an Skpl-Cullin-l-F box （SCF） ubiquitin ligase substrate recognition fac-tor. Overexpression of Skp2 is associated with poor prognosis and metastasis in many cancers and is a well validated drug target. In a recent report, Chart et al. have iden-tified an Skp2 inhibitor that selectively impairs Skp2 E3 ligase activity using an integrated virtual high-throughput drug screening and experimental validation approach. This Skp2 inhibitor restricts cancer stemness and potentiates sensitivity to chemotherapeutic agents in multiple ani-mal tumor models. These findings identify a new novel small molecule that targets the Skp2 and reduces tumor growth by attenu-ating aerobic glycolysis and inducing cel-lular senescence.

关键词：

Totally laparoscopic trans-hiatal gastroesophagectomy for benign diseases of the esophago-gastric junction

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

World Journal of Gastroenterology 2007年第2期13卷 285-288页

作者： Jean-Louis Dulucq pascal Wintringer Ahmad Mahajna Department of Abdominal Surgery Institute of Laparoscopic Surgery Maison de Santé Protestante Bagatelle Hospital Route de Toulouse 203 Talence-Bordeaux 33401 France

AIM： To prospectively present our initial experience with totally laparoscopic transhiatal esophagogastrectomies for benign diseases of the cardia and distal esophagus. METHODS： Laparoscopic gastric mobilization and tubularization combined with transhiatal esophageal dissection and intrathoradc esophagogastric anastomosis accomplished by a circular stapler was done in 3 patients. There were 2 females and 1 male patient with a mean age of 73 ± 5 years. RESULTS： Two patients were operated on due to benign stromal tumor of the cardia and one patient had severe oesophageal peptic stenosis. Mean blood loss was 47 ± 15 mL and mean operating time was 130 ± 10 rain. There were no cases that required conversion to laparotomy. All patients were extubated immediately after surgery. Soft diet intake and ambulation times were 5.1 ± 0.4 d and 2.6 ±0.6 d, respectively. There were no intraoperative and postoperative complications and there were no perioperative deaths. The average length of hospital stay was 9.3 ± 3 d. All procedures were curative and all resected margins were tumor free. The mean number of retrieved lymph nodes was 18 ±8. CONCLUSION： Laparoscopic transhiatal esophagogastrectomy for benign lesions has good effects and proves feasible and safe.

关键词： Esophagogastrectomy Transhiatal resection Cardial tumor Laparoscopy Stromal tumor

Regulation of Shoot and Root Development through Mutual Signaling

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Molecular Plant 2012年第5期5卷 974-983页

作者： Jerome Puig Germain Pauluzzi Emmanuel Guiderdoni pascal Gantet Universite Montpellier 2 UMR DAP Bat 15 CC 002 Place Eugene Bataillon 34095 Montpellier Cedex 5 France CIRAD UMR DAP Avenue Agropolis TA A-96/03 34398 Montpellier Cedex 5 France University of Science and Technology of Hanoi LMI RICE Agricultural Genetics Institute Ha Noi Viet Nam IRD UMR DIADE Avenue Agropolis 34398 Montpellier Cedex 5 France

Plants adjust their development in relation to the availability of nutrient sources. This necessitates signal- ing between root and shoot. Aside from the well-known systemic signaling processes mediated by auxin, cytokinin, and sugars, new pathways involving carotenoid-derived hormones have recently been identified. The auxin-responsive MAX pathway controls shoot branching through the biosynthesis of strigolactone in the roots. The BYPASSI gene affects the production of an as-yet unknown carotenoid-derived substance in roots that promotes shoot development. Novel local and systemic mechanisms that control adaptive root development in response to nitrogen and phosphorus starvation were recently discovered. Notably, the ability of the NITRATE TRANSPORTER 1.1 to transport auxin drew for the first time a functional link between auxin, root development, and nitrate availability in soil. The study of plant response to phos- phorus starvation allowed the identification of a systemic mobile miRNA. Deciphering and integrating these signaling pathways at the whole-plant level provide a new perspective for understanding how plants regulate their development in response to environmental cues.

关键词： plant development systemic signaling strigolactone BYPASS1 nitrate phosphate miRNA.

A decomposition approach to job-shop scheduling problem with discretely controllable processing times

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Science China(Technological Sciences) 2011年第5期54卷 1240-1248页

作者： NIU GangGang SUN ShuDong LAFON pascal YANG HongAn Institute of System Integration and Engineering Management Key Lab of Contemporary Design and Integrated Manufacturing Technology MOE Xi'an 710072 China Institut Charles delaunay-LASMIS FRE CNRS 28 48 Universite de Technologie de Troyes Troyes 10010 France

Job-shop scheduling problem with discretely controllable processing times (JSP-DCPT) is modeled based on the disjunctive graph, and the formulation of JSP-DCPT is presented. A three-step decomposition approach is proposed so that JSP-DCPT can be handled by solving a job-shop scheduling problem (JSP) and a series of discrete time-cost tradeoff problems. To simplify the decomposition approach, the time-cost phase plane is introduced to describe tradeoffs of the discrete time-cost tradeoff problem, and an extreme mode-based set dominant theory is elaborated so that an upper bound is determined to cut discrete time-cost tradeoff problems generated by using the proposed decomposition approach. An extreme mode-based set dominant decomposition algorithm (EMSDDA) is then proposed. Experimental simulations for instance JSPDCPT_FT10, which is designed based on a JSP benchmark FT10, demonstrate the effectiveness of the proposed theory and the decomposition approach.

关键词： job-shop scheduling discretely controllable processing times time-cost tradeoff decomposition

One-dimensional lanthanide complexes bridged by nitronyl nitroxide radical ligands with non-chelating nitrogen donors： Structure and magnetic characterization

在线全文

学校读者我要写书评

暂无评论

中国科学：化学 2012年第6期42卷 911-912页

作者： SUTTER Jean-pascal Université de Toulouse

A series of new lanthanide-radical complexes [{Ln(hfac)3}2(NITPhIM)2] (Ln = Nd (1), Eu (2), Tb (3), Er (4); hfac = hexafluoroacetylacetonate; NITPhIM = 2-[4-(1-imidazole)phenyl]-4,4,5,5- tetramethylimidazoline-1- oxyl-3- oxide) have been prepared and characterized. Single crystal X-ray diffraction analyses reveal that these complexes are isostructural with one-dimensional chain structures. These consist in Ln(hfac)3 units bridged by the paramagnetic ligands by the means of coordination of their nitronyl nitroxide groups and imidazole rings. Interestingly, each Ln ion is either bound to two nitronyl nitroxide groups or to two imidazole units, and the different Ln centers alternate along the chain. Magnetic studies show that complex 3 exhibits a single-chain magnet behavior.

关键词：氮氧自由基稀土配合物链结构磁性一维 X-射线衍射分析表征螯合