Search results for "Crete"

showing 10 items of 2495 documents

Choosing among alternative technological strategies: an empirical analysis of formal sources of innovation

2003

Abstract This work aims to offer a detailed conceptual and empirical analysis of the inter-firm differences in deciding the composition of their technological efforts. Using data for Spanish firms in the period 1990–1996, the study begins with the standard analysis of the determinants of innovative investment, then moves on to the less analysed question of the determinants of the generate versus import alternative and ends with a novel analysis of the characteristics which lead firms to organise research internally as compared to the possibility of contracting R&D services externally. In contrast to standard practice, the econometric approach takes into account the existence of non-linearit…

MicroeconomicsDiscrete choiceWork (electrical)Management of Technology and InnovationStrategy and ManagementEconomicsContrast (statistics)Management Science and Operations ResearchMarketingInvestment (macroeconomics)Composition (language)Research Policy
researchProduct

Interactive vs. non-interactive knowledge production by faculty members

2008

16 pages, 4 tables

MicroeconomicsEconomics and EconometricsDiscrete choiceEconometric modelIncentiveWelfare economicsEconomicsRationingKnowledge productionApplied Economics
researchProduct

THE ROLE OF SUNK COSTS IN THE DECISION TO INVEST IN R&D

2009

We present a dynamic empirical model of a firm's R&D decisions that is consistent with the existence of sunk R&D costs, taking into account that these costs may differ between small and large firms, and among different technological regimes. We estimate a multivariate dynamic discrete choice model using firm-level data of Spanish manufacturing for 1990–2000. Conditional on firm heterogeneity and serially correlated unobservable factors, we find that R&D history matters. This true state dependence allows inferring the existence of sunk R&D costs associated with performing R&D. Sunk R&D costs are found to be higher for large, high-tech firms.

MicroeconomicsEconomics and EconometricsMultivariate statisticsDiscrete choiceAccountingEconomicsState dependenceGeneral Business Management and AccountingUnobservableSunk costsThe Journal of Industrial Economics
researchProduct

A Binary Particle Swarm Optimization Algorithm for a Double Auction Market

2007

In this paper, we shall show the design of a multi-unit double auction (MDA) market. It should be enough robust, flexible and sufficiently efficient in facilitating exchanges. In a MDA market, sellers and buyers submit respectively asks and bids. A trade is made if a buyers bid exceeds a sellers ask. A sellers ask may match several buyers bids and a buyers bid may satisfy several sellers asks. The trading rule of a market defines the organization, information exchange process, trading procedure and clearance rules of the market. The mechanism is announced before the opening of the market so that every agent knows how the market will operate in advance. These autonomous agents pursue their o…

MicroeconomicsReservation priceMarket mechanismFinancial economicsAsk priceDouble auctionBusinessautonomous agents Particle swarm optimization MDA market discrete optimization problemsdiscriminatory bids and asks.Auction algorithmGame theoryMarket gameMarket maker
researchProduct

Geometric quality and appearance of surfaces : local and global approaches

2012

Accounting for customers' perception of manufactured goods has become a major challenge for the industry. This process is to be established from early design to retail. Customers are nowadays more aware and detail oriented about perceived quality of products. This allows one to set not only an estimated price but also the expected quality of the product. Surface appearance analysis has therefore become a key industrial issue. Two approaches are proposed here to formalize the detection methodology and provide objective criteria for experts to evaluate surface anomalies. The first proposed approach is based on surface metrology. It consists in analyzing the measured topologies in order to bin…

Modal decomposition[SPI.OTHER]Engineering Sciences [physics]/OtherAppearance qualityQualité d'AspectMétrologie de surfacePoints aberrantsSurface MetrologyQualité d’aspectOutliers identificationDiscrete Modal DecompositionPolynomial Texture MappingsDécomposition Modale[SPI.MECA.GEME] Engineering Sciences [physics]/Mechanics [physics.med-ph]/Mechanical engineering [physics.class-ph]
researchProduct

Formal Analysis and Model Checking of a Group Authentication Protocol by Scyther

2016

Scyther [1] is designed to check the security and vulnerabilities of security protocols. In this paper, we use Scyther to analyze two discrete logarithm problem (DLP) based group authentication protocols proposed in [2]. These two protocols are claimed to satisfy several security requirements, but only part of them have been checked because of the properties and limitations of Scyther. Some positive results have been gained and show that the protocols provide mutual authentication and implicit key authentication and are secure against impersonation attack. An important innovation in this paper is that we have extended the expressing ability of Scyther by giving some reasonable assumption du…

Model checkingAuthenticationTheoretical computer scienceComputer sciencebusiness.industry020206 networking & telecommunicationsCryptography02 engineering and technologyMutual authenticationCryptographic protocolComputer securitycomputer.software_genreKey authenticationDiscrete logarithmAuthentication protocol0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingbusinesscomputer2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP)
researchProduct

