Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

George Markowsky

dblp:17/295 · DBLP profile ↗
← Back
19ranked-venue papers
10as first author
1since 2021 · last 2023
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 9 · 5 first-authorSystems, architecture and hardware · 6 · 4 first-authorArtificial intelligence and machine learning · 2 · 1 since 2021Computer networks · 1 · 1 first-authorGraphics, computer vision, multimedia, augmented reality and games · 1 · 1 since 2021Applied, interdisciplinary, general and emerging computing · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
4 papers
Electronic design automation · 100%
Artificial intelligence
1 paper
Learning theory · 67% Time series and sequential data · 33%
Theoretical computer science
3 papers
Algorithms and data structures · 48% Computational complexity · 22% Logic in computer science · 15%
Computer networks
1 paper
Internet architecture and protocols · 77% Routing and switching · 23%

Topics — the 17 heaviest of 19, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Electronic design automation
hardware verification and test
0.041987
Bounding Signal Probabilities in Combinational Circuits · IEEE Trans. Computers 1987
Syndrome-Testability Can be Achieved by Circuit Modification · IEEE Trans. Computers 1981
The Weighted Syndrome Sums Approach to VLSI Testing · IEEE Trans. Computers 1981
Machine learning › Learning theory
online learning
0.011988
Learning Probabilistic Prediction Functions (Extended Abstract) · FOCS 1988
Machine learning › Learning theory › online learning
prediction with expert advice
0.011988
Learning Probabilistic Prediction Functions (Extended Abstract) · FOCS 1988
Machine learning › Time series and sequential data › time series modeling
probabilistic forecasting
0.011988
Learning Probabilistic Prediction Functions (Extended Abstract) · FOCS 1988
Electronic design automation › hardware verification and test
signal probability computation
0.011987
Bounding Signal Probabilities in Combinational Circuits · IEEE Trans. Computers 1987
Electronic design automation › hardware verification and test › combinational circuit testing
syndrome testing
0.021981
Syndrome-Testability Can be Achieved by Circuit Modification · IEEE Trans. Computers 1981
The Weighted Syndrome Sums Approach to VLSI Testing · IEEE Trans. Computers 1981
Internet architecture and protocols › naming and addressing
network addressing
0.011981
An Evaluation of Local Path ID Swapping in Computer Networks · IEEE Trans. Commun. 1981
Electronic design automation › hardware verification and test
VLSI testing
0.011981
The Weighted Syndrome Sums Approach to VLSI Testing · IEEE Trans. Computers 1981
Electronic design automation › hardware verification and test
fault diagnosis
0.011979
Diagnosing Single Faults in Fanout-Free Combinational Circuits · IEEE Trans. Computers 1979
Electronic design automation › hardware verification and test › fault diagnosis › fault model-based diagnosis
single fault diagnosis
0.011979
Diagnosing Single Faults in Fanout-Free Combinational Circuits · IEEE Trans. Computers 1979
Algorithms and data structures › data structure design
set representation
0.011978
Exact and Approximate Membership Testers · STOC 1978
Computational complexity
space complexity
0.011978
Exact and Approximate Membership Testers · STOC 1978
Logic in computer science
domain theory
0.011975
Bases for Chain-Complete Posets · FOCS 1975
Combinatorics and discrete mathematics
partial orders
0.011975
Bases for Chain-Complete Posets · FOCS 1975
Routing and switching › routing tables › routing table management
routing table reduction
0.011981
An Evaluation of Local Path ID Swapping in Computer Networks · IEEE Trans. Commun. 1981
Electronic design automation › hardware verification and test › fault detection
stuck-at fault detection
0.011981
Syndrome-Testability Can be Achieved by Circuit Modification · IEEE Trans. Computers 1981
Electronic design automation › hardware verification and test
combinational circuit testing
0.011979
Diagnosing Single Faults in Fanout-Free Combinational Circuits · IEEE Trans. Computers 1979

Methods — techniques the papers use, named apart from their topics

