Search for tag: "formal specification languages"

Arturo Massol - Solar Cinema in Puerto Rico: A Conversation with Dr. Arturo Massol

Our signature event for this year is Solar Cinema in Puerto Rico: A Conversation with Dr. Arturo Massol, professor at the University of Puerto Rico, Mayagüez, and director of Casa Pueblo, in…

From  Kathryn Gentilello 2 Months ago 2 views 0  

Down Here There Are No Shooting Stars - Basim Magdy

A screening and conversation with Basim Magdy, an artist who will present and discuss some of his short films exploring spaces and places—both real and imagined—from different parts of…

From  Kathryn Gentilello A year ago 5 views 0  

Bolivian Indigenous Media and the Protection of the Forest - Iván Sanjinés

Screening of The Cry of the Forest (2008), Bolivia’s first indigenous feature film is based on true events that led to the indigenous demonstrations of 1990 and 1996, two events related to the…

From  Kathryn Gentilello A year ago 10 views 0  

Imaging and Imagining Environmental Change in the 21st Century - Hunter Vaughan

Over the past twenty years, we have witnessed massive increases in environmental awareness, which has coincided with a proliferation in the use of digital screen technology. While screen media help…

From  Kathryn Gentilello A year ago 21 views 0  

Research, Documentary and Advocacy in the Arctic: Ethics, Methods, Lessons - Chris Cuomo

This workshop engages various approaches that scientists, academics, artists, filmmakers, and activists take in climate change visualization, focusing especially on moving images. Spanning…

From  Kathryn Gentilello A year ago 19 views 0  

NNCI_REU_Convocation_Session_E_11:10am_8/07/2017

Session E: Global Learning Center Room 222

d.n.a.natural sciencesconcepts in physicschemical elementsvoltagescatteringheat transferl.d.quantum electrodynamicselectricityabsorptionclassical mechanicscontrol theorythermodynamicsoptical devicesfunctional groupslayer depositionm.b.e.communicationpyrotechnic fuelsaudio engineeringphysical chemistrymaterials sciencematerialtransparent materialsoxideselectronwireless energy transfercar safetyconditiongraphic designbias powercharge carriersmicroscopyelementary geometrypolitical philosophyopticsenergyenergy conversionelectric and magnetic fields in mattercrystallographyphilosophy of lawmachineselectronic band structuressurfacesgeneticspsychologychemical propertiessemiconductormedicineintegrated circuitshistorical scientific instrumentstransformers (electrical)crystal qualitypressurechamber pressureglass applicationstopologybuilding materialschemical processess.c.m.natural philosophydimensional instrumentsfluid dynamicssiliconlengthd.v.mineralogycolord.v.l.a.microscopesmeasuring instrumentspyramidtelecommunicationsatmospheric thermodynamicslightmechanical engineeringquantum mechanicsaccelerator physicsreducing agentselectromagnetismgeometrical opticselectromagnetic radiationscientific techniquesenglish-language journalsglasssurfacerefractory materialsrecombinationcondensed matter physicssemiconductor device fabricationapplied and interdisciplinary physicsspectroscopysuperstitionselectronic engineeringaestheticsdielectricselectronics terminologyprocessthin film depositionanalytical chemistrymetalswavelengthcrystalssemiconductor structurespotentialsemiconductor materialsstate functionslaboratory techniqueshydraulicsdevicequantum chemistrysuperhard materialsabrasiveswaferphotonicsacousticsnitridesmetalworking terminologychemistry
From  Leslie O'Neill A year ago 50 views 0  

SIAM_IP8_1:30pm_08/03/2017

IP8 Open Problems in Finite Frame Theory

logarithmsformal sciencesconcepts in physicsring theoryearthwikipedia school and university projectsgeographygroupgraphpointelementary algebracorrespondencesignal processingcomputing terminologytelecommunication theoryfingerprintmatricesgrammarinformation ageset theorytheorem proving software systemssolutionelementary geometryvectormultiplicitycyberneticsgram matrixforcephilosophical terminologybinary operationse.t.f..basic concepts in set theorye.t.s.surfacesmatrixabelian group theoryinterrogative words and phrasesregular graphsevaluationcollaborationstatistical terminologyontologyequationstopologygeometrytheoremsneighborlogicprobability theorystatementssymmetryscalescommunicationphilosophical logicboundgraphic designfilms about extraterrestrial lifemathematical logicpolygonsprojective geometryareacombinatoricsquantum mechanicsinformation scienceorder theorydata managementgroup theorycomplex numberslogical consequenceprojectivetranslationclassical mechanicscondensed matter physicslinear algebraeuclidean geometrysoftware that uses qtproblemtheoretical computer scienceaestheticsregression analysisgeneralizationengineeringregular graphtechnologyphysics softwareangleelementary special functionsinvestmentd.f.t.mathematical notationscientific methodarithmeticheisenbergproductabstractionalgebraalgebraic geometrypolynomialsmathematical analysisfunctional analysismathematical optimizationalgebraic number theoryphilosophical conceptsinformation theorye.t.f.computer programmingrepresentationdimension
From  Anton Leykin A year ago 48 views 0  

SIAM_IP6_1:30pm_08/02/2017

IP6 Curves with Complex Multiplication and Applications to Cryptography

From  Anton Leykin A year ago 12 views 0