Deciding properties of integral relational automata

1994

This paper investigates automated model checking possibilities for CTL* formulae over infinite transition systems represented by relational automata (RA). The general model checking problem for CTL* formulae over RA is shown undecidable, the undecidability being observed already on the class of Restricted CTL formulae. The decidability result, however, is obtained for another substantial subset of the logic, called A-CTL*+, which includes all ”linear time” formulae.

Model checkingDiscrete mathematicsClass (set theory)TheoryofComputation_COMPUTATIONBYABSTRACTDEVICESComputer scienceComputer Science::Software EngineeringDecidabilityUndecidable problemComputer Science::Multiagent SystemsCTL*TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESRelational calculusTheoryofComputation_LOGICSANDMEANINGSOFPROGRAMSComputer Science::Logic in Computer ScienceAutomata theoryTime complexityComputer Science::Formal Languages and Automata Theory
researchProduct

Modification of Nanocrystalline WO3 with a Dicationic Perylene Bisimide: Applications to Molecular Level Solar Water Splitting

2015

[(N,N?-Bis(2-(trimethylammonium)ethylene) perylene 3,4,9,10-tetracarboxylic acid bisimide)(PF6)2] (1) was observed to spontaneously adsorb on nanocrystalline WO3 surfaces via aggregation/hydrophobic forces. Under visible irradiation (? > 435 nm), the excited state of 1 underwent oxidative quenching by electron injection (kinj > 108 s-1) to WO3, leaving a strongly positive hole (Eox ? 1.7 V vs SCE), which allows to drive demanding photo-oxidation reactions in photoelectrochemical cells (PECs). The casting of IrO2 nanoparticles (NPs), acting as water oxidation catalysts (WOCs) on the sensitized electrodes, led to a 4-fold enhancement in photoanodic current, consistent with hole transfer from …

Models MolecularMolecular ConformationNanoparticleImidesPhotochemistryBiochemistryTungstenCatalysisNOCatalysiElectron Transportchemistry.chemical_compoundColloid and Surface ChemistryTheoryofComputation_ANALYSISOFALGORITHMSANDPROBLEMCOMPLEXITYWO3ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONperylenePhotoelectrochemical cellIrO2Quenching (fluorescence)Chemistry (all)charge transferWaterOxidesGeneral ChemistryPhotoelectrochemical cellPhotochemical ProcessesSolar fuelChemistry (all); Catalysis; Biochemistry; Colloid and Surface ChemistryNanocrystalline materialperylene WO3 charge transfer IrO2MicrosecondchemistryWater SplittingSunlightVISIBLE-LIGHT; ARTIFICIAL PHOTOSYNTHESIS; PHOTOELECTROCHEMICAL CELL; OXIDATION CATALYSTS; ELECTRON-TRANSFER; FABRICATIONNanoparticlesPerylene bisimideWater splittingPeryleneMathematicsofComputing_DISCRETEMATHEMATICS
researchProduct

Protein knot server: detection of knots in protein structures

2007

KNOTS (http://knots.mit.edu) is a web server that detects knots in protein structures. Several protein structures have been reported to contain intricate knots. The physiological role of knots and their effect on folding and evolution is an area of active research. The user submits a PDB id or uploads a 3D protein structure in PDB or mmCIF format. The current implementation of the server uses the Alexander polynomial to detect knots. The results of the analysis that are presented to the user are the location of the knot in the structure, the type of the knot and an interactive visualization of the knot. The results can also be downloaded and viewed offline. The server also maintains a regul…

Models MolecularWeb serverProtein FoldingTheoretical computer scienceProtein ConformationProtein Data Bank (RCSB PDB)MathematicsofComputing_NUMERICALANALYSISAlexander polynomialBiologyBioinformaticscomputer.software_genreUploadUser-Computer InterfaceKnot (unit)Protein structureTheoryofComputation_ANALYSISOFALGORITHMSANDPROBLEMCOMPLEXITYComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONGeneticsComputer SimulationSurgical knotsDatabases ProteinInteractive visualizationComputingMethodologies_COMPUTERGRAPHICSInternetQuantitative Biology::BiomoleculesModels StatisticalComputational BiologyProteinsArticlesHaemophilus influenzaeMathematics::Geometric TopologycomputerAlgorithmsSoftwareMathematicsofComputing_DISCRETEMATHEMATICS
researchProduct

Prefazione a: Qui nel sud : racconti

2021

Niki Trullinu's short stories

Modern Greek Literature Short stories CreteSettore L-LIN/20 - Lingua E Letteratura Neogreca
researchProduct