HWP-to-PDF Converting
Without PDFconverter for HWP, hwp file can be converted into pdf using a print function. In print selection option, select "Adobe PDF" and configure Adobe PDF Settings as follows.
Then, just print out!
Eclipse Problem : failed to create the java virtual machine
It is because Eclipse cannot find the path of javaw.exe
Just edit "eclipse.ini" file
Open the file and attach following sentences:
That is,,
-startup
plugins/org.eclipse.equinox.launcher_1.1.0.v20100507.jar
--launcher.library
plugins/org.eclipse.equinox.launcher.win32.win32.x86_1.1.1.R36x_v20100810
-showsplash
org.eclipse.platform
--launcher.XXMaxPermSize
256m
--launcher.defaultAction
openFile
-vm
C:\Program Files\Java\jdk1.6.0_22\bin\javaw.exe
-vmargs
-Xms40m
-Xmx384m
Find Impact Factor
This is the web site that ISI Web of Knowledge provides, and makes find an impact factor of journal papers which is JCR Science Edition.
http://admin-apps.isiknowledge.com/JCR/JCR?PointOfEntry=Home&SID=T2jLpi7ckJioC9c2mm6
For reference, to find journals which belong to the area of "CC/Engineering, Computing & Technology", refer the following link:
http://science.thomsonreuters.com/cgi-bin/jrnlst/jloptions.cgi?PC=T
Useful Tip in WinEdt when writing latex document
I found this function accidentally. When writing latex code, we most often type \begin{...}...\end{...}.
This work is frankly troublesome work though someone think that work as a trivial work.
There is a way reducing typing work.
First, just type \begin{...} and <shift+]> (that is, '}').
That's all.
\begin{frame} \end{frame}
Predicate Logic – part I
My second presentation in doctoral seminar presented at lab was about a predicate logic. Predicate logic is one of the important area of the symbolic logic. The predicate logic, also called first-order predicate calculus, is distinguished from propositional logic by its use of predicates and quantifiers. For using predicates and quantifiers, variables are used in predicate logic, and also constants and function symbols can be used.
In this seminar, I presented an overview, description of predicate logic as a formal language, and proof theory of predicate logic. Issues about semantics and undecidability of predicate logic will be presented in next seminar presentation(maybe...7/22~7/23).
My presentation material is attached in this post. It is written using a latex and beamer-class.
[7/6~7/9]To do
In this week, there are a lot of things I must do completely. Paper works, preparing seminar, meeting for LGE project, etc. Followings are that I must do in this week.
- Paper work
- Related works on context-aware access control
- Scenarios of ubiquitous computing service and security threats
- Preparing seminar
- Remain parts of the propositional logic and the predicate Logic
- Meeting
- Preparing LGE meeting (to decide project plans & contract)
- July 8, 5 pm
Installing Beamer
Today I tried to install the beamer-class to make document for presentation using latex. Until now, I have used MS Power Point application mainly for making presentation document. The power point program is useful and easy for making presentation slides, but it has several difficulties in compatibility and mathematical expression. I suffered these problems in last seminar. So, I decided to try another method though I'm very very busy... I like latex and its mathematical representation, therefore I try to search methods to make presentation using latex. As a result, I found "beamer-class". I downloaded it at once, and tried to install...but it is not easy because I don't know well various functions of the MikTeX. I searched method for install it...and I became known installing beamer-class in MikTex is very simple and easy....
- After downloading beamer file, just extract that and put it in a so-called texmf tree (c:\texmf in my case)
- In MikTeX, reflesh FNDB (Setting->General->Refresh FNDB)
- Installation is just completed.
More details for installation are described "beameruserguide.pdf" in downloaded files. If you are not a MikTeX user, refer to the pdf file.
I'll soon post a result of making my presentation document made using beamer.