Professor Hallowell's seminar on October 30th covered poster design for presenting research. Students learned the basics of effective poster design, including using images to guide layout instead of too much text, including an introduction, results, discussion and conclusion, and avoiding clutter or distracting backgrounds. The presentation provided templates and tutorials for creating posters in PowerPoint and informed students of the poster printing deadline and presentation dates.
Cinnamons are a new computation model intended to form a theoretical foundation for Control Network Programming (CNP). CNP has established itself as a programming approach combining declarative and imperative features. It supports powerful tools for control of the computation process; in particular, these tools allow easy, intuitive, visual development of heuristic, nondeterministic, or randomized solutions. The paper providesrigorous definitions of the syntax and semantics of the new model of computation, at the same time trying to keep the intuition behind clear. The purposely simplified theoretical model is then compared to both WHILE-programs (thus demonstrating its Turing completeness), and the “real” CNP. Finally, future research possibilities are mentioned that would eventually extend the cinnamon programming and its theoretical foundation into the directions of nondeterminism, randomness and fuzziness.
Understanding Black Box Models with Shapley ValuesJonathan Bechtel
This is the slideshow presentation used at PyData Global 2021 for the workshop Behind the Black Box: Understand any ML Model with SHAP.
https://pydata.org/global2021/schedule/presentation/3/behind-the-black-box-how-to-understand-any-ml-model-using-shap/
Thank you for reading, and if you have any questions then please contact me at the following page: https://www.jonathanbech.tel/contact
UML is not dead. Even if you feed your team with agile fuel, UML can save you some time and extra discussions. In this super short presentation we show you how we apply UML to speed up software requirement extractions.
Stop writing docs that nobody reads and go directly to the point!
Cinnamons are a new computation model intended to form a theoretical foundation for Control Network Programming (CNP). CNP has established itself as a programming approach combining declarative and imperative features. It supports powerful tools for control of the computation process; in particular, these tools allow easy, intuitive, visual development of heuristic, nondeterministic, or randomized solutions. The paper providesrigorous definitions of the syntax and semantics of the new model of computation, at the same time trying to keep the intuition behind clear. The purposely simplified theoretical model is then compared to both WHILE-programs (thus demonstrating its Turing completeness), and the “real” CNP. Finally, future research possibilities are mentioned that would eventually extend the cinnamon programming and its theoretical foundation into the directions of nondeterminism, randomness and fuzziness.
Understanding Black Box Models with Shapley ValuesJonathan Bechtel
This is the slideshow presentation used at PyData Global 2021 for the workshop Behind the Black Box: Understand any ML Model with SHAP.
https://pydata.org/global2021/schedule/presentation/3/behind-the-black-box-how-to-understand-any-ml-model-using-shap/
Thank you for reading, and if you have any questions then please contact me at the following page: https://www.jonathanbech.tel/contact
UML is not dead. Even if you feed your team with agile fuel, UML can save you some time and extra discussions. In this super short presentation we show you how we apply UML to speed up software requirement extractions.
Stop writing docs that nobody reads and go directly to the point!
Building a new CTL model checker using Web Servicesinfopapers
Florin Stoica, Laura Stoica, Building a new CTL model checker using Web Services, Proceeding The 21th International Conference on Software, Telecommunications and Computer Networks (SoftCOM 2013), At Split-Primosten, Croatia, 18-20 September, pp. 285-289, 2013
DOI=10.1109/SoftCOM.2013.6671858 http://dx.doi.org/10.1109/SoftCOM.2013.6671858
Towards high performance computing(hpc) through parallel programming paradigm...ijpla
Nowadays, we are to find out solutions to huge computing problems very rapidly. It brings the idea of parallel computing in which several machines or processors work cooperatively for computational tasks. In the past decades, there are a lot of variations in perceiving the importance of parallelism in computing machines. And it is observed that the parallel computing is a superior solution to many of the computing limitations like speed and density; non-recurring and high cost; and power consumption and heat dissipation etc. The commercial multiprocessors have emerged with lower prices than the mainframe machines and supercomputers machines. In this article the high performance computing (HPC) through parallel programming paradigms (PPPs) are discussed with their constructs and design approaches.
A SYSTEMC/SIMULINK CO-SIMULATION ENVIRONMENT OF THE JPEG ALGORITHMVLSICS Design
In the past decades, many factors have been continuously increasing like the functionality of embedded systems as well as the time-to-market pressure has been continuously increasing. Simulation of an entire system including both hardware and software from early design stages is one of the effective approaches to improve the design productivity. A large number of research efforts on hardware/software (HW/SW) co-simulation have been made so far. Real-time operating systems have become one of the important components in the embedded systems. However, in order to validate function of the entire system, this system has to be simulated together with application software and hardware. Indeed, traditional methods of verification have proven to be insufficient for complex digital systems. Register transfer level test-benches have become too complex to manage and too slow to execute. New methods and verification techniques began to emerge over the past few years. Highlevel test-benches, assertion-based verification, formal methods, hardware verification languages are just a few examples of the intense research activities driving the verification domain.
A framework to performance analysis of software architectural stylesijfcstjournal
Growing and executable system architecture has a significant role in successful production of large and
distributed systems. Assessing the effect of different decisions in architecture design can decrease the time and cost of software production, especially when these decisions are related to non-functional properties of system. Performance is a non-functional property which relates to timing behaviour of system. In this paper
we propose an approach for modelling and analysis of performance in architecture level. To do this,we follow a general process which needs two formal notations for specifying architecture and performance models of system. In this paper we show how Stochastic Process Algebra (SPA) in the form of PEPA language can be used for performance modelling and analysis of software archi
tectures modelled using Graph Transformation System (GTS). To enable architecture model for performance analysis, equivalent PEPA model should be constructed with transformation. Transformed performance model of the
architecture has been analysed through PEPA toolkit for some properties like throughput, sensitivity analysis, response time and utilisation rate. The analysis results have been explained with regard to a realistic case study.
Building a new CTL model checker using Web Servicesinfopapers
Florin Stoica, Laura Stoica, Building a new CTL model checker using Web Services, Proceeding The 21th International Conference on Software, Telecommunications and Computer Networks (SoftCOM 2013), At Split-Primosten, Croatia, 18-20 September, pp. 285-289, 2013
DOI=10.1109/SoftCOM.2013.6671858 http://dx.doi.org/10.1109/SoftCOM.2013.6671858
Towards high performance computing(hpc) through parallel programming paradigm...ijpla
Nowadays, we are to find out solutions to huge computing problems very rapidly. It brings the idea of parallel computing in which several machines or processors work cooperatively for computational tasks. In the past decades, there are a lot of variations in perceiving the importance of parallelism in computing machines. And it is observed that the parallel computing is a superior solution to many of the computing limitations like speed and density; non-recurring and high cost; and power consumption and heat dissipation etc. The commercial multiprocessors have emerged with lower prices than the mainframe machines and supercomputers machines. In this article the high performance computing (HPC) through parallel programming paradigms (PPPs) are discussed with their constructs and design approaches.
A SYSTEMC/SIMULINK CO-SIMULATION ENVIRONMENT OF THE JPEG ALGORITHMVLSICS Design
In the past decades, many factors have been continuously increasing like the functionality of embedded systems as well as the time-to-market pressure has been continuously increasing. Simulation of an entire system including both hardware and software from early design stages is one of the effective approaches to improve the design productivity. A large number of research efforts on hardware/software (HW/SW) co-simulation have been made so far. Real-time operating systems have become one of the important components in the embedded systems. However, in order to validate function of the entire system, this system has to be simulated together with application software and hardware. Indeed, traditional methods of verification have proven to be insufficient for complex digital systems. Register transfer level test-benches have become too complex to manage and too slow to execute. New methods and verification techniques began to emerge over the past few years. Highlevel test-benches, assertion-based verification, formal methods, hardware verification languages are just a few examples of the intense research activities driving the verification domain.
A framework to performance analysis of software architectural stylesijfcstjournal
Growing and executable system architecture has a significant role in successful production of large and
distributed systems. Assessing the effect of different decisions in architecture design can decrease the time and cost of software production, especially when these decisions are related to non-functional properties of system. Performance is a non-functional property which relates to timing behaviour of system. In this paper
we propose an approach for modelling and analysis of performance in architecture level. To do this,we follow a general process which needs two formal notations for specifying architecture and performance models of system. In this paper we show how Stochastic Process Algebra (SPA) in the form of PEPA language can be used for performance modelling and analysis of software archi
tectures modelled using Graph Transformation System (GTS). To enable architecture model for performance analysis, equivalent PEPA model should be constructed with transformation. Transformed performance model of the
architecture has been analysed through PEPA toolkit for some properties like throughput, sensitivity analysis, response time and utilisation rate. The analysis results have been explained with regard to a realistic case study.
1. Seminar Three / Professor Hallowell
October 30, 2012
Amanda Favia, amanda.favia@macaulay.cuny.edu
ITF, Macaulay Honors College at Baruch College
*(with slides borrowed from Craig Willse, Emily Sherwood & Kiersten
2. Understand project expectations
Learn the basics of poster design
Begin planning your posters
3. Visual means for communicating research to
an academic or professional community.
Summary of research that serves to create
interest by highlighting the most important
things.
4.
5. Each group must produce one poster
Posters can be made with PowerPoint
Poster dimensions must be 48” x 36” (or vice
versa)
6. Registration for Seminar 3 Final Event: Nov.
5th-
9thhttp://macaulay.cuny.edu/eportfolios/semi
nar3presentations/
Seminar 3 Final Event (poster presentations
at MHC): Dec. 5th , 6th & 9th
Poster Printing Deadline Nov. 30th
8. Images should guide the overall layout, not
the text.
Avoid cluttering the poster (too many graphs
or photos).
Watch your color contrasts! Color should be
easy on the eyes.
9. Make sure all components are aligned
properly.
Less text is key!
Make use of an underlying structure that
guides the viewer.
Create a narrative that’s self-explanatory.
10. Introduction: Hypothesis (Thesis)
Results: What did you find?
Discussion: What does it mean?
Conclusion: Conclusion and future directions
References: Text, data and images used
12. We present a denotational
Our compiling strategy is to
semantics for a logic program to
exploit coarse-grain parallelism
construct a control flow for the
at function application level: and
logic program. The control flow is
the function application level
defined as an algebraic
parallelism is implemented by
manipulator of idempotent
fork-join mechanism. The
substitutions and it virtually
compiler translates source
reflects the resolution
We describe the control flowand design of the control flow machine, and present the results of detailed simulations of the
programs into philosophy
deductions. We also present a
performance ofon single processing element. Each factor is compared with the measured performance of an advanced von
graphs based a analyzing flow
bottom-up compilation of
Neumann computer running equivalent code. It is shown that the control flow processor compares favorably in the program.
of control, and then serializes
medium grain clusters from a
instructions within graphs
fine grain control flow graph. We
according to flow arcs such that
compare the basic block and the
function applications, which
dependence sets algorithms that
have no control dependency, are
partition control flow graphs into
executed in parallel.
clusters.
We have demonstrated that to
achieve the best execution time We apply a parallel simulation
for a control flow program, the scheme to a real problem: the
number of nodes within the simulation of a control flow
system and the type of mapping architecture, and we compare
scheme used are particularly the performance of this simulator
important. In addition, we with that of a sequential one.
observe that a large number of Moreover, we investigate the
subsystem nodes allows more effect of modeling the
actors to be fired concurrently, application on the performance
but the communication overhead of the simulator. Our study
in passing control tokens to their indicates that parallel simulation
destination nodes causes the can reduce the execution time
overall execution time to significantly if appropriate
increase substantially. modeling is used.
13. Color: ah!
Text: fit & alignment
Text: too much!
Images: not enough
Background: distracting
14. Color: easier on the eyes
Text: fit properly & justify alignment
Images & Text: less text & more images
Background: “compliments” images and
background color
16. Images guide the overall layout, not the text
Not cluttered
Good use of color
Text & Images aligned properly
Underlying structure guides viewer
17. Break up text with bullets or numbers (hint:
this slide!)
Indenting shows subordination
- Like this, see?
18. Avoid lengthy paragraphs talking about why
you did what you did and whether you
dislike positivism because there is such a
thing as reality out there and it operates in a
certain way and we should be able to access
that in some shape, form, or fashion and
besides it’s all from some stuffy old dead guy
thinking too hard, anyway.
19. Make sure your font color stands out against the
background.
Be consistent with colors and use them to guide the
reader.
- e.g., you can use one color for headings, another
for body text
20. Teeth are ideal for
studying life history Teeth & Life
because they grow History
incrementally, are Incremental growth
not remodeled Not remodeled
during an Resistant to
individual’s lifetime, environmental stress
and are not highly
subject to
environmental
stresses.
21. Add photos and drawings
Make your own Pie Charts, Column Charts,
Line Charts, etc.
Excel
Tutorials:http://macaulay.cuny.edu/eportfoli
os/baruchitfs/2012/04/02/chart-tutorials/
25. File & select New Presentation
Slide Layouts (or Format > Slide Layout) & select
Blank slide layout.
Set the dimensions for your slide: File > Page Setup.
Width 48” & height 36” (or reverse it, 36 x 48)
Note: Just click Okay on the error window when you get
this Error Message “The current page size exceeds the
printable area of the paper in the printer…”
27. Make an appointment:
http://macaulay.cuny.edu/webforms/?q=node/26
At least one person from each group must come IN-
PERSON to the printing appointment.
DO NOT attach your file! Bring it with you (on a
flash drive or other media) to your appointment.
28.
29.
30.
31.
32. Advice on designing scientific posters (Swarthmore
College)
Do’s and Dont’s of Poster Presentation (American
Society for Cell Biology)
Creating Effective Poster Presentations (NCU)
Design of Scientific Posters (Virginia Tech)
Scientific Development Poster Session (Apple.com)
33. Plan ahead
Work together & establish group goals
Think holistically about your project
34. Seminar Three Course Site:
http://macaulay.cuny.edu/eportfolios/hallowell12/
Amanda Favia
amanda.favia@macaulay.cuny.edu
ITF, Macaulay Honors College at Baruch College
Editor's Notes
• Your poster is a short story, show others what you have been researching • Describe a few major points • Arouse the reader’s interest to read on
Simple, effective data displays, small amounts of supporting text Leave breathing space around your text Plain fonts Same size and style Left-aligned
Simple, effective data displays, small amounts of supporting text Leave breathing space around your text Plain fonts Same size and style Left-aligned
Text: for a cleaner effect Images; to guide the presentation
when using a really powerful/informative figure for centered image. Peripheral explanations should follow left to right, top to bottom design. Our discretion.
Text: for a cleaner effect Images; to guide the presentation
Plan Ahead! Sending a file will not get a poster printed.
NO abstracts on the posters!
http://representingbioethics.info/
Text: for a cleaner effect Images; to guide the presentation