Query: An LTCC-based 35-GHz substrate-integrated-waveguide bandpass filter

Relevant passages:
A single-layer folded substrate integrated waveguide (SIW) filter <=SEP=> A novel single-layer folded filter using the substrate integrated waveguide (SIW) technique is presented in this paper. A prototype at X-band for the proposed filter has been fabricated using standard printed-circuit-board (PCB) process, and is measured with a vector network analyzer (VNA). The measured results show the proposed filter has a narrow band-pass bandwidth, small insert loss and good frequency selective performances. The proposed filter has a compact size and it is suitable for designing microwave and millimeter-wave circuits.

A broadband substrate integrated waveguide (SIW) filter <=SEP=> An eleven-stage broadband SIW filter has been designed, fabricated and measured. The measured results show that the SIW filter can be operated from 9.25 GHz to 11.25 GHz with good selectivity performance. The filter has a small size, low weight, and can be integrated with other SIW components without any transitions. It's suitable for the design of microwave and millimeter wave integrated circuits

Substrate Integrated Waveguide-to-Microstrip Transition in Multilayer Substrate <=SEP=> This paper presents a novel transition between a microstrip line and a substrate integrated waveguide (SIW) in a multilayer substrate design environment. In order to achieve a low-loss broadband response, the transition, consisting of a tapered or multisectional ridged SIW and a tapered microstrip line, is modeled and designed by simultaneously considering both impedance matching and field matching. Characteristic impedance and guided wavelength calculated by using closed-form expressions based on a transverse resonant method are used to develop our design procedure. Effective broad bandwidth is obtained in two examples developed in this study, which are validated with simulated and measured results. This transition provides a simple way to design substrate integrated circuits with buried microstrip circuits in the multilayer substrate in which any ratio of impedance transform can be anticipated.

Integrated transition of coplanar to rectangular waveguides <=SEP=> Usual transitions between planar circuit and rectangular waveguide make use of 3-D complex mounting structures. Such an integration requires costly high precision mechanical alignment, In this paper, a new planar platform is developed in which a coplanar waveguide (CPW) and a rectangular waveguide are fully integrated on the same substrate, and they are interconnected via a simple transition. They can be built with a standard PCB process. Our experiments at 28 GHz show that an effective bandwidth of 7% at 15 dB return loss can easily be achieved. The CPW-to-waveguide transition allows for a complete integration of waveguide components on substrate with active components such as MMIC.

The substrate integrated circuits - a new concept for high-frequency electronics and optoelectronics <=SEP=> A new generation of high-frequency integrated circuits is presented, which is called substrate integrated circuits (SICs). Current state-of-the-art of circuit design and implementation platforms based on this new concept are reviewed and discussed in detail. Different possibilities and numerous advantages of the SICs are shown for microwave, millimeter-wave and optoelectronics applications. Practical examples are illustrated with theoretical and experimental results for substrate integrated waveguide (SIW), substrate integrated slab waveguide (SISW) and substrate integrated nonradiating dielectric (SINRD) guide circuits. Future research and development trends are also discussed with reference to low-cost innovative design of millimeter-wave and optoelectronic integrated circuits.

Biologically Plausible, Human-Scale Knowledge Representation <=SEP=> Several approaches to implementing symbol-like representations in neurally plausible models have been proposed. These approaches include binding through synchrony (Shastri & Ajjanagadde, ), "mesh" binding (van der Velde & de Kamps, ), and conjunctive binding (Smolensky, ). Recent theoretical work has suggested that most of these methods will not scale well, that is, that they cannot encode structured representations using any of the tens of thousands of terms in the adult lexicon without making implausible resource assumptions. Here, we empirically demonstrate that the biologically plausible structured representations employed in the Semantic Pointer Architecture (SPA) approach to modeling cognition (Eliasmith, ) do scale appropriately. Specifically, we construct a spiking neural network of about 2.5 million neurons that employs semantic pointers to successfully encode and decode the main lexical relations in WordNet, which has over 100,000 terms. In addition, we show that the same representations can be employed to construct recursively structured sentences consisting of arbitrary WordNet concepts, while preserving the original lexical structure. We argue that these results suggest that semantic pointers are uniquely well-suited to providing a biologically plausible account of the structured representations that underwrite human cognition.

