Search results for "Mathematical logic"

showing 10 items of 394 documents

Voltage Security Assessment by Using PFDT and CBR Methods in Emerging Power System

2018

Abstract This paper exhibits varied methods for voltage security assessment in a restructured power system. This paper primarily lays emphasis on two methods that are Probabilistic Fuzzy Decision Tree (PFDT) and Case Based Reasoning (CBR). In PFDT, Decision Tree plays an integral role for classification of system. For further classification of power system security, an algorithm is developed to categorise the buses which trouble the security most. After classification of system, by using minimum amount of load curtailment of voltages on buses which made insecure to secure load. Optimization of load is done by curtailing reactive power from insecure buses. In CBR, old cases from database are…

Structure (mathematical logic)Computer science020209 energyEmphasis (telecommunications)Decision treeProbabilistic logicProcess (computing)02 engineering and technologyAC powerReliability engineeringElectric power system0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingCase-based reasoningEnergy Procedia
researchProduct

Complex Detection in Protein-Protein Interaction Networks: A Compact Overview for Researchers and Practitioners

2012

The availability of large volumes of protein-protein interaction data has allowed the study of biological networks to unveil the complex structure and organization in the cell. It has been recognized by biologists that proteins interacting with each other often participate in the same biological processes, and that protein modules may be often associated with specific biological functions. Thus the detection of protein complexes is an important research problem in systems biology. In this review, recent graph-based approaches to clustering protein interaction networks are described and classified with respect to common peculiarities. The goal is that of providing a useful guide and referenc…

Structure (mathematical logic)Computer scienceSystems biologyCellData ScienceNanotechnologyComputational biologyProtein protein interaction networkBioinformatics network analysismedicine.anatomical_structuremedicineGraph (abstract data type)Lecture Notes in Computer ScienceCluster analysisProtein modulesBiological network
researchProduct

A probabilistic expert system for predicting the risk of Legionella in evaporative installations

2011

Research highlights? The bacterium Legionella usually lives in water sources such as cooling towers. ? We discuss a probabilistic expert system for predicting the risk of Legionella. ? The expert system has a master-slave architecture. ? The inference engine is implemented through Bayesian reasoning. ? Bayesian networks model and connect relationships for chemical and physical variables. Early detection in water evaporative installations is one of the keys to fighting against the bacterium Legionella, the main cause of Legionnaire's disease. This paper discusses the general structure, elements and operation of a probabilistic expert system capable of predicting the risk of Legionella in rea…

Structure (mathematical logic)Computer sciencebusiness.industryGeneral EngineeringProbabilistic logicBayesian networkMarkov chain Monte CarloBayesian inferenceMachine learningcomputer.software_genreExpert systemComputer Science Applicationssymbols.namesakeArtificial IntelligencesymbolsData miningArtificial intelligenceInference enginebusinesscomputerParametric statisticsExpert Systems with Applications
researchProduct

The Insect Mushroom Bodies: a Paradigm of Neural Reuse

2013

This paper is devoted to discuss the implementation of models,which are inspired by the fly Drosophila melanogaster and able to handle open problems in the field of robotics such as attention, expectation and sequence learning. The role of the Mushroom Bodies (MBs) in solving these tasks is analyzed in detail and a unifying plausible biologically inspired model is proposed. The developed neural structure is able to show different capabilities in line with the paradigm of neural reuse. The same neural circuit can be exploited to accomplish multiple tasks showing interesting capabilities such as attention, expectation and delayed match-to-sample. The simulation results here reported suggest a…

Structure (mathematical logic)Computer sciencebusiness.industryRoboticsinsect brainReuseMachine learningcomputer.software_genreField (computer science)Neural networks; insect brainBiological significanceMushroom bodiesArtificial intelligenceSequence learningbusinesscomputerNeural networks
researchProduct

Analysis of Chromatin Structure and Composition

1989

Introduction Biochemistry, like many other sciences, is currently undergoing increasing specialization which is thought to be unavoidable because of the rapid progress within this field. Obviously education in Biochemistry and Molecular Biology is also affected. Consequently, the student may lose the ability to integrate his knowledge, which should be a requirement during the training of a scientist. The solution to this problem is quite easy in the case of theoretical courses because, here, the lecturer may include several 'integrative lessons' which give a global view of previously explained facts and place them within the general context of the course. However, in practical courses it is…

