1![Unternehmen 12 Hot Corner Digital-Schreck Unternehmen 12 Hot Corner Digital-Schreck](https://www.pdfsearch.io/img/9c939e0320170e406505a4de7cbd12f6.jpg) | Add to Reading ListSource URL: www.fuw.chLanguage: German - Date: 2018-09-19 08:08:18
|
---|
2![To appear in IEEE Transactions on Visualization and Computer Graphics Guidelines for Effective Usage of Text Highlighting Techniques Hendrik Strobelt, Daniela Oelke, Bum Chul Kwon, Tobias Schreck, Hanspeter Pfister Fig To appear in IEEE Transactions on Visualization and Computer Graphics Guidelines for Effective Usage of Text Highlighting Techniques Hendrik Strobelt, Daniela Oelke, Bum Chul Kwon, Tobias Schreck, Hanspeter Pfister Fig](https://www.pdfsearch.io/img/7ece4122a89d704e04586426df8fd04a.jpg) | Add to Reading ListSource URL: textanno.hs8.deLanguage: English - Date: 2017-12-27 08:28:16
|
---|
3![1. INTRODUCTION TO EXPLAINING EXTREME EVENTS OF 2015 FROM A CLIMATE PERSPECTIVE Stephanie C. Herring, Andrew Hoell, Martin P. Hoerling, James P. Kossin, Carl J. Schreck III, and Peter A. Stott In the first years of this 1. INTRODUCTION TO EXPLAINING EXTREME EVENTS OF 2015 FROM A CLIMATE PERSPECTIVE Stephanie C. Herring, Andrew Hoell, Martin P. Hoerling, James P. Kossin, Carl J. Schreck III, and Peter A. Stott In the first years of this](https://www.pdfsearch.io/img/c5017b932a83269a982a079404ce88c9.jpg) | Add to Reading ListSource URL: www.ametsoc.net- Date: 2016-12-14 08:19:35
|
---|
4![28. SUMMARY AND BROADER CONTEXT Stephanie C. Herring, Andrew Hoell, Martin P. Hoerling, James P. Kossin, Carl J. Schreck III, and Peter A. Stott This year’s event types include tropical cyclones, extreme sunshine, nuis 28. SUMMARY AND BROADER CONTEXT Stephanie C. Herring, Andrew Hoell, Martin P. Hoerling, James P. Kossin, Carl J. Schreck III, and Peter A. Stott This year’s event types include tropical cyclones, extreme sunshine, nuis](https://www.pdfsearch.io/img/7fdf3451b6208ac0d41bf895fec2b5a7.jpg) | Add to Reading ListSource URL: www.ametsoc.net- Date: 2016-12-13 16:24:26
|
---|
5![Parallel postulates and decidability of intersection of lines: a mechanized study within Tarski’s system of geometry Pierre Boutry, Julien Narboux, Pascal Schreck To cite this version: Parallel postulates and decidability of intersection of lines: a mechanized study within Tarski’s system of geometry Pierre Boutry, Julien Narboux, Pascal Schreck To cite this version:](https://www.pdfsearch.io/img/4a1177fad259d7360331cebf7a8732f7.jpg) | Add to Reading ListSource URL: hal.inria.fr- Date: 2016-12-20 17:23:49
|
---|
6![What would a data scientist ask? Automatically formulating and solving prediction problems Benjamin Schreck Kalyan Veeramachaneni What would a data scientist ask? Automatically formulating and solving prediction problems Benjamin Schreck Kalyan Veeramachaneni](https://www.pdfsearch.io/img/32731798e1e6f55b58f3bec0a18ee19d.jpg) | Add to Reading ListSource URL: dai.lids.mit.edu- Date: 2016-10-05 21:18:22
|
---|
7![Using small scale automation to improve both accessibility and readability of formal proofs in geometry Pierre Boutry, Julien Narboux, Pascal Schreck, Gabriel Braun To cite this version: Pierre Boutry, Julien Narboux, Pa Using small scale automation to improve both accessibility and readability of formal proofs in geometry Pierre Boutry, Julien Narboux, Pascal Schreck, Gabriel Braun To cite this version: Pierre Boutry, Julien Narboux, Pa](https://www.pdfsearch.io/img/176214831c54f7f1d2b20dc73bb87429.jpg) | Add to Reading ListSource URL: hal.inria.fr- Date: 2016-12-20 14:03:18
|
---|
8![A reflexive tactic for automated generation of proofs of incidence to an affine variety Pierre Boutry, Julien Narboux, Pascal Schreck To cite this version: Pierre Boutry, Julien Narboux, Pascal Schreck. A reflexive tacti A reflexive tactic for automated generation of proofs of incidence to an affine variety Pierre Boutry, Julien Narboux, Pascal Schreck To cite this version: Pierre Boutry, Julien Narboux, Pascal Schreck. A reflexive tacti](https://www.pdfsearch.io/img/b0c64598a6bae95767d1b66dc21d336f.jpg) | Add to Reading ListSource URL: hal.inria.fr- Date: 2016-12-20 20:59:59
|
---|
9![A short note about case distinctions in Tarski’s geometry Pierre Boutry, Julien Narboux, Pascal Schreck, Gabriel Braun To cite this version: Pierre Boutry, Julien Narboux, Pascal Schreck, Gabriel Braun. A short note ab A short note about case distinctions in Tarski’s geometry Pierre Boutry, Julien Narboux, Pascal Schreck, Gabriel Braun To cite this version: Pierre Boutry, Julien Narboux, Pascal Schreck, Gabriel Braun. A short note ab](https://www.pdfsearch.io/img/84c7093ed9ebf07b89335ef5dd2b50c5.jpg) | Add to Reading ListSource URL: hal.inria.fr- Date: 2016-03-04 11:50:51
|
---|
10![A new process offers a cost competitive route to the production of polymer grade ethylene glycol from corn starch James Schreck, Brooke Albin, Nye Clinton, Marion Bradford, Mark Nunley, Alex Buck, Don Bunning, and Ray Ch A new process offers a cost competitive route to the production of polymer grade ethylene glycol from corn starch James Schreck, Brooke Albin, Nye Clinton, Marion Bradford, Mark Nunley, Alex Buck, Don Bunning, and Ray Ch](https://www.pdfsearch.io/img/1ba6238fbdc42f8a02ba1cedc0f4d9bb.jpg) | Add to Reading ListSource URL: www.corntechconf.org- Date: 2016-08-03 15:01:36
|
---|