Poststroke fatigue: a 2-year follow-up study of stroke patients in Sweden. <=SEP=> BACKGROUND AND PURPOSE
Fatigue is common among stroke patients. This study determined the prevalence of fatigue among long-term survivors after stroke and what impact fatigue had on various aspects of daily life and on survival.


METHODS
This study was based on Riks-Stroke, a hospital-based national register for quality assessment of acute stroke events in Sweden. During the first 6 months of 1997, 8194 patients were registered in Riks-Stroke, and 5189 were still alive 2 years after the stroke. They were followed up by a mail questionnaire, to which 4023 (79%) responded. Patients who reported that they always felt depressed were excluded.


RESULTS
To the question, "Do you feel tired?" 366 (10.0%) of the patients answered that they always felt tired, and an additional 1070 (29.2%) were often tired. Patients who always felt tired were on average older than the rest of the study population (74.5 versus 71.5 years, P<0.001); therefore, all subsequent analyses were age adjusted. Fatigue was an independent predictor for having to move into an institutional setting after stroke. Fatigue was also an independent predictor for being dependent in primary activities of daily living functions. Three years after stroke, patients with fatigue also had a higher case fatality rate.


CONCLUSIONS
Fatigue is frequent and often severe, even late after stroke. It is associated with profound deterioration of several aspects of everyday life and with higher case fatality, but it usually receives little attention by healthcare professionals. Intervention studies are needed.

Microcontroller Based Fan Speed Regulator with Continuous Monitoring using LCD Display <=SEP=> Design and implementation of Microcontroller based automatic Fan speed regulator using temperature sensor is represented here. Most of the available Fans today are controlled manually by voltage regulators which have different stages of speed. During summer nights, especially the room temperature is initially quite high, as time passes, the temperature starts dropping. Also, after a person falls asleep, the metabolic rate of one’s body decreases, and one is expected to wake up from time to time to adjust the speed of the Fan. Many people who are disabled / physically challenged persons are affected the most because of the inconveniences associated in changing the Fan speed level manually when the room temperature changes. So, an efficient automatic Fan speed control system that automatically changes the speed level according to the change in environment / room temperature which is more comfortable than manual system. This project has been designed in such a way that the required components are available in local market. Therefore an indigenous low cost control scheme has been developed which can be used in real life application.

Development of an Autonomous Remote Access Water Quality Monitoring System <=SEP=> Due to the vast increase in global industrial output, rural to urban drift and the over-utilization of land and sea resources, the quality of water available to people has deteriorated greatly. Before the sensor based approach to water quality monitoring, water quality was tested by collecting the samples of water and experimentally analyzing it in the laboratories. However, in today, with time being a scarce resource, the traditional method of water quality testing is not efficient anymore. To tackle this issue, several electronic (microcontroller and sensor based) water quality monitoring systems were developed in the past decade. However, an in depth study of this current water quality testing technology shows that there are some limitations that should be taken into consideration. Therefore, an automatic, remote, and low cost water quality monitoring system has been developed. This system consists of a core microcontroller, multiple sensors, GSM module, LCD display screen, and an alarm subsystem. The quality of water is read from the physical world through the water quality testing sensors and sent to the microcontroller. The data is then analyzed by the microcontroller and the result is displayed on the LCD screen on the device. At the same time, another copy of the sensor readings is sent remotely to the user’s mobile phone in the form of SMS. If an abnormal water quality parameter is detected by any sensor, the alarm system will turn on the respective red LED for that parameter and the buzzer will give warning sound. At the same time, the abnormality of the water parameter is reported to the user through SMS. The system is aimed to be used for wide applications and by all categories of users. It can facilitate the process of water quality monitoring autonomously and with low cost; to help people improve their quality of drinking water, household water supplies and aquaculture farms, especially in rural areas where residents do not have access to standardized water supply and suffer from different diseases caused by contaminated water.

From checking on to checking in: designing for low socio-economic status older adults <=SEP=> In this paper we describe the design evolution of a novel technology that collects and displays presence information to be used in the homes of older adults. The first two iterations, the Ambient Plant and Presence Clock, were designed for higher socio-economic status (SES) older adults, whereas the Check-In Tree was designed for low SES older adults. We describe how feedback from older adult participants drove our design decisions, and give an in-depth account of how the Check-In Tree evolved from concept to a final design ready for in situ deployment.

