Autor: "Mitchell, John C." - OpacWWW

Skocz do pozycji: 1.

Tytuł:: Use of marine occurrent extracts to enhance the stability of dentin extracellular matrix
Autorzy:: Yoo, Hyemin
Gao, Feng
Agostini-Walesch, Gina
Alabsy, Melisa
Mitchell, John C.
Carrilho, Marcela R.; Pokaż więcej
Źródło:: In Journal of the Mechanical Behavior of Biomedical Materials June 2024 154

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: ICP-MS measurements of elemental release from two palladium alloys into a corrosion testing medium for different solution volumes and agitation conditions
Autorzy:: Tufekçi, Eser
Mitchell, John C.
Olesik, John W.
Brantley, William A.
Monaghan, Peter
Johnston, William M.; Pokaż więcej
Źródło:: In The Journal of Prosthetic Dentistry September 2022 128(3):522-528

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Changes to dentin extracellular matrix following treatment with plant-based polyphenols
Autorzy:: Omar, Hussan
Gao, Feng
Yoo, Hyemin
Bim, Odair, Jr.
Garcia, Carolina
LePard, Kathy J.
Mitchell, John C.
Agostini-Walesch, Gina
Carrilho, Marcela R.; Pokaż więcej
Źródło:: In Journal of the Mechanical Behavior of Biomedical Materials February 2022 126

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: A scoping review of surgical masks and N95 filtering facepiece respirators: Learning from the past to guide the future of dentistry
Autorzy:: Bradford Smith, P.
Agostini, Gina
Mitchell, John C.; Pokaż więcej
Źródło:: In Safety Science November 2020 131

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 5.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 6.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Data Oblivious Genome Variants Search on Intel SGX
Autorzy:: Mandal, Avradip
Mitchell, John C.
Montgomery, Hart
Roy, Arnab; Pokaż więcej
Źródło:: Data Privacy Management, Cryptocurrencies and Blockchain Technology : ESORICS 2018 International Workshops, DPM 2018 and CBT 2018, Barcelona, Spain, September 6-7, 2018, Proceedings. 11025:296-310

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 8.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Effect of plasma surface treatment of poly(dimethylsiloxane) on the permeation of pharmaceutical compounds
Autorzy:: Waters, Laura J.
Finch, Catherine V.
Bhuiyan, A.K.M. Mehedi H.
Hemming, Karl
Mitchell, John C.; Pokaż więcej
Źródło:: In Journal of Pharmaceutical Analysis October 2017 7(5):338-342

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 10.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: IFC Inside: Retrofitting Languages with Dynamic Information Flow Control
Autorzy:: Heule, Stefan
Stefan, Deian
Yang, Edward Z.
Mitchell, John C.
Russo, Alejandro; Pokaż więcej
Źródło:: Principles of Security and Trust : 4th International Conference, POST 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. 9036:11-31

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 12.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Cytotoxicity of resin composites containing bioactive glass fillers
Autorzy:: Salehi, Satin
Gwinner, Fernanda
Mitchell, John C.
Pfeifer, Carmem
Ferracane, Jack L.; Pokaż więcej
Źródło:: In Dental Materials February 2015 31(2):195-203

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Ion release from, and fluoride recharge of a composite with a fluoride-containing bioactive glass
Autorzy:: Davis, Harry B.
Gwinner, Fernanda
Mitchell, John C.
Ferracane, Jack L.; Pokaż więcej
Źródło:: In Dental Materials October 2014 30(10):1187-1194

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Disjunction Category Labels
Autorzy:: Stefan, Deian
Russo, Alejandro
Mazières, David
Mitchell, John C.; Pokaż więcej
Źródło:: Information Security Technology for Applications : 16th Nordic Conference on Secure IT Systems, NordSec 2011, Tallinn, Estonia, October 26-28, 2011, Revised Selected Papers. 7161:223-239

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: TBA : A Hybrid of Logic and Extensional Access Control Systems
Autorzy:: Hinrichs, Timothy L.
Garrison, William C., III
Lee, Adam J.
Saunders, Skip
Mitchell, John C.; Pokaż więcej
Źródło:: Formal Aspects of Security and Trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers. 7140:198-213

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Reclaiming the Blogosphere, TalkBack: A Secure LinkBack Protocol for Weblogs
Autorzy:: Bursztein, Elie
Gourdin, BaptisteAff18, Aff19
Mitchell, John C.; Pokaż więcej
Źródło:: Computer Security – ESORICS 2011 : 16th European Symposium on Research in Computer Security, Leuven, Belgium, September 12-14,2011. Proceedings. 6879:133-149

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Surfactant and temperature effects on paraben transport through silicone membranes
Autorzy:: Waters, Laura J.
Dennis, Laura
Bibi, Aisha
Mitchell, John C.; Pokaż więcej
Źródło:: In Colloids and Surfaces B: Biointerfaces 1 August 2013 108:23-28

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Using Strategy Objectives for Network Security Analysis
Autorzy:: Bursztein, Elie
Mitchell, John C.; Pokaż więcej
Źródło:: Information Security and Cryptology : 5th International Conference, Inscrypt 2009, Beijing, China, December 12-15, 2009. Revised Selected Papers. 6151:337-349

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: A Learning-Based Approach to Reactive Security
Autorzy:: Barth, Adam
Rubinstein, Benjamin I. P.
Sundararajan, Mukund
Mitchell, John C.
Song, Dawn
Bartlett, Peter L.Aff17, Aff18; Pokaż więcej
Źródło:: Financial Cryptography and Data Security : 14th International Conference, FC 2010, Tenerife, Canary Islands, January 25-28, 2010, Revised Selected Papers. 6052:192-206

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 21.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 22.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: Isolating JavaScript with Filters, Rewriting, and Wrappers
Autorzy:: Maffeis, Sergio
Mitchell, John C.
Taly, Ankur; Pokaż więcej
Źródło:: Computer Security – ESORICS 2009 : 14th European Symposium on Research in Computer Security, Saint-Malo, France, September 21-23, 2009. Proceedings. 5789:505-522

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: A Formalization of HIPAA for a Medical Messaging System
Autorzy:: Lam, Peifung E.
Mitchell, John C.
Sundaram, SharadaAff19, Aff20; Pokaż więcej
Źródło:: Trust, Privacy and Security in Digital Business : 6th International Conference, TrustBus 2009, Linz, Austria, September 3-4, 2009. Proceedings. 5695:73-85

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: Analysis of EAP-GPSK Authentication Protocol
Autorzy:: Mitchell, John C.
Roy, Arnab
Rowe, Paul
Scedrov, Andre; Pokaż więcej
Źródło:: Applied Cryptography and Network Security : 6th International Conference, ACNS 2008, New York, NY, USA, June 3-6, 2008. Proceedings. 5037:309-327

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 26.

