default search action
CoRR, November 2007
- Lee Naish:
Declarative Diagnosis of Floundering. - Sergey Gubin:
Convex and linear models of NP-problems. - Florent Krzakala, Lenka Zdeborová:
Phase Transitions and Computational Difficulty in Random Constraint Satisfaction Problems. - Prosenjit Bose, Paz Carmi, Mathieu Couture, Anil Maheshwari, Michiel H. M. Smid, Norbert Zeh:
Geometric Spanners With Small Chromatic Number. - Manoj Kumar:
Security Analysis of a Remote User Authentication Scheme with Smart Cards. - Ulrike von Luxburg:
A Tutorial on Spectral Clustering. - Dexter Kozen:
Coinductive Proof Principles for Stochastic Processes. - Krishnan Eswaran, Anand D. Sarwate, Anant Sahai, Michael Gastpar:
Limited feedback achieves the empirical capacity. - Telikepalli Kavitha, Rogers Mathew:
Faster Algorithms for Online Topological Ordering. - Sudhir Kumar Singh, Vwani P. Roychowdhury, Himawan Gunadhi, Behnam Attaran Rezaei:
Diversification in the Internet Economy:The Role of For-Profit Mediators. - Tadashi Wadayama, Masayuki Yagita, Yuuki Funahashi, Shogo Usami, Ichi Takumi:
Gradient Descent-Bit Flipping Algorithms for Decoding LDPC Codes. - Nihar Jindal, Jeffrey G. Andrews, Steven Weber:
Bandwidth Partitioning in Decentralized Wireless Networks. - Reuven Cohen, Niloofar Fazlollahi, David Starobinski:
Throughput Optimal On-Line Algorithms for Advanced Resource Reservation in Ultra High-Speed Networks. - H. Georg Buesching:
Improving the LP bound of a MILP by branching concurrently. - Aleksandar Lazarevic, Lionel Sacks:
Resource and Application Models for Advanced Grid Schedulers. - Aleksandar Lazarevic, Lionel Sacks:
Measuring and Monitoring Grid Resource Utilisation. - Aleksandar Lazarevic, Lionel Sacks:
A Study of Grid Applications: Scheduling Perspective. - Ioannis Liabotis, Ognjen Prnjat, Temitope Olukemi, Adrian Li Mow Ching, Aleksandar Lazarevic, Lionel Sacks, Mike Fisher, Paul McKee:
Self-Organising management of Grid environments. - Aleksandar Lazarevic, Lionel Sacks, Ognjen Prnjat:
Enabling Adaptive Grid Scheduling and Resource Management. - Aleksandar Lazarevic, Lionel Sacks, Ognjen Prnjat:
Managing Uncertainty: A Case for Probabilistic Grid Scheduling. - Guillem Marpons-Ucero, Julio Mariño, Ángel Herranz-Nieva, Lars-Åke Fredlund, Manuel Carro, Juan José Moreno-Navarro:
Automatic Coding Rule Conformance Checking Using Logic Programs. - Roberto Bagnara, Patricia M. Hill, Enea Zaffanella:
A Prolog-based Environment for Reasoning about Programming Languages (Extended abstract). - Bernd Braßel, Michael Hanus, Marion Müller:
Compiling ER Specifications into Declarative Programs. - Falk Unger:
Noise threshold for universality of 2-input gates. - Mehmet Akçakaya, Vahid Tarokh:
Shannon Theoretic Limits on Noisy Compressive Sampling. - Zaenal Akbar, Laksana Tri Handoko:
Web-based Interface in Public Cluster. - Thomas A. Grossman:
Spreadsheet Engineering: A Research Framework. - Takao Inoue, Robert W. Heath Jr.:
Kerdock Codes for Limited Feedback Precoded MIMO Systems. - Mazen Zein, Philippe Wenger, Damien Chablat:
Singular Curves in the Joint Space and Cusp Points of 3-RPR parallel manipulators. - Bart Van Rompaey, Serge Demeyer:
Exploring the Composition of Unit Test Suites. - Jan Wielemaker, Anjo Anjewierden:
PIDoc: Wiki style Literate Programming for Prolog. - Ghazi Bouselmi, Dominique Fohr, Irina Illina, Jean Paul Haton:
Discriminative Phoneme Sequences Extraction for Non-Native Speaker's Origin Classification. - Anne Bonfante, Jean-Yves Marion:
On the defence notion. - Bruno Scherrer:
Performance Bounds for Lambda Policy Iteration. - Brooke Shrader, Haim H. Permuter:
Feedback Capacity of the Compound Channel. - Danilo Silva, Frank R. Kschischang, Ralf Koetter:
A Rank-Metric Approach to Error Control in Random Network Coding. - Yingbin Liang, H. Vincent Poor, Shlomo Shamai:
Information-Theoretic Security in Wireless Networks. - Philip B. Alipour:
Addendum to Research MMMCV; A Man/Microbio/Megabio/Computer Vision. - Ghazi Bouselmi, Dominique Fohr, Irina Illina:
Combined Acoustic and Pronunciation Modelling for Non-Native Speech Recognition. - Jan A. Bergstra, Cornelis A. Middelburg:
Instruction sequences with indirect jumps. - Jan A. Bergstra, Cornelis A. Middelburg:
An interface group for process components. - Jan A. Bergstra, Cornelis A. Middelburg:
Machine structure oriented control code logic. - Jan A. Bergstra, Cornelis A. Middelburg:
On the operating unit size of load/store architectures. - Jan A. Bergstra, Cornelis A. Middelburg:
A thread calculus with molecular dynamics. - Alessandro Mei, Julinda Stefa:
Routing in Outer Space: Improved Security and Energy-Efficiency in Multi-Hop Wireless Networks. - Jan Wielemaker, Zhisheng Huang, Lourens van der Meij:
SWI-Prolog and the Web. - Pietro Abate, Rajeev Goré, Florian Widmann:
An On-the-fly Tableau-based Decision Procedure for PDL-Satisfiability. - Ghazi Bouselmi, Dominique Fohr, Irina Illina, Jean Paul Haton:
Amélioration des Performances des Systèmes Automatiques de Reconnaissance de la Parole pour la Parole Non Native. - Daniel Andersson, Kristoffer Arnsfelt Hansen, Peter Bro Miltersen, Troels Bjerre Sørensen:
Simple Recursive Games. - Igal Sason, Gil Wiechman:
Bounds on the Number of Iterations for Turbo-Like Ensembles over the Binary Erasure Channe. - Deniz Gündüz, Elza Erkip:
Joint Source-Channel Codes for MIMO Block Fading Channels. - Alfredo von Reckow:
Considerations on P vs NP. - Willemien Visser:
Dynamic aspects of individual design activities. A cognitive ergonomics viewpoint. - Willemien Visser:
Designing as Construction of Representations: A Dynamic Viewpoint in Cognitive Design Research. - Anne Benoit, Veronika Rehn-Sonigo, Yves Robert:
Optimizing Latency and Reliability of Pipeline Workflow Applications. - Paul W. Goldberg, Pattarawit Polpinit:
The Price of Selfish Stackelberg Leadership in a Network Game. - Tolga Girici, Chenxi Zhu, Jonathan R. Agre, Anthony Ephremides:
Fair Scheduling in OFDMA-based Wireless Systems with QoS Constraints. - Tolga Girici, Chenxi Zhu, Jonathan R. Agre, Anthony Ephremides:
Practical Resource Allocation Algorithms for QoS in OFDMA-based Wireless Systems. - Willemien Visser:
Conception individuelle et collective. Approche de l'ergonomie cognitive [Individual and Collective Design. The Cognitive-Ergonomics Approach]. - Emanuele Viterbo, Yi Hong:
On the performance of Golden space-time trellis coded modulation over MIMO block fading channels. - Navin Kashyap:
On Minimal Tree Realizations of Linear Codes. - Keki M. Burjorjee:
Towards a Sound Theory of Adaptation for the Simple Genetic Algorithm. - Yoshiharu Maeno, Yukio Ohsawa:
Predicting relevant empty spots in social interaction. - Tim Berners-Lee, Dan Connolly, Lalana Kagal, Yosi Scharf, Jim Hendler:
N3Logic: A Logical Framework For the World Wide Web. - Hamidreza Farmanbar, Shahab Oveis Gharan, Amir K. Khandani:
Channel Code Design with Causal Side Information at the Encoder. - Sudhir Kumar Singh, Vwani P. Roychowdhury:
Capacity as a Fundamental Metric for Mechanism Design in the Information Economy. - Wenyi Zhang, Shivaprasad Kotagiri, J. Nicholas Laneman:
Outage-Efficient Downlink Transmission Without Transmit Channel State Information. - (Withdrawn) Asymptotic Capacity of Wireless Ad Hoc Networks with Realistic Links under a Honey Comb Topology.
- James J. Cusick:
Applying Software Defect Estimations: Using a Risk Matrix for Tuning Test Effort. - Loukas Georgiadis, Haim Kaplan, Nira Shafrir, Robert Endre Tarjan, Renato Fonseca F. Werneck:
Data Structures for Mergeable Trees. - Jinshan Zhang, Yan Huo, Fengshan Bai:
An analysis of a random algorithm for estimating all the matchings. - Anatoly Pashkevich, Damien Chablat, Philippe Wenger:
Kinematic calibration of orthoglide-type mechanisms. - Ram Zamir, Yuval Kochman, Uri Erez:
Achieving the Gaussian Rate-Distortion Function by Prediction. - Cyril Dumont, Fabrice Mourlin:
A Mobile Computing Architecture for Numerical Simulation. - Francesca A. Lisi:
Building Rules on Top of Ontologies for the Semantic Web with Inductive Logic Programming. - Dorothea Baumeister, Jörg Rothe:
The Three-Color and Two-Color Tantrix(TM) Rotation Puzzle Problems are NP-Complete via Parsimonious Reductions. - Sumanth Kumar Reddy Gangasani:
Testing Kak's Conjecture on Binary Reciprocal of Primes and Cryptographic Applications. - Martin Haenggi:
A Geometric Interpretation of Fading in Wireless Networks: Theory and Applications. - Andrea Abrardo:
Performance bounds and codes design criteria for channel decoding with a-priori information. - Aoi Honda, Michel Grabisch:
Entropy of capacities on lattices and set systems. - Reiner Czerwinski:
A Polynomial Time Algorithm for Graph Isomorphism. - Peter D. Turney:
Empirical Evaluation of Four Tensor Decomposition Algorithms. - Kenza Guenda:
Two Families of Quantum Codes Derived from Cyclic Codes. - Thomas Sandholm:
Autoregressive Time Series Forecasting of Computational Demand. - Edna Ruckhaus, Eduardo Ruiz, Maria-Esther Vidal:
Query Evaluation and Optimization in the Semantic Web. - Gil I. Shamir:
Patterns of i.i.d. Sequences and Their Entropy - Part II: Bounds for Some Distributions. - Arthur L. da Cunha, Minh N. Do, Martin Vetterli:
On the Information Rates of the Plenoptic Function. - Michel Grabisch, Christophe Labreuche:
Bi-capacities -- Part II: the Choquet integral. - Michel Grabisch, Christophe Labreuche:
Bi-capacities -- Part I: definition, Möbius transform and interaction. - Michel Grabisch, Christophe Labreuche:
Derivative of functions over lattices as a basis for the notion of interaction between attributes. - Frédéric Vignat, François Villeneuve:
A numerical approach for 3D manufacturing tolerances synthesis. - Stijn Heymans, Jos de Bruijn, Livia Predoiu, Cristina Feier, Davy Van Nieuwenborgh:
Guarded Hybrid Knowledge Bases. - Bodo Manthey:
Approximate Pareto Curves for the Asymmetric Traveling Salesman Problem. - Guillaume Thomann, Jean Caelen, Morgan Verdier, Brigitte Meillon:
Mise en place de scénarios pour la conception d'outils en Chirurgie Minimalement Invasive. - I. M. Suslov:
Can a Computer Laugh ? - Barbara Cerato, Guido Masera, Emanuele Viterbo:
Decoding the Golden Code: a VLSI design. - Vladimir G. Deineko, Alexandre Tiskin:
Minimum-weight double-tree shortcutting for Metric TSP: Bounding the approximation ratio. - Zhisheng Duan, Wenxu Wang, Chao Liu, Guanrong Chen:
Are networks with more edges easier to synchronize? - Richard Moot:
Proof nets for display logic. - Vasileios Barmpoutis, Gary F. Dargush:
A Compact Self-organizing Cellular Automata-based Genetic Algorithm. - Onur Hisarciklilar, Jean-François Boujut:
An annotation based approach to support design communication. - Pedro Miranda, Michel Grabisch, Pedro Gil:
Axiomatic structure of k-additive capacities. - Michel Grabisch:
The Möbius transform on symmetric ordered structures and its application to capacities on finite sets. - Neri Merhav:
Error Exponents of Erasure/List Decoding Revisited via Moments of Distance Enumerators. - Wojciech Moczydlowski:
Normalization of IZF with Replacement. - Viveck R. Cadambe, Syed Ali Jafar, Shlomo Shamai:
Interference Alignment on the Deterministic Channel and Application to Fully Connected AWGN Interference Networks. - Andreas Björklund, Thore Husfeldt, Petteri Kaski, Mikko Koivisto:
Computing the Tutte polynomial in vertex-exponential time. - Gregory N. Price, Erik D. Demaine:
Generalized D-Forms Have No Spurious Creases. - Franco Bagnoli, Francesca Di Patti:
A Biologically Inspired Classifier. - Krzysztof R. Apt, Farhad Arbab, Huiye Ma:
A System for Distributed Mechanisms: Design, Implementation and Applications. - Giuseppe Caire, Nihar Jindal, Mari Kobayashi, Niranjay Ravindran:
Multiuser MIMO Downlink Made Practical: Achievable Rates with Simple Channel State Estimation and Feedback Schemes. - Matthew T. Harrison:
The Generalized Asymptotic Equipartition Property: Necessary and Sufficient Conditions. - Himanshu Thapliyal, Hamid R. Arabnia, Rajnish Bajpai, Kamal K. Sharma:
Combined Integer and Variable Precision (CIVP) Floating Point Multiplication Architecture for FPGAs. - Himanshu Thapliyal, Hamid R. Arabnia, Rajnish Bajpai, Kamal K. Sharma:
Partial Reversible Gates(PRG) for Reversible BCD Arithmetic. - Bernhard Haeupler, Robert Endre Tarjan:
Finding a Feasible Flow in a Strongly Connected Network. - Peyman Razaghi, Wei Yu:
Parity Forwarding for Multiple-Relay Networks. - Urs Niesen, Piyush Gupta, Devavrat Shah:
On Capacity Scaling in Arbitrary Wireless Networks. - Vita Hinze-Hoare:
Computer Supported Collaborative Research. - Shivaprasad Kotagiri, J. Nicholas Laneman:
Variations on Information Embedding in Multiple Access and Broadcast Channels. - Salvatore Scellato, Cecilia Mascolo, Mirco Musolesi, Vito Latora:
Epcast: Controlled Dissemination in Human-based Wireless Networks by means of Epidemic Spreading Models. - Gilles Halin, Sylvain Kubicki:
Une approche par les modèles pour le suivi de l'activité de construction d'un bâtiment. Bat'iViews : une interface multi-vues orientée gestion de chantier. - Viveck R. Cadambe, Syed Ali Jafar:
Degrees of Freedom of Wireless X Networks. - Salma Chaabouni, Jean-Claude Bignon, Gilles Halin:
Première étape vers une navigation référentielle par l'image pour l'assistance à la conception des ambiances lumineuses. - Sergey Bereg:
Faster Algorithms for Rigidity in the Plane. - Laksana Tri Handoko:
A new approach for scientific data dissemination in developing countries: a case of Indonesia. - Xueliang Li, Xiangmei Yao, Wenli Zhou:
Complexity of the conditional colorability of graphs. - Xueliang Li, Wenli Zhou:
Dynamic 3-Coloring of Claw-free Graphs. - Cristobald de Kerchove, Laure Ninove, Paul Van Dooren:
Maximizing PageRank via outlinks. - Axel Heim, Vladimir Sidorenko, Uli Sorger:
Trellis Computations. - Joaquín Izquierdo, Michael M. Tung, Rafael Pérez-García, F. J. Martínez:
Estimation of fuzzy anomalies in Water Distribution Systems. - Krzysztof R. Apt, Francesca Rossi, Kristen Brent Venable:
Comparing the notions of optimality in CP-nets, strategic games and soft constraints. - Anthony Gidudu, Greg Hulley, Tshilidzi Marwala:
Image Classification Using SVMs: One-against-One Vs One-against-All. - James A. Thom, Jovan Pehcevski, Anne-Marie Vercoustre:
Use of Wikipedia Categories in Entity Ranking. - Felix Brandt, Felix A. Fischer, Paul Harrenstein:
Recognizing Members of the Tournament Equilibrium Set is NP-hard. - Sylvain Kubicki, Annie Guerriero, Damien Hanser, Gilles Halin:
IT services design to support coordination practices in the Luxembourguish AEC sector. - Yannick Frein, Benjamin Lévêque, András Sebö:
Optimizing diversity. - Jie Luo:
On Optimality Test in Low Complexity Maximum Likelihood Decoding of Convolutional Codes. - Marcello Caleffi, Giancarlo Ferraiuolo, Luigi Paura:
Augmented Tree-based Routing Protocol for Scalable Ad Hoc Networks. - Anne-Marie Vercoustre, James A. Thom, Jovan Pehcevski:
Entity Ranking in Wikipedia. - Marie-Jean Meurs:
Approche polyedrale pour le probleme du separateur (VSP). - Tobias Koch, Amos Lapidoth:
Multipath Channels of Bounded Capacity. - Abolfazl S. Motahari, Amir K. Khandani:
To Decode the Interference or To Consider it as Noise. - Terry Anderson, Narad Rampersad, Nicolae Santean, Jeffrey O. Shallit:
Finite automata, palindromes, patterns, and borders. - I. M. Suslov:
How to realize "a sense of humour" in computers ? - Caleb K. Lo, Sriram Vishwanath, Robert W. Heath Jr.:
Relay Subset Selection in Wireless Networks Using Partial Decode-and-Forward Transmission. - Peter D. Grünwald, Joseph Y. Halpern:
A Game-Theoretic Analysis of Updating Sets of Probabilities. - Frank Nielsen, Richard Nock:
On the Centroids of Symmetrized Bregman Divergences. - Behtash Babadi, Vahid Tarokh:
A Distributed Dynamic Frequency Allocation Algorithm For Ad Hoc Networks. - Venkata Seshu Kumar Kurapati:
Improved Fully Dynamic Reachability Algorithm for Directed Graph. - Niranjay Ravindran, Nihar Jindal:
Limited Feedback-based Block Diagonalization for the MIMO Broadcast Channel. - Marc A. Polosky, Ernest J. Garcia:
Microsystem Product Development. - Jacopo Iannacci, Jason Tian, Saoer Sinaga, Roberto Gaddi, Antonio Gnudi, Marian Bartek:
Parasitic Effects Reduction for Wafer-Level Packaging of RF-Mems. - Alain Phommahaxay, Gaëlle Lissorgues, Lionel Rousseau, Tarik Bourouina, Pierre Nicole:
Surface Conditioning Effect on Vacuum Microelectronics Components Fabricated by Deep Reactive Ion Etching. - Carlos Méndez, Christophe Louis, S. Paquay, P. De Vincenzo, Igor Klapka, Veronique Rochus, F. Iker, Nicolas André, Jean-Pierre Raskin:
3-D Self-Assembled Soi Mems: An Example of Multiphysics Simulation. - Manuel Domínguez Pumar, Joan Pons, Jordi Ricart, Jérôme Juillard, Éric Colinet:
Influence of the Feedback Filter on the Response of the Pulsed Digital Oscillator. - Tsung-Hung Lin, Hsiharng Yang, Ching-Kong Chao:
Concave Microlens Array Mold Fabrication in Photoresist Using UV Proximity Printing. - Jing Li, Leilei Dedeng, Suntao Wu:
The annealing induced extraordinary properties of SI based ZNO film grown by RF sputtering. - Shyam Praveen Vudathu, Kishore K. Duganapalli, Rainer Laur, D. Kubalinska, Angelika Bunse-Gerstner:
Parametric Yield Analysis of Mems via Statistical Methods. - Archit Giridhar, Fabrice Verjus, Frédéric Marty, Alain Bosseboeuf, Tarik Bourouina:
Electrostatically-Driven Resonator on Soi with Improved Temperature Stability. - Stefan Spinner, Julian Bartholomeyczik, Bernd Becker, Michael Doelle, Oliver Paul, Ilia Polian, Roland Roth, Karl Seitz, Patrick Ruther:
Electromechanical Reliability Testing of Three-Axial Silicon Force Sensors. - Olivier Français, Marie Caroline Jullien, Lionel Rousseau, Patrick Poulichet, Serge Desportes, Assia Chouai, Jean-Pierre Lefevre, Jacques Delaire:
An Active Chaotic Micromixer Integrating Thermal Actuation Associating PDMS and Silicon Microtechnology. - Jérôme Juillard, Éric Colinet, Manuel Domínguez Pumar, Joan Pons, Jordi Ricart:
Resolution Limits for Resonant Mems Sensors Based on Discrete Relay Feedback Techniques. - Xuechuan Shan, Z. F. Wang, Ryutaro Maeda, Y. F. Sun, M. Wu, J. S. Hua:
A Silicon-Based Micro Gas Turbine Engine for Power Generation. - Guillaume Savelli, Marc Plissonnier, Jacqueline Bablet, Charles Salvi, J. M. Fournier:
Energy Conversion Using New Thermoelectric Generator. - S. Oukassi, R. Salot, S. Bancel, J.-P. Pereira-Ramos:
Above Ic Micro-Power Generators for RF-Mems. - Mohamad El Khatib, Arnaud Pothier, Pierre Blondy:
Packaging of RF Mems Switching Functions on Alumina Substrate. - Tristan Pichonat, Bernard Gauthier-Manuel:
Recent Developments in Mems-Based Micro Fuel Cells. - Waleed Faris, Hazem Mohammed, Mostafa M. Abdalla, C.-H. Ling:
Influence of Micro-Cantilever Geometry and Gap on Pull-in Voltage. - Ming-Tzer Lin, Chi-Jia Tong, Chung-Hsun Chiang:
Design and Development of Novel Electroplating Spring Frame Mems Structure Specimens for the Microtensile Testing of Thin Film Materials. - Péter G. Szabó, Balázs Németh, Márta Rencz, Bernard Courtois:
Characterisation of the Etching Quality in Micro-Electro-Mechanical Systems by Thermal Transient Methodology. - David Allen, Nicolas Duclos, Ian Garbutt, Monika Saumer, Ch. Dhum, M. Schmitt, J. E. Hoffmann:
The Effects of Additives on the Physical Properties of Electroformed Nickel and on the Stretch of Photoelectroformed Nickel Components. - Gou-Jen Wang, Yi-Chin Lin, Gwo-Sen Lin:
A Novel Contact Resistance Model of Anisotropic Conductive Film for FPD Packaging. - Abdelali Bennis, Christina Leinenbach, Carsten Raudzis, Roland Müller-Fiedler, Silvia Kronmüller:
Measurement Technique for Elastic and Mechanical Properties of Polycrystalline Silicon-Germanium Films Using Surface Acoustic Waves and Projection Masks. - Ja-Myeong Koo, Seung-Boo Jung:
Effect of Surface Finish of Substrate on Mechanical Reliability of in-48SN Solder Joints in Moems Package. - Yasser Ammar, Skandar Basrour:
Non Linear Techniques for Increasing Harvesting Energy from Piezoelectric and Electromagnetic Micro-Power-Generators. - Elie Lefeuvre, Adrien Badel, Claude Richard, Lionel Petit, Daniel Guyomar:
Optimization of Piezoelectric Electrical Generators Powered by Random Vibrations. - Paul D. Mitcheson, Tim C. Green, Eric M. Yeatman:
Power Processing Circuits for Mems Inertial Energy Scavengers. - Tom Sterken, Paolo Fiorini, Robert Puers:
Motion-Based Generators for Industrial Applications. - Yi Chiu, Chiung-Ting Kuo, Yu-Shan Chu:
Design and Fabrication of a Micro Electrostatic Vibration-to-Electricity Energy Converter. - Stephen P. Beeby, M.-J. Tudor, Russel N. Torah, E. Koukharenko, S. Roberts, Terence O'Donnell, S. Roy:
Macro and Micro Scale Electromagnetic Kinetic Energy Harvesting Generators. - Fei Duan, Jiwei Jiao, Yucai Wang:
Impact of Thermal Behavior on Offset in a High-Q Gyroscope. - Terence O'Donnell, C. Saha, Stephen P. Beeby, M.-J. Tudor:
Scaling Effects for Electromagnetic Vibrational Power Generators. - Raquel Hellin-Rico, Jean Pierre Celis, Kris Baert, Chris Van Hoof, Ann Witvrouw:
A Generic Surface Micromachining Module for Mems Hermetic Packaging at Temperatures Below 200 degrees C. - Yong Zhang, Jian Zhu, Yuanwei Yu, Chen Chen, Shi Xing Jia:
A Ku-Band Novel Micromachined Bandpass Filter with Two Transmission Zeros. - Chao-Heng Chien, Hui-Min Yu:
The Design and Fabrication of Platform Device for Dna Amplification. - Hsien-Tsung Chang, Chia-Yen Lee, Chih-Yung Wen:
Design and Modeling of a Mems-Based Valveless Pump Driven by an Electromagnetic Force. - Anne-Sophie Rollier, Marc Faucher, Bernard Legrand, Dominique Collard, Lionel Buchaillot:
Electrostatic Actuators Operating in Liquid Environment : Suppression of Pull-in Instability and Dynamic Response. - Jeong-Won Yoon, Hyun-Suk Chun, Ja-Myeong Koo, Seung-Boo Jung:
Au-SN Flip-Chip Solder Bump for Microelectronic and Optoelectronic Applications. - György Bognár, Vladimír Székely, Márta Rencz:
Contactless Thermal Characterization Method of PCB-s Using an IR Sensor Array. - Hsiharng Yang, Chung-Tze Lee:
Miniaturized Fluorescence Excitation Platform with Optical Fiber for Bio-Detection Chips. - Marion Woytasik, Jean-Christophe Ginefri, Jean-Sébastien Raynaud, Marie Poirier-Quinot, Elisabeth Dufour-Gergam, Jean-Paul Grandchamp, Luc Darrasse, Philippe Robert, Jean-Paul Gilles, Emile Martincic, Olivier Girard:
Characterization of Flexible RF Microcoil Dedicated to Surface Mri. - David Bouyge, David Sabourdy, Aurelian Crunteanu, Pierre Blondy, Vincent Couderc, Jérôme Lhermite, Ludovic Grossard, Alain Barthélémy:
Integration of Micro-Electro-Mechanical Deformable Mirrors in Doped Fiber Amplifiers. - Ruey-Fang Shyu, Hsiharng Yang, Wen-Ren Tsai, Jhy-Cherng Tsai:
Micro-Ball Lens Array Fabrication in Photoresist Using Ptfe Hydrophobic Effect. - Antonio Molfese, Andrea Nannini, Francesco Pieri:
Reduced-Order Modelling of the Bending of an Array of Torsional Micromirrors. - Veronique Rochus, Jean-Claude Golinval, Christophe Louis, Carlos Méndez, Igor Klapka:
Model of Electrostatic Actuated Deformable Mirror Using Strongly Coupled Electro-Mechanical Finite Element. - D. Fabrègue, Nicolas André, T. Pardoen, Jean-Pierre Raskin:
New Internal Stress Driven on-Chip Micromachines for Extracting Mechanical Properties of Thin Films. - Sum Huag Ng, Z. F. Wang, R.-T. Tjeung, N. De Rooij:
Process Issues for a Multi-Layer Microelectrofluidic Platform. - Chao-Heng Chien, Hui-Min Yu:
Fabrication of Switches on Polymer-Based by Hot Embossing. - Mehran Hosseini, Guchuan Zhu, Yves-Alain Peter:
A New Model of Fringing Capacitance and its Application to the Control of Parallel-Plate Electrostatic Micro Actuators. - Travis Gagie:
Bounds for Compression in Streaming Models. - Loredana Afanasiev, Torsten Grust, Maarten Marx, Jan Rittinger, Jens Teubner:
An Inflationary Fixed Point Operator in XQuery. - Ivan Berlocher, Hyun-Gue Huh, Éric Laporte, Jee-Sun Nam:
Morphological annotation of Korean with Directly Maintainable Resources. - Ken Samuel, Leo Obrst, Suzette Stoutenburg, Karen Fox, Paul Franklin, Adrian Johnson, Kenneth J. Laskey, Deborah Nichols, Steve Lopez, Jason Peterson:
Translating OWL and Semantic Web Rules into Prolog: Moving Toward Description Logic Programs. - Éric Laporte:
Lexicon management and standard formats. - Éric Laporte:
In memoriam Maurice Gross. - Hyun-Gue Huh, Éric Laporte:
A resource-based Korean morphological annotation system. - Éric Laporte, Sébastien Paumier:
Graphes paramétrés et outils de lexicalisation. - Éric Laporte:
Evaluation of a Grammar of French Determiners. - Shiguo Lian:
Secure Fractal Image Coding. - Che Lin, Vasanthan Raghavan, Venugopal V. Veeravalli:
To Code or Not to Code Across Time: Space-Time Coding with Feedback. - Uwe Aickelin, Edmund K. Burke, Jingpeng Li:
An Estimation of Distribution Algorithm with Intelligent Local Search for Rule-based Nurse Rostering. - Chunjing Xu, Jianzhuang Liu, Xiaoou Tang:
Clustering with Transitive Distance and K-Means Duality. - Éric Laporte, Christian Leclère, Maria Carmelita Dias:
Very strict selectional restrictions. - Ted Hurley:
Convolutional codes from units in matrix and group rings. - P. F. Wang, J. P. Li:
The one-way function based on computational uncertainty principle. - Stéphane Devismes, Sébastien Tixeuil, Masafumi Yamashita:
Weak vs. Self vs. Probabilistic Stabilization. - Yong Wang, Bao-Gang Hu:
Derivations of Normalized Mutual Information in Binary Classifications. - Olivier Blanc, Matthieu Constant, Éric Laporte:
Outilex, plate-forme logicielle de traitement de textes écrits. - Michael Zock, Stergos D. Afantenos:
Let's get the student into the driver's seat. - Sudipto Guha, Kamesh Munagala, Peng Shi:
Approximation Algorithms for Restless Bandit Problems. - Yi Sun:
A Family of Likelihood Ascent Search Multiuser Detectors: Approach to Single-User Performance via Quasi-Large Random Sequence CDMA. - Yi Sun:
A Family of Likelihood Ascent Search Multiuser Detectors: an Upper Bound of Bit Error Rate and a Lower Bound of Asymptotic Multiuser Efficiency. - Soummya Kar, José M. F. Moura:
Distributed Consensus Algorithms in Sensor Networks: Link Failures and Channel Noise. - Anand D. Sarwate, Michael Gastpar:
Rateless coding with partial state information at the decoder. - Andrea Montanari, Rüdiger L. Urbanke:
Coding for Network Coding. - David Garber:
Braid Group Cryptography. - Lei Ni, Aaron Harwood:
An Adaptive Checkpointing Scheme for Peer-to-Peer Based Volunteer Computing Work Flows. - Jenö Lehel, Frédéric Maffray, Myriam Preissmann:
Maximum directed cuts in digraphs with degree restriction. - Frédéric Maffray, Meriem Mechebbek:
On b-perfect chordal graphs. - Cristobald de Kerchove, Paul Van Dooren:
Iterative Filtering for a Dynamical Reputation System. - Ted Hurley:
Self-dual, dual-containing and related quantum codes from group rings. - Paul S. Bonsma, Frederic Dorn:
An FPT Algorithm for Directed Spanning k-Leaf. - Pierre Deransart, Mireille Ducassé, Gérard Ferrand:
Observational semantics of the Prolog Resolution Box Model. - Ana Granados, Manuel Cebrián, David Camacho, Francisco de Borja Rodríguez:
Evaluating the Impact of Information Distortion on Normalized Compression Distance-driven Text Clustering. - Elizeu Santos-Neto, Matei Ripeanu, Adriana Iamnitchi:
Content Reuse and Interest Sharing in Tagging Communities. - Jan A. Bergstra, Cornelis A. Middelburg:
Instruction Sequences with Dynamically Instantiated Instructions. - Ruqian Lu:
Knowware: the third star after Hardware and Software. - Jinshan Zhang:
Report on "American Option Pricing and Hedging Strategies". - Rafael Martínez, Manuel Cebrián, Francisco de Borja Rodríguez, David Camacho:
Contextual Information Retrieval based on Algorithmic Information Theory and Statistical Outlier Detection. - Parastoo Sadeghi, Pascal O. Vontobel, Ramtin Shams:
Optimization of Information Rate Upper and Lower Bounds for Channels with Memory. - Rui Zhang, Ying-Chang Liang:
Exploiting Multi-Antennas for Opportunistic Spectrum Sharing in Cognitive Radio Networks. - Moulay Hicham Tber, Laurent Hascoët, Arthur Vidard, Benjamin Dauvergne:
Building the Tangent and Adjoint codes of the Ocean General Circulation Model OPA with the Automatic Differentiation tool TAPENADE. - Hirotaka Niitsuma, Takashi Okada:
Covariance and PCA for Categorical Variables. - Lukasz Debowski:
Valence extraction using the EM selection and co-occurrence matrices. - Oded Kafri:
The Second Law as a Cause of the Evolution. - Hiroshi Ishikawa:
Representation and Measure of Structural Information. - Philippe Merloz, Jocelyne Troccaz, Hervé Vouaillat, Christian Vasile, Jerome Tonetti, Ahmad Eid, Stéphane Plaweski:
Fluoroscopy-based navigation system in spine surgery. - Thomas Martinelli, Jean-Luc Bosson, Luc Bressollette, Franck Pellissier, Eric Boidard, Jocelyne Troccaz, Philippe Cinquin:
Robot-based tele-echography: clinical evaluation of the TER system in abdominal aortic exploration. - Wenyi Zhang, Urbashi Mitra:
On Outage Behavior of Wideband Slow-Fading Channels. - Yuval Shavitt, Eran Shir, Udi Weinsberg:
Near-Deterministic Inference of AS Relationships. - Pierre Charbit, Michel Habib, Vincent Limouzy, Fabien de Montgolfier, Mathieu Raffinot, Michaël Rao:
A Note On Computing Set Overlap Classes. - D. Price:
Spreadsheet Risk - A New Direction for HMRC? - Brandon Weber:
Strategies for Addressing Spreadsheet Compliance Challenges. - Gun Srijuntongsiri, Stephen A. Vavasis:
A Condition Number Analysis of a Surface-Surface Intersection Algorithm. - Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe:
Copeland Voting Fully Resists Constructive Control. - Sriram Sridharan, Sriram Vishwanath:
On the Capacity of a Class of MIMO Cognitive Radios. - Chandra Chekuri, Nitish Korula:
Approximation Algorithms for Orienteering with Time Windows. - Abdellatif Zaidi, Shivaprasad Kotagiri, J. Nicholas Laneman, Luc Vandendorpe:
Cooperative Relaying with State Available at the Relay Only. - Mikko Alava, John Ardelius, Erik Aurell, Petteri Kaski, Supriya Krishnamurthy, Pekka Orponen, Sakari Seitz:
Circumspect descent prevails in solving random constraint satisfaction problems. - Piotr Faliszewski:
Nonuniform Bribery. - Jean-Alexandre Long, Philippe Cinquin, Jocelyne Troccaz, Sandrine Voros, Jean-Luc Descotes, Peter J. Berkelman, Christian Létoublon, Jean-Jacques Rambeaud:
Development of miniaturized light endoscope-holder robot for laparoscopic surgery. - Dalia Krieger, Narad Rampersad, Jeffrey O. Shallit:
Finding the growth rate of a regular language in polynomial time. - George I. Bell:
Triangular Peg Solitaire Unlimited. - Simon Portegies Zwart, Steve McMillan, Derek Groen, Alessia Gualandris, Michael Sipior, Willem Vermin:
A parallel gravitational N-body kernel. - Damián H. Zanette:
Analytical approach to bit-string models of language evolution. - Stefano Galatolo, Mathieu Hoyrup, Cristobal Rojas:
An effective Borel-Cantelli Lemma. Constructing orbits with required statistical properties. - I. M. Suslov:
Computer Model of a "Sense of Humour". I. General Algorithm. - I. M. Suslov:
Computer Model of a "Sense of Humour". II. Realization in Neural Networks. - Götz E. Pfander, Holger Rauhut:
Sparsity in time-frequency representations. - Brockway McMillan:
An information-theoretic analog of a result of Perelman. - George I. Bell:
Diamond Solitaire. - Stephanie Wehner, Christian Schaffner, Barbara M. Terhal:
Cryptography from Noisy Photonic Storage. - Gabriel Cardona, Francesc Rosselló, Gabriel Valiente:
A Perl Package and an Alignment Tool for Phylogenetic Networks. - Søren Riis:
Graph Entropy, Network Coding and Guessing games. - Ilkka Norros, Eero Saksman:
Local independence of fractional Brownian motion. - Giovanni Feverati, Fabio Musso:
An evolutionary model with Turing machines. - (Withdrawn) Algorithmic Arithmetic Fewnomial Theory I: One Variable.
- Ileana Streinu, Louis Theran:
Natural realizations of sparsity matroids. - Salah A. Aly:
A Note on Quantum Hamming Bound. - Ewa Krot-Sieniawska:
An example of algebraization of analysis and Fibonacci cobweb poset characterization. - Gusztáv Morvai, Benjamin Weiss:
Intermittent estimation of stationary time series. - Gusztáv Morvai, Sidney Yakowitz, László Györfi:
Nonparametric inference for ergodic, stationary time series. - Gusztáv Morvai, Benjamin Weiss:
Prediction for discrete time series. - Gusztáv Morvai, Benjamin Weiss:
Order estimation of Markov chains. - Gusztáv Morvai, Benjamin Weiss:
Forward estimation for ergodic time series. - David R. Wood:
Clique Minors in Cartesian Products of Graphs. - Xinjia Chen:
Inverse Sampling for Nonasymptotic Sequential Estimation of Bounded Variable Means.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.