Analyzing Enterprise Architecture in National Governments: The Cases of Denmark and the Netherlands <=SEP=> National enterprise architectures (NEA) promise to fill the gap between policy and implementation. NEAs are embedded within an institutional environment consisting of active players capable of responding strategically and innovatively to architectural initiatives, which might complicate NEA adoption. In this paper we analyze the efforts of two European national governments in developing enterprise architecture. Grounded in institutional theory and practice we develop an analytical framework and use this framework to analyze the efforts of two countries, Denmark and the Netherlands. Our framework and analysis draws the attention to the need to take a broader perspective on enterprise architecture, especially governance aspects determine the adoption and diffusion of NEA

A Cross Tenant Access Control (CTAC) Model for Cloud Computing: Formal Specification and Verification <=SEP=> Sharing of resources on the cloud can be achieved on a large scale, since it is cost effective and location independent. Despite the hype surrounding cloud computing, organizations are still reluctant to deploy their businesses in the cloud computing environment due to concerns in secure resource sharing. In this paper, we propose a cloud resource mediation service offered by cloud service providers, which plays the role of trusted third party among its different tenants. This paper formally specifies the resource sharing mechanism between two different tenants in the presence of our proposed cloud resource mediation service. The correctness of permission activation and delegation mechanism among different tenants using four distinct algorithms (activation, delegation, forward revocation, and backward revocation) is also demonstrated using formal verification. The performance analysis suggests that the sharing of resources can be performed securely and efficiently across different tenants of the cloud.

Applying Deep Learning to Better Predict Cryptocurrency Trends <=SEP=> In this paper, we will create deep learning models using the Python library, Keras, to make predictions on Bitcoin. We designed two neural networks to make similar predictions with important differences. In our first approach, we created a simple neural net with one input layer and an additional dropout layer to generate a continuous value. This continuous value is the predicted price of the Bitcoin a week from the given input. For the second model, we attempted to predict whether or not the price of the Bitcoin would go up 3%, stay within 3%, or go down 3% a week from a given date. Instead of returning a single continuous value, the result contains an array of three values. Each value is a percentage of the likelihood that it will either go up 3%, stay within 3%, or go down 3%. We approached designing the models using many different optimizers, activation functions, number of neurons, and various quantities of layers before settling on the final models. We also compared three different optimizers for each problem: Stochastic Gradient Descent (SGD), Adam, and RMSProp. We compared the results of all three optimizers to determine which one was the most effective at creating the most accurate model.

Using ontologies to improve semantic interoperability in health data. <=SEP=> The present-day health data ecosystem comprises a wide array of complex heterogeneous data sources. A wide range of clinical, health care, social and other clinically relevant information are stored in these data sources. These data exist either as structured data or as free-text. These data are generally individual person-based records, but social care data are generally case based and less formal data sources may be shared by groups. The structured data may be organised in a proprietary way or be coded using one-of-many coding, classification or terminologies that have often evolved in isolation and designed to meet the needs of the context that they have been developed. This has resulted in a wide range of semantic interoperability issues that make the integration of data held on these different systems changing. We present semantic interoperability challenges and describe a classification of these. We propose a four-step process and a toolkit for those wishing to work more ontologically, progressing from the identification and specification of concepts to validating a final ontology. The four steps are: (1) the identification and specification of data sources; (2) the conceptualisation of semantic meaning; (3) defining to what extent routine data can be used as a measure of the process or outcome of care required in a particular study or audit and (4) the formalisation and validation of the final ontology. The toolkit is an extension of a previous schema created to formalise the development of ontologies related to chronic disease management. The extensions are focused on facilitating rapid building of ontologies for time-critical research studies.

Generating Responses Expressing Emotion in an Open-domain Dialogue System <=SEP=> Neural network-based Open-ended conversational agents automatically generate responses based on predictive models learned from a large number of pairs of utterances. The generated responses are typically acceptable as a sentence but are often dull, generic, and certainly devoid of any emotion. In this paper we present neural models that learn to express a given emotion in the generated response. We propose four models and evaluate them against 3 baselines. An encoder-decoder framework-based model with multiple attention layers provides the best overall performance in terms of expressing the required emotion. While it does not outperform other models on all emotions, it presents promising results in most cases.

Aging in Place: Self-Care in Smart Home Environments <=SEP=> 