Tytuł:: An Operational Semantics for JavaScript
Autorzy:: Maffeis, Sergio
Mitchell, John C.
Taly, Ankur; Pokaż więcej
Źródło:: Programming Languages and Systems : 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings. 5356:307-325

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 27.

Tytuł:: A Layered Architecture for Detecting Malicious Behaviors
Autorzy:: Martignoni, Lorenzo
Stinson, Elizabeth
Fredrikson, Matt
Jha, Somesh
Mitchell, John C.; Pokaż więcej
Źródło:: Recent Advances in Intrusion Detection : 11th International Symposium, RAID 2008, Cambridge, MA, USA, September 15-17, 2008. Proceedings. 5230:78-97

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 28.

Tytuł:: Formal Proofs of Cryptographic Security of Diffie-Hellman-Based Protocols
Autorzy:: Roy, Arnab
Datta, Anupam
Mitchell, John C.; Pokaż więcej
Źródło:: Trustworthy Global Computing : Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers. 4912:312-329

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 29.

Tytuł:: Characterizing Bots’ Remote Control Behavior
Autorzy:: Stinson, Elizabeth
Mitchell, John C.; Pokaż więcej
Źródło:: Detection of Intrusions and Malware, and Vulnerability Assessment : 4th International Conference, DIMVA 2007 Lucerne, Switzerland, July 12-13, 2007 Proceedings. 4579:89-108

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 30.

Tytuł:: Secrecy Analysis in Protocol Composition Logic
Autorzy:: Roy, Arnab
Datta, Anupam
Derek, Ante
Mitchell, John C.
Seifert, Jean-Pierre; Pokaż więcej
Źródło:: Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues : 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers. 4435:197-213

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 31.

Tytuł:: Inductive Proofs of Computational Secrecy
Autorzy:: Roy, Arnab
Datta, Anupam
Derek, Ante
Mitchell, John C.; Pokaż więcej
Źródło:: Computer Security – ESORICS 2007 : 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24 — 26, 2007. Proceedings. 4734:219-234

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 32.

