LEADER 04825nam 22006375 450 001 996466102503316 005 20200706052045.0 010 $a3-540-32605-7 024 7 $a10.1007/11678779 035 $a(CKB)1000000000232840 035 $a(SSID)ssj0000318068 035 $a(PQKBManifestationID)11205744 035 $a(PQKBTitleCode)TC0000318068 035 $a(PQKBWorkID)10308778 035 $a(PQKB)10587006 035 $a(DE-He213)978-3-540-32605-2 035 $a(MiAaPQ)EBC3067660 035 $a(PPN)123131847 035 $a(EXLCZ)991000000000232840 100 $a20100715d2006 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aHardware and Software, Verification and Testing$b[electronic resource] $eFirst International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers /$fedited by Shmuel Ur, Eyal Bin, Yaron Wolfsthal 205 $a1st ed. 2006. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006. 215 $a1 online resource (X, 270 p.) 225 1 $aProgramming and Software Engineering ;$v3875 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-32604-9 320 $aIncludes bibliographical references and index. 327 $aHardware Verification -- Path-Based System Level Stimuli Generation -- The Safety Simple Subset -- A Case for Runtime Validation of Hardware -- Assertion-Based Verification for the SpaceCAKE Multiprocessor ? A Case Study -- Simultaneous SAT-Based Model Checking of Safety Properties -- HaifaSat: A New Robust SAT Solver -- Software Testing -- Production-Testing of Embedded Systems with Aspects -- Assisting the Code Review Process Using Simple Pattern Recognition -- An Extensible Open-Source Compiler Infrastructure for Testing -- Effective Black-Box Testing with Genetic Algorithms -- Optimal Algorithmic Debugging and Reduced Coverage Using Search in Structured Domains -- Benchmarking and Testing OSD for Correctness and Compliance -- PADTAD -- A Kernel-Based Communication Fault Injector for Dependability Testing of Distributed Systems -- Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring -- Dynamic Deadlock Analysis of Multi-threaded Programs -- Verification of the Java Causality Requirements -- Choosing Among Alternative Futures. 330 $aThe First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from November 13 to16, 2005. The conference incorporated three different workshops that took place separately in previous years. The IBM Verification Workshop is now its sixth year, the IBM Software Testing Workshop is now in its fourth year, and the PADTAD Workshop on testing and debugging multi-threaded and parallel software was held for the third time. The Verification Conference was a three-day, single-track conference followed by a one-day tutorial on the testing and review of multi-threaded code. The conference presented a unique combination of fields that brought together the hardware and software testing communities. Merging the different communities under a single roof gave the conference a distinctive flavor and provided the participants with added benefits. While the applications in these separate fields are different, the techniques used are often very similar. By offering lectures in these disparate but related disciplines, the conference engendered an environment of collaboration and discovery. 410 0$aProgramming and Software Engineering ;$v3875 606 $aSoftware engineering 606 $aComputer logic 606 $aProgramming languages (Electronic computers) 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aProgramming languages (Electronic computers). 615 14$aSoftware Engineering. 615 24$aLogics and Meanings of Programs. 615 24$aProgramming Languages, Compilers, Interpreters. 676 $a005.1/4 702 $aUr$b Shmuel$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBin$b Eyal$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWolfsthal$b Yaron$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996466102503316 996 $aHardware and Software, Verification and Testing$9772242 997 $aUNISA LEADER 01102nam a2200253 a 4500 001 991003503259707536 008 020 $a9788863428537 035 $ab1434323x-39ule_inst 040 $aBibl. Dip.le Aggr. Scienze Giuridiche - Sez. Studi Giuridici$bita 082 0 $a346.064 245 10$aDiritto dell'economia sociale :$bteorie, tendenze e prospettive italiane ed europee /$ca cura di Antonio Fici ; prefazione di Stefano Zamagni. 260 $aNapoli :$bEditoriale Scientifica,$c2016 300 $a340 p, ;$c24 cm. 490 0 $aDiritto dell'economia sociale, cooperativa e del terzo settore ;$v1 650 4$aEconomia sociale$xPaesi dell'Unione Europea$xDiritto comparato 700 $aZamagni, Stefano 700 1 $aFici, Antonio 907 $a.b1434323x$b25-05-18$c22-05-18 912 $a991003503259707536 945 $aLE027 346.06 FIC01.02$g1$i2027000339488$lle027$op$pE32.00$q-$rl$s- $t0$u1$v4$w1$x0$y.i15848784$z25-05-18 996 $aDiritto dell'economia sociale$91393850 997 $aUNISALENTO 998 $ale027$b - - $cm$da $e-$fita$git $h0$i0 LEADER 06384nam 2201969z- 450 001 9910346858503321 005 20210211 035 $a(CKB)4920000000095082 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/40775 035 $a(oapen)doab40775 035 $a(EXLCZ)994920000000095082 100 $a20202102d2019 |y 0 101 0 $aeng 135 $aurmn|---annan 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aAMP-Activated Protein Kinase Signalling 210 $cMDPI - Multidisciplinary Digital Publishing Institute$d2019 215 $a1 online resource (452 p.) 311 08$a3-03897-662-8 330 $aStarting from a kinase of interest, AMP-activated protein kinase (AMPK) has gone far beyond an average biomolecule. Being expressed in all mammalian cell types and probably having a counterpart in every eukaryotic cell, AMPK has attracted interest in virtually all areas of biological research. Structural and biophysical insights have greatly contributed to a molecular understanding of this kinase. From good old protein biochemistry to modern approaches, such as systems biology and advanced microscopy, all disciplines have provided important information. Thus, multiple links to cellular events and subcellular localizations have been established. Moreover, the crucial involvement of AMPK in human health and disease has been evidenced. AMPK accordingly has moved from an interesting enzyme to a pharmacological target. However, despite our extensive current knowledge about AMPK, the growing community is busier than ever. This book provides a snapshot of recent and current AMPK research with an emphasis on work providing molecular insight, including but not limited to novel physiological and pathological functions, or regulatory mechanisms. Up-to-date reviews and research articles are included. 606 $aBiology, life sciences$2bicssc 610 $a?-linker 610 $a?RIM 610 $a2-methoxyestradiol 610 $a3T3-L1 610 $aA769662 610 $aacetyl-CoA 610 $aactivation loop 610 $aadaptive thermogenesis 610 $aadenosine monophosphate-activated protein kinase 610 $aadherent junctions 610 $aadipocyte 610 $aadipose tissue 610 $aAICAR 610 $aAID 610 $aAkt 610 $aAML 610 $aAMP-activated protein kinase 610 $aAMP-activated protein kinase (AMPK) 610 $aAMPK 610 $aAMPK kinase 610 $aAS160 610 $aassisted reproduction techniques 610 $aatrophy 610 $aautophagy 610 $abeiging 610 $aCaMKK2 610 $acarrier 610 $acatechol-O-methyltransferase 610 $aCBS 610 $acellular energy sensing 610 $achromatin remodeling 610 $aCML 610 $aCMML 610 $aco-expression 610 $aCREB 610 $adevelopmental origins of health and disease (DOHaD) 610 $adietary fatty acids 610 $adifferentiation 610 $aDNA methylation 610 $aendothelial cells 610 $aendothelial function 610 $aendothelial nitric-oxide synthase 610 $aenergy deficiency 610 $aenergy metabolism 610 $aenergy utilization 610 $aepigenetics 610 $aepithelial cells 610 $aexercise 610 $afatty acid oxidation 610 $afiber-type 610 $afood intake 610 $agestational diabetes mellitus 610 $aglucose uptake 610 $aglycogen 610 $aglycogen storage disease 610 $aHDAC4/5 610 $aHDACs 610 $aheat shock protein 610 $ahepatocyte 610 $ahindlimb suspension 610 $ahistone modification 610 $ahost defense 610 $ahypertension 610 $ahypertrophy 610 $ahypothalamus 610 $aIL-1? 610 $aImmediate early genes 610 $aindirect calorimetry 610 $ainfection 610 $ainsulin signalling 610 $aionomycin 610 $aKATs 610 $akidney disease 610 $alipid metabolism 610 $aliver 610 $aLKB1 610 $amacrophages 610 $aMDCK 610 $aMDS 610 $amechanical unloading 610 $amedulloblastoma 610 $amembrane 610 $amembranes 610 $ametabolic disease 610 $ametabolic-inflammation 610 $ametabolism 610 $amicroarrays 610 $amitochondria 610 $amonocytes 610 $amotility 610 $amotor endplate remodeling 610 $amTOR 610 $amycobacteria 610 $aMyHC I(?) 610 $an/a 610 $aNAD+ 610 $anectin-afadin 610 $aNLRP3 610 $anutrient-sensing signals 610 $anutrigenomics 610 $anutrition 610 $aoxidative stress 610 $ap70S6K 610 $apar complex 610 $aperoxisome proliferator-activated receptor gamma coactivator 1-? (PGC1?) 610 $aphenylephrine 610 $aphosphorylation 610 $aPKA 610 $apreeclampsia 610 $apregnancy 610 $aproteasome 610 $aprotein acetylation 610 $aprotein kinase B 610 $aprotein synthesis 610 $apump 610 $aregrowth 610 $arenin-angiotensin system 610 $aresveratrol 610 $asignaling 610 $asirtuin 1 (SIRT1) 610 $askeletal muscle 610 $asoleus muscle 610 $asoluble Adenylyl cyclase 610 $asonic hedgehog 610 $aspermatozoa 610 $asteatosis 610 $astress 610 $asynaptic activation 610 $aTAK1 610 $aTBC1D4 610 $atight junctions 610 $atranscription 610 $atransporter 610 $aULK 610 $avasoconstriction 610 $avasodilation 610 $aZO-1 615 7$aBiology, life sciences 700 $aNeumann$b Dietbert$4auth$01277609 702 $aViollet$b Benoit$4auth 906 $aBOOK 912 $a9910346858503321 996 $aAMP-Activated Protein Kinase Signalling$93011715 997 $aUNINA