Horse Racing Prediction Using Artificial Neural Networks <=SEP=> Artificial Neural Networks (ANNs) have been applied to predict many complex problems. In this paper ANNs are applied to horse racing prediction. We employed Back-Propagation, Back-Propagation with Momentum, QuasiNewton, Levenberg-Marquardt and Conjugate Gradient Descent learning algorithms for real horse racing data and the performances of five supervised NN algorithms were analyzed. Data collected from AQUEDUCT Race Track in NY, include 100 actual races from 1 January to 29 January 2010. The experimental results demonstrate that NNs are appropriate methods in horse racing prediction context. Results show that BP algorithm performs slightly better than other algorithms but it needs a longer training time and more parameter selection. Furthermore, LM algorithm is the fastest. Key-Words: Artificial Neural Networks, Time Series Analysis, Horse Racing Prediction, Learning Algorithms, BackPropagation

CellDesigner: a process diagram editor for gene-regulatory and biochemical networks <=SEP=> Systems biology is characterized by synergistic integration of theory, computational modeling, and experiment. Though software infrastructure is one of the most critical components of systems biology research, there has been no common infrastructure or standard to enable integration of computational resources. To solve this problem, the Systems Biology Markup Language (SBML) [2] and Systems Biology Workbench (SBW) have been developed. A number of simulation and analysis software packages already support SBML and SBW, or are in the process to support it. An identification of logic and dynamics of gene-regulatory and biochemical networks is a major challenge of systems biology. We believe that such network building tools and simulation environments using standardized technologies play an important role in software platform of systems biology. As one of the approaches, we have developed CellDesigner [1], which is a process diagram editor for gene-regulatory and biochemical networks.

SVMs — a practical consequence of learning theory <=SEP=> Bernhard Schölkopf, GMD First Is there anything worthwhile to learn about the new SVM algorithm, or does it fall into the category of “yet-another-algorithm,” in which case readers should stop here and save their time for something more useful? In this short overview, I will try to argue that studying support-vector learning is very useful in two respects. First, it is quite satisfying from a theoretical point of view: SV learning is based on some beautifully simple ideas and provides a clear intuition of what learning from examples is about. Second, it can lead to high performances in practical applications. In the following sense can the SV algorithm be considered as lying at the intersection of learning theory and practice: for certain simple types of algorithms, statistical learning theory can identify rather precisely the factors that need to be taken into account to learn successfully. Real-world applications, however, often mandate the use of more complex models and algorithms—such as neural networks—that are much harder to analyze theoretically. The SV algorithm achieves both. It constructs models that are complex enough: it contains a large class of neural nets, radial basis function (RBF) nets, and polynomial classifiers as special cases. Yet it is simple enough to be analyzed mathematically, because it can be shown to correspond to a linear method in a high-dimensional feature space nonlinearly related to input space. Moreover, even though we can think of it as a linear algorithm in a high-dimensional space, in practice, it does not involve any computations in that high-dimensional space. By the use of kernels, all necessary computations are performed directly in input space. This is the characteristic twist of SV methods—we are dealing with complex algorithms for nonlinear pattern recognition, 1 regression, 2 or feature extraction,3 but for the sake of analysis and algorithmics, we can pretend that we are working with a simple linear algorithm. I will explain the gist of SV methods by describing their roots in learning theory, the optimal hyperplane algorithm, the kernel trick, and SV function estimation. For details and further references, see Vladimir Vapnik’s authoritative treatment, 2 he collection my colleagues and I have put together, 4 and the SV Web page at http://svm. first.gmd.de.

Off-Line Arabic Character Recognition – A Review <=SEP=> Off-line recognition requires transferring the text under consideration into an image file. This represents the only available solution to bring the printed materials to the electronic media. However, the transferring process causes the system to lose the temporal information of that text. Other complexities that an off-line recognition system has to deal with are the lower resolution of the document and the poor binarisation, which can contribute to readability when essential features of the characters are deleted or obscured. Recognising Arabic script presents two additional challenges: orthography is cursive and letter shape is context sensitive. Certain character combinations form new ligature shapes, which are often font-dependent. Some ligatures involve vertical stacking of characters. Since not all letters connect, word boundary location becomes an interesting problem, as spacing may separate not only words, but also certain characters within a word. Various techniques have been implemented to achieve high recognition rates. These techniques have tackled different aspects of the recognition system. This review is organised into five major sections, covering a general overview, Arabic writing characteristics, Arabic text recognition system, Arabic OCR software and conclusions.