Tytuł:: Linear Logic Proof Games and Optimization
Autorzy:: Lincoln, Patrick D.
Mitchell, John C.
Scedrov, Andre; Pokaż więcej
Źródło:: The Bulletin of Symbolic Logic, 1996 Sep 01. 2(3), 322-338.
Dostęp URL:: https://www.jstor.org/stable/420993 Link otwiera się w nowym oknie

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 33.

Tytuł:: Games and the Impossibility of Realizable Ideal Functionality
Autorzy:: Datta, Anupam
Derek, Ante
Mitchell, John C.
Ramanathan, Ajith
Scedrov, Andre; Pokaż więcej
Źródło:: Theory of Cryptography : Third Theory of Cryptography Conference, TCC 2006, New York, NY, USA, March 4-7, 2006. Proceedings. 3876:360-379

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 34.

Tytuł:: Probabilistic Polynomial-Time Semantics for a Protocol Security Logic
Autorzy:: Datta, Anupam
Derek, Ante
Mitchell, John C.
Shmatikov, Vitaly
Turuani, Mathieu; Pokaż więcej
Źródło:: Automata, Languages and Programming : 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings. 3580:16-29

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 35.

Tytuł:: On the Relationships Between Notions of Simulation-Based Security
Autorzy:: Datta, Anupam
Küsters, Ralf
Mitchell, John C.
Ramanathan, Ajith; Pokaż więcej
Źródło:: Theory of Cryptography : Second Theory of Cryptography Conference, TCC 2005, Cambridge, MA, USA, February 10-12, 2005. Proceedings. 3378:476-494

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 36.

Tytuł:: In vitro characterisation of chitosan based xerogels for potential buccal delivery of proteins
Autorzy:: Ayensu, Isaac
Mitchell, John C.
Boateng, Joshua S.; Pokaż więcej
Źródło:: In Carbohydrate Polymers 1 July 2012 89(3):935-941

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 37.

Tytuł:: Taste masking of paracetamol by hot-melt extrusion: An in vitro and in vivo evaluation
Autorzy:: Maniruzzaman, Mohammed
Boateng, Joshua S.
Bonnefille, Marion
Aranyos, Attila
Mitchell, John C.
Douroumis, Dennis; Pokaż więcej
Źródło:: In European Journal of Pharmaceutics and Biopharmaceutics February 2012 80(2):433-442

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 38.

Tytuł:: Development and physico-mechanical characterisation of lyophilised chitosan wafers as potential protein drug delivery systems via the buccal mucosa
Autorzy:: Ayensu, Isaac
Mitchell, John C.
Boateng, Joshua S.; Pokaż więcej
Źródło:: In Colloids and Surfaces B: Biointerfaces 2012 91:258-265

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 39.

Tytuł:: Biomimetic dentin desensitizer based on nano-structured bioactive glass
Autorzy:: Mitchell, John C.
Musanje, Lawrence
Ferracane, Jack L.; Pokaż więcej
Źródło:: In Dental Materials 2011 27(4):386-393

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 40.

Tytuł:: Characterizing Bots’ Remote Control Behavior
Autorzy:: Stinson, Elizabeth
Mitchell, John C.; Pokaż więcej
Źródło:: Botnet Detection : Countering the Largest Security Threat. 36:45-64

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 41.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 42.

Tytuł:: Contract Signing, Optimism, and Advantage
Autorzy:: Chadha, RohitAff6, Aff9
Mitchell, John C.
Scedrov, Andre
Shmatikov, Vitaly; Pokaż więcej
Źródło:: CONCUR 2003 - Concurrency Theory : 14th International Conference, Marseille, France, September 3-5, 2003. Proceedings. 2761:366-382

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 43.

Tytuł:: Autonomous Nodes and Distributed Mechanisms
Autorzy:: Mitchell, John C.
Teague, Vanessa; Pokaż więcej
Źródło:: Software Security — Theories and Systems : Mext-NSF-JSPS International Symposium, ISSS 2002 Tokyo, Japan, November 8–10, 2002 Revised Papers. 2609:58-83

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 44.

Tytuł:: Datalog with Constraints: A Foundation for Trust Management Languages
Autorzy:: Li, Ninghui
Mitchell, John C.; Pokaż więcej
Źródło:: Practical Aspects of Declarative Languages : 5th International Symposium, PADL 2003 New Orleans, LA, USA, January 13–14, 2003 Proceedings. 2562:58-73

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 45.

Tytuł:: Notes on typed object-oriented programming
Autorzy:: Fisher, Kathleen
Mitchell, John C.; Pokaż więcej
Źródło:: Theoretical Aspects of Computer Software : International Symposium TACS '94 Sendai, Japan, April 19–22, 1994 Proceedings. 789:844-885

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 46.

