No package shown in my JApplet?
Package in Java
Is the axiom of choice used in the proof that every open set is the union of basis elements (Mukres, Lemma 13.1) Finding the volume of the tetrahedron. Find the volume of the tetrahedron with the vertices $P(1,1,1)$, $Q(1, 2, 3)$, $R(3, 1, 2)$, and $S(2, 3, 1)$. How do I calculate the power consumed by a lightbulb? How to "inverse match" with regex? is the group of rational numbers the fundamental group of some space? Symbolic links error while creating Ubuntu UEFI bootable USB I have tried to create UEFI bootable USB drive within Ubuntu 14.10 (Startup disk creator didn't help nor I am interested in using it.). I have formated USB with FAT32 and GPT. So the only thing left to do would be just to copy all files from ISO to USB. That method worked when it comes to Linux Mint 17.1 and Clonezilla live CD, but when I tried to create bootable USB for Ubuntu 14.04 or Kubuntu 15.04 beta 1 there was an error copying files. Actually, on several occasions (4 or 5) pop-up window appeared.   After ignoring this errors, both Ubuntu and Kubuntu USB boot-up just fine, with no apparent problems in Live mode.   Can someone please elaborate what this symbolic links presents? Will this cause some problem when OS is installed? Date and time panel is greyed out, how do I restore it? Date and time is showing in the login screen (unity-greeter) but not when I login to my session.  When I go to date and time settings the panel is all grey :    Any idea how to recover from this ? What is the strict aliasing rule? I Can't receive files via bluetooth on lxde What is meant by a "random variable"? Favourites Page on iOS App I would like to have a page listing all the questions I marked as favourite, same as the .  Also, I think the desktop version, the star, is much more intuitive and easier to find. Thanks! How can I randomise the output of a redstone circuit? chown as non-root user I'm trying to figure out how to assign higher priority to one PPA over another PPA. I had a look on bunch of the answers on this forum but none of them solves my problem.  We have two PPA sources on some of our servers which we stick into separate files in /etc/apt/sources.list.d . Some of these repos provide same packages (in terms of names) but different versions and possibly different binaries. Is there a way how we can PRIORITISE one repo over another ?  I read apt_preferences tutorial but it could not be more obscure and didn't find the answers for my question. Here is the situation. WE have the following sources:  $ ls -l /etc/apt/sources.list.d  total 12 -rw-r--r-- 1 root root 66 Jan  2 16:50 nginx-source.list -rw-r--r-- 1 root root 84 Jan  2 16:49 ruby-ng-experimental-source.list   where nginx-source.list content is:  deb     http://ppa.launchpad.net/nginx/stable/ubuntu precise main   and ruby-ng-experimental-source.list content is:  deb     http://ppa.launchpad.net/brightbox/ruby-ng-experimental/ubuntu precise main   Both of these sources provide nginx-full package of different versions etc. When I list the priorities ruby-ng-experimental-source.list is on top of output hence nginx-full is installed from that repo:  $ apt-cache policy nginx-full                                  nginx-full:   Installed: 1:1.2.3-1~38~precise1   Candidate: 1:1.2.6-1~43~precise1   Version table:      1:1.2.6-1~43~precise1 0         500 http://ppa.launchpad.net/brightbox/ruby-ng-experimental/ubuntu/ precise/main amd64 Packages  *** 1:1.2.3-1~38~precise1 0         100 /var/lib/dpkg/status      1.4.1-1ppa0~precise 0         500 http://ppa.launchpad.net/nginx/stable/ubuntu/ precise/main amd64 Packages      1.1.19-1ubuntu0.1 0         500 http://mirror.rackspace.co.uk/ubuntu/ precise-updates/universe amd64 Packages      1.1.19-1 0         500 http://mirror.rackspace.co.uk/ubuntu/ precise/universe amd64 Packages   How do I prioritize repo listed in nginx-source.list over the one which is on top of the list now ? I tried something like this:  $ cat /etc/apt/preferences Package: nginx-full Pin: origin http://ppa.launchpad.net/nginx/stable/ubuntu Pin-Priority: 1000  Package: nginx-full Pin: origin http://ppa.launchpad.net/brightbox/ruby-ng-experimental/ubuntu Pin-Priority: 100   But that has changed priorities of both sources to the same number - or something like that ? So this has NOT changed the priorities and nginx-full is still being installed form the brightbox PPA  $ apt-cache policy nginx-full   nginx-full:   Installed: 1:1.2.3-1~38~precise1   Candidate: 1:1.2.6-1~43~precise1   Package pin: (not found)   Version table:      1:1.2.6-1~43~precise1 1000         500 http://ppa.launchpad.net/brightbox/ruby-ng-experimental/ubuntu/ precise/main amd64 Packages  *** 1:1.2.3-1~38~precise1 1000         100 /var/lib/dpkg/status      1.4.1-1ppa0~precise 1000         500 http://ppa.launchpad.net/nginx/stable/ubuntu/ precise/main amd64 Packages      1.1.19-1ubuntu0.1 1000         500 http://mirror.rackspace.co.uk/ubuntu/ precise-updates/universe amd64 Packages      1.1.19-1 1000         500 http://mirror.rackspace.co.uk/ubuntu/ precise/universe amd64 Packages   Anyone has any idea how to achieve what I'm trying to do ? Prove inequality $\sqrt{\frac{2a}{b+a}} + \sqrt{\frac{2b}{c+b}} + \sqrt{\frac{2c}{a+c}} \leq 3$ Unique (non-repeating) random numbers in O(1)? I'd like to generate unique random numbers between 0 and 1000 that never repeat (i.e. 6 doesn't show up twice), but that doesn't resort to something like an O(N) search of previous values to do it. Is this possible? Why are Harry's GoF dreams in the third-person? Whenever I boot Ubuntu, I get a message that it cannot mount my windows partition, and I can choose to either wait, skip or manually mount.  When I try to enter my Windows partition through Nautilus I get a message saying that this partition is hibernated and that I need to enter the file system and properly close it, something I have done with no problem so I don't know why this happens.    Here's my partition table, if any more data is needed please let me know.     Device Boot      Start         End      Blocks   Id  System /dev/sda1            2048    20000767     9999360   83  Linux /dev/sda2        20002814   478001151   228999169    5  Extended /dev/sda3   *   478001152   622532607    72265728    7  HPFS/NTFS/exFAT /dev/sda4       622532608   625141759     1304576   82  Linux swap / Solaris /dev/sda5        20002816   478001151   228999168   83  Linux Find the ratio of $\frac{\int_{0}^{1} \left(1-x^{50}\right)^{100} dx}{\int_{0}^{1} \left(1-x^{50}\right)^{101} dx}$ $$I_1=\int_{0}^{1} \left(1-x^{50}\right)^{100} dx$$ and $$I_2=\int_{0}^{1} \left(1-x^{50}\right)^{101} dx$$ Then find $\frac{I_1}{I_2}$  I tried by subtracting $I_1$ and $I_2$   $$I_1-I_2=\int_{0}^{1}\left(1-x^{50}\right)^{100}\left(1-(1-x^{50}\right))dx$$ so  $$I_1-I_2=\int_{0}^{1} \left(1-x^{50}\right)^{100} x^{50} dx$$ Now using Integration by Parts we get  $$I_1-I_2= \left(1-x^{50}\right)^{100} \times \frac{x^{51}}{51}\bigg|_{0}^{1} -\int_{0}^{1} 100 \left(1-x^{50}\right)^{99} \times -50 x^{49} \times \frac{x^{51}}{51} dx$$  So $$I_1-I_2=\frac{5050}{51} \times \int_{0}^{1}\left(1-x^{50}\right)^{99} x^{100} dx$$  Now $x^{100}=\left(1-x^{50}\right)^2-(1-x^{50}-x^{50})$ so  $$\frac{51}{5050}(I_1-I_2)=\int_{0}^{1} \left(1-x^{50}\right)^{99} \times \left(\left(1-x^{50}\right)^2-(1-x^{50})+x^{50}\right)dx=I_2-I_1+\int_{0}^{1} \left(1-x^{50}\right)^{99} x^{50} dx$$  Need a hint to proceed further. In the context of topological spaces, I see the following major countability properties:  A space is:   "separable" iff it has a countable dense subset "second countable" iff if has a countable basis "first countable" iff the neighbourhood system of every point has a countable local basis.   (Definitions taken from Counterexamples in Topology by Steen and Seebach, 2nd ed. 1978 -- there may be differences in wording from other sources.)  The question I have is: "separable" into what, exactly? By which I mean to say: what is the thinking behind calling such a condition "separable"?  It appears not to be related to the concept of "separation axioms", which do immediately and obviously invoke an intuitive notation of separation, neither does it seem to have anything to do with "separated sets".  (Anyone using the spelling "seperable" or "seperated" will be immediately downvoted. :-) )