Aptipedia Tecknowlegies

Read articles, Questions and answers, Multiple choice questions, GATE Previous years questions papers with answer key, UGC-NET Old question papers with answer key about Computer Science and Information Technology

Pages

Home
Algorithms
Database
Data Structure
Digital Design
Discrete Maths
Networks
Operating System
Programming
TOC & Compiler

No posts with label Formal Method. Show all posts

Home

Subscribe to: Posts (Atom)

Search Aptipedia

Overall Pageviews

Blog Archive

► 2009 (51)
- ► April (8)
- ► May (1)
- ► June (1)
- ► July (1)
- ► August (7)
- ► September (6)
- ► October (15)
- ► November (7)
- ► December (5)

► 2010 (26)
- ► January (7)
- ► February (2)
- ► March (1)
- ► April (4)
- ► May (3)
- ► June (4)
- ► July (2)
- ► October (2)
- ► December (1)

► 2011 (4)
- ► March (2)
- ► April (1)
- ► May (1)

► 2012 (1)
- ► April (1)

► 2015 (13)
- ► January (1)
- ► May (8)
- ► June (4)

► 2017 (2)
- ► May (2)

► 2018 (5)
- ► April (5)

► 2020 (31)
- ► June (13)
- ► September (11)
- ► October (7)

► 2021 (24)
- ► August (6)
- ► September (13)
- ► October (4)
- ► November (1)

► 2022 (10)
- ► April (4)
- ► May (3)
- ► June (2)
- ► August (1)

▼ 2023 (3)
- ► May (2)
- ▼ June (1)
  - Generative Aritificial Intelligence and ChatGPT

Open your Demat account with Discount Broker & get rewarded

Zerodha Kite(Preferred app)

Other Pages

DOWNLOAD LECTURE NOTES & STUDY MATERIAL
DOWNLOAD OLD PAPERS OF GATE/NET/PSU/ETC.
GATE & UGC NET JRF SYLLABUS FOR 2021
GATE STUDY MATERIAL
IT FUNDAMENTALS (FOR IBPS, AO, PO, BANK EXAM)
POP QUIZ TIME
Algorithms
Database
Data Structure
Digital Design
Discrete Maths
Networks
Operating System
Programming
TOC & Compiler

Subscribe us

Enter your email address:

Delivered by FeedBurner

Contact Form

Name

Email *

Message *

Labels

