ppxscal/embedding_network huggingface dataset:
N-channel thin-film transistors constructed on plastic by solution processes of HgSe nanocrystals
Authors: Jaewon Jang, Kyoungah Cho, Junggwon Yun, Sangsig Kim
Venue: Microelectronic Engineering (2009)

We demonstrate bottom-gate thin-film transistors (TFTs) based on solution-processed HgSe nanocrystals (NCs) on plastic substrates. Solid films made of spin-coated HgSe NCs were heated at a temperature of 150^oC for 15min to maximize the magnitude of their current, and these films were utilized as the channel layers of TFTs. A representative TFT with a bottom-gate Al"2O"3 layer operated as a depletion-mode one with an n-channel, exhibiting a field effect mobility of 3.9cm^2/Vs and an on/off current ratio of about 10^2. In addition, the electrical characteristics of the TFT on bent substrates are briefly described.
Existence of positive solutions to second order four-point impulsive differential problems with deviating arguments
Authors: Tadeusz Jankowski
Venue: Computers Mathematics with Applications (2009)

In this paper, we discuss four-point boundary value problems for impulsive second order differential equations with deviating arguments. We investigate separately, cases when arguments are of delayed or advanced types. We formulate sufficient conditions under which our problems have at least one or two positive solutions. To obtain our results we apply the fixed point index.
Public institutions' investments with data mining techniques
Authors: Adela Bâra, Ion Lungu, Simona Vasilica Oprea
Venue: WSEAS Transactions on Computers (2009)

Developing Decision Support Systems in public institutions such as the National Power Grid Companies require applying very efficient methods in order to support the decisions. The decision support system in the National Power Grid Companies can integrate the energy prediction achieved by some data mining algorithms that help managers to fundament their investment decisions in order to justify the financial feasibility. This is done by estimating all the benefits and costs during the life cycle. In order to estimate the revenues, we need to know with certain accuracy the output of these power plants. Due to the fact that the wind speed significantly fluctuates even during a day at the same location, the wind power output is difficult to be forecasted by statistical methods. In this paper we apply the data mining techniques on the available measured weather data in order to predict the wind power output and determine the financial feasibility of investment.
The bologna process in European education
Authors: Patrick Porcheron
Venue: ACM SIGCSE Bulletin (2009)

The Bologna Process aims to create a European Higher Education Area by 2010, in which students can choose from a wide and transparent range of high quality courses and benefit from smooth recognition procedures. The Bologna Declaration of June 1999 has put in motion a series of reforms needed to make European Higher Education more compatible and comparable, more competitive and more attractive for Europeans and for students and scholars from other continents (especially from USA). Reform was needed then and reform is still needed today if Europe is to match the performance of the best performing systems in the world, notably the United States and Asia. The talk will present the experience of the design and development of this process in the framework of a leading university in France.
A semantic-mediation architecture for interoperable supply-chain applications
Authors: M. Vujasinovic, N. Ivezic, B. Kulvatunyou, E. Barkmeyer, M. Missikoff, F. Taglino, Z. Marjanovic, I. Miletic
Venue: International Journal of Computer Integrated Manufacturing (2008)

This paper presents a semantic-mediation architecture that enables standards-based interoperability between heterogeneous supply-chain applications. The architecture was implemented using a state-of-the-art semantic-mediation toolset for design-time and run-time integration tasks. The design-time tools supported a domain ontology definition, message annotations, message schema transformations and reconciliation rules specifications. The run-time tools performed exchanges, transformations, and reconciliations of the messages. The architecture supports a supply-chain integration scenario where heterogeneous automotive manufacturing supply-chain applications exchange inventory information.
Numerical simulation of the vehicle electromagnetic brake
Authors: Ion T. Cârstea, Ilie Dumitru, Alexandru I. Cârstea
Venue: Proceedings of the 10th WSEAS international conference on Mathematical and computational methods in science and engineering (2008)

This paper presents numerical simulation of the dynamical behaviour of an electromagnetic brake using a coupled magneto-mechanical model. We consider a two-dimensional model based on Maxwell's equations for the magnetic system and the motion equations for the rotating conducting disks of the mechanical part. The finite element method and finite differences method develop the numerical models of the coupled problem.
Personal Readers: Personalized Learning Object Readers for the Semantic Web
Authors: Nicola Henze
Venue: Proceeding of the 2005 conference on Artificial Intelligence in Education: Supporting Learning through Intelligent and Socially Informed Technology (2005)