Tytuł:: Multiset Rewriting and Security Protocol Analysis
Autorzy:: Mitchell, John C.; Pokaż więcej
Źródło:: Rewriting Techniques and Applications : 13th International Conference, RTA 2002 Copenhagen, Denmark, July 22–24, 2002 Proceedings. 2378:19-22

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 47.

Tytuł:: Analysis of Abuse-Free Contract Signing
Autorzy:: Shmatikov, Vitaly
Mitchell, John C.; Pokaż więcej
Źródło:: Financial Cryptography : 4th International Conference, FC 2000 Anguilla, British West Indies, February 20–24, 2000 Proceedings. 1962:174-191

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 48.

Tytuł:: Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis
Autorzy:: Mitchell, John C.; Pokaż więcej
Źródło:: Programming Languages and Systems : 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings. 2028:23-29

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 49.

Tytuł:: Beyond Proof-of-Compliance: Security Analysis in Trust Management.
Autorzy:: Ninghui Li
Mitchell, John C. mitchell@cs.stanford.edu
Winsborough, William H.; Pokaż więcej
Źródło:: Journal of the ACM. May2005, Vol. 52 Issue 3, p474-514. 41p.

Czasopismo naukowe

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 50.

Tytuł:: Patient and Clinician Experiences When Using a CO 2 Laser for Cavity Preparations: Lessons learned from Prospective Clinical Research.
Autorzy:: Schuster, Gregory
Cohn, Marc
Agostini-Walesch, Gina
Carroll, Alexander
Mitchell, John C.; Pokaż więcej
Temat:: PATIENTS' attitudes
CARBON dioxide
MEDICAL research
LASERS
CARBON dioxide lasers
Źródło:: Applied Sciences (2076-3417); May2022, Vol. 12 Issue 10, p4800, 8p

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 51.

Tytuł:: Finite-state analysis of security protocols
Autorzy:: Mitchell, John C.; Pokaż więcej
Źródło:: Computer Aided Verification : 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings. 1427:71-76

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 52.

Tytuł:: The development of a novel smart material based on colloidal microgels and cotton
Autorzy:: Majcen, Natasa
Mohsen, Reham
Snowden, Martin J.
Mitchell, John C.
Voncina, Bojana; Pokaż więcej
Źródło:: In Advances in Colloid and Interface Science June 2018 256:193-202

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 53.

Tytuł:: On the relationship between classes, objects and data abstraction
Autorzy:: Fisher, Kathleen
Mitchell, John C.; Pokaż więcej
Źródło:: Mathematical Methods in Program Development. 158:371-407

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 54.

Tytuł:: A delegation-based object calculus with subtyping
Autorzy:: Fisher, Kathleen
Mitchell, John C.; Pokaż więcej
Źródło:: Fundamentals of Computation Theory : 10th International Conference, FCT '95 Dresden, Germany, August 22–25, 1995 Proceedings. 965:42-61

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 55.

Tytuł:: Notes on sconing and relators
Autorzy:: Mitchell, John C.Aff1, Aff2
Scedrov, AndreAff1, Aff2; Pokaż więcej
Źródło:: Computer Science Logic : 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected Papers. 702:352-378

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 56.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 57.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 58.

Tytuł:: Connecting formal semantics to constructive intuitions
Autorzy:: Kurtz, Stuart A.
Mitchell, John C.
O'Donnell, Michael J.; Pokaż więcej
Źródło:: Constructivity in Computer Science : Summer Symposium San Antonio, TX, June 19–22, 1991 Proceeding. 613:1-21

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 59.

Tytuł:: Program Analysis for Web Security
Autorzy:: Mitchell, John C.; Pokaż więcej
Źródło:: Static Analysis : 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings. 6887:4-4

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 60.

Tytuł:: A Symbolic Logic with Exact Bounds for Cryptographic Protocols
Autorzy:: Mitchell, John C.; Pokaż więcej
Źródło:: Logic, Language, Information and Computation : 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings. 6642:3-3

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 61.

Tytuł:: Applications of DNP-NMR for the measurement of heteronuclear T1 relaxation times
Autorzy:: Day, Iain J.
Mitchell, John C.
Snowden, Martin J.
Davis, Adrian L.; Pokaż więcej
Źródło:: In Journal of Magnetic Resonance 2007 187(2):216-224

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 62.