simplicity-accuracy tradeoff · 0.0design partitioning · 0.0analytical modeling · 0.0square root search · 0.0isotone maps · 0.0hashing · 0.0extension basis · 0.0expected access time analysis · 0.0binary search · 0.0approximate membership · 0.0
YearPublicationVenuePosition
2023 Is Performance Fairness Achievable in Presence of Attackers Under Federated Learning?
abstract
In the last few years, Federated Learning (FL) has received extensive attention from the research community because of its capability for privacy-preserving, collaborative learning from heterogeneous data sources. Most FL studies focus on either average performance improvement or the robustness to attacks, while some attempt to solve both jointly. However, the performance disparities across clients in the presence of attackers have largely been unexplored. In this work, we propose a novel Fair Federated Learning scheme with Attacker Detection capability (abbreviated as FFL+AD) to minimize performance discrepancies across benign participants. FFL+AD enables the server to identify attackers and learn their malign intent (e.g., targeted label) by investigating suspected models via top performers. This two-step detection method helps reduce false positives. Later, we introduce fairness by regularizing the benign clients’ local objectives with a variable boosting parameter that gives more emphasis on low performers in optimization. Under standard assumptions, FFL+AD exhibits a convergence rate similar to FedAvg. Experimental results show that our scheme builds a more fair and more robust model, under label-flipping and backdoor attackers, compared to prior schemes. FFL+AD achieves competitive accuracy even when 40% of the clients are attackers.
Ashish Gupta 0012, George Markowsky, Sajal K. Das 0001
ECAI2
2004 Approach to recognition of license plate numbers using neural networks
abstract
We considered an approach to identify vehicle through recognizing of it license plate using image fusion, neural networks and threshold techniques as well as some experimental results to recognize the license plate successfully.
Ihor Paliy, Volodymyr Turchenko, Vasyl Koval, Anatoly Sachenko, George Markowsky
IJCNN5
1991 Bounding fault detection probabilities in combinational circuits
George Markowsky
J. Electron. Test.1
1988 Learning Probabilistic Prediction Functions (Extended Abstract)
abstract
The question of how to learn rules, when those rules make probabilistic statements about the future, is considered. Issues are discussed that arise when attempting to determine what a good prediction function is, when those prediction functions make probabilistic assumptions. Learning has at least two purposes: to enable the learner to make predictions in the future and to satisfy intellectual curiosity as to the underlying cause of a process. Two results related to these distinct goals are given. In both cases, the inputs are a countable collection of functions which make probabilistic statements about a sequence of events. One of the results shows how to find one of the functions, which generated the sequence, the other result allows to do as well in terms of predicting events as the best of the collection. In both cases the results are obtained by evaluating a function based on a tradeoff between its simplicity and the accuracy of its predictions.>
Alfredo De Santis, George Markowsky, Mark N. Wegman
FOCS2
1987 Bounding Signal Probabilities in Combinational Circuits
abstract
In [2] Savir, Ditlow, and Bardell presented an algorithm for estimating the signal probability of a line in combinational circuits, but were unable to show that the algorithm always produced correct results. This paper shows that their algorithm for cutting reconvergent fan-out lines in a circuit eventually produces a circuit without reconvergent fan- out that can be used to estimate signal probabilities in all lines of the original circuit.
George Markowsky
IEEE Trans. Computers1
1983 On Sets of Boolean n -Projections Surjective
Ashok K. Chandra, Lawrence T. Kou, George Markowsky, Shmuel Zaks
Acta Informatica3
1983 Intersection-union systems
George Markowsky, Andrew Wohlgemuth
Discret. Appl. Math.1
1981 VLSI Self-Testing Based on Syndrome Techniques
Zeev Barzilai, Jacob Savir, George Markowsky, Merlin G. Smith
ITC3
1981 A Fast Algorithm for Steiner Trees
Lawrence T. Kou, George Markowsky, Leonard Berman
Acta Informatica2
1981 Best Huffman Trees
George Markowsky
Acta Informatica1
1981 The Weighted Syndrome Sums Approach to VLSI Testing
abstract
With the advent of VLSI, testing has become one of the most costly, complicated, and time consuming problems. The method of syndrome- testing is applicable toward VLSI testing since it does not require test generation and fault simulation. It can also be considered as a vehicle for self-testing. In order to employ syndrome-testing in VLSI, we electronically partition the chip into macros in test mode. The macros are then syndrome tested in sequence.
Zeev Barzilai, Jacob Savir, George Markowsky, Merlin G. Smith
IEEE Trans. Computers3
1981 Syndrome-Testability Can be Achieved by Circuit Modification
abstract
In [1] and [2] Savir developed many facets of syndrome-testing (checking the number of minterms realized by a circuit against the number realized by a fault-free version of that circuit) and presented evidence showing that syndrome-testing can be used in many practical circuits to detect all single faults. In some cases, where syndrome-testing did not detect all single stuck-at-faults, Savir showed that by the addition of a small number of additional "control" inputs and gates one would get a function which is syndrome-testable for all single stuck-at faults, and yet which realizes the original function when the "control" inputs are fed appropriate values. However, he left open the question of whether one could always modify a circuit to achieve syndrome-testability. In this correspondence we show that a combinatorial circuit can always be modified to produce a single-fault, syndrome-testable circuit.
George Markowsky
IEEE Trans. Computers1
1981 An Evaluation of Local Path ID Swapping in Computer Networks
abstract
This paper analyzes a method for identifying end-to-end connections in computer networks which is designed to provide reductions in the sizes of the packet headers and routing tables stored in the nodes. The method, known as Local Path ID Swapping, uses a shortened connection identifier, called the LPID, in the message headers and routing tables. In general, the LPID field is swapped in the message header from node to node along the path of the route. Some analytical results are presented for evaluating the important tradeoffs involved in LPID swapping. Most notable is the tradeoff between the size of the LPID field and the number of connections which can be defined in the network.
George Markowsky, Franklin H. Moss
IEEE Trans. Commun.1
1979 Search within a Page
abstract
Three famdies of strategies for orgamzmg an index of ordered keys are investigated It ~s assumed either that the index is small enough to fit m mam memory or that some superstrategy orgamzes the index into pages and that search within a page is being studied Examples of strategies within the three families are B-tree Search, Binary Search, and Square Root Search The expected access times of these and other strategies are compared, and their relative merits in different indexing situations are d,scussed and conjectured on Considering time and space costs and complexity of programming, it Is concluded that a Binary Search strategy is generally preferable
Ray Strong, George Markowsky, Ashok K. Chandra
J. ACM2
1979 Diagnosing Single Faults in Fanout-Free Combinational Circuits
abstract
We show how to construct, in a simple manner, a test set having n + 1 tests for a fanout-free combinational circuit with n primary inputs which distinguishes (diagnoses) nonequivalent single faults. This result is an improvement over the upper bound in [1, Theorem 3.9] of n + g (g is the number of primary input gates) and the upper bound in [3, Theorem 4], [5] of 2n for the least number of tests required to distinguish among nonequivalent single faults.
George Markowsky
IEEE Trans. Computers1
1978 Analysis of a Universal Class of Hash Functions
George Markowsky, Larry Carter, Mark N. Wegman
MFCS1
1978 Exact and Approximate Membership Testers
abstract
In this paper we consider the question of how much space is needed to represent a set. Given a finite universe U and some subset V (called the vocabulary), an exact membership tester is a procedure that for each element s in U determines if s is in V. An approximate membership tester is allowed to make mistakes: we require that the membership tester correctly accepts every element of V, but we allow it to also accept a small fraction of the elements of U - V.
Larry Carter, Robert W. Floyd, John Gill, George Markowsky, Mark N. Wegman
STOC4
1977 Categories of Chain-Complete Posets
George Markowsky
Theor. Comput. Sci.1
1975 Bases for Chain-Complete Posets
abstract
Given partially ordered sets (posets) P and Q, it is often useful to construct maps g:P→Q which are chain-continuous: least upper bounds (supremums) of nonempty linearly ordered subsets are preserved. Chaincontinuity is analogous to topological continuity and is generally much more difficult to verify than isotonicity: the preservation of the order relation. This paper introduces the concept of an extension basis: a subset B of P such that any isotone f:B→Q has a unique chain-continuous extension g:P→Q. Two characterizations of the chain-complete posets which have extension bases are obtained. These results are then applied to the problem of constructing an extension basis for the poset [P→Q] of chain-continuous maps from P to Q, given extension bases for P and Q. This is not always possible, but it becomes possible when a mild (and independently motivated) restriction is imposed on either P or Q. A lattice structure is not needed. Finally, we consider extension bases which can be recursively listed and derive a recently established theorem as a corollary.
George Markowsky, Barry K. Rosen
FOCS1