This paper describes our idea for personalized e-Learning in the Semantic Web which is based on configurable, re-usable personalization services. To realize our ideas, we have developed a framework for designing, implementing and maintaining personal learning object readers, which enable the learners to study learning objects in an embedding, personalized context. We describe the architecture of our Personal Reader framework, and discuss the implementation of personalization services in the Semantic Web. We have realized two Personal Readers for e-Learning: one for learning Java programming, and another for learning about the Semantic Web.
Multiple coordinated views supporting visual analytics
Authors: Bianchi Serique Meiguins, Aruanda Simões Gonçalves Meiguins
Venue: Proceedings of the ACM SIGKDD Workshop on Visual Analytics and Knowledge Discovery: Integrating Automated Analysis with Interactive Exploration (2009)

This paper proposes the use of multiple coordinated views to support visual analytics. The Information Visualization tool PRISMA includes the implementation of three coordinated visualization techniques (treemap, parallel coordinates and scatterplot) and other auxiliary charts. The coordination is supported by filter, brushing, visual representation and other mechanisms. The mini --challenge 4 (Evacuation Traces) from IEEE VAST 2008 Challenge was used as a case study on this paper.
Modeling Semantic Web Services with the Web Service Modeling Toolkit
Authors: Mick Kerrigan, Adrian Mocan, Elena Simperl, Dieter Fensel
Venue: Journal of Network and Systems Management (2009)

The lack of any methodology for modeling Semantic Web Services means that developers wishing to utilize technologies like the Web Service Modeling Ontology, the Web Service Modeling Language, and the Web Service Execution Environment are lost in a Semantic wilderness with no road signs to guide them on their way. This paper presents an initial guide for developers wishing to model Semantic Web Services, along with a description of the Web Service Modeling Toolkit that provides tool support for the activities that must be conducted by the developer in this process.
Semantically annotating and querying databases
Authors: Georgios Th. Karagiannis
Venue: Proceedings of the 10th WSEAS international conference on Mathematical methods, computational techniques and intelligent systems (2008)

Semantic annotation and querying is currently applied on a number of versatile disciplines, providing the added-value of such an approach and, consequently the need for more elaborate - either case-specific or generic - tools. In this context, we have developed a semantically-aware tool for the description and retrieval of Byzantine Artwork Information. Following the needs of the Ormylia Foundation - Art Diagnosis Centre for adding semantics to their legacy data, an ontology describing Byzantine artworks along with the interfaces for synchronization to and from the existing RDBMS have been developed. This ontology has been linked to a reasoning tool, while a dynamic interface for the automated creation of semantic queries in SPARQL was developed. Finally, all the appropriate interfaces were developed, in order to allow easy ontology manipulation, query results projection and restrictions creation. This paper presents an analytical overview of the work conducted, and the technologies that were examined.
Multi-Criterion Search from the Semantic Point of View(Comparing TIL and Description Logic)
Authors: Marie Duží, Peter Vojtáš
Venue: Proceeding of the 2008 conference on Information Modelling and Knowledge Bases XIX (2008)

In this paper we discuss two formal models apt for a search and communication in a 'multi-agent world', namely TIL and EL@. Specifying their intersection, we are able to translate and switch between them. Using their union, we extend their functionalities. The main asset of using TIL is a fine-grained rigorous analysis and specification close to natural language. The additional contribution of EL@ consists in modelling multi-criterion aspects of user preferences. Using a simple example throughout the paper, we illustrate the aspects of a multi-criterion search and communication by their analysis and specification in both the systems. The paper is an introductory study aiming at a universal logical approach to the 'multi-agent world', which at the same time opens new research problems and trends.
The evolutionary design of trace form bent functions in cryptography
Authors: Min Yang, Qingshu Meng, Huanguo Zhang
Venue: International Journal of Information and Computer Security (2009)

Based on the trace representation of Boolean functions, we devise an evolutionary algorithm to design bent functions. Using this algorithm, we then construct many bent functions and perform some analyses. First, we observe that each of the four affinely inequivalent bent functions in six variables can be written as the linear sum of two or three monomial trace functions. We draw the conclusion that the affine transformation can be used to change the linear span of the Boolean functions and thereby change the trace representation of our obtained bent functions. Second, we find that certain exponents are more suitable for constructing bent functions than others. From this observation, we assign each exponent a cost function, which makes our algorithm more efficient than an exhaustive search algorithm or a random algorithm. Third, we classify the obtained bent functions into affinely inequivalent classes, and the number of classes is presented.
Digital Modeling of Material Appearance
Authors: Julie Dorsey, Holly Rushmeier, Franois Sillion
Venue: The Morgan Kaufmann Series In Computer Graphics (2007)