Tytuł:: An extension of system F with subtyping
Autorzy:: Cardelli, Luca
Martini, Simone
Mitchell, John C.
Scedrov, Andre; Pokaż więcej
Źródło:: Theoretical Aspects of Computer Software : International Conference TACS '91 Sendai, Japan, September 24–27, 1991 Proceedings. 526:750-770

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 63.

Tytuł:: On abstraction and the expressive power of programming languages
Autorzy:: Mitchell, John C.; Pokaż więcej
Źródło:: Theoretical Aspects of Computer Software : International Conference TACS '91 Sendai, Japan, September 24–27, 1991 Proceedings. 526:290-310

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 64.

Tytuł:: Operations on records
Autorzy:: Cardelli, Luca
Mitchell, John C.; Pokaż więcej
Źródło:: Mathematical Foundations of Programming Semantics : 5th International Conference Tulane University, New Orleans, Louisiana, USA March 29–April 1, 1989 Proceedings. 442:22-52

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 65.

Tytuł:: Concepts in Programming Languages
Autorzy:: Mitchell, John C.; Pokaż więcej
Dostępność:: http://dx.doi.org/10.1017/CBO9780511804175

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 66.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 67.

Tytuł:: Compositional analysis of contract-signing protocols
Autorzy:: Backes, Michael
Datta, Anupam
Derek, Ante
Mitchell, John C.
Turuani, Mathieu; Pokaż więcej
Źródło:: In Theoretical Computer Science 2006 367(1):33-56

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 68.

Tytuł:: A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols
Autorzy:: Mitchell, John C.
Ramanathan, Ajith
Scedrov, Andre
Teague, Vanessa; Pokaż więcej
Źródło:: In Theoretical Computer Science 2006 353(1):118-164

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 69.

Tytuł:: On the Relationships between Notions of Simulation-Based Security
Autorzy:: Küsters, Ralf
Datta, Anupam
Mitchell, John C.
Ramanathan, Ajith; Pokaż więcej
Źródło:: Journal of Cryptology. 21(4):492-546

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 70.

Tytuł:: Understanding SPKI/SDSI using first-order logic
Autorzy:: Li, Ninghui
Mitchell, John C.; Pokaż więcej
Źródło:: International Journal of Information Security. January 2006 5(1):48-64

Czasopismo naukowe

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 71.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 72.

Tytuł:: Contract signing, optimism, and advantage
Autorzy:: Chadha, Rohit
Mitchell, John C.
Scedrov, Andre
Shmatikov, Vitaly; Pokaż więcej
Źródło:: In Journal of Logic and Algebraic Programming 2005 64(2):189-218

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 73.

Tytuł:: Swelling of cationic polyelectrolyte colloidal microgels: Thermodynamic considerations
Autorzy:: Pinkrah, Victoria T.
Beezer, Anthony E.
Chowdhry, Babur Z.
Gracia, Louise H.
Cornelius, Victoria J.
Mitchell, John C.
Castro-Lopez, Vanessa
Snowden, Martin J.; Pokaż więcej
Źródło:: In Colloids and Surfaces A: Physicochemical and Engineering Aspects 2005 262(1):76-80

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 74.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 75.

Tytuł:: Security by typing
Autorzy:: Debbabi, Mourad
Durgin, Nancy
Mejri, Mohamed
Mitchell, John C.; Pokaż więcej
Źródło:: International Journal on Software Tools for Technology Transfer. August 2003 4(4):472-495

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 76.

Tytuł:: A Type System for the Java Bytecode Language and Verifier
Autorzy:: Freund, Stephen N.
Mitchell, John C.; Pokaż więcej
Źródło:: Journal of Automated Reasoning. May 2003 30(3-4):271-321

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 77.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 78.

Tytuł:: Solute–Solvent Interactions from Diffusion of Flavonoids in Methanol
Autorzy:: Rezende, Marcos Caroli
Moll, Alejandro Urzúa
González, Ludys Cárdenas
Beezer, Anthony
Mitchell, John C.; Pokaż więcej
Źródło:: Journal of Solution Chemistry. September 1999 28(9):1107-1112

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 79.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 80.

Tytuł:: Measurement of bile acid synthesis in man by release ofC]cholesterol: Comparison to isotope dilution and assessment of optimum reference cholesterol specific activity
Autorzy:: Mitchell, John C.
Stone, Bradford G.
Duane, William C.; Pokaż więcej
Źródło:: Lipids. January 1992 27(1):68-71

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 81.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 82.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 83.

