User talk:Hermel

Star height problem

Your proposed change is fine with me. –jonsafari (talk) 00:04, 13 June 2008 (UTC)

Journal of Automata, Languages and Combinatorics

This is an automated message from CorenSearchBot. I have performed a web search with the contents of Journal of Automata, Languages and Combinatorics, and it appears to include a substantial copy of http://www.jalc.de. For legal reasons, we cannot accept copyrighted text or images borrowed from other web sites or printed material; such additions will be deleted. You may use external websites as a source of information, but not as a source of sentences.

This message was placed automatically, and it is possible that the bot is confused and found similarity where none actually exists. If that is the case, you can remove the tag from the article and it would be appreciated if you could drop a note on the maintainer's talk page. CorenSearchBot (talk) 11:16, 3 September 2008 (UTC)

Janusz Brzozowski (computer scientist)

Restored as such... It could definitely use some sources to back up the claims made though... Sasquatch t|c 16:17, 15 July 2009 (UTC)

Wikiprojects that may be of interest to you

I see you're fairly active in theoretical computer science articles. You may want to add WT:COMPSCI and WT:WPMATH to your watch list. Occasionally, some discussions that are hard to localize to a single article take place there. Thanks, Pcap ping 11:37, 18 September 2009 (UTC)

Translation of the complexity theory article

Hi, I noticed that you're translating the German article to the English one progressively. Are you done with the translation, or is there more you're going to add? I want to start making some changes, but I want to wait till you're done with your translation process. Thanks. --Robin (talk) 18:29, 14 October 2009 (UTC)

Alright, thanks! --Robin (talk) 21:45, 14 October 2009 (UTC)

Indexing Model Checking Tools

Hi, I would create a wiki article where indexing Model Checking Tools. Now it is only a subpage in my user space; I would to known what you think about it and if you would add some (notable) tools in the draft.

Thank you so much.

PoorUser (talk) 13:12, 22 October 2009 (UTC)

Some style conventions

Hello. Please notice my recent edits to cycle rank. Digits and parentheses should not be italicized in non-TeX mathematical notation, and a space should precede and follow "+", "=", and the like. This matches TeX style. See WP:MOSMATH. In TeX, notice this difference:

${\begin{aligned}r(G)&=1+min_{v\in V}r(G-v).\\[10pt]r(G)&=1+\min _{v\in V}r(G-v).\end{aligned}}$

Putting a backslash on \min not only prevents italicization, but also causes the subscript to appear directly under the min operator. In some contexts, it also causes adherence to conventions concerning the proper size of the letters (e.g. when "min" appears in a subscript). It also results in proper spacing in expressions like min A. Michael Hardy (talk) 03:11, 3 January 2010 (UTC)

Thanks a lot for your hints. Hermel (talk) 10:19, 3 January 2010 (UTC)

maths rating

Thanks for adding the maths rating tag to math articles. The math project does things a bit differently in that we generally don't use this tag without actual ratings. Our ratings system is a bit different most others as well, for example we have a B+ rating; see Wikipedia:WikiProject Mathematics/Wikipedia 1.0 for details. We have a backlog of unrated articles so we do appreciate help in adding ratings.--RDBury (talk) 19:46, 27 May 2010 (UTC)

I have marked you as a reviewer

I have added the "reviewers" property to your user account. This property is related to the Pending changes system that is currently being tried. This system loosens page protection by allowing anonymous users to make "pending" changes which don't become "live" until they're "reviewed". However, logged-in users always see the very latest version of each page with no delay. A good explanation of the system is given in this image. The system is only being used for pages that would otherwise be protected from editing.

If there are "pending" (unreviewed) edits for a page, they will be apparent in a page's history screen; you do not have to go looking for them. There is, however, a list of all articles with changes awaiting review at Special:OldReviewedPages. Because there are so few pages in the trial so far, the latter list is almost always empty. The list of all pages in the pending review system is at Special:StablePages.

To use the system, you can simply edit the page as you normally would, but you should also mark the latest revision as "reviewed" if you have looked at it to ensure it isn't problematic. Edits should generally be accepted if you wouldn't undo them in normal editing: they don't have obvious vandalism, personal attacks, etc. If an edit is problematic, you can fix it by editing or undoing it, just like normal. You are permitted to mark your own changes as reviewed.

The "reviewers" property does not obligate you to do any additional work, and if you like you can simply ignore it. The expectation is that many users will have this property, so that they can review pending revisions in the course of normal editing. However, if you explicitly want to decline the "reviewer" property, you may ask any administrator to remove it for you at any time. — Carl (CBM · talk) 12:33, 18 June 2010 (UTC) — Carl (CBM · talk) 13:14, 18 June 2010 (UTC)

