Filters








11,633 Hits in 8.0 sec

Run your research

Casey Klein, Robert Bruce Findler, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay A. McCarthy, Jon Rafkind, Sam Tobin-Hochstadt
2012 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12  
In this paper we report on a validation of this form of lightweight mechanization.  ...  The results suggest that Redex-based lightweight modeling is effective and easy to integrate into the work flow of a semantics engineer.  ...  Thanks also to Henrik Nilsson for helpful comments on a draft of this paper. The authors gratefully acknowledge support for this research from the NSF, DARPA, and AFOSR.  ... 
doi:10.1145/2103656.2103691 dblp:conf/popl/KleinCDEFFMRTF12 fatcat:ufgmdgwyvzeunivu3vuwbx75be

Run your research

Casey Klein, Robert Bruce Findler, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay A. McCarthy, Jon Rafkind, Sam Tobin-Hochstadt
2012 SIGPLAN notices  
(q = 0)) *((int*)p)=12; }p == 0 ∨ *p == *q \[\Gamma\ \vdash\ (\lambda x:\tau_2.e) : \tau_1\rightarrow \tau_2 \] One day, Walrus decided to apply a new, lightweight mechanized metatheory technique  ...  After all, LaTeX is designed for beautiful output and provides no help to check invariants of mathematical formulas or to run examples to ensure they illustrate the intended points.Deadlock in source but  ... 
doi:10.1145/2103621.2103691 fatcat:gszc5gf7rbhhle7m6vblxt4kpm

Research/Researchers

1995 MRS bulletin  
Finally, several weeks and thousands of dollars later, you begin the work of running your experimenton a system of questionable reliability and little expandability.  ...  According to the research plan, a highspeed display, produced on a lightweight-but-rugged, plastic material, will be completed by mid-1995.  ... 
doi:10.1557/s0883769400044328 fatcat:ouso4qtyrjenrduooxicdbbyri

Research/Researchers

1992 MRS bulletin  
WolfThis international journal features the latest research in the science and technology of superconductivity, with articles on new materials, new mechanisms, new phenomena, and basic and technological  ...  Let our expertise support your device research and production.  ... 
doi:10.1557/s0883769400041373 fatcat:wog3bbnecrhkhbhiubtlko2lzm

Research/Researchers

F.S. Myers, W.E. Spear
1993 MRS bulletin  
TIPS • For greater stability, run for one hour before using. • Never switch high pressure burners on and off quickly. Circle No. 21 on Reader Service Card.  ...  The resulting report recommended the creation of an organization that would serve as a focus and liaison for a broad spectrum of research and researchers in theoretical mechanics and materials science.  ... 
doi:10.1557/s0883769400043840 fatcat:oprg4c5ymjffzawe5h2ly56pty

Research/Researchers

1995 MRS bulletin  
The GaN was grown epitaxially on a sapphire substrate, using a 180 GaN MOCVD system capable of processing 6 x 2" or 3 x 3" wafer/run.  ...  "Using microwaves in industry could be an especially effective way of changing the nature of the surface of materials," Suib said.  ... 
doi:10.1557/s0883769400044584 fatcat:jhb2gj53hjcarj7kec67bslffe

Research/Researchers

1993 MRS bulletin  
Navy is striving to develop lightweight, high-energy-densiry acoustic sources, and expects this research to benefit its efforts.  ...  Prior to his Board work, Zwilsky served as chief of the Department of Energy's Materials and Radiation Effects Branch.  ... 
doi:10.1557/s0883769400038197 fatcat:sj643jaa45gxlilodwqfqmclqm

Research/Researchers

1997 MRS bulletin  
(250-^400 words) about published research work or a public presentation from your lab.  ...  The drop-on-demand technology can place dots of one drug, or multiple drugs, precisely throughout the layers for the most effective release.  ... 
doi:10.1557/s0883769400033303 fatcat:daoygiwclndkrnb2va2z5yogp4

Climate4impact: Enhance usage of research data and support researchers with climate analysis

Maarten Plieger, Wim Som de Cerff, Alessandro Spinuso, Ernst De Vreede, Christian Pagé, Niels Drost
2019 Zenodo  
The aim of climate4impact (C4I) is to enhance the use of research data, to support researchers with analytics and to support other climate portals.  ...  As the climate impact community is very broad, the focus is mainly on the scientific impact community.  ...  load effects the portal  Make use of distributed Web Processing Services  E.g.  ... 
doi:10.5281/zenodo.3600972 fatcat:p6a5gfns55cnzdxnir3wsbmtp4

Research/Researchers

1997 MRS bulletin  
the conference and the year of the presentation; or • request that your PR office write up a news release (250-400 words) about published research work or a public presentation from your lab.  ...  Researchers expect that studying this effect will lead to insights on how magneto-resistive materials work.  ... 
doi:10.1557/s0883769400033911 fatcat:gi7o2mz3qzfcbj4meuxcnris5y

Research/Researchers

1994 MRS bulletin  
His research addresses the fracture mechanics of brittle materials and structural design RESEARCH/RESEARCHERS with ceramics, refractories, and other brittle materials.  ...  The quantitative model developed for C 7 nH 2 will be used for research into high-strength, lightweight materials.  ... 
doi:10.1557/s0883769400047461 fatcat:r2sx7zoumfdkrdsacwekm7azjq

Research/Researchers

1987 MRS bulletin  
Initial screening, it said, should be based purely on the quality of the proposed research.  ...  effective form of organization."  ... 
doi:10.1557/s0883769400067415 fatcat:xe6pe7dtxvgkzb2y3yrvydflca

Rebooting Virtualization Research (Again)

Alain Tchana, Renaud Lachaize
2019 Proceedings of the 10th ACM SIGOPS Asia-Pacific Workshop on Systems - APSys '19  
We argue that the upcoming trends of hardware disaggregation in the data center motivate a new chapter of virtualization research.  ...  Visible or hidden, virtualization platforms remain the cornerstone of the cloud and the performance overheads of the latest generations have shrunk. Is hypervisor research dead?  ...  Acknowledgments This work was funded by the "ScaleVisor" project of Agence Nationale de la Recherche, number ANR-18-CE25-0016, and the "Studio virtuel" project of BPI and ERDF/FEDER, grant agreement number  ... 
doi:10.1145/3343737.3343746 dblp:conf/apsys/TchanaL19 fatcat:ebci6n7pznexfenam5vkoxydna

Metalcasting Industry Research

2015 International Journal of metalcasting  
A center point (run 5) will be used to check for non-linearity in the parameter settings, and an extra run will assess the effect of argon gas mixtures on the cooling rate and properties.  ...  Saleem (2012) studied the effect of helium on the cooling rate and resulting properties of sand castings.  ...  A center point (run 5) will be used to check for non-linearity in the parameter settings, and an extra run will assess the effect of argon gas mixtures on the cooling rate and properties.  ... 
doi:10.1007/s40962-015-0014-2 fatcat:77ap52rwd5eijph56kty5ink6u

Metalcasting Industry Research

2016 International Journal of metalcasting  
A center point (run 5) will be used to check for non-linearity in the parameter settings, and an extra run will assess the effect of argon gas mixtures on the cooling rate and properties.  ...  Saleem (2012) studied the effect of helium on the cooling rate and resulting properties of sand castings.  ...  A center point (run 5) will be used to check for non-linearity in the parameter settings, and an extra run will assess the effect of argon gas mixtures on the cooling rate and properties.  ... 
doi:10.1007/s40962-016-0031-9 fatcat:qybqr7e2qvg3xfxsguiz2mv5i4
« Previous Showing results 1 — 15 out of 11,633 results