Broadband design of substrate integrated waveguide to stripline interconnect <=SEP=> A broadband design of substrate integrated waveguide (SIW) to stripline interconnects is presented for the first time. The transition shows a wideband performance and, contrary to microstrip and coplanar waveguide circuitry, interconnects two planar transmission-line media that are both capable of medium-level power handling capabilities. Over a bandwidth of 18 GHz to 28 GHz (43.4 percent), the single interconnect shows a worst-case return loss of 24 dB and maximum insertion losses of 0.44 dB. For a back-to-back connection, the return loss reduces to 19 dB and insertion loss increases to 0.87 dB. All dimensional parameters are specified, and the design is validated by two commercially available field-solver packages. Moreover, field plots are presented that highlight the step-by-step mode conversion from SIW to stripline.

Build watson: An overview of DeepQA for the Jeopardy! Challenge <=SEP=> Computer systems that can directly and accurately answer peoples' questions over a broad domain of human knowledge have been envisioned by scientists and writers since the advent of computers themselves. Open domain question answering holds tremendous promise for facilitating informed decision making over vast volumes of natural language content. Applications in business intelligence, healthcare, customer support, enterprise knowledge management, social computing, science and government would all benefit from deep language processing. The DeepQA project (www.ibm.com/deepqa) is aimed at illustrating how the advancement and integration of Natural Language Processing (NLP), Information Retrieval (IR), Machine Learning (ML), massively parallel computation and Knowledge Representation and Reasoning (KR&R) can greatly advance open-domain automatic Question Answering. An exciting proof-point in this challenge is to develop a computer system that can successfully compete against top human players at the Jeopardy! quiz show (www.jeopardy.com). Attaining champion-level performance Jeopardy! requires a computer to rapidly answer rich open-domain questions, and to predict its own performance on any given category/question. The system must deliver high degrees of precision and confidence over a very broad range of knowledge and natural language content and with a 3-second response time. To do this DeepQA generates, evidences and evaluates many competing hypotheses. A key to success is automatically learning and combining accurate confidences across an array of complex algorithms and over different dimensions of evidence. Accurate confidences are needed to know when to "buzz in" against your competitors and how much to bet. Critical for winning at Jeopardy!, High precision and accurate confidence computations are just as critical for providing real value in business settings where helping users focus on the right content sooner and with greater confidence can make all the difference. The need for speed and high precision demands a massively parallel compute platform capable of generating, evaluating and combing 1000's of hypotheses and their associated evidence. In this talk I will introduce the audience to the Jeopardy! Challenge and describe our technical approach and our progress on this grand-challenge problem.

Deep Learning Powered In-Session Contextual Ranking using Clickthrough Data <=SEP=> http://en.wikipedia.org/wiki/The_Dangerous_Days_of_Daniel_X http://en.wikipedia.org/wiki/The_Dangerous_Days_of_Daniel_X http://www.amazon.com/The-Dangerous-Days-Daniel-X/dp/0316119709 http://fanon.wikia.com/wiki/The_Dangerous_Days_of_Daniel_X http://www.goodreads.com/book/show/2235597.The_Dangerous_Days_of_Daniel_X http://www.amazon.com/The-Dangerous-Days-Daniel-X/dp/0316119709 http://www.daniel-x.co.uk/books/dangerous-days/ http://danielx.wikia.com/wiki/The_Dangerous_Days_of_Daniel_X_(novel) http://www.freebooknotes.com/summaries-analysis/the-dangerous-days-of-daniel-x/ http://danielx.wikia.com/wiki/Daniel_X http://www.jamespatterson.com/books_danielX.php#.VCR0vOfUe1A http://www.goodreads.com/series/49946-daniel-x http://jamespatterson.com/books_daniel_x.php#.VCR01efUe1A http://en.wikipedia.org/wiki/Daniel_X:_Watch_the_Skies http://books.google.com/books/about/The_Dangerous_Days_of_Daniel_X.html? id=2UBONTvr_BEC http://www.jamespatterson.com/books_danielX.php

VISUAL SENSITIVITY ANALYSIS <=SEP=> 

