LEADER 01121nam a2200277 i 4500 001 991000819079707536 005 20020506124713.0 008 960309s1972 it ||| | ita 035 $ab10134013-39ule_inst 035 $aLE00637369$9ExL 040 $aDip.to Fisica$bita 084 $a53(091) 084 $a53.1.6 084 $a531 100 1 $aBellone, Enrico$010182 245 10$aAspetti dell'approccio statistico alla meccanica :$b1849-1905 :$bsaggio sull'uso di parametri probabilistici nella fisica teorica della seconda metà dell'Ottocento /$cEnrico Bellone 260 $aFirenze :$bBarbera,$c1972 300 $a314 p. ;$c24 cm 490 0 $aPubblicazioni di storia della scienza della Domus Galilaeana. Sez. 4, Studi 650 4$aMeccanica-Storia-1849-1905-Saggi 907 $a.b10134013$b17-02-17$c27-06-02 912 $a991000819079707536 945 $aLE006 53(091) BEL$g1$i2006000012935$lle006$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i10157645$z27-06-02 996 $aAspetti dell'approccio statistico alla meccanica$9185492 997 $aUNISALENTO 998 $ale006$b01-01-96$cm$da $e-$fita$git $h0$i1 LEADER 01887nam 2200385 450 001 9910683390403321 005 20230705024141.0 010 $a3-0365-6616-3 035 $a(CKB)5700000000354325 035 $a(NjHacI)995700000000354325 035 $a(EXLCZ)995700000000354325 100 $a20230705d2023 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aAdvances in Remediation of Contaminated Sites$hVolume I /$fGuining Lu, Zenghui Diao, Kaibo Huang, editors 210 1$aBasel :$cMDPI - Multidisciplinary Digital Publishing Institute,$d2023. 215 $a1 online resource (330 pages) 311 $a3-0365-6617-1 330 $aThis reprint is of interest regarding contaminated sites remediation, which integrates the research results within 20 publications covering contaminated sites remediation's full life cycle. They include pollution investigation, environmental fate, pollution control, and review. In addition, the reprint addresses all aspects of contaminated site remediation, including heavy metal pollution, organic pollution, and combined pollution. These results can help to understand the remediation of the contaminated sites in depth throughout the life cycle and help break through the bottleneck of contaminated sites remediation and provide new ideas and methods for the development of contaminated sites remediation. 517 $aAdvances in Remediation of Contaminated Sites 606 $aHazardous waste sites 615 0$aHazardous waste sites. 676 $a628.5 702 $aHuang$b Kaibo 702 $aDiao$b Zenghui 702 $aLu$b Guining 801 0$bNjHacI 801 1$bNjHacl 906 $aBOOK 912 $a9910683390403321 996 $aAdvances in Remediation of Contaminated Sites$93394295 997 $aUNINA LEADER 07910nam 22007935 450 001 9910416086503321 005 20251225183540.0 010 $a3-030-54455-9 024 7 $a10.1007/978-3-030-54455-3 035 $a(CKB)4100000011372947 035 $a(DE-He213)978-3-030-54455-3 035 $a(MiAaPQ)EBC6303060 035 $a(PPN)255005199 035 $a(MiAaPQ)EBC6284444 035 $a(EXLCZ)994100000011372947 100 $a20200806d2020 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFinancial Cryptography and Data Security $eFC 2020 International Workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC, Kota Kinabalu, Malaysia, February 14, 2020, Revised Selected Papers /$fedited by Matthew Bernhard, Andrea Bracciali, L. Jean Camp, Shin'ichiro Matsuo, Alana Maurushat, Peter B. Rønne, Massimiliano Sala 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (XXIV, 622 p. 838 illus., 81 illus. in color.) 225 1 $aSecurity and Cryptology,$x2946-1863 ;$v12063 300 $aIncludes index. 311 08$a3-030-54454-0 327 $aTale of Two Browsers: Understanding Users' Web Browser Choices in South Korea -- User-Centered Risk Communication for Safer Browsing -- The Effects of Cue Utilization and Cognitive Load in the Detection of Phishing Emails -- Cue Utilization, Phishing Feature and Phishing Email Detection -- Dis-Empowerment Online- An Investigation of Privacy & Sharing Perceptions & Method Preferences -- Security and Privacy Awareness in Smart Environments ? A Cross-Country Investigation -- Understanding Perceptions of Smart Devices -- In Our Employer We Trust: Mental Models of Office Worker?s Privacy Perceptions -- Behaviour of Outsourced Employees as Sources of Information System Security Threats -- Exploring Effects of Auditory Stimuli on CAPTCHA Performance -- PassPage: Graphical Password Authentication Scheme Based on Web Browsing Records -- Empathy as a Response to Frustration in Password Choice -- Fixing the Fixes: Assessing the Solutions of SAST Tools for Securing Password Storage -- Incorporating Psychology into Cyber Security Education: A Pedagogical Approach -- Effectiveness of multi-stakeholder discussions for decentralized finance: a conference report of CoDeFi 2020 -- Multistakeholder Governance for the Internet -- Future of Finance: From G20 to practical implementation of multi-stakeholder governance on blockchain based finance -- Securing Cryptocurrency Exchange: Building up Standard from Huge Failures -- Origami voting: a non-cryptographic approach to transparent ballot verification -- Towards Improving the Efficacy of Code-Based Verification in Internet Voting -- Mechanized Proofs of Verifiability and Privacy in a paper-based e-voting Scheme -- Sets of Half-Average Nulls Generate Risk-Limiting Audits: SHANGRLA -- A Note on Risk-Limiting Bayesian Polling Audits for Two-Candidate Elections -- Vote selling resistant voting -- An Update on Marked Mix-Nets: An Attack, A Fix and PQ Possibilities -- Performance of Shuffling: Taking it to the Limits -- Characterizing Types of Smart Contracts in the Ethereum Landscape -- Smart Contract Development from the Perspective of Developers: Topics and Issues Discussed on Social Media -- Bypassing Non-Outsourceable Proof-of-Work Schemes Using Collateralized Smart Contracts -- Scalable Open-Vote Network on Ethereum -- How to Dynamically Incentivize Sufficient Level of IoT Securitx -- Confidential and auditable payments -- MAPPCN: Multi-hop Anonymous and Privacy-Preserving Payment Channel Network -- Marlowe: implementing and analysing financial contracts on blockchain -- Load Balancing for Sharded Blockchains -- The Extended UTXO Model -- Privacy-Preserving Cross-Chain Atomic Swaps -- A Blockchain Based Approach to Resource Sharing in Smart Neighbourhoods -- Enforcing Determinism of Java Smart Contracts -- Albert, an intermediate smart-contract language for the Tezos blockchain -- A Formally Verified Static Analysis Framework for Compositional Contracts. 330 $aThis book constitutes the refereed proceedings of two workshops held at the 24th International Conference on Financial Cryptography and Data Security, FC 2020, in Kota Kinabalu, Malaysia, in February 2020. The 39 full papers and 3 short papers presented in this book were carefully reviewed and selected from 73 submissions. The papers feature four Workshops: The 1st Asian Workshop on Usable Security, AsiaUSEC 2020, the 1st Workshop on Coordination of Decentralized Finance, CoDeFi 2020, the 5th Workshop on Advances in Secure Electronic Voting, VOTING 2020, and the 4th Workshop on Trusted Smart Contracts, WTSC 2020. The AsiaUSEC Workshop contributes an increase of the scientific quality of research in human factors in security and privacy. In terms of improving efficacy of secure systems, the research included an extension of graphical password authentication. Further a comparative study of SpotBugs, SonarQube, Cryptoguard and CogniCrypt identified strengths in each and refined the need for improvements in security testing tools. The CoDeFi Workshop discuss multi-disciplinary issues regarding technologies and operations of decentralized finance based on permissionless blockchain. The workshop consists of two parts; presentations by all stakeholders, and unconference style discussions. The VOTING Workshop cover topics like new methods for risk-limited audits, new ethods to increase the efficiency of mixnets, verification of security of voting schemes election auditing, voting system efficiency, voting system usability, and new technical designs for cryptographic protocols for voting systems, and new way of preventing voteselling by de-incentivising this via smart contracts. The WTSC Workshop focuses on smart contracts, i.e., self-enforcing agreements in the form of executable programs, and other decentralized applications that are deployed to and run on top of specialized blockchains. 410 0$aSecurity and Cryptology,$x2946-1863 ;$v12063 606 $aCryptography 606 $aData encryption (Computer science) 606 $aComputer engineering 606 $aComputer networks 606 $aData structures (Computer science) 606 $aInformation theory 606 $aData protection 606 $aCryptology 606 $aComputer Engineering and Networks 606 $aData Structures and Information Theory 606 $aData and Information Security 615 0$aCryptography. 615 0$aData encryption (Computer science) 615 0$aComputer engineering. 615 0$aComputer networks. 615 0$aData structures (Computer science) 615 0$aInformation theory. 615 0$aData protection. 615 14$aCryptology. 615 24$aComputer Engineering and Networks. 615 24$aData Structures and Information Theory. 615 24$aData and Information Security. 676 $a005.82 676 $a005.824 702 $aBernhard$b Matthew$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBracciali$b Andrea$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aCamp$b L. Jean$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMatsuo$b Shin'ichiro$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMaurushat$b Alana$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRønne$b Peter B$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSala$b Massimiliano$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910416086503321 996 $aFinancial Cryptography and Data Security$92960333 997 $aUNINA