In the data link layer, why do we add some redundant bits with the original message code? Computer Science

---

• In the data link layer, why do we add some redundant bits with the original message code?
• Colors: Property of perception, not inherent in the object - 2
• Model checking over dynamic domains
• hard questions in information system-:
• New AI Platform Enabling Anyone To Create Content
• Accessible entry for computational complexity theory through concrete problems
• RAM and Turing Machines

In the data link layer, why do we add some redundant bits with the original message code? Posted: 06 Mar 2022 02:05 AM PST submitted by /u/terimamimeri [link] [comments]

Colors: Property of perception, not inherent in the object - 2 Posted: 06 Mar 2022 12:35 AM PST This blog (https://himanshumaurya.hashnode.dev/colors-property-of-perception-not-inherent-in-the-object-2) in which i have discussed about Non Linear color spaces, uniform color spaces, MacAdam ellipses etc is a continuation of (https://himanshumaurya.hashnode.dev/colors-property-of-perception-not-inherent-in-the-object ) submitted by /u/himanshu_maurya [link] [comments]

Model checking over dynamic domains Posted: 05 Mar 2022 01:37 AM PST Hi, I am currently working on my thesis where i am advancing a model checker for (Dynamic Epistemic) logic using BDDs. I personally am wondering if there exists work on model checkers where the domain of the model can be extended without having to recompute the entire model. In my case this could be adding additional agents to the model, or additional (factual) propositions that the agents can have knowledge about. This would then require the model checker to also be able to reason over statements about potential agents/propositions, and thus : (current agents know A) =/= (current and every future agents know A) I have looked a bit into temporal logic model checking, but there also the information is considered complete at the start. Do you know what terminology i should search for? Or do you have any direct research work you can recommend me? Thanks. submitted by /u/dushiel [link] [comments]

hard questions in information system-: Posted: 06 Mar 2022 01:12 AM PST https://ioesolutions.esign.com.np/notes/text-notes-show/Scalable-and-Emerging-Information-System-Technique ​ https://drive.google.com/file/d/1qnsj5wUvQjdtXRIzF2YOxgNb2ZygS4uW/view these are the sources from where I am studying from question-: why information retrieval is considered as important in cloud unlike less important in other standalone and local Information system? Justify your answer with Information Retrieval scope and significance in within these 2 types of settings.. submitted by /u/SwarnaTrivedi [link] [comments]

New AI Platform Enabling Anyone To Create Content Posted: 05 Mar 2022 01:58 PM PST I am incredibly excited to be officially announcing the beta launch of my new startup Quasi! For those who don't know, Quasi is an online platform where people can utilize the power of AI to create anything they want with absolutely zero code. With Quasi, anyone can create, share, and sell AI-generated content. I truly believe that AI will play a huge role in the future of content creation and my co-founder and I want to build the platform that enables that. Whether you're a content creator or a content consumer, Quasi has something for you. Check us out at https://quasi.market/Home and feel free to message us with any questions, comments, and thoughts. submitted by /u/shantanuroy4141 [link] [comments]

Accessible entry for computational complexity theory through concrete problems Posted: 03 Mar 2022 11:29 PM PST submitted by /u/xTouny [link] [comments]

RAM and Turing Machines Posted: 02 Mar 2022 10:14 PM PST Hi, I was wondering if Turing machines or RAM can do operations over the rational numbers in polynomial time or less. I've done my research but I haven't found about it, just articles talking about real numbers in which I'm not interested. I already thought about the floating point numbers but I think it is not the same as the rational numbers because floating point numbers carry an error in each operation. I've also thought about having two registers of the RAM as numerator and the other as denominator, but in this scenario I need to simplify the fraction in each operation so I'm not sure if I can do that in polynomial time or less. submitted by /u/one_bit_dev [link] [comments]

You are subscribed to email updates from Computer Science: Theory and Application. To stop receiving these emails, you may unsubscribe now.	Email delivery powered by Google
Google, 1600 Amphitheatre Parkway, Mountain View, CA 94043, United States