Modular Forms of Weight One <=SEP=> The first three sections are preliminary. The fourth section contains the statement of the main theorem and some corollaries. The proof occupies sections 5 through 9. The idea is as follows: one begins by constructing, for each prime number `, a representation of Gal(Q/Q) in characteristic ` (see §6); we then show that the image of Gal(Q/Q) is “small” under each of these representations, which permits us to lift this to characteristic 0 and obtain the complex representation we seek. The “smallness” in question itself results from an increase of the average of the eigenvalues of the Hecke operators (Rankin, §5). Section 9 contains an estimate of the coefficients of the modular forms of weight one. We note that we have used an essential point (§6, Thm. 6.1) of some results demonstrated by one of us (P. Deligne), but of which no complete proof has been published; this proof should appear in SGA 5, so we ask that the reader accept this for now.

High Vgs MOSFET characteristics with thin gate oxide for PMIC application <=SEP=> We present the characteristics of a newly developed MOSFET which has thin gate oxide but sustains high gate voltage. It consists of MIM capacitor coupled floating gate poly and source/drain junction formed by low voltage well. The characteristics of the MOSFET depend on the choice of capacitance coupling ratio which is determined by the ratio of MIM (Metal-Insulator-Metal) capacitance and gate oxide capacitance. This means that the proper choice of layout can control the device performances; threshold voltage, ID-VD, and ID-VG characteristics. Some of smart power management ICs requires of a low density non-volatile memory for the purpose of PMIC trimming. To meet this purpose, NVM embedding on PMIC solution should be cost effective. This newly proposed high gate voltage MOSFET with thin gate oxide can be an effective solution for the periphery circuits of single poly EEPROM operation.

Path planning and collision avoidance for robots <=SEP=> An optimal control problem to find the fastest collision-free trajectory of a robot surrounded by obstacles is presented. The collision avoidance is based on linear programming arguments and expressed as state constraints. The optimal control problem is solved with a sequential programming method. In order to decrease the number of unknowns and constraints a backface culling active set strategy is added to the resolution technique.

Wideband waveguide slot array antennas with corporate-feed in 120GHz and 350GHz bands <=SEP=> We design and fabricate double-layer slotted waveguide array antennas with wide bandwidths and high efficiencies for 120 GHz and 350 GHz bands. To achieve high gain and high efficiency in high frequency bands, the diffusion bonding technique of plate laminated waveguide is used as a fabrication method. The antennas with 16×16 slots show about 70% efficiency with 32 dBi gain and about 50% efficiency with 31 dBi gain in the 120 GHz and 350 GHz bands, respectively.

DoS & DDoS in Named Data Networking <=SEP=> With the growing realization that current Internet protocols are reaching the limits of their senescence, several ongoing research efforts aim to design potential next-generation Internet architectures. Although they vary in maturity and scope, in order to avoid past pitfalls, these efforts seek to treat security and privacy as fundamental requirements. Resilience to Denialof-Service (DoS) attacks that plague today’s Internet is a major issue for any new architecture and deserves full attention. In this paper, we focus on DoS in Named Data Networking (NDN) – a specific candidate for next-generation Internet architecture designs. By naming data instead of its locations, NDN transforms data into a first-class entity and makes itself an attractive and viable approach to meet the needs for many current and emerging applications. It also incorporates some basic security features that mitigate classes of attacks that are commonly seen today. However, NDN’s resilience to DoS attacks has not been analyzed to-date. This paper represents a first step towards assessment and possible mitigation of DoS in NDN. After identifying and analyzing several new types of attacks, it investigates their variations, effects and counter-measures. This paper also sheds some light on the debate about relative virtues of self-certifying, as opposed to human-readable, names in the context of content-centric networking.

ClaimEval: Integrated and Flexible Framework for Claim Evaluation Using Credibility of Sources <=SEP=> The World Wide Web (WWW) has become a rapidly growing platform consisting of numerous sources which provide supporting or contradictory information about claims (e.g., “Chicken meat is healthy”). In order to decide whether a claim is true or false, one needs to analyze content of different sources of information on the Web, measure credibility of information sources, and aggregate all these information. This is a tedious process and the Web search engines address only part of the overall problem, viz., producing only a list of relevant sources. In this paper, we present ClaimEval, a novel and integrated approach which given a set of claims to validate, extracts a set of pro and con arguments from the Web information sources, and jointly estimates credibility of sources and correctness of claims. ClaimEval uses Probabilistic Soft Logic (PSL), resulting in a flexible and principled framework which makes it easy to state and incorporate different forms of prior-knowledge. Through extensive experiments on realworld datasets, we demonstrate ClaimEval’s capability in determining validity of a set of claims, resulting in improved accuracy compared to state-of-the-art baselines.