Multiple Choice (36) Technical Interview (29) IT Fundamental (19) Java Technology (16) Computer Network (11) Operating System (10) DBMS / PL / SQL (6) CSMA (5) Data Structure (5) Ethernet Alliance (5) IEEE 802 (5) MAC layer (5) NRZ (5) Physical Coding Sublayer (5) Remember this (5) UTP (5) algorithm (5) dynamic programming (5) lan (5) transmission cable (5) ALOHA (4) Aptipedia Blog (4) Artificial Intelligence (4) C / C++ / OOPS (4) CSMA/CD (4) Data Communication (4) IaaS (4) MTU (4) PDU (4) PaaS (4) SaaS (4) Software Engg. (4) cloud computing (4) data science (4) database (4) machine learning (4) space complexity (4) time complexity (4) .NET Technology (3) Big Data (3) Big Data Computing (3) Candidate key (3) JAVA (3) Linux / Unix (3) MapReduce (3) Metadata (3) Primary key (3) ZooKeeper (3) basic computer quiz (3) computer aptitude (3) multiprogramming (3) process state transition diagram (3) recursion (3) Accounting (2) Algorithmic Solution (2) Attribute (2) Automatic job sequencing (2) Binary operator (2) Cassandra (2) Data Dictionary (2) Data analytics (2) Data security (2) Foreign key (2) HBase (2) HDFS (2) Hadoop MapReduce (2) INTERNET (2) Interrupt Handling (2) K-means clustering (2) Longest Common Subsequence (2) Memory Management (2) Micro Processor (2) NaaS (2) Network Model (2) ORACLE (2) PCB (2) Processor management (2) QUANTUM COMPUTING (2) Race condition (2) Relational calculus (2) Round-robin (2) SCM audit (2) SEO (2) SQL (2) Scala (2) Store-and-forward (2) Symbol Table (2) Ternary operator (2) Unary operator (2) advance java (2) aptitude (2) asymptotic notation (2) binary search (2) brute force (2) chatgpt (2) coding (2) creative commons (2) deadlock (2) divide and conquer (2) dma (2) efficiency (2) fifo (2) function point (2) gsm (2) hypervisor (2) lan topologies (2) line of code (2) loc (2) maintainability (2) merge sort (2) multitasking (2) nptel (2) open access publishing (2) problem statement (2) program and process (2) programming (2) project (2) pseudocode (2) python (2) qubit (2) recursive (2) semaphores (2) srs (2) swayam (2) technical review (2) testing (2) traveling salesman problem (2) tuple (2) union (2) version control (2) worst case (2) 8086 (1) 8237 (1) 8251 (1) 8253 (1) 8254. flag register (1) 8255 (1) 8257 (1) 8259 (1) 8279 (1) A.I. (1) ABSTRACT (1) ACM (1) AI (1) AI chatbot (1) AJAX (1) AODV (1) ARNET (1) Aadhar card (1) Access to the right data (1) Accessories (1) Active routing protocols (1) Ad hoc (1) Address operator (1) Advertisement on digital platform (1) Alan Turing (1) Alternate key (1) Amortized Analysis (1) Analytical Research (1) Analytics and Cloud (1) Apache Spark (1) Apache Spark GraphX (1) Apache Sqoop (1) Application Program Interface (1) Applied Research (1) Array (1) Arrays (1) Assembler (1) Association for artificial intelligence (1) Automatic Programming (1) Availability (1) B-Tree File (1) BCNF (1) Banner (1) Bell-LaPadula Model (1) Best-first-search. (1) Biba Model (1) Big Data Computing: Quiz Assignment-I Solutions (1) Big Data Computing: Quiz Assignment-II Solutions (Week-2) (1) Big Oh! notation (1) Binary search trees (1) Brewer and Nash Model (1) Bubble sort (1) Business Analytics (1) C/C++/C# (1) CAP Theorem (1) CAT (1) CDMA (1) CHOMSKY HIERARCHY (1) CLASS (1) CONSTRUCTOR (1) CONTEXT FREE LANGUAGE (1) CONTEXT SENSITIVE LANGUAGE (1) COVID-19 disease (1) Camp Network (1) Cartesian product (1) Case Studies (1) Cassandra uses a protocol (1) Chi-square test (1) Child Pornography (1) Clark Wilson Model (1) Cloud (1) Cloud Management (1) Cognitive Analytics (1) Column families (1) Column-oriented (1) Compilation error (1) Complete binary tree (1) Complexity and Capacity (1) Computation Model Limitation (1) Conceptual level data hiding (1) Conceptual view (1) Conclusive Research (1) Concurrency control (1) Concurrent process (1) Connector (1) Consistency (1) Convoy effect (1) Covid epidemic (1) Cracking (1) Credit Card Fraud Detection (1) Criminal hackers (1) Critical region (1) Customer Churn Prediction (1) Customer Segmentation (1) Cyber Law (1) Cyber Squatting (1) Cyber Terrorism (1) Cyber Vandalism (1) Cyber Warfare (1) Cyber-Stalking (1) D-Wave (1) DDL interpreter (1) DKNF (1) DML compiler (1) DMTF (1) DOAJ (1) Daisy chain (1) Data Cleansing (1) Data Science applications (1) Data Science using Python (1) Data Structures in Data Science (1) Data Structures in Python (1) Data Warehouse (1) Data definition language (1) Data dictionary and query language (1) Data fragmentation (1) Data inference (1) Data integration (1) Data segregation (1) Data tiering (1) Data visualization (1) DataFrame (1) David Deutsch (1) Decision (1) Decision Table (1) Descriptive Research (1) Desktop Manager (1) Diamond (1) Dictionary (1) Digilocker (1) Digital India program (1) Digital infrastructure (1) Dimensionality reduction (1) Dirty read (1) Divide and Merge operation (1) Domain (1) DynamoDb (1) E-R Model (1) ECIL (1) EVM (1) Edge computing (1) Effects of mobile phones on human body (1) Email Subscription (1) Embedded SQL (1) Entity set (1) Entity-relationship diagram (1) Equi Join (1) Expert consulting systems (1) Exploratory Research (1) External commands (1) External level data hiding (1) External view (1) FINITE STATE AUTOMATA (1) FLOWCHART (1) FORMAL LANGUAGES (1) Facebook (1) Federal Communication Commission (1) Fermat's Last Theorem (1) Fibonacci sequence (1) Fields (1) File Manager (1) First-Come-First-Serve (1) Flowline (1) Flume (1) Formal Method (1) Formal Specification (1) Functional dependency (1) Fundamental Research (1) GFS (1) Global System for Mobile (1) Globalism (1) Goal-based agents (1) Gold open access (1) Google App Engine (1) Google Apps (1) Gossip (1) Gradient Boosting (1) GraphX (1) Greedy algorithm (1) Green open access (1) HCL (1) HDD (1) HMaster (1) HTML (1) Hacking (1) Hadoop (1) Hadoop Common (1) Hadoop Distributed File System (HDFS) (1) Hadoop YARN (1) Hard Disc Drive (1) Harrison Ruzzo Ullman Model (1) Hashed File (1) Haskell (1) Heaps (1) Heartbeats (1) Heuristic Solution (1) Higher Order Logic (1) Home Area Network (1) Huffman coding (1) Hybrid routing protocol (1) IBM InfoSphere (1) IMEI (1) IP addresses (1) IPV4 (1) IT job (1) IT professional (1) Idaas (1) Impala (1) Increasing the speed of the CPU (1) Index sequential (1) Indexed File (1) Information Gain (1) Infrastructure as a Service (1) Instance (1) Instruction decode (1) Instruction fetch (1) Integrating data (1) Internal commands (1) Internal view (1) Internet of things (1) Internet-based mobile ad hoc network (1) IoT (1) Ionizing radiation (1) JOIN (1) John McCarthy (1) Join the social networking site (1) Julia (1) Kafka Core (1) Kafka Streams (1) Kafka broker (1) Knowing the knowledgebase (1) LISP (1) LRU (1) LRU is too inefficient to implement in practice (1) LSTM (1) LTE (1) Larch (1) Least Recently Used (1) Leave-One-Out (1) Linked allocation (1) Linked lists (1) Linker (1) List (1) Literal means (1) Loader (1) Local Area Network (1) Log (1) Long term scheduler (1) MAC (1) MLlib (1) MMS (1) Macro definition table (1) Matlab (1) Matrix (1) Matrix Chain Multiplication (1) Medium term scheduler (1) Meta Language (1) MetaTag (1) Metropolitan Area Network (1) Microsoft Office 365 (1) Microsoft SQL (1) Miscellaneous (1) Mobile Ad Hoc Network (1) Mobility (1) Model-based reflex agents; (1) Multivalued dependency (1) Mutual exclusion (1) MySQL (1) NASSCOM (1) NIC (1) NIELIT (1) Nature Language Process (1) Network Reconnaissance (1) Network-as-a-service (1) NoSQL (1) Non-ionizing radiation (1) OBJECT (1) ODCA (1) OGF (1) OSI (1) Obscene Material (1) Omega (Ω) notation (1) Online Advertising (1) Online Gambling (1) Open Access journals (1) Open Port (1) Optimal page (1) Oracle Data Service Integrator (1) PJNF (1) POLYMORPHISM (1) PUSH DOWN AUTOMATA (1) Page Rank (1) Parameter Servers (1) Partition tolerance (1) Passive and active (1) Pearson Chi-square test (1) Petri Nets (1) Physical View (1) Pivot element (1) Platform as a Service (1) Post-COVID World (1) Priority queues (1) Problem (1) Process Control (1) Process name (1) Processing (1) Promote your blog or website (1) Python Programming (1) QUBIT CONTROL (1) QUBITS (1) Qualitative Research (1) Quantitative Research (1) Quantum Communication (1) Quantum cryptography (1) Query (1) Quick Test Professional (1) Quorum strategy. Eventual Consistency (1) R (1) RAID level (1) REGULAR LANGUAGE (1) REST (1) Random Forest MODEL (1) Reactive routing protocol (1) Records (1) Recurrence equation (1) Region (1) Region Server (1) Regressive model of Machine Learning (1) Relation (1) Relational algebra (1) Reliability (1) Resilient Distributed Datasets (1) Response time (1) Richard Feynman (1) Robotics (1) Round Robin (1) Round Robin Scheduling (1) SAS (1) SELECT (1) SHERPA-RoMEO (1) SIM (1) SMAC (1) SMS (1) SOAP (1) SSD (1) Sales Forecasting (1) Scheduler process (1) Search (1) Search on Internet (1) Searching Techniques (1) Self Join (1) Sequential file (1) Series (1) Service Identification (1) Service identification and system identification (1) Shadow paging (1) Shor's algorithm (1) Short term scheduler (1) Shortest job first Scheduling (1) Shortest-Seek-time-first (1) Shortest-job First. (1) Shor’s algorithm (1) Simple and Complex (1) Simple reflex agents; (1) Smart Phone Ad Hoc Networks (1) Social (1) Software as a Service (1) Solid State Drive (1) Spark streaming (1) Specific Absorption Rate (1) Spooler (1) Standard Meta-Language (1) Submit RSS Feed (1) Submit URL to Directory (1) Submit to Search Engine (1) Super key (1) Surveys (1) Sybase (1) System call (1) Systems for recommendation (1) TCS (1) THEORY OF COMPUTATION (1) TLB makes translating virtual address to physical address faster (1) TURING MACHINE (1) Table Structure (1) Teckaptipedia (1) Time and space (1) Total and partial (1) Traffic probe (1) Turing Machines (1) Turnaround time (1) Turnitin (1) Turnitin similarity (1) Turnitin similarity check (1) Two-phase commit (1) UIM (1) UMTS (1) UNESCO (1) UNIX device driver (1) Understanding Port and Services tools (1) Unique key (1) Use reciprocal links (1) Utilities (1) Utility-based agents. (1) VHDL (1) VIPER and AAMP5 processors (1) VM control (1) Valence (1) Vector (1) Vehicle Ad Hoc Network (1) Veracity (1) Virtual memory (1) Virus (1) Vulnerability scanning (1) Vulnerability testing (1) WCDMA (1) Waiting time (1) Wide Area Network (1) Windows Explorer (1) Word Processing (1) World Health Organization (1) YARN (1) a star (1) adjacent matix hashing function (1) algorithm design methods (1) algorithms and technologies (1) alternate hypothesis (1) amazon EC2 (1) amazon cloud (1) amazon web services (1) and Python (1) attribute. (1) augmented transition network (1) automata (1) automatic (1) average case (1) b star (1) backtracking (1) bard (1) base table (1) best case (1) bfs (1) bigdata (1) binary (1) binary tree (1) bitwise operator (1) blocking factor (1) boolean (1) case analysis (1) chromatic number (1) cloud implementation (1) cloud security (1) cloud services (1) combinational circuit (1) compaction (1) comparison operator (1) compiler dependent (1) compiler design (1) complexity (1) computer job (1) computer science and information tehcnology (1) consistency in SQL (1) container (1) context free (1) context sensitive (1) contract cheating (1) copyright (1) core java (1) covid hotspots (1) covid vaccination (1) critical section (1) cybercriminals (1) dall-e (1) data lifecycle management (1) data processing (1) data redundancy (1) data volume (1) database administrator (DBA) (1) database language (1) database modification technique (1) deep learning (1) defragmentation (1) degree. (1) delay (1) demand paging (1) demorgan law (1) dfs (1) digital electronics (1) discrete (1) disk availability (1) disk durability (1) disk reliability (1) distinct values (1) domain. (1) dynamic memory allocation (1) eKranti (1) effective access time (1) elastic computing (1) elsevier (1) emergency fund (1) enum variable (1) establish identity (1) existensial (1) external (1) finite state (1) firewall (1) first step in solving the problem (1) flip flip (1) for factor (1) full outer join (1) gai (1) garbage value (1) gate (1) gate cs paper (1) gate model paper (1) generative aritifical intelligence (1) global variable (1) google file system (1) gpt (1) gpt-3 (1) gpt-4 (1) grammar (1) graph color (1) graph parallel computations (1) graph traversal (1) graphical or pictorial representation (1) greedy (1) greedy approach (1) group anomaly (1) hadoop file system (1) hash (1) hash function (1) hexadecimal (1) hold and wait (1) hybrid cloud (1) iDEN (1) identity as service (1) incident response (1) infosys (1) inner join (1) intersection (1) inverted page table (1) ip address (1) j2ee interview quesitons (1) java 2 enterprise (1) java server pages (1) java thread (1) javabeans (1) jsp (1) knapsack (1) knowledgebase (1) lamda (1) last step in solving the problem (1) learning agents (1) left outer join (1) library function (1) lifo (1) linear bounded (1) linear search (1) linked list (1) literals values (1) lockdown (1) logivc (1) long-term scheduling (1) loop (1) macroprocessor (1) manet (1) mashup (1) matrix multiplication (1) medium-term (1) memory allocation (1) microprocessor (1) microsoft azure (1) minimal spanning tree (1) model gate cs paper (1) model paper (1) modularity (1) multi tenant (1) multithreading (1) multivalue dependency (1) mutable (1) natural join (1) natural language (1) natural language processing (1) negative number (1) network security (1) network traffic (1) non-verbal reasoning (1) normal form (1) null hypothesis (1) numpy (1) objective type (1) open access licensing (1) outsourcing (1) packet filter (1) pandas (1) php (1) php and mysql (1) pic (1) pigeon hole principle (1) pit (1) plagiarism (1) plagiarism check (1) pointer factor (1) port numbers (1) post-pandemic (1) power set (1) ppi (1) program in execution (1) programming model (1) protocol (1) pseudo code (1) pushdown (1) quantifier (1) quantitative aptitude (1) quantum mechanics (1) quantum physics (1) queen problem (1) query language (1) queue (1) queuing (1) quick sort (1) rationale (1) record lock (1) recursive enumerable (1) regular (1) relational database (1) research article (1) right outer join (1) running time (1) salami-slicing (1) scalability (1) search engine optimization (1) searching (1) segment field (1) selection sort (1) semaphore (1) sequential circuit (1) servlet (1) set operation (1) short-term scheduling (1) similarity check (1) similarity report (1) similarity score (1) software (1) software engineer (1) software job (1) solving problem (1) sorting (1) speed (1) stack (1) state transition (1) storage unit (1) string matching (1) strong entity (1) structure (1) subschema (1) superkey (1) system programming (1) table (1) threading (1) toggle (1) transaction T (1) transaction in the database (1) transition function (1) transition table (1) tsp (1) tuple. (1) tuples (1) turing machine (1) universal (1) usart (1) user defined function (1) validating the analytical model (1) velocity and veracity (1) verbal reasoning (1) version check (1) virtual table (1) virtualization (1) virtulization (1) volume (1) vulnerability management (1) weak entity (1) weak relationship (1) web technology (1) wipro (1)

My Research Pages

My Research Profile

Join for more...

IndiaStudyChannel
Youtube Channel
Facebook Page

Aptipedia Tecknowledgies Since 2009. Theme images by luoman. Powered by Blogger.