Nested words

Hi Hermel,

Thanks for correcting the big modification I made to "Nested words". But could you go on http://en.wikipedia.org/wiki/Talk:Nested_word because I do not understand why you removed an entire paragraph (instead of correcting it), and I would like to discuss it.

Cordially, Arthur MILCHIOR (talk) 22:38, 31 March 2011 (UTC)

Non-Free rationale for File:Jalc.jpg

Thanks for uploading or contributing to File:Jalc.jpg. I notice the file page specifies that the file is being used under Non-Free content criteria but there is not a suitable explanation or rationale as to why each specific use in Wikipedia is acceptable. Please go to the file description page and edit it to include a Non-Free rationale.

If you have uploaded other Non-Free media, consider checking that you have specified the Non-Free rationale on those pages too. You can find a list of 'file' pages you have edited by clicking on the "my contributions" link (it is located at the very top of any Wikipedia page when you are logged in), and then selecting "File" from the dropdown box. Note that any non-free media lacking such an explanation will be deleted one week after they have been tagged, as described on criteria for speedy deletion. If the file is already gone, you can still make a request for undeletion and ask for a chance to fix the problem. If you have any questions please ask them at the Media copyright questions page. Thank you. Sfan00 IMG (talk) 21:35, 24 June 2011 (UTC)

File permission problem with File:Garey-johnson-79-cover.jpg

Thanks for uploading File:Garey-johnson-79-cover.jpg, which you've sourced to Cover of the book "Computers and Intractability. I noticed that while you provided a valid copyright licensing tag, there is no proof that the creator of the file agreed to license it under the given license.

If you created this media entirely yourself but have previously published it elsewhere (especially online), please either

• make a note permitting reuse under the CC-BY-SA or another acceptable free license (see this list) at the site of the original publication; or
• Send an email from an address associated with the original publication to permissions-enwikimedia.org, stating your ownership of the material and your intention to publish it under a free license. You can find a sample permission letter here. If you take this step, add {{OTRS pending}} to the file description page to prevent premature deletion.

If you did not create it entirely yourself, please ask the person who created the file to take one of the two steps listed above, or if the owner of the file has already given their permission to you via email, please forward that email to permissions-enwikimedia.org.

If you believe the media meets the criteria at Wikipedia:Non-free content, use a tag such as {{non-free fair use in|article name}} or one of the other tags listed at Wikipedia:File copyright tags#Fair use, and add a rationale justifying the file's use on the article or articles where it is included. See Wikipedia:File copyright tags for the full list of copyright tags that you can use.

If you have uploaded other files, consider checking that you have provided evidence that their copyright owners have agreed to license their works under the tags you supplied, too. You can find a list of files you have created in your upload log. Files lacking evidence of permission may be deleted one week after they have been tagged, as described on criteria for speedy deletion. You may wish to read the Wikipedia's image use policy. If you have any questions please ask them at the Media copyright questions page. Thank you.  Ronhjones  ^(Talk) 00:26, 26 November 2011 (UTC)

Possibly unfree File:Hopcroft-ullman-79-cover.jpg

A file that you uploaded or altered, File:Hopcroft-ullman-79-cover.jpg, has been listed at Wikipedia:Possibly unfree files because its copyright status is unclear or disputed. If the file's copyright status cannot be verified, it may be deleted. You may find more information on the file description page. You are welcome to add comments to its entry at the discussion if you are interested in it not being deleted. Thank you. Stefan2 (talk) 10:44, 5 January 2012 (UTC)

Possibly unfree File:Hopcroft-ullman-old.jpg

A file that you uploaded or altered, File:Hopcroft-ullman-old.jpg, has been listed at Wikipedia:Possibly unfree files because its copyright status is unclear or disputed. If the file's copyright status cannot be verified, it may be deleted. You may find more information on the file description page. You are welcome to add comments to its entry at the discussion if you are interested in it not being deleted. Thank you. Stefan2 (talk) 10:45, 5 January 2012 (UTC)

ArbCom elections are now open!

Hi,
You appear to be eligible to vote in the current Arbitration Committee election. The Arbitration Committee is the panel of editors responsible for conducting the Wikipedia arbitration process. It has the authority to enact binding solutions for disputes between editors, primarily related to serious behavioural issues that the community has been unable to resolve. This includes the ability to impose site bans, topic bans, editing restrictions, and other measures needed to maintain our editing environment. The arbitration policy describes the Committee's roles and responsibilities in greater detail. If you wish to participate, you are welcome to review the candidates' statements and submit your choices on the voting page. For the Election committee, MediaWiki message delivery (talk) 16:04, 23 November 2015 (UTC)

