I really hope you can answer this simply request.   Nowadays is pretty common to have a new Ultrabook, laptop or notebook for general purposes. A very important feature is to have a healthy battery. We all know that Lithium-batts do a terrific job and are more resistant than ever, but after many years of experience, I've learnt that having a software like "Eco charge, Battery care, Smart charge...etc " is vital feature for long lasting battery good health. Major brands take care of this BUT HP, believe or not. I've just received a new Ultrabook Spectra x360 with windows 8.1, and so far I cannot find any special battery function for this request, even worst nobody can answer in their forum either; I really can't understand this flaw in HP. So, I'd like to know is there any reliable battery software or a way to acccess the battery controller, that can allow me to keep the battery charge to 80% while connected.  I've seen several utilities that keep info about battery and how to optimize but none with the simple function that I need.  Any help will be highly appreciated.
I work on a HP laptop plugged in most of the time, and after a few months the battery went off-duty.  Of course, I could remove the battery each time the laptop is plugged and replace it each time I must move to where no sockets are around. But I think that:   It would be really BORING! The computer would not avail itself of the useful backup power supply a battery can provide in case of black out.   It should simply switch off the battery charging when a safe power level is reached (i.e. 95%) and start recharging it, not every five minutes, but only under a certain safe threshold (i.e. 40% - 50%).  In its energy-saving profiles, Windows 7 only allows for setting up screen brightness, screen fadeout, screen deactivation and the suspension, not managing any charging issue.  Is there a way to accomplish this?
Examples proving why the tensor product does not distribute over direct products. I recently read about the result that the tensor product distributes over direct sums. I was curious if it also distributes over direct products, but google tells me it doesn't.   What are some simple counterexamples to why this property isn't true? I know that there is a natural homomorphism  $$ \left(\prod M_i\right)\otimes N\to \prod (M_i\otimes N) $$ given by $(\prod m_i)\otimes n\mapsto \prod (m_i\otimes n)$ when $M$ and $N$ are modules over some commutative ring $R$. Are there standard examples where this homomorphism is not injective/surjective and hence not an isomorphism? First Order Time-Variant System : Picard Method I looking at a time variant first order system. I am trying to prove that a sequence of functions $x^{[k]}(t)$ generated using Picard iterations converges uniformly on some interval $[0,T]$.  Given:  $\dot{x}(t)=A(t)x(t)$ where $x(0)=x_0$  $x(t)=x∈R^n$ where $A(t)$ is a $n×n$ matrix  Assume there exists $M$ such that $||A(t)||\le M$ for all $t\ge 0$ and that $A(t)$ is a piecewise continuous function. Show that, for any $T &gt; 0$, a solution exists in the interval $[0,T]$.  I know that $x(t)=x_0+\int^t_0A(τ)x(τ) dτ$ must be satisfied if the solution does indeed exist.  I am supposed to use Picard iterations to prove this, which I am not familiar with yet. But I know that they are of the form: $x^{[k+1]}=x_0+\int^t_0A(τ)x^{[k]}(τ) dτ$. Where $x^{[0]}(t)=x_0$  Can I use the standard Picard proof to prove this or do I need to start somewhere else?  I was also asked to show that this method satisfies  $|x^{[k+1]}(t)-x^{[k]}(t)|\le |x_0| $$\frac{π^{k+1}(t)}{(k+1)!}$ where $π(t)=\int^t_0||A(τ)||dτ$.  I have no idea where to start with this, but hopefully it will become clearer once I finish the first part. Countable axiom of choice: why you can't prove it from just ZF This is a follow-up question to the discussion about the finite axiom of choice .  Suppose we have a countable collection of non-empty sets $\{A_1, A_2, A_3,\cdots\}$ Reasoning as indicated in that discussion, we can prove the existence of a choice function $c_n$ such that $c_n(i)$ belongs to $A_i$ for $i = 1,\cdots,n$  Again reasoning as suggested and using induction, we can prove the existence of a function $C$ defined over $\{1, 2, \cdots\}$ such that $C(n)$ is a choice function defined for $i=1,\cdots,n$ with $C(n)(i)$ an element of A_i. We can require in addition that $C(n)(i)$ and $C(n-1)(i)$ are equal for $i=1,\cdots,n-1$.  Now it would it seem that we can prove the countable axiom of choice by taking the union of $C(1)$, $C(2)$, $\cdots$  The question is as follows: why is that proof wrong? I suspect the answer may have something to do with the axiom of union. I want to get the following:    I tried the following  \[    a(i,k) \leftarrow     \min\Big\{0, r(k,k) + \sum_{i^{'} | i^{'}\notin \{i,k\}}\max\{0, r(i{'},k)\}\Big\} \]   and got    How can I make the part under the summation extend to left and right without making a space between plus and max as in the first figure? How to find a global minimum for $\frac{1}{2}x^tQx-b^tx$ Is there is a way to exclude nested subdirectory specified by a path to that dir from grep recursive search? Or I have to use ack or find for this?  Here's what I want. Say I have this dir structure:  dir/nesteddir/match.txt otherdir/nesteddir/match.txt   How do I exclude first nesteddir only? Is it even possible using grep?  Most obvious answer $ grep -r --exclude-dir="dir/nesteddir" "stringToFind" . doesn't seem to work, nor do any of my experiments with various --exclude-dir paths using globbing, leading ./, etc.   Reading man page and googling didn't help, the only mention of this usecase I found is this question:   It was concluded that this is bug introduced in grep 2.12, but I'm using latest version (2.16) and grep's bugtracker () doesn't mention anything related to --exclude-dir, so I guess either it was fixed or it's an intended behaviour.   Would be really nice to get some clarification. How to parse hundred html source code files in shell? When to use Path in WPF Binding? How to get a tool that can only break specific blocks and has a name? Story where people inject "books" in the back of their necks? I read this story in middle school or high school and I cannot for the life of me remember the name of it. I think it started off in a small clan of people, there was a young boy who had just come of age and he had some kind of gift that related to the books? Also I think the injecting was illegal, because I vaguely remember the boy encountering an old man who had a bunch of books that he had to keep hidden. There was also a city and he met a girl there that was Special some how. I may just be merging memories but I think at some point the boy and girl went to an underground city?  Does anyone know what I'm talking about? Foreign key constraint on array member? Suppose I have a table containing job roles:  CREATE TABLE roles (   "role" character varying(80) NOT NULL,   CONSTRAINT "role" PRIMARY KEY (role) );   Suppose I further have a table, users, and each row (a specific user) can have an arbitrary number of job roles:  CREATE TABLE users (   username character varying(12) NOT NULL,   roles character varying(80)[] NOT NULL,   CONSTRAINT username PRIMARY KEY (username) );   I should probably make sure that each member of users.roles[] exists in roles.role.  It seems to me that what I want is a foreign key constraint on each member of users.roles[] such that if references roles.role.  This doesn't seem possible with postgres.  Am I looking at this the wrong way?  What is the suggested "right" way to handle this? I have a powershell script that I am trying to add in to a sql agent job, but the job step is failing with the following error      A job step received an error at line 1 in a PowerShell script. The corresponding line is 'import-module SQLPS  -DisableNameChecking'. Correct the script and reschedule the job. The error information returned by PowerShell is: 'Could not load file or assembly 'file:///C:\Program Files (x86)\Microsoft SQL Server\130\Tools\PowerShell\Modules\SQLPS\Microsoft.SqlServer.Management.PSSnapins.dll' or one of its dependencies. This assembly is built by a runtime newer than the currently loaded runtime and cannot be loaded.   I assumed that the error was being caused by differences in the module path, so I explicitly set the path via $env:PSModulePath to match the path of my powershell session where the code runs fine.  I am pretty new to powershell, so any help you could provide would be appreciated  I am just doing some testing right now, so everything is running locally on my desktop.  I am running SQL Server 2012. How to print fields value in views-view.html.twig in drupal 8 How to print fields value in views-view.html.twig I have created a views-view.html.twig file for my view slider_3. The template name is 'views-view--slider_3.html.twig' The view formatting is done by this template, but I need a field is come at begging position of the view:  &lt;div class="slider-3-main"&gt;{{ rows.required_field }} &lt;div{{ attributes.addClass(classes) }}&gt;   {{ title_prefix }}   {% if title %}     {{ title }}   {% endif %}   {{ title_suffix }}    How can be the field will written to display at {{ rows.required_field }} If I have two variables:  Object obj; String methodName = "getName";   Without knowing the class of obj, how can I call the method identified by methodName on it?  The method being called has no parameters, and a String return value. It's a getter for a Java bean. Linux kernel update stuck I just installed a new kernel on Ubuntu GNOME 17.04 that came in through the normal updates. However, it is now stuck for a while on the following line:  Setting up linux-headers-4.10.0-20-generic (4.10.0-20.22) ... Examining /etc/kernel/header_postinst.d. run-parts: executing /etc/kernel/header_postinst.d/dkms 4.10.0-20-generic /boot/vmlinuz-4.10.0-20-generic   Something seems to hang the process. Does someone know what could cause this?  EDIT: This is the content of /boot as requested:  abi-4.10.0-19-generic     grub                          System.map-4.10.0-19-generic abi-4.10.0-20-generic     initrd.img-4.10.0-19-generic  System.map-4.10.0-20-generic config-4.10.0-19-generic  memtest86+.bin                vmlinuz-4.10.0-19-generic config-4.10.0-20-generic  memtest86+.elf                vmlinuz-4.10.0-19-generic.efi.signed efi                       memtest86+_multiboot.bin      vmlinuz-4.10.0-20-generic   EDIT 2: Just tried purging the new kernel but got this:  E: dpkg was interrupted, you must manually run 'sudo dpkg --configure -a' to correct the problem.   Using that command returns me to the original problem. I am stuck now :( Boot problem after hanging and manual power off ( Stopping User Manager for UID 121... ) My Ubuntu stalled while running Android's VirtualBox version, so I powered off the system. But after reset it stopped during this line:     Stopping User Manager for UID 121... _ So i googled it and have read  question and tried these steps:  Boot into Recovery Mode, drop to a root shell, and follow the steps below:   Run mount -o rw,remount / to mount the drive in Read-Write mode.Run sudo apt-get purge nvidia-* to purge the NVIDIA driver.You may also need to purge xserver-xorg and reinstall it, which will  require you to enable networking in Recovery.Reboot. You may have to add the nouveau.modeset=0 flag in GRUB to boot properly (Check my Q&amp;A for specifics).   You should be past the screen flicker and be at your desktop.  But in doing this step:  Now reinstall the NVIDIA drivers the proper way:sudo apt-get install  nvidia-367 (or 340, 352, 364, 370, whichever works).Reboot again.  I found i have not internet, and my WiFi is not in ifconfig list!!! By running :     Iw wlp2s0 scan   I get :  N180211 not found I also search for it and not understand why WiFi gone off. Now i thinking to use live USB of ubuntu to download NVIDIA and xserver-xorg and the install the by dpkg command during tty2. Update : in Ubuntu live i have this settings :  ubuntu@ubuntu:~$ sudo lshw -c video   *-display                         description: VGA compatible controller        product: HD Graphics 620        vendor: Intel Corporation        physical id: 2        bus info: pci@0000:00:02.0        version: 02        width: 64 bits        clock: 33MHz        capabilities: pciexpress msi pm vga_controller bus_master cap_list rom        configuration: driver=i915 latency=0        resources: irq:129 memory:a2000000-a2ffffff memory:b0000000-bfffffff ioport:6000(size=64) memory:c0000-dffff   *-display        description: 3D controller        product: GM108M [GeForce 920MX]        vendor: NVIDIA Corporation        physical id: 0        bus info: pci@0000:03:00.0        version: a2        width: 64 bits        clock: 33MHz        capabilities: pm msi pciexpress bus_master cap_list        configuration: driver=nouveau latency=0        resources: irq:128 memory:a3000000-a3ffffff memory:90000000-9fffffff memory:a0000000-a1ffffff ioport:3000(size=128)  and ubuntu@ubuntu:~$ sudo lshw -c display   *-display                         description: VGA compatible controller        product: HD Graphics 620        vendor: Intel Corporation        physical id: 2        bus info: pci@0000:00:02.0        version: 02        width: 64 bits        clock: 33MHz        capabilities: pciexpress msi pm vga_controller bus_master cap_list rom        configuration: driver=i915 latency=0        resources: irq:129 memory:a2000000-a2ffffff memory:b0000000-bfffffff ioport:6000(size=64) memory:c0000-dffff   *-display        description: 3D controller        product: GM108M [GeForce 920MX]        vendor: NVIDIA Corporation        physical id: 0        bus info: pci@0000:03:00.0        version: a2        width: 64 bits        clock: 33MHz        capabilities: pm msi pciexpress bus_master cap_list        configuration: driver=nouveau latency=0        resources: irq:128 memory:a3000000-a3ffffff memory:90000000-9fffffff memory:a0000000-a1ffffff ioport:3000(size=128)  and : ubuntu@ubuntu:~$  cat /etc/os-release NAME=&quot;Ubuntu&quot; VERSION=&quot;18.04.3 LTS (Bionic Beaver)&quot; ID=ubuntu ID_LIKE=debian PRETTY_NAME=&quot;Ubuntu 18.04.3 LTS&quot; VERSION_ID=&quot;18.04&quot; HOME_URL=&quot;https://www.ubuntu.com/&quot; SUPPORT_URL=&quot;https://help.ubuntu.com/&quot; BUG_REPORT_URL=&quot;https://bugs.launchpad.net/ubuntu/&quot; PRIVACY_POLICY_URL=&quot;https://www.ubuntu.com/legal/terms-and-policies/privacy-policy&quot; VERSION_CODENAME=bionic UBUNTU_CODENAME=bionic  please consider the above three output has token form Ubuntu live flash system. What do you suggest and what do you think about reason of this failure? Also do you think it must be reported by me in ubuntu site, or it will be done automatically? Thanks. What is the difference between "lay" and "lie"? Contribute to bounty? I'm not sure how to solve this problem. Can you guys provide some input/hints?      Let $A=(x_1,y_1)$, $B=(x_2,y_2)$ and $C=(x_3,y_3)$ be three points in $\mathbb{R}^{2}$.      Show that the area of $\Delta ABC$ is given by   $\frac{1}{2}\left| \det(M) \right|$, where   $$M = \begin{pmatrix} 1 &amp; 1  &amp; 1\\  x_1 &amp; x_2 &amp; x_3\\  y_1 &amp; y_2 &amp; y_3 \end{pmatrix}$$ How do I format a number in Java? How do I format a number in Java? What are the &quot;Best Practices&quot;? Will I need to round a number before I format it?  32.302342342342343 =&gt; 32.30 .7323 =&gt; 0.73  etc.