Computer graphics systems are capable of generating stunningly realistic images of objects that have never physically existed. In order for computers to create these accurately detailed images, digital models of appearance must include robust data to give viewers a credible visual impression of the depicted materials. In particular, digital models demonstrating the nuances of how materials interact with light are essential to this capability. This is the first comprehensive work on the digital modeling of material appearance: it explains how models from physics and engineering are combined with keen observation skills for use in computer graphics rendering.Written by the foremost experts in appearance modeling and rendering, this book is for practitioners who want a general framework for understanding material modeling tools, and also for researchers pursuing the development of new modeling techniques. The text is not a "how to" guide for a particular software system. Instead, it provides a thorough discussion of foundations and detailed coverage of key advances.Practitioners and researchers in applications such as architecture, theater, product development, cultural heritage documentation, visual simulation and training, as well as traditional digital application areas such as feature film, television, and computer games, will benefit from this much needed resource.ABOUT THE AUTHORSJulie Dorsey and Holly Rushmeier are professors in the Computer Science Department at Yale University and co-directors of the Yale Computer Graphics Group. Franois Sillion is a senior researcher with INRIA (Institut National de Recherche en Informatique et Automatique), and director of its Grenoble Rhne-Alpes research center. * First comprehensive treatment of the digital modeling of material appearance;* Provides a foundation for modeling appearance, based on the physics of how light interacts with materials, how people perceive appearance, and the implications of rendering appearance on a digital computer;* An invaluable, one-stop resource for practitioners and researchers in a variety of fields dealing with the digital modeling of material appearance.
On interpreting and debugging results of database queries over imprecise data
Authors: Jeffrey F. Naughton
Venue:  (2008)

Applications ranging from grid management to sensor nets to web-based information integration and extraction can be viewed as receiving data from some number of autonomous remote data sources and then answering queries over this collected data. In such applications, it is often impossible to enforce the currency, consistency and correctness of the centralized data with respect to the original sources. For example, distributed computing environments, including workflows in computational grids, present challenges for monitoring, as the state of the system may be captured only in logs distributed throughout the system. One approach to monitoring such systems is to "sniff' these distributed logs and to store their transformed content in a DBMS. This centralizes the state and exposes it for querying; unfortunately, it also creates uncertainty with respect to the recency and consistency of the data. As another example, in information extraction, uncertainty is ubiquitous because information extraction is yet an imprecise art. We propose that instead of enforcing correctness, consistency and recency, such systems should report data quality properties along with query results and support provenance for query results, with the hope that this will allow the data to be appropriately interpreted. Toward this purpose, I present the following new concepts and techniques: (1) reporting consistency and recency of "relevant data sources" for relational queries, (2) reporting "k-relevant data sources" for relational queries, and (3) providing provenance-style explanations for non-answers to queries over extracted data.
Automated governance by design: an engineering approach
Authors: Saurabh Kwatra
Venue: Proceedings of the 10th WSEAS international conference on Automation & information (2009)

Socio-economic-political institutions such as banks, organizations and countries are governed by experts and rules formulated and amended by them. However, increasing number cases of mismanaged nations, banks in debts and regional military conflicts are rampant. The solution lies in application of genuine engineering design methodologies to these institutions. The designer (machine or man-machine system) automatically adjusts the size and working hours of the 'rulers' or members of the Government as the country's population increases, its climate turns unfavorable due to global warming and its GDP drops due to a recession. Analogies from cases of reverse engineering in mechanical science are successfully used.
Free technology academy: a European initiative for distance education about free software and open standards
Authors: David Megias, Wouter Tebbens, Lex Bijlsma, Francesc Santanach
Venue: Proceedings of the 14th annual ACM SIGCSE conference on Innovation and technology in computer science education (2009)

More and more people and organisations embrace Free Software (FS) and Open Standards (OS). However a lack of knowledge holds back their massive adoption. The Free Technology Academy will address this by setting up a virtual campus offering course modules on these topics to become a showcase of a virtual campus based on FS, OS and the use of Open Educational Resources. This distance learning programme will enable IT professionals, students, teachers and decision makers to upgrade knowledge and acquire relevant skills on free technologies. The FTA is realised by an international consortium and welcomes other interested parties to join the network.
Multi-instance clustering with applications to multi-instance prediction
Authors: Min-Ling Zhang, Zhi-Hua Zhou
Venue: Applied Intelligence (2009)