Tytuł:: Finite-state analysis of two contract signing protocols
Autorzy:: Shmatikov, Vitaly
Mitchell, John C.; Pokaż więcej
Źródło:: In Theoretical Computer Science 2002 283(2):419-450

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 84.

Tytuł:: Securing Frame Communication in Browsers.
Autorzy:: Barth, Adam
Jackson, Collin
Mitchell, John C.; Pokaż więcej
Temat:: WEB browsers
COMPUTER network security
WEBSITE security
INTERNET programming
WEB browsing
COMPUTER network protocols
Źródło:: Communications of the ACM; Jun2009, Vol. 52 Issue 6, p83-91, 9p, 5 Color Photographs, 2 Charts

Periodyk

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 85.

Tytuł:: Influence of Alkyl Chain Length and Structure on the Extraction of Copper(II) from Aqueous Acid by 5-Alkyl-2-hydroxybenzaldoximes in Hydrocarbon Solvents: Diffusion Coefficients of Extractants and Their Complexes
Autorzy:: Ainscow, T.Andrew
Aldalur, Isidoro
Beezer, Anthony E
Connor, Joseph A
Garbett, Nichola C
Mitchell, John C
Page, Adelle L
Tindale, Neil
Turner, Kristian A
Willson, Richard J; Pokaż więcej
Źródło:: In Journal of Colloid And Interface Science 1 May 1999 213(1):87-91

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 86.

Tytuł:: Optimization complexity of linear logic proof games
Autorzy:: Lincoln, Patrick D.
Mitchell, John C.
Scedrov, Andre; Pokaż więcej
Źródło:: In Theoretical Computer Science 1999 227(1):299-331

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 87.

Tytuł:: Parametricity and variants of Girard's [formula omitted] operator
Autorzy:: Harper, Robert
Mitchell, John C.; Pokaż więcej
Źródło:: In Information Processing Letters 1999 70(1):1-5

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 88.

Tytuł:: The synthesis of water soluble dendrimers, and their application as possible drug delivery systems
Autorzy:: Twyman, Lance J.
Beezer, Anthony E.
Esfand, R.
Hardy, Martin J.
Mitchell, John C.; Pokaż więcej
Źródło:: In Tetrahedron Letters 1999 40(9):1743-1746

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 89.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 90.

Tytuł:: Operations on records
Autorzy:: Cardelli, Luca
Mitchell, John C.; Pokaż więcej
Źródło:: Category Theory and Computer Science : Manchester, UK, September 5–8, 1989 Proceedings. 389:75-81

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 91.

Tytuł:: Second-order logical relations : Extended abstract
Autorzy:: Mitchell, John C.
Meyer, Albert R.; Pokaż więcej
Źródło:: Logics of Programs : Brooklyn, June 17–19, 1985 Proceedings. 193:225-236

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 92.

Tytuł:: Contact Allergy from Plants
Autorzy:: Mitchell, John C.; Pokaż więcej
Źródło:: Recent Advances in Phytochemistry : Volume 9. :119-138

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 93.

Tytuł:: EMC Design Effectiveness in Electronic Medical Prosthetic Devices
Autorzy:: Mitchell, John C.
Hurt, William D.
Steiner, Terry O.; Pokaż więcej
Źródło:: Fundamental and Applied Aspects of Nonionizing Radiation. :351-363

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 94.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 95.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 96.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 97.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 98.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 99.

Tytuł:: Efficacy of a fluoride-releasing orthodontic primer in reducing demineralization around brackets: An in-vivo study.
Autorzy:: Tüfekçi, Eser
Pennella, Daniel R.
Mitchell, John C.
Best, Al M.
Lindauer, Steven J.; Pokaż więcej
Źródło:: American Journal of Orthodontics & Dentofacial Orthopedics; Aug2014, Vol. 146 Issue 2, p207-214, 8p

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 100.

Tytuł:: Effectof Pressure on the Melting Point of Pluronicsin Pressurized Carbon Dioxide.
Autorzy:: Bhomia, Ruchir
Trivedi, Vivek
Mitchell, John C.
Coleman, Nichola J.
Snowden, Martin J.; Pokaż więcej
Źródło:: Industrial & Engineering Chemistry Research; Jul2014, Vol. 53 Issue 26, p10820-10825, 6p

Czasopismo naukowe

na półce

Szczegóły

Informacja

Wyszukujesz frazę ""Mitchell, John C."" wg kryterium: Autor

Źródło danych

Ogranicz do:

Ogranicz do bazy

Typ dokumentu

Temat

Wydawca

Publikacja

Język

Rok publikacji