Documents Found!
As seen in
Less Work, Better Grades
Join
Course Hero
Access
best resources
Ace
your classes
Ace your courses with Course Hero!
|
|
|
Study Smarter, Score Higher
Here are the top 5 related documents
...FALL 2008 SYLLABUS
subject to change with notice
Course: Instructor: Phone: Email: Office: Office Hours: Website: Lecture: Lab: Open Lab: Prerequisite: Course Goals:
GRTC 2350: Graphics for Digital Media
Credit 3 hrs. Intro to pixel-based & vector...
...
subject to change with notice
Fall 2007 SYLLABUS
Course: Instructor: Phone: Email: Office: Office Hours: Website: Lecture: Lab: Open Lab: Prerequisite: Course Goals:
GRTC 2350: Graphics for Digital Media
Credit 3 hrs. Intro to pi...
...Higher Education As a Cougar
Zuber Allibhoy
1st architecture studio
First semester of architecture studio is known as part of the weed out year. It is very time consuming, overwhelming, and difcult. During this semester we learn the basics of desi...
Document Content (unformatted)
Course Hero has millions of student submitted documents similar to the one
below including study guides, homework solutions, papers, exam answer keys and textbook solutions.
of Essentials Glycobiology May 12th., 2008 Ajit Varki Lecture 14 Chapter 22. Viridiplantae Chapter 29. L-type Lectins Chapter 45: Antibodies and Lectins in Glycan Analysis General Questions for Lecture 14 Why are recombinant mammalian glycoproteins generated in plants immunogenic? Compare the structures of glycoglycerolipids in plants, Lipid A in bacteria, and glycosphingolipids in animals Consider possible functions for L-type plant lectins present in the seeds of leguminous plants. Why are both plant seed lectins and glycan binding proteins involved in protein quality control classified as L-type lectins? What are the advantages and disadvantages of using monoclonal antibodies versus plant lectins for determining the presence or absence of glycans in a preparation? What are important controls when using lectins or anti-glycan antibodies to determine the presence or absence of a glycan in a tissue, on a cell, or in a mixture of glycans? Propose methods to use a monoclonal antibody to a glycan determinant for the isolation a mutant cell line deficient in the expression of the glycan? Types of N-glycans found in plants. Why are recombinant mammalian glycoproteins generated in plants immunogenic? Processing of N-glycans in the plant secretory system. Only those events that are unique to plants are shown in detail. Most abundant plant galactolipids. Compare the structures of glycoglycerolipids in plants, Lipid A in bacteria, and glycosphingolipids in animals Examples of Animal Glycosphingolipids. Compare the structures of glycoglycerolipids in plants, Lipid A in bacteria, and glycosphingolipids in animals Lipid A from Bacteriae Compare the structures of glycoglycerolipids in plants, Lipid A in bacteria, and glycosphingolipids in animals Model of the primary cell wall (type I) found in most flowering plants (except grasses). Cellulose microfibrils are embedded in a hemicellulose (e.g., xyloglucan) and pectin matrix. Repeating subunit found in xyloglucan. Schematic structure of pectin showing the three main pectic polysaccharides: homogalacturonan (HG), rhamnogalacturonan I (RG-I), and rhamnogalacturonan II (RG-II). A region of substituted galacturonan, known as xylogalacturonan (XGA), is also shown. Glycans from fungal and plant cell walls that elicit plant defense responses. Structure of concanavalin A (ConA), a legume seed lectin. Fig.29.1 Comparison of the subunit structures of soybean agglutinin (left) complexed with a pentasaccharide containing Gal 1-4GlcNAc-R and human galectin-3 (right) complexed with lactose Both lectins display a related -barrel configuration. Three-dimensional structure of a legume lectin (PNA) monomer showing the four loops involved in sugar binding: loops A, B, C, and D. The bound sugar (lactose) is shown as a ball-and model. stick Calcium and manganese ions are required for ligand binding. Fig.29.3a Sequence alignment of loops A D in legume lectins. The size of binding-site loop D and monosaccharide specificity show an explicit correlation. Monosaccharide specificity and number of gaps are indicated at the right. Key residues are highlighted in blue and highly conserved residues have been indicated with an asterisk. Consider possible functions for L-type plant lectins present in the seeds of leguminous plants. Fig.29.3b Schematic representation of calnexin showing the lectin domain, the P domain (containing the proline repeats), and the calcium-binding domain (a). Structure of calnexin based on crystallographic data (b). Domain organization of calreticulin (c) and its proposed tertiary organization (d). Why are both plant seed lectins and glycan binding proteins involved in protein quality control classified as L-type lectins? Examples of N-glycans recognized by concanavalin A (ConA) from Canavalia ensiformis and Galanthus nivalis agglutinin (GNA). FIGURE 45.2. Examples of types of N-glycans recognized by L-PHA, E-PHA, and DSA. The determinants required for binding are indicated in the boxed areas. Examples of types of glycan determinants bound with high affinity by different plant and animal lectins. The determinants required for binding are indicated in the boxed areas. Examples of types of glycan determinants bound with high affinity by different plant lectins. The determinants required for binding are indicated in the boxed areas. Examples of different glycan antigens recognized by specific monoclonal antibodies. The antigens have the structures shown within the boxed area and are named as indicated. What are the advantages and disadvantages of using monoclonal antibodies versus plant lectins for determining the presence or absence of glycans in a preparation? Additional examples of different glycan antigens recognized by specific monoclonal antibodies. The antigens have the structures shown within the boxed area and are named as indicated. Propose methods to use a monoclonal antibody to a glycan determinant for the isolation a mutant cell line deficient in the expression of the glycan? Examples of different uses of plant and animal lectins and antibodies in glycobiology. Many plant and animal lectins are multivalent, and antibodies are always multivalent. They can be used to detect glycan structures in all of the formats shown. What are important controls when using lectins or antiglycan antibodies to determine the presence or absence of a glycan in a tissue, on a cell, or in a mixture of glycans? An example of the use of different immobilized plant lectins in serial lectin affinity chromatography (SLAC) of complex mixtures of glycopeptides.
Textbooks related to the document above:
Find millions of documents here - Study Guides, Homework Solutions, Papers, Exam Answer Keys and more.
Course Hero has millions of course related materials that will enable you to learn better,
faster and get an A in all your courses.
Below is a small sample set of documents:
Below is a small sample set of documents:
UCSD >> GRTC >> 15 (Fall, 2008)
Essentials of Glycobiology May 15th., 2008 Ajit Varki Lecture 15 Chapter 28. R-type Lectins Biological Roles of Glycans Soluble GlycanBinding Proteins Two Classes of GBPs - Lectins and GAG Binding Proteins The R-type lectin superfamily. Different...
UCSD >> GRTC >> 17 (Fall, 2008)
Essentials in Glycobiology Professor Carolyn R. Bertozzi Departments of Chemistry and Molecular and Cell Biology UC Berkeley May 22, 2008 Lecture Outline 1. Glycan structure and synthesis 2. Inhibitors of glycan processing enzymes: inuenza neuramin...
UCSD >> DISC >> 21 (Fall, 2008)
1. How do you define a glycosylation disorder? 35 30 Numberofdefects 25 20 15 10 5 GLYCOSYLATIONDISORDERSIDENTIFIED 35 30 NlinkedDisorders OMannose OGalNAc GPIAnchor Glycosphingolipid OFucose 25 20 15 10 5 1980 94 95 96 97 98 99 00 01 02 03 04 ...
UCSD >> WWW-BIOLOG >> 05 (Fall, 2008)
U S C D Biology Student Affairs 1128 Pacific Hall (858) 534-0557 http:/www.biology.ucsd.edu question@biology.ucsd.edu FA05 Admits 199) ...
UCSD >> WWW-BIOLOG >> 06 (Fall, 2008)
U S C D Physiology & Neuroscience (BI36) This major provides a program for studying the bodily and neural functions of complex organisms. A student may concentrate upon a more specialized area of study such as neurobiology, animal physiology, or en...
UCSD >> WWW-BIOLOG >> 06 (Fall, 2008)
U S C D Biology Student Affairs 1128 Pacific Hall (858) 534-0557 http:/www.biology.ucsd.edu question@biology.ucsd.edu FA05 Admits & Later Biochemistry and Cell Biology (BI29) College:_ PID:_ Name: __ All courses (except BISP 195, 196, 197, and 1...
UCSD >> WWW-BIOLOG >> 06 (Fall, 2008)
U S C D Biochemistry & Cell Biology (BI29) This major is designed to provide students with the educational foundation in and fundamental understanding of the fields of biochemistry, cell biology, molecular biology and genetics. This foundation will...
UCSD >> MOL >> 05 (Fall, 2008)
U S C D Biology Student Affairs 1128 Pacific Hall (858) 534-0557 http:/www.biology.ucsd.edu question@biology.ucsd.edu FA05 Admits & Later Molecular Biology (BI33) College:_ PID:_ Name: __ All courses (except BISP 195, 196, 197, and 199) to be ap...
UCSD >> WWW-BIOLOG >> 06 (Fall, 2008)
U S C D Molecular Biology (BI33) The program for molecular biology is designed to provide intensive exposure to the theoretical concepts and experimental techniques of molecular biology. The concepts and techniques of molecular biology are the foun...
UCSD >> BIBC >> 0405 (Fall, 2008)
U S C D Biology Student Affairs 1128 Pacific Hall (858) 534-0557 http:/www.biology.ucsd.edu question@biology.ucsd.edu FA04-SP05 Admits Biochemistry and Cell Biology (BI29) College:_ PID:_ Name: __ All courses (except BISP 195, 196, 197, and 199)...
UCSD >> GENERAL >> 04 (Fall, 2008)
FA04 Admits & Later U S C D Biology Student Affairs 1128 Pacific Hall (858) 534-0557 http:/www.biology.ucsd.edu question@biology.ucsd.edu General Biology (BI31) College:_ PID:_ Name: _ All courses (except BISP 195, 196, 197, and 199) to be applied...
UCSD >> WWW-BIOLOG >> 0506 (Fall, 2008)
U S C D General Biology BI31 This program allows the most diversified exposure to biology of any of the majors offered by the Division of Biological Sciences. It is designed for students with broad interests who do not wish to be constrained by the...
UCSD >> EBE >> 04 (Fall, 2008)
U S C D Biology Student Affairs 1128 Pacific Hall (858) 534-0557 http:/www.biology.ucsd.edu question@biology.ucsd.edu FA04 Admits Evolution (BI30) College:_ PID:_ Name: __ All courses (except BISP 195, 196, 197, and ...
UCSD >> WWW-BIOLOG >> 06 (Fall, 2008)
U S C D Ecology, Behavior & Evolution (BI30) This major includes population biology, ecology, conservation biology, animal behavior, population genetics, biogeography, and evolution. These fields focus on evolutionary processes and how whole organi...
UCSD >> WWW-BIOLOG >> 06 (Fall, 2008)
U S C D Biology Student Affairs 1128 Pacific Hall (858) 534-0557 http:/www.biology.ucsd.edu question@biology.ucsd.edu FA05 Admits & Later Biochemistry and Cell Biology (BI29) College:_ PID:_ Name: __ All courses (except BISP 195, 196, 197, and 1...
UCSD >> MOL >> 0205 (Fall, 2008)
U S C D Biology Student Affairs 1128 Pacific Hall (858) 534-0557 http:/www.biology.ucsd.edu question@biology.ucsd.edu SP05 & Prior Admits Molecular Biology (BI33) College:_ PID:_ Name: __ All courses (except BISP 195, 196, 197, and 199) to be ap...
UCSD >> HUMAN >> 0105 (Fall, 2008)
U S C D Biology Student Affairs 1128 Pacific Hall (858) 534-0557 http:/www.biology.ucsd.edu question@biology.ucsd.edu SP05 199) to be applied t...
UCSD >> WWW-BIOLOG >> 0305 (Fall, 2008)
U S C D Biology Student Affairs 1128 Pacific Hall (858) 534-0557 http:/www.biology.ucsd.edu question@biology.ucsd.edu FA03-SP05 Admits Animal Physiology and Neuroscience (BI28) College:_ PID:_ Name: __ All courses (except BISP 195, 196, 197, & 1...
UCSD >> MICRO >> 05 (Fall, 2008)
U S C D Biology Student Affairs 1128 Pacific Hall (858) 534-0557 http:/www.biology.ucsd.edu question@biology.ucsd.edu FA05 Admits & Later Microbiology (BI32) College:_ PID:_ Name: _ All courses (except BISP 195, 196, 197, and 199) to be applied ...
UCSD >> WWW-BIOLOG >> 06 (Fall, 2008)
U S C D Microbiology (BI32) The Microbiology major is designed to prepare students for graduate studies and for professional careers in a variety of health-related programs. The specialization in microbiology can provide the basic background for wo...
UCSD >> HUMAN >> 06 (Fall, 2008)
U S C D Biology Student Affairs 1128 Pacific Hall (858) 534-0557 http:/www.biology.ucsd.edu question@biology.ucsd.edu FA05 Admits 199) to be applied t...
UCSD >> WWW-BIOLOG >> 0506 (Fall, 2008)
U S C D Human Biology BI35 This major is designed to provide students with the fundamental courses required for entry into: schools of medicine, veterinary medicine, dentistry, and pharmacy; graduate programs in the biomedical sciences; and biotech...
UCSD >> MICRO >> 0205 (Fall, 2008)
U S C D Biology Student Affairs 1128 Pacific Hall (858) 534-0557 http:/www.biology.ucsd.edu question@biology.ucsd.edu FA02-SP05 Admits Microbiology (BI32) College:_ PID:_ Name: _ All courses (except BISP 195, 196, 197, and 199) to be applied tow...
UCSD >> WWW-CSAG >> 98 (Fall, 2008)
High-Level Parallel Programming of An Adaptive Mesh Application Using the Illinois Concert System Bishwaroop Ganguly? and Andrew Chien? Department of Computer Science University of Illinois Urbana, Illinois 61801 ganguly,achien@red-herring.cs.uiuc.ed...
UCSD >> WWW-CSAG >> 98 (Fall, 2008)
An Evaluation of Automatic Object Inline Allocation Techniques Julian Dolby Department of Computer Science University of Illinois at Urbana dolby@cs.uiuc.edu Andrew A. Chien Department of Computer Science and Engineering University of California, Sa...
UCSD >> WWW-CSAG >> 97 (Fall, 2008)
Automatic Inline Allocation of Objects Julian Dolby Concurrent Systems Architecture Group Department of Computer Science University of Illinois 1304 West Spring eld Avenue Urbana, IL 61801 Abstract Object-oriented languages like Java and Smalltalk pr...
UCSD >> WWW-CSAG >> 97 (Fall, 2008)
Supporting High Level Programming with High Performance: The Illinois Concert System Andrew Chien Julian Dolby Bishwaroop Ganguly Xingbin Zhang Department of Computer Science University of Illinois Urbana, Illinois 61801 concert@red-herring.cs.uiuc.e...
UCSD >> WWW-CSAG >> 96 (Fall, 2008)
ICC+ { A C+ Dialect for High Performance Parallel Computing? A. A. Chien, U. S. Reddy, J. Plevyak and J. Dolby? Department of Computer Science 1304 W. Spring eld Avenue Urbana, IL 61801 Abstract. ICC+ is a new concurrent C+ dialect which supports a...
UCSD >> WWW-CSAG >> 94 (Fall, 2008)
The Illinois Concert System: Programming Support for Irregular Parallel Applications (Extended Abstract) Andrew A. Chien Julian Dolby June 6, 1994 Abstract Irregular applications are critical to supporting grand challenge applications on massively ...
UCSD >> WWW-CSE >> 06 (Spring, 2004)
ALPS: An Application-Level Proportional-Share Scheduler Travis Newhouse Dept. of Computer Science and Engineering University of California, San Diego La Jolla, CA 92093-0404 newhouse@cs.ucsd.edu Joseph Pasquale Dept. of Computer Science and Engineeri...
UCSD >> DOC >> 9 (Fall, 2008)
ucsd libraries portal project Sage-Value-Added Database Manual/Guidelines Version: September 29, 2000 Key URLs: https:/libnet.ucsd.edu/portalproj/toolbox.html http:/libnet.ucsd.edu/portalproj/ http:/libraries.ucsd.edu Site Portal Author Tools Port...
UCSD >> WWW-FERP >> 2 (Fall, 2008)
Ion Driven Fireballs: Calculations and Experiments R.R. Peterson, G.A. Moses, and J.F. Santarius University of Wisconsin High Average Power Laser Workshop General Atomics La Jolla, CA April 4 and 5, 2002 Fusion Technology Institute HAPL 4/5/2002 ...
UCSD >> WWW-FERP >> 1 (Fall, 2008)
Idaho National Engineering and Environmental Laboratory CFC-Air Chemical Reactivity for IFE Safety Analysis Presented by: D. Petti T. Marshall, R. Pawelko, R. Anderl, B. Merrill, G. Smolik, R. Moore Fusion Safety Program April 5, 2002 Idaho Nationa...
UCSD >> WWW-FERP >> 3 (Fall, 2008)
BUCKY Simulations of Z and RHEPP Experiments R.R. Peterson, I.E. Golovkin, and D.A. Haynes University of Wisconsin High Average Power Laser Workshop General Atomics La Jolla, CA April 4 and 5, 2002 Fusion Technology Institute HAPL 3/5/2002 1 Pre...
UCSD >> SD >> 2002 (Fall, 2002)
EVENT Wireless Communications Efficient Multi-hop Networks UCSD TechTIPS pipeline to innovation Efficient Multi-Hop Networks Dr. Rene Cruz Professor of Electrical and Computer Engineering NSF Presidential Young Investigator Award, 1991 Fellow - I...
UCSD >> FGR >> 08 (Fall, 2008)
Personalized Facial Attractiveness Prediction Jacob Whitehill and Javier R. Movellan Machine Perception Laboratory University of California, San Diego La Jolla, CA 92093, USA {jake,movellan}@mplab.ucsd.edu Abstract We present a fully automatic appro...
UCSD >> WWW-FERP >> 1 (Fall, 2008)
Integrated Materials Plan Progress: Helium Blistering and Refractory Armored Materials Lance L Snead High Average Power Lasers Workshop December 6, 2002. Naval Research Laboratory Blistering AlexanderFederov,DELFT JohnHunn,ORNL GeneLucas,UCSB Nalin...
UCSD >> WWW-FERP >> 2 (Fall, 2008)
MaterialsDiscussion/IntegratedTestingPlan FinalOptics Transmissive MaterialsSpecificIssues GraphiteComposite issuesrelatedtoabsorption Reflective LIDTandeffectofdust neutroninducedswellinginGIMM andsubstrate mitigateneutroninduced dimensionalchange...
UCSD >> SD >> 2005 (Fall, 2005)
COMMUNICATIONS Porous-Silicon/Polymer Nanocomposite Photonic Crystals Formed by Microdroplet Patterning* By Yang Yang Li, Vijay S. Kollengode, and Michael J. Sailor* The preparation of one-dimensional (1D) photonic crystals from porous silicon is a ...
UCSD >> WWW-FERP >> 3 (Fall, 2008)
HighTemperatureIrradiationof3DC/C CompositeinSupportofLaserIFE LanceLSnead TimothyDBurchell OakRidgeNationalLaboratory Introduction:CFCasandIFEStructure SOMBREROisthestartingpointdesign,though theconceptualdesigneffortcurrentlyunderway maysubstanti...
UCSD >> WWW-REC >> 09 (Fall, 2008)
WELLNESS PROGRAMS INFORMATION WINTER 2009 Student Personal Wellness Program Program Director: Terri Dowie Wellness instructors: Kim Buote, Eric Perrine,Terri Dowie, Brenna Joyce, James Sheremeta For information call (858)822-3123 UCSD Recreations Per...
UCSD >> BE-WEB >> 2006 (Fall, 2008)
BMES Industry Activities Shirley Lee Industry Liason, Vice President BMES, UCSD Chapter BMES Industry Nights Guidant and J&J Info Meetings both Fa and Wi Quarters Company Overview Product display BMES co-hosted with SDBio Speakers: Dr. Richard Ho...
UCSD >> SD >> 2003 (Fall, 2003)
Reactions of Nitric Oxide with Vitamin B12 and Its Precursor, Cobinamide Vijay S. Sharma,*, Renate B. Pilz, Gerry R. Boss, and Douglas Magde*, Departments of Medicine and Chemistry and Biochemistry, UniVersity of CaliforniasSan Diego, La Jolla, Calif...
UCSD >> SD >> 2001 (Fall, 2001)
...
UCSD >> WWW-CSE >> 06 (Spring, 2004)
ReAgents: Behavior-based Remote Agents and Their Performance Eugene Hung University of California, San Diego Computer Systems Laboratory San Diego, CA Joseph Pasquale University of California, San Diego Computer Systems Laboratory San Diego, CA eyh...
UCSD >> WWW-FERP >> 2 (Fall, 2008)
Review of Materials Research Progress Helium Retention in Tungsten Armor & Development and Testing of Tungsten Armored Ferritic J. Blanchard1, C. Blue,2 N. Ghoniem3, S. Gilliam4, S. Gidcumb4, J. D. Hunn2, S. ODell5, B. Patnaik4, N. Parikh4, G. R. Rom...
UCSD >> WWW-FERP >> 11 (Fall, 2008)
Homework Assignments from July 11, e-meeting 1. 2. 3. 4. 5. 6. 7. Jake: look at temperature swing for Rene Jake: Fatigue (thermal) of the bond Lance get samples to UCSD in August Jake (Nasr): Young\'s Modulus for plasma sprayed tungsten Jeff: Identify...
UCSD >> WWW-FERP >> 2 (Fall, 2008)
Comparison of Proposed First Wall Experiments Jake Blanchard HAPL MWG Fusion Technology Institute University of Wisconsin Albuquerque April 2003 Goal Assess the ability of various proposed experiments to mimic HAPL conditions Comparing Experimen...
UCSD >> CRCA >> 05 (Fall, 2008)
INNER ROOM EXTENSION OF A GENERAL MODEL FOR SPATIAL PROCESSING OF SOUNDS Shahrokh Yadegari Center for Research in Computing and the Arts California Institute of Telecommunications and Information Technology Department of Theatre and Dance, University...
UCSD >> WWW-FERP >> 2 (Fall, 2008)
Plasm a Arc L am p Oper ati on Prope rties of the P la sma R adi ant S our ce Maximum lamp power: 35 MW/m2 Non-contact heating Rapid heating and cooling Concentration of heating on surface Environment: argon, vacuum, air Three separate plasma heads:...
UCSD >> WWW-FERP >> 2 (Fall, 2008)
Design of Solid State Lasers for Inertial Fusion Energy Andy Bayramian, Stephen A. Payne, Ray Beach, and Camille Bibeau Lawrence Livermore National Laboratory, Livermore, California 94551 Figures of Merit Sizing of solid state laser driver requireme...
UCSD >> SD >> 1998 (Fall, 1998)
...
UCSD >> SD >> 1998 (Fall, 1998)
1387 The Signaling Adapter Protein PINCH Is Up-Regulated in the Stroma of Common Cancers, Notably at Invasive Edges Jessica Wang-Rodriguez, M.D. Anna D. Dreilinger, M.D. Ghazwan M. Alsharabi, M.D. Ann Rearden, M.D. Department of Pathology, Universit...
UCSD >> INVENT >> 07123766 (Fall, 2006)
...
UCSD >> EARTHGUIDE >> 05 (Fall, 2008)
LESSON 5 THE ZEN OF THE BEACH Musings on a River of Sand 1 People and the coast 2 Sand stories 3 Waves and the moving sand 4 The great wall 5 Rivers, mountains, and sea level 6 Canyons under the sea 7 Abyssal catastrophe Fig. 5.01. Godwits pay atte...
UCSD >> WWW-C4 >> 2003 (Fall, 2008)
...
UCSD >> WWW-C4 >> 2002 (Fall, 2008)
...
UCSD >> WWW-C4 >> 2001 (Fall, 2008)
...
UCSD >> WWW-C4 >> 2000 (Fall, 2008)
...
UCSD >> CSE >> 99 (Fall, 1999)
1 An Overview of the Tatami Project Joseph Goguena and Kai Lina and Grigore Rosua and Akira Morib, and Bogdan Warinschia a Dept. Computer Science & Engineering, University of California, San Diego 9500 Gilman Drive, La Jolla CA 92093-0114 USA phone:...
UCSD >> CSE >> 4 (Fall, 2008)
...
UCSD >> CSE >> 00 (Fall, 2008)
WRLA 2000 Preliminary Version Behavioral and Coinductive Rewriting Joseph Goguen, Kai Lin and Grigore Rosu 1 Computer Science & Engineering University of California at San Diego La Jolla, CA 92093, USA Email: fgoguen,klin,grosug@cs.ucsd.edu Beha...
UCSD >> CSE >> 00 (Fall, 2008)
\' Towards the Automation of Behavioral Reasoning Department of Computer Science Joint work with Grigore Rosu and Kai Lin Thanks to Grigore Rosu for help with slides % \' ...
UCSD >> CSE >> 97 (Fall, 2008)
Distributed Cooperative Formal Methods Tools Joseph Goguen, Kai Lin, Akira Mori, Grigore Rosu, and Akiyoshi Sato Dept. Computer Science & Engineering, University of California at San Diego 9500 Gilman Drive, La Jolla, CA 92093-0114, USA fgoguen, kli...
UCSD >> CSE >> 97 (Fall, 2008)
Slightly revised, from Proceedings, User Interfaces for Theorem Provers `97 (Sophia Antipolis, 1{2 September 1997), pages 24{34. Algebraic Semiotics, ProofWebs, and Distributed Cooperative Proving1 Joseph Goguen, Akira Mori and Kai Lin Dept. Comput...
UCSD >> CSE >> 98 (Fall, 2008)
Tools for Distributed Cooperative Design and Validation Joseph Goguen, Kai Lin, Akira Mori, Grigore Rosu and Akiyoshi Sato Dept. Computer Science & Engineering, University of California, San Diego 9500 Gilman Drive, La Jolla, CA 92093-0114, USA phone...
UCSD >> CSE >> 05 (Fall, 2008)
T q Q V X q X z q b h hh f qxh d T hh f q q i f Q i fh iTxQS d fh Qx Th S f qS fTx T xS h V qS T X yS dh ui8eque5r e{ uRcuQYceRQY5gcYRQxeeRec)gUcUcEjUweRuQegUUgTYp4gg8 d fh q iT i fTx T fTT T fTT Xx Sh X i fh rS f qxh h V Vh T f qS Tx d V Q xS...
UCSD >> CSE >> 05 (Fall, 2008)
...
UCSD >> WWW-CSE >> 06 (Spring, 2004)
Analysis of Long-Running Replicated Systems Sriram Ramabhadran Dept. of Computer Science Engineering University of California, San Diego...
UCSD >> CSE >> 04 (Fall, 2008)
Time, Structure and Emotion in Music Joseph Goguen and Ryoko Goguen Department of Computer Science & Engineering University of California at San Diego, USA 1 Introduction Music is organized sound. Although this may seem simple, it appears that imp...
What are you waiting for?