In the setting of multi-instance learning, each object is represented by a bag composed of multiple instances instead of by a single instance in a traditional learning setting. Previous works in this area only concern multi-instance prediction problems where each bag is associated with a binary (classification) or real-valued (regression) label. However, unsupervised multi-instance learning where bags are without labels has not been studied. In this paper, the problem of unsupervised multi-instance learning is addressed where a multi-instance clustering algorithm named Bamic is proposed. Briefly, by regarding bags as atomic data items and using some form of distance metric to measure distances between bags, Bamic adapts the popular k -Medoids algorithm to partition the unlabeled training bags into k disjoint groups of bags. Furthermore, based on the clustering results, a novel multi-instance prediction algorithm named Bartmip is developed. Firstly, each bag is re-represented by a k-dimensional feature vector, where the value of the i-th feature is set to be the distance between the bag and the medoid of the i-th group. After that, bags are transformed into feature vectors so that common supervised learners are used to learn from the transformed feature vectors each associated with the original bag's label. Extensive experiments show that Bamic could effectively discover the underlying structure of the data set and Bartmip works quite well on various kinds of multi-instance prediction problems.
Minerva: An Adaptive Subblock Coherence Protocol for Improved SMP Performance
Authors: Jeffrey B. Rothman, Alan Jay Smith
Venue: Proceedings of the 4th International Symposium on High Performance Computing (2009)

We present a new cache protocol, Minerva, which allows the effective cache block size to vary dynamically. Minerva works using sector caches (also known as block/subblock caches). Cache consistency attributes (from the MESI set of states) are associated with each 4-byte word in the cache. Each block can itself have one of the attributes invalid, exclusive or shared. Each block also has a current subblock size, of 2k words and a confidence value for hysteresis. The subblock size is reevaluated every time there is an external access (read or invalidate) to the block. When a fetch miss occurs within a block, a subblock equal to the current subblock size is fetched. Note that the fetch may involve a gather operation, with various words coming from different sources; some of the words may already be present.Depending on the assumed cache sizes, block sizes, bus width, and bus timings, we find that Minerva reduces execution times by 19-40%, averaged over 12 test parallel programs. For a 64-bit wide bus, we find a consistent execution time reduction of around 30%. Our evaluation considers the utility of various other optimizations and considers the extra state bits required.
A CMMS-Based Formal Conceptual Modeling Approach for Team Simulation and Training
Authors: Jian Wang, Hongwei Wang
Venue: Proceedings of the 6th International Symposium on Neural Networks on Advances in Neural Networks (2009)

For the conceptual modeling of team simulation and training based on EBAT (Event-Based Approach to Training), it is crucial to solve the problem of effective communication between subject matter experts, training experts and simulation technologists, and the problem of conceptual modeling quality and reuse. By analyzing modeling elements of team training, a layered logical structure of the simulation and training conceptual model based on CMMS (Conceptual Model of the Mission Space) and a formal description approach are proposed. Based on the workflow patterns and interactive features of team training, the event causality patterns and formal description approach are presented for the process of event response. The results of the formal conceptual modeling of training cases show the validity of the proposed formal conceptual modeling approach.
Coordination through Inductive Meaning Negotiation
Authors: Alessandro Agostini
Venue: Proceeding of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy (2006)

This paper is on negotiation, precisely on the negotiation of meaning. We advance and discuss a formal paradigm of coordination and variants thereof, wherein meaning negotiation plays a major role in the process of convergence to a common agreement. Our model engages a kind of pairwise, model-theoretic coordination between knowledge-based agents, eventually able to communicate the complete & local meaning of their beliefs by expressions taken from the literals of a common first-order language. We focus on the framework of inductive inference---sometimes called “formal learning theory,” and argue that it offers a fresh and rigorous perspective on many current debates in Artificial Intelligence in the context of multiple agents in interaction.
The Research of an Agent-based Handoff Performance on WLAN
Authors: Wenchuan Yang, Xiao Liao, Cong Zhao, Chengyu Liang
Venue: Proceeding of the 2006 conference on Advances in Intelligent IT: Active Media Technology 2006 (2006)

This paper focuses on fast handoff idea concerning MIPv6 node roaming in WLAN. On purpose of realizing fast handoff, we got the idea of transmitting L3 handoff message with L2 information from “Mobile IPv6 Fast Handovers for 802.11 Networks” draft, furthermore, we endow the network with L3 handoff decision making authority, thus enabling L2, L3 handoff proceeding simultaneously. Handoff delay de-creases accordingly. The algorithm above has been simulated with OPNET.
Free Energy Correction to Rigid Body Docking: Application to the Colicin E7 and Im7 Complex
Authors: Sangwook Wu, Vasu Chandrasekaran, Lee G. Pedersen
Venue: Proceedings of the 9th International Conference on Computational Science (2009)

We performed a 2-dimensional free energy calculation in the conformational space composed of two structures, best RMSD (Root Mean Square Distance) and the worst RMSD structures using ZDOCK on the Colicin E7 (protein) and Im7 (Inhibitor) complex. The lowest free energy minimum structure is compared to the X-ray crystal structure and the best RMSD docking structure. The free energy correction for the best RMSD structure shows an alternative in the prediction of a flexible loop position, which could not describe rigid body docking.