Structure (mathematical logic)Computer sciencemedia_common.quotation_subjecteducationSpecialization (functional)Context (language use)SimplicityData scienceCurriculumField (computer science)Complement (complexity)media_commonSimple (philosophy)
researchProduct

Conclusion: Discourses and Dreams on Becoming

2019

The contents in the chapters in this book have shown how ECEC institutions are both globally linked and locally constructed within networks of powers, discourses, philosophies, paradoxes and practices. The kinds of ‘becoming(s)’ that arise for these young children as a consequence are different – in an increasingly globalised world, we think, these are of great significance in thinking about the present and future realities that are posed accordingly. Thus, with this concluding chapter, we seek to address existing and future challenges, dreams and opportunities in contemplation of a future that we can only imagine, in consideration of the practices and discourses that structure becoming(s) …

Structure (mathematical logic)Contemplationmedia_common.quotation_subjectEnvironmental ethicsSociologyFutures contractmedia_common
researchProduct

Chinese reverse M&As in the Netherlands: Chinese managers’ trust building practices

2019

Purpose Building trust is critical in reverse mergers and acquisitions (M&As), attributed to the divergence of governance and culture between the East and the West. This paper aims to explore the barriers and trust-building practices of Chinese managers in reverse M&As in developed countries. Design/methodology/approach The primary data set of this research contains case studies of two Chinese M&A deals and in-depth interviews with managers and advisories in the Netherlands. Findings This research finds that the divergences of decision-making structure, communication style and trust orientation generate barriers to the trust building in Chinese reverse M&As. The third-party…

Structure (mathematical logic)Core businessDivergence (linguistics)Business collaborationCorporate governance05 social sciencesGeneral Business Management and AccountingVDP::Samfunnsvitenskap: 200::Økonomi: 2100502 economics and businessMergers and acquisitions050211 marketingTrust buildingBusinessMarketing050203 business & managementChinese Management Studies
researchProduct

Sudoku – A Language Description Case Study

2009

A complete language description includes the structure as well as constraints, textual representation, graphical representation, and behaviour (transformation and execution). As a case study in language description, we consider Sudoku as a language, where a Sudoku puzzle is an instance of the language. Thus we are able to apply meta-model-based technologies for the creation of a language description for Sudoku, including correctness checking of a puzzle, and solving strategies. We identify what has to be expressed and how this can be done with the technology available today.

Structure (mathematical logic)CorrectnessTheoretical computer scienceTransformation (function)Textual representationProgramming languageComputer scienceClass diagramRepresentation (arts)computer.software_genrecomputer
researchProduct

From the Car Style Pregnancy towards the Brand Country Origin Recognition

2019

AbstractIn the modern automotive industry, a car's style clearly defines its brand. In the context of globalization, a question has recently emerged concerning the relationship between a country's culture and the car style of a particular brand. The style is one way to place car morphologies into a meaningful structure, called the “telling structure.” This research hypothesizes that a stylist tries to compress a car's form and make it a refined unicum that is streamlined with some inherent features, which express a brand's cultural aesthetics. Using the cognitive paradigm that an end user transforms explicit references into implic-it references and that the telling structure of a car's desi…

Structure (mathematical logic)Cultural identityEnd user[SHS.INFO]Humanities and Social Sciences/Library and information sciences0211 other engineering and technologies020302 automobile design & engineeringAdvertisingContext (language use)Brand culture02 engineering and technologyGeneral MedicineCountry of originStyle (sociolinguistics)[SHS]Humanities and Social SciencesGlobalization0203 mechanical engineeringSociology[SHS] Humanities and Social SciencesComputingMilieux_MISCELLANEOUS021106 design practice & management
researchProduct

Heterogeneous Database Browsing in WWW Based on Meta Model of Data Sources

2001

This paper describes a development principle and technique for a simple universal multiple database browser. The browser operates by getting information from metamodel of data sources and actual data from legacy data sources. Every element such as entity, field, and relation is mapped to some component of HTML page with appropriate structure and layout. Many templates of information layouts can be created allowing to dynamical changing of HTML page to acceptable user interface. The wrappers are used to provide browser with actual data and to act as mediators between data sources and browser. This approach allows to quickly describing new data sources, creating wrappers, making modifications…

Structure (mathematical logic)DatabaseRelation (database)Computer scienceComponent (UML)User interfacecomputer.software_genreDatabase designcomputerField (computer science)Data modelingMetamodeling
researchProduct