ArbCom Elections 2016: Voting now open!

Hello, Hermel. Voting in the 2016 Arbitration Committee elections is open from Monday, 00:00, 21 November through Sunday, 23:59, 4 December to all unblocked users who have registered an account before Wednesday, 00:00, 28 October 2016 and have made at least 150 mainspace edits before Sunday, 00:00, 1 November 2016.

The Arbitration Committee is the panel of editors responsible for conducting the Wikipedia arbitration process. It has the authority to impose binding solutions to disputes between editors, primarily for serious conduct disputes the community has been unable to resolve. This includes the authority to impose site bans, topic bans, editing restrictions, and other measures needed to maintain our editing environment. The arbitration policy describes the Committee's roles and responsibilities in greater detail.

If you wish to participate in the 2016 election, please review the candidates' statements and submit your choices on the voting page. MediaWiki message delivery (talk) 22:08, 21 November 2016 (UTC)

Solidity

Hello, you have previously contributed to the article Solidity. An editor has nominated Solidity to be merged with Ethereum. If you would like to comment, please visit the Solidity talk page discussion located at Talk:Solidity. Your comments are welcome. Thank you Jtbobwaysf (talk) 15:55, 12 December 2016 (UTC)

ArbCom 2017 election voter message

Hello, Hermel. Voting in the 2017 Arbitration Committee elections is now open until 23.59 on Sunday, 10 December. All users who registered an account before Saturday, 28 October 2017, made at least 150 mainspace edits before Wednesday, 1 November 2017 and are not currently blocked are eligible to vote. Users with alternate accounts may only vote once.

The Arbitration Committee is the panel of editors responsible for conducting the Wikipedia arbitration process. It has the authority to impose binding solutions to disputes between editors, primarily for serious conduct disputes the community has been unable to resolve. This includes the authority to impose site bans, topic bans, editing restrictions, and other measures needed to maintain our editing environment. The arbitration policy describes the Committee's roles and responsibilities in greater detail.

If you wish to participate in the 2017 election, please review the candidates and submit your choices on the voting page. MediaWiki message delivery (talk) 18:42, 3 December 2017 (UTC)

ArbCom 2018 election voter message

Hello, Hermel. Voting in the 2018 Arbitration Committee elections is now open until 23.59 on Sunday, 3 December. All users who registered an account before Sunday, 28 October 2018, made at least 150 mainspace edits before Thursday, 1 November 2018 and are not currently blocked are eligible to vote. Users with alternate accounts may only vote once.

The Arbitration Committee is the panel of editors responsible for conducting the Wikipedia arbitration process. It has the authority to impose binding solutions to disputes between editors, primarily for serious conduct disputes the community has been unable to resolve. This includes the authority to impose site bans, topic bans, editing restrictions, and other measures needed to maintain our editing environment. The arbitration policy describes the Committee's roles and responsibilities in greater detail.

If you wish to participate in the 2018 election, please review the candidates and submit your choices on the voting page. MediaWiki message delivery (talk) 18:42, 19 November 2018 (UTC)

ArbCom 2020 Elections voter message

Hello! Voting in the 2020 Arbitration Committee elections is now open until 23:59 (UTC) on Monday, 7 December 2020. All eligible users are allowed to vote. Users with alternate accounts may only vote once. The Arbitration Committee is the panel of editors responsible for conducting the Wikipedia arbitration process. It has the authority to impose binding solutions to disputes between editors, primarily for serious conduct disputes the community has been unable to resolve. This includes the authority to impose site bans, topic bans, editing restrictions, and other measures needed to maintain our editing environment. The arbitration policy describes the Committee's roles and responsibilities in greater detail. If you wish to participate in the 2020 election, please review the candidates and submit your choices on the voting page. If you no longer wish to receive these messages, you may add {{NoACEMM}} to your user talk page. MediaWiki message delivery (talk) 01:34, 24 November 2020 (UTC)

Orphaned non-free image File:Clrs3.jpeg

⚠

Thanks for uploading File:Clrs3.jpeg. The image description page currently specifies that the image is non-free and may only be used on Wikipedia under a claim of fair use. However, the image is currently not used in any articles on Wikipedia. If the image was previously in an article, please go to the article and see why it was removed. You may add it back if you think that that will be useful. However, please note that images for which a replacement could be created are not acceptable for use on Wikipedia (see our policy for non-free media).

Note that any non-free images not used in any articles will be deleted after seven days, as described in section F5 of the criteria for speedy deletion. Thank you. --B-bot (talk) 17:12, 16 April 2022 (UTC)