Ditapis dengan
Civil Engineering for Underground Rail Transport
Thirty-five years ago Bill Cassie (Professor William Fisher Cassie) used to tell his students in Newcastle that one of the tasks of civil engineers was to put services under the ground, including transport. The surface was for people on foot and, in future, the movement of vehicles would be underneath towns, as with the movement of water and sewage. He was ahead of his time; he had writt…
- Edisi
- -
- ISBN/ISSN
- 0-408-04343-1
- Deskripsi Fisik
- TF845.C67 - 625.4'2-dc20
- Judul Seri
- -
- No. Panggil
- -
Chemical Grouting and Soil Stabilization
Over a decade has passed since publication of the second edition. During this time the major changes have been the movement of chemical grouting from remedial use to preventive use, and the development and growing use of other methods of ground improvement. Although new grouts have been developed, silicates and acrylics still dominate the domestic market. Increasing sophistication in grouting e…
- Edisi
- 3rd ed.
- ISBN/ISSN
- 0-8247-4065-3
- Deskripsi Fisik
- xix, 421 Hlm.
- Judul Seri
- Civil and Environmental Engineering: A Series of Reference Books and Textbooks
- No. Panggil
- -
Building materials in civil engineering
As one of the Programming Textbooks for New-century Higher Vocational and Professional Civil Engineering, this book is published by Science Press in August, 2001. This book has won the special prize of 2001-2003 Programming Textbooks for National IIigher Vocational and Professional Civil Engineering proposed by Textbook Construction Expert Committee of Chinese Academy of Sciences. It has gained…
- Edisi
- -
- ISBN/ISSN
- 978-1 -84569-956-7
- Deskripsi Fisik
- vii, 432 Hlm.
- Judul Seri
- -
- No. Panggil
- -
Analyzing Uncertainty in Civil Engineering
This volume addresses the issue of uncertainty in civil engineering from design to construction. Failures do occur in practice. Attributing them to a residual risk or a faulty execution of the project does not properly cover the range of causes. A closer scrutiny of the design, the engineering model, the data, the soil-structure-interaction and the model assumptions is required. Usually, th…
- Edisi
- -
- ISBN/ISSN
- 3-540-22246-4
- Deskripsi Fisik
- viii, 242 Hlm.
- Judul Seri
- -
- No. Panggil
- -
Advances in Civil Engineering and Building Materials IV
Following the great progress made in civil engineering and building materials, the 2014 4th International Conference on Civil Engineering and Building Materials (CEBM 2014) aimed at providing a forum for presentation and discussion of state-of-the-art development in Structural Engineering, Road & Bridge Engineering, Geotechnical Engineering, Architecture & Urban Planning, Transportation Enginee…
- Edisi
- -
- ISBN/ISSN
- 978-1-315-69049-0
- Deskripsi Fisik
- xi, 476 Hlm.
- Judul Seri
- Advances in Civil Engineering and Building Materials Series
- No. Panggil
- -
Advanced Composites in Bridge Construction and Repair
Advanced composites such as fi ber-reinforced polymer (FRP) are promising materials for civil infrastructure application. Despite their relatively short history in research and implementation, signifi cant advances have been made over the last two decades. Federal and municipal agencies now accept these non-conventional construction materials. Practitioners are eager to use them for their proje…
- Edisi
- Number 50
- ISBN/ISSN
- 978-0-85709-701-9
- Deskripsi Fisik
- xii, 336 Hlm.
- Judul Seri
- Woodhead Publishing Series in Civil and Structural Engineering: Number 50
- No. Panggil
- -
Advanced civil infrastructure materials
Concrete and steel are by far the most widely used man-made construction materials in the world. Despite numerous successful constructions of worldwide infrastructures, many of these infrastructures are now rapidly deteriorating. It has been estimated that infrastructure rehabilitation costs, in the US alone, will reach into trillions of dollars over the next twenty years. One of the prima…
- Edisi
- -
- ISBN/ISSN
- 978-1-84569-117-2
- Deskripsi Fisik
- viii, 360 Hlm.
- Judul Seri
- -
- No. Panggil
- -
Indexing Graphs for Path Queries with Applications in Genome Research
We propose a generic approach to replace the canonical sequence representation of genomes with graph representations, and study several applications of such extensions. We extend the Burrows-Wheeler transform (BWT) of strings to acyclic directed labeled graphs, to support path queries as an extension to substring searching. We develop, apply, and tailor this technique to a) read alignment on an…
- Edisi
- IEEE/ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND
- ISBN/ISSN
- 1545-5963
- Deskripsi Fisik
- IEEE/ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS, VOL. 11, NO. 2, MARCH/APRIL 2014
- Judul Seri
- IEEE/ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS
- No. Panggil
- -
Local Exact Pattern Matching for Non-Fixed RNA Structures
Detecting local common sequence-structure regions of RNAs is a biologically important problem. Detecting such regions allows biologists to identify functionally relevant similarities between the inspected molecules. We developed dynamic programming algorithms for finding common structure-sequence patterns between two RNAs. The RNAs are given by their sequence and a set of potential base pairs w…
- Edisi
- VOL. 11, NO. 1, JANUARY/FEBRUARY 2014
- ISBN/ISSN
- 1545-5963
- Deskripsi Fisik
- IEEE/ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS, VOL. 11, NO. 1, JANUARY/FEBRUARY 2014
- Judul Seri
- IEEE/ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS
- No. Panggil
- -
Performance Evaluation and Reliability Issues of Junctionless CSG MOSFET for …
This paper investigates the reliability issues of junctionless cylindrical surrounding-gate (JL CSG) MOSFET by employing temperature variations, ranging from 200 K to 500 K, along with the influence of interface trap charges. Furthermore, the analog/RF performance evaluation and linearity distortion analysis due to the interface trap charges in terms of figure-of-merit metrics, i.e., drain cur…
- Edisi
- VOL. 14, NO. 1, MARCH 2014
- ISBN/ISSN
- 1530-4388
- Deskripsi Fisik
- IEEE TRANSACTIONS ON DEVICE AND MATERIALS RELIABILITY, VOL. 14, NO. 1, MARCH 2014
- Judul Seri
- IEEE TRANSACTIONS ON DEVICE AND MATERIALS RELIABILITY
- No. Panggil
- -
Engineering mechanics of solids (College custom series)
This is a book about the Mechanics of Solids, Statics, the Strength of Materials, and Elasticity Theory. But that doesn’t mean a thing unless you have had a course in the Mechanics of Solids, Statics, the Strength of Materials, or Elasticity Theory. I assume you have not; let us try again: This is a book that builds upon what you were supposed to learn in your basic physics and mathematics…
- Edisi
- -
- ISBN/ISSN
- 978-0070086999
- Deskripsi Fisik
- x, 246 Hlm.
- Judul Seri
- College custom series
- No. Panggil
- -
Introduction To Physical Oceanography
This book is written for upper-division undergraduates and new graduate students in meteorology, ocean engineering, and oceanography. Because these students have a diverse background, I have emphasized ideas and concepts more than mathematical derivations.
- Edisi
- September 2008 Edition
- ISBN/ISSN
- -
- Deskripsi Fisik
- vii, 345 Hlm.
- Judul Seri
- -
- No. Panggil
- -
ESD Detection Circuit and Associated Metal Fuse Investigations in CMOS Processes
A circuit to detect and record the occurrence of an electrostatic discharge (ESD) event on a powered or unpowered integrated-circuit (IC) chip is presented. The ESD detection circuit uses metal fuses for memory and has been experimentally verified in a commercial CMOS process to operate with 500 V or higher human body model (HBM) discharges. Experimental studies of metal fuses are also present…
- Edisi
- VOL. 14, NO. 1, MARCH 2014
- ISBN/ISSN
- 1530-4388
- Deskripsi Fisik
- IEEE TRANSACTIONS ON DEVICE AND MATERIALS RELIABILITY, VOL. 14, NO. 1, MARCH 2014
- Judul Seri
- IEEE TRANSACTIONS ON DEVICE AND MATERIALS RELIABILITY
- No. Panggil
- -
LPV Wind Turbine Control With Anti-Windup Features Covering the Complete Wind…
This paper addresses the control of a variable-speed variable-pitch wind turbine in the whole wind speed range. To this end, a linear parameter varying anti-windup (AW) controller is proposed as part of a control structure focused on improving the transition between low- and high-wind speed operations. The control structure is similar to classical PI controls used in commercial wind turbines. …
- Edisi
- VOL. 29, NO. 1, MARCH 2014
- ISBN/ISSN
- 0885-8969
- Deskripsi Fisik
- IEEE TRANSACTIONS ON ENERGY CONVERSION, VOL. 29, NO. 1, MARCH 2014
- Judul Seri
- IEEE TRANSACTIONS ON ENERGY CONVERSION
- No. Panggil
- -
Hybrid Finite-Element–Boundary Element Analysis of a Single-Sided Sheet Rot…
A hybrid finite-element–boundary element method is adopted for the analysis of linear induction machines (LIM) in Cartesian coordinates. A mathematical boundary is defined arbitrarily in free space to enclose the system. Finite-element formulation is applied for the interior region and boundary integral formulation is applied on the boundary using the response function excited by a transverse…
- Edisi
- VOL. 29, NO. 1, MARCH 2014
- ISBN/ISSN
- 0885-8969
- Deskripsi Fisik
- IEEE TRANSACTIONS ON ENERGY CONVERSION, VOL. 29, NO. 1, MARCH 2014
- Judul Seri
- IEEE TRANSACTIONS ON ENERGY CONVERSION
- No. Panggil
- -
High-Power CMOS Current Driver With Accurate Transconductance for Electrical …
Current drivers are fundamental circuits in bioimpedance measurements including electrical impedance tomography (EIT). In the case of EIT, the current driver is required to have a large output impedance to guarantee high current accuracy over a wide range of load impedance values. This paper presents an integrated current driver which meets these requirements and is capable of delivering large…
- Edisi
- VOL. 8, NO. 4, AUGUST 2014
- ISBN/ISSN
- -
- Deskripsi Fisik
- IEEE TRANSACTIONS ON BIOMEDICAL CIRCUITS AND SYSTEMS, VOL. 8, NO. 4, AUGUST 2014
- Judul Seri
- IEEE TRANSACTIONS ON BIOMEDICAL CIRCUITS AND SYSTEMS
- No. Panggil
- -
An Efficient and Compact Compressed Sensing Microsystem for Implantable Neura…
Multi-Electrode Arrays (MEA) have been widely used in neuroscience experiments. However, the reduction of their wireless transmission power consumption remains a major challenge. To resolve this challenge, an efficient on-chip signal compression method is essential. In this paper, we first introduce a signal-dependent Compressed Sensing (CS) approach that outperforms previous works in terms of…
- Edisi
- VOL. 8, NO. 4, AUGUST 2014
- ISBN/ISSN
- 1932-4545
- Deskripsi Fisik
- IEEE TRANSACTIONS ON BIOMEDICAL CIRCUITS AND SYSTEMS, VOL. 8, NO. 4, AUGUST 2014
- Judul Seri
- IEEE TRANSACTIONS ON BIOMEDICAL CIRCUITS AND SYSTEMS
- No. Panggil
- -
A Segmentation-Based Method to Extract Structural and Evolutionary Features f…
Protein fold recognition (PFR) is considered as an important step towards the protein structure prediction problem. Despite all the efforts that have been made so far, finding an accurate and fast computational approach to solve the PFR still remains a challenging problem for bioinformatics and computational biology. In this study, we propose the concept of segmented-based feature extraction te…
- Edisi
- VOL. 11, NO. 3, MAY/JUNE 2014
- ISBN/ISSN
- 1545-5963
- Deskripsi Fisik
- IEEE/ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS, VOL. 11, NO. 3, MAY/JUNE 2014
- Judul Seri
- IEEE/ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS
- No. Panggil
- -
Parametric Study on Dynamic Characteristics of Turbogenerator Stator End Winding
The material properties, including Young’s modulus, Poisson’s ratio, and density, of the structural components in the stator end winding of a typical 600-MW turbogenerator were experimentally measured; the equivalent bending stiffness of the conductor bars are determined by the three-point bending test, and the lower orders of natural frequencies and mode shapes were measured by modal test…
- Edisi
- VOL. 29, NO. 1, MARCH 2014
- ISBN/ISSN
- 0885-8969
- Deskripsi Fisik
- IEEE TRANSACTIONS ON ENERGY CONVERSION, VOL. 29, NO. 1, MARCH 2014
- Judul Seri
- IEEE TRANSACTIONS ON ENERGY CONVERSION
- No. Panggil
- -
New Modulation Strategy to Balance the Neutral-Point Voltage for Three-Level …
This paper proposes a new modulation strategy that balances the neutral-point voltage for three-level neutral-clamped inverter systems. The proposed modulation replaces the P-type or N-type small switching states with other switching states that do not affect the neutral-point voltage. The zero and medium switching states are employed to help the neutral-point voltage balancing. This method lit…
- Edisi
- VOL. 29, NO. 1, MARCH 2014
- ISBN/ISSN
- 0885-8969
- Deskripsi Fisik
- IEEE TRANSACTIONS ON ENERGY CONVERSION, VOL. 29, NO. 1, MARCH 2014
- Judul Seri
- IEEE TRANSACTIONS ON ENERGY CONVERSION
- No. Panggil
- -
Noncyclic Scheduling of Cluster Tools With a Branch and Bound Algorithm
Abstract—Cluster tools, each of which consists of multiple processing modules, one material handling robot, and loadlocks, are widely used for wafer fabrication processes, such as lithography, etching, and deposition. There have been many approaches and algorithms for cyclic scheduling of cluster tools in which the robot repeats a specified sequence for processing identical wafers. However, t…
- Edisi
- 1545-5955
- ISBN/ISSN
- 1545-5955
- Deskripsi Fisik
- IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, VOL. 12, NO. 2, APRIL 2015
- Judul Seri
- IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
- No. Panggil
- -
Improvements of Performance and Reliability for Metal–Oxide–Nitride–Oxi…
Abstract—The characteristics of oxynitride thermally grown in either NO or N2O ambient as a tunnel layer are investigated based on an Al/Al2O3/GdON/SiOxNy/Si structure. The physical thickness of each dielectric layer was measured and confirmed by multiwavelength ellipsometry and transmission electron microscopy. Experimental results reveal that better memory performances can be achieved for …
- Edisi
- VOL. 14, NO. 1, MARCH 2014
- ISBN/ISSN
- 1530-4388
- Deskripsi Fisik
- IEEE TRANSACTIONS ON DEVICE AND MATERIALS RELIABILITY, VOL. 14, NO. 1, MARCH 2014
- Judul Seri
- IEEE TRANSACTIONS ON DEVICE AND MATERIALS RELIABILITY
- No. Panggil
- -
Delayed Genz–Keister Sequences-Based Sparse-Grid Quadrature Nonlinear Filte…
An improved quadrature nonlinear filter named delayed Genz–Keister sequences-based sparse-grid quadrature filter (DGKSGQF)is developed for the target tracking problems. The filter changes the non-nested Gaussian quadrature points of the quadrature filters to the nested Genz–Keister points for selecting the unvariate points, which are the basis point sets extended to form a multidimensional…
- Edisi
- VOL. 11, NO. 3, JULY 2014
- ISBN/ISSN
- 1545-5955
- Deskripsi Fisik
- IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, VOL. 11, NO. 3, JULY 2014
- Judul Seri
- IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
- No. Panggil
- -
Extension Engineering
The basic idea of extension engineering is to deal with contradictions in different fields with formalized methods and study how to change incompatibility into compatibility, antagonism into co-existence and the negative into positive. The book systematically elaborates the theoretical foundation, methodology and fields of application of extension engineering and presents application cases of e…
- Edisi
- Extenics Series
- ISBN/ISSN
- -
- Deskripsi Fisik
- x, 344 Hlm.
- Judul Seri
- -
- No. Panggil
- -
Petri Net Decomposition Approach to Deadlock-Free and Non-Cyclic Scheduling o…
Semiconductor cluster tools are the integrated equipment to process a variety of silicon wafers for the fabrication of microelectronic components. The cluster tool system consists of several loadlock modules, processing chambers, and material handling armed robots for transferring wafers between them. Most scheduling problems for dual-armed cluster tools adopt cyclic scheduling with the assump…
- Edisi
- VOL. 12, NO. 1, JANUARY 2015
- ISBN/ISSN
- 1545-5955
- Deskripsi Fisik
- IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, VOL. 12, NO. 1, JANUARY 2015
- Judul Seri
- IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
- No. Panggil
- -
Thermal-Aware Scheduling of Batch Jobs in Geographically Distributed Data Cen…
Decreasing the soaring energy cost is imperative in large data centers. Meanwhile, limited computational resources need to be fairly allocated among different organizations. Latency is another major concern for resource management. Nevertheless, energy cost, resource allocation fairness, and latency are important but often contradicting metrics on scheduling data center workloads. Moreover, wit…
- Edisi
- VOL. 2, NO. 1, JANUARY-MARCH 2014
- ISBN/ISSN
- 2168-7161
- Deskripsi Fisik
- IEEE TRANSACTIONS ON CLOUD COMPUTING, VOL. 2, NO. 1, JANUARY-MARCH 2014
- Judul Seri
- IEEE TRANSACTIONS ON CLOUD COMPUTING
- No. Panggil
- -
An Odd Parity Checker Prototype Using DNAzyme Finite State Machine
A finite-state machine (FSM) is an abstract mathematical model of computation used to design both computer programs and sequential logic circuits. Considered as an abstract model of computation, FSM is weak; it has less computational power than some other models of computation such as the Turing machine. This paper discusses the finite-state automata based on Deoxyribonucleic Acid (DNA) and dif…
- Edisi
- VOL. 11, NO. 2, MARCH/APRIL 2014
- ISBN/ISSN
- 1545-5963
- Deskripsi Fisik
- IEEE/ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS, VOL. 11, NO. 2, MARCH/APRIL 2014
- Judul Seri
- IEEE/ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS
- No. Panggil
- -
Systematic Approach to Computational Design of Gene Regulatory Networks with …
We present several measures that can be used in de novo computational design of biological systems with information processing capabilities. Their main purpose is to objectively evaluate the behavior and identify the biological information processing structures with the best dynamical properties. They can be used to define constraints that allow one to simplify the design of more complex biolog…
- Edisi
- VOL. 11, NO. 2, MARCH/APRIL 2014
- ISBN/ISSN
- 1545-5963
- Deskripsi Fisik
- IEEE/ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS, VOL. 11, NO. 2, MARCH/APRIL 2014
- Judul Seri
- IEEE/ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS
- No. Panggil
- -
Dynamic Optimization of Industrial Processes With Nonuniform Discretization-B…
This paper proposes a novel scheme of nonuniform discretizetion-based control vector parameterization (ndCVP, for short) for dynamic optimization problems (DOPs) of industrial processes. In our ndCVP scheme, the time span is partitioned into a multitude of uneven intervals, and incremental time parameters are encoded, along with the control parameters, into the individual to be optimized. Our c…
- Edisi
- VOL. 11, NO. 4, OCTOBER 2014
- ISBN/ISSN
- 1545-5955
- Deskripsi Fisik
- IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, VOL. 11, NO. 4, OCTOBER 2014
- Judul Seri
- IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
- No. Panggil
- -
Programmable ExG Biopotential Front-End IC for Wearable Applications
This paper presents a configurable CMOS integrated circuit front-end for the recording of a wide range of biopotentials (ExG). The system offers a choice between a single-differential or double-differential recording channel topology, wide continuously adjustable gain range (37–66 dB), selectable CMOS or BJT input stages, offset compensation, differential and buffered single-ended voltage out…
- Edisi
- VOL. 8, NO. 4, AUGUST 2014
- ISBN/ISSN
- 1932-4545
- Deskripsi Fisik
- IEEE TRANSACTIONS ON BIOMEDICAL CIRCUITS AND SYSTEMS, VOL. 8, NO. 4, AUGUST 2014
- Judul Seri
- IEEE TRANSACTIONS ON BIOMEDICAL CIRCUITS AND SYSTEMS
- No. Panggil
- -
Simultaneous Vision-Based Shape and Motion Analysis of Cells Fast-Flowing in …
This paper proposes a novel concept for simultaneous cell shape and motion analysis in fast microchannel flows by implementing a multiobject feature extraction algorithm on a framestraddling high-speed vision platform. The system can synchronize two camera inputs with the same view with only a tiny time delay on the sub-microsecond timescale. Real-time video processing is performed in hardware…
- Edisi
- VOL. 12, NO. 1, JANUARY 2015
- ISBN/ISSN
- 1545-5955
- Deskripsi Fisik
- IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, VOL. 12, NO. 1, JANUARY 2015
- Judul Seri
- IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
- No. Panggil
- -
Linear Drain Current Degradation of FG-pLEDMOS Transistor Under Pulse Gate St…
Linear drain current degradation of a field-gate p-channel lateral extended drain MOS (FG-pLEDMOS) transistor for different ac hot-carrier stress conditions has been experimentally investigated in this paper. It is noted that hot-carrier degradation strongly depends on the time of the rising and falling edges of the gate signal pulse. Faster rising and falling edges of the gate pulse will indu…
- Edisi
- VOL. 14, NO. 1, MARCH 2014
- ISBN/ISSN
- 1530-4388
- Deskripsi Fisik
- IEEE TRANSACTIONS ON DEVICE AND MATERIALS RELIABILITY, VOL. 14, NO. 1, MARCH 2014
- Judul Seri
- IEEE TRANSACTIONS ON DEVICE AND MATERIALS RELIABILITY
- No. Panggil
- -
A Step Forward in the Modeling of the Doubly-fed Induction Machine for Harmon…
This paper develops a doubly-fed induction machine model for steady-state harmonic studies. The model is based on the well-known steady-state induction machine model, considering nonsinusoidal voltage sources on the stator and rotor sides of the machine. The results obtained with the proposed model match those obtained from real lab measurements and with a complete induction machine model for …
- Edisi
- VOL. 29, NO. 1, MARCH 2014
- ISBN/ISSN
- 0885-8969
- Deskripsi Fisik
- IEEE TRANSACTIONS ON ENERGY CONVERSION, VOL. 29, NO. 1, MARCH 2014
- Judul Seri
- IEEE TRANSACTIONS ON ENERGY CONVERSION
- No. Panggil
- -
Customer Order Scheduling on Unrelated Parallel Machines to Minimize Total Co…
This paper considers a customer order scheduling problem with product type splitting property in the unrelated parallel machine environment. Product type splitting property refers to the case where each customer order consists of several product types and the workload of all associated product types can be arbitrarily split among machines. The objective is to minimize the total completion time…
- Edisi
- VOL. 12, NO. 1, JANUARY 2015
- ISBN/ISSN
- 1545-5955
- Deskripsi Fisik
- IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, VOL. 12, NO. 1, JANUARY 2015
- Judul Seri
- IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
- No. Panggil
- -
Energy-Responsive Aggregate Context for Energy Saving in a Multi-Resident Env…
Human activity is among the critical information for a context-aware energy saving system since knowing what activities are undertaken is important for judging if energy is well spent. Most of the prior works on energy saving do not make the best of context-awareness especially in a multiuser environment to assist the energy saving system. In addition, they often ignore whether appliances are …
- Edisi
- VOL. 11, NO. 3, JULY 2014
- ISBN/ISSN
- 1545-5955
- Deskripsi Fisik
- IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, VOL. 11, NO. 3, JULY 2014
- Judul Seri
- IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
- No. Panggil
- -
A Polynomial Algorithm to Performance Analysis of Concurrent Systems Via Petr…
In this paper, a new method is proposed to evaluate the performance of concurrent systems. A concurrent system consisting of multiple processes that communicate via message passing mechanisms is modeled by a Petri net, which is in turn represented by a set of ordinary differential equations (ODEs)of a restricted type. The equations describe the system state changes, and the solutions, also call…
- Edisi
- VOL. 12, NO. 1, JANUARY 2015
- ISBN/ISSN
- 1545-5955
- Deskripsi Fisik
- IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, VOL. 12, NO. 1, JANUARY 2015
- Judul Seri
- IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
- No. Panggil
- -
General Analytical Model of Magnet Average Eddy-Current Volume Losses for Com…
This paper studies magnet eddy-current losses in permanent-magnet (PM) machines with concentrated winding. First, space harmonics of magnetomotive force (MMF) and their influence on magnet losses in electrical machines are investigated. Second, an analytical model of magnet volume losses is developed by studying the interaction between MMF harmonics wavelengths and magnet pole dimensions. Diff…
- Edisi
- VOL. 29, NO. 1, MARCH 2014
- ISBN/ISSN
- 0885-8969
- Deskripsi Fisik
- IEEE TRANSACTIONS ON ENERGY CONVERSION, VOL. 29, NO. 1, MARCH 2014
- Judul Seri
- IEEE TRANSACTIONS ON ENERGY CONVERSION
- No. Panggil
- -
Control of a Flywheel Energy Storage System for Power Smoothing in Wind Power…
This paper deals with the design and the experimental validation in scale-lab test benches of an energy management algorithm based on feedback control techniques for a flywheel energy storage device. The aim of the flywheel is to smooth the net power injected to the grid by a wind turbine or by a wind power plant. In particular, the objective is to compensate the power disturbances produced by …
- Edisi
- VOL. 29, NO. 1, MARCH 2014
- ISBN/ISSN
- 0885-8969
- Deskripsi Fisik
- IEEE TRANSACTIONS ON ENERGY CONVERSION, VOL. 29, NO. 1, MARCH 2014
- Judul Seri
- IEEE TRANSACTIONS ON ENERGY CONVERSION
- No. Panggil
- -
Supervisory Control for State-Vector Transition Models—A Unified Approach
A generic state-vector transition (SVT) model is suggested, including a flexible synchronous composition involving both shared variables and events. This model is analyzed, focusing on properties that are important for supervisor synthesis. A synthesis procedure is then developed for the SVT model, where supervisor guards are generated that guarantee a controllable, nonblocking and maximally pe…
- Edisi
- VOL. 11, NO. 1, JANUARY 2014
- ISBN/ISSN
- 1545-5955
- Deskripsi Fisik
- IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, VOL. 11, NO. 1, JANUARY 2014
- Judul Seri
- IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
- No. Panggil
- -
Development of a Quasi 2-D Modeling of Tubular Solid-Oxide Fuel Cell for Real…
This paper presents the modeling approach for a quasi-2-D tubular anode-supported solid-oxide fuel cell (SOFC) for real-time control implementation. The proposed system considers a multidomain electrochemical, fluidic, and thermal dynamic modeling and it is experimentally validated against a SOFC real world implementation. Implicit iterative algebraic equations have been introduced and impleme…
- Edisi
- VOL. 29, NO. 1, MARCH 2014
- ISBN/ISSN
- 0885-8969
- Deskripsi Fisik
- IEEE TRANSACTIONS ON ENERGY CONVERSION, VOL. 29, NO. 1, MARCH 2014
- Judul Seri
- IEEE TRANSACTIONS ON ENERGY CONVERSION
- No. Panggil
- -
Partitioning Biological Networks into Highly Connected Clusters with Maximum …
A popular clustering algorithm for biological networks which was proposed by Hartuv and Shamir [5] identifies nonoverlapping highly connected components. We extend the approach taken by this algorithm by introducing the combinatorial optimization problem HIGHLY CONNECTED DELETION, which asks for removing as few edges as possible from a graph such that the resulting graph consists of highly conn…
- Edisi
- VOL. 11, NO. 3, MAY/JUNE 2014
- ISBN/ISSN
- 1545-5963
- Deskripsi Fisik
- IEEE/ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS, VOL. 11, NO. 3, MAY/JUNE 2014
- Judul Seri
- IEEE/ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS
- No. Panggil
- -
Measure the Semantic Similarity of GO Terms Using Aggregate Information Content
The rapid development of gene ontology (GO) and huge amount of biomedical data annotated by GO terms necessitate computation of semantic similarity of GO terms and, in turn, measurement of functional similarity of genes based on their annotations. In this paper we propose a novel and efficient method to measure the semantic similarity of GO terms. The proposed method addresses the limitations i…
- Edisi
- VOL. 11, NO. 3, MAY/JUNE 2014
- ISBN/ISSN
- 1545-5963
- Deskripsi Fisik
- IEEE/ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS, VOL. 11, NO. 3, MAY/JUNE 2014
- Judul Seri
- IEEE/ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS
- No. Panggil
- -
Graph Based Constrained Semi-Supervised Learning Framework via Label Propagat…
A new graph based constrained semi-supervised learning (G-CSSL) framework is proposed. Pairwise constraints (PC) are used to specify the types (intra- or inter-class) of points with labels. Since the number of labeled data is typically small in SSL setting, the core idea of this framework is to create and enrich the PC sets using the propagated soft labels from both labeled and unlabeled data b…
- Edisi
- VOL. 27, NO. 9, SEPTEMBER 2015
- ISBN/ISSN
- 1041-4347
- Deskripsi Fisik
- IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, VOL. 27, NO. 9, SEPTEMBER 2015
- Judul Seri
- IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING
- No. Panggil
- -
Differential Evolution-Based Identification of the Nonlinear Kaplan Turbine M…
In this paper, various new models of double-regulated Kaplan turbines are proposed, whose parameters are determined on the basis of field measurement data acquired during normal operating conditions. The model being identified is an extension of the nonlinear single-regulated turbine model obtained through an approximation function that defines the relationship between the wicket gate opening …
- Edisi
- VOL. 29, NO. 1, MARCH 2014
- ISBN/ISSN
- 0885-8969
- Deskripsi Fisik
- IEEE TRANSACTIONS ON ENERGY CONVERSION, VOL. 29, NO. 1, MARCH 2014
- Judul Seri
- IEEE TRANSACTIONS ON ENERGY CONVERSION
- No. Panggil
- -
QoS-Guaranteed Bandwidth Shifting and Redistribution in Mobile Cloud Environment
Mobile cloud computing (MCC) improves the computational capabilities of resource-constrained mobile devices. On the other hand, the mobile users demand a certain level of quality-of-service (QoS) provisioning while they use services from the cloud, even if the interfacing gateway changes due to the mobility of the users. In this paper, we identify, formulate, and address the problem of QoS-guar…
- Edisi
- VOL. 2, NO. 2, APRIL-JUNE 2014
- ISBN/ISSN
- 2168-7161
- Deskripsi Fisik
- IEEE TRANSACTIONS ON CLOUD COMPUTING, VOL. 2, NO. 2, APRIL-JUNE 2014
- Judul Seri
- IEEE TRANSACTIONS ON CLOUD COMPUTING
- No. Panggil
- -
Integrity for Join Queries in the Cloud
We address the problem of providing users with the ability to assess the integrity of join results produced by external computational providers and computed over externally stored databases. Our approach relies on different mutually supporting techniques offering strong integrity protection guarantees at a limited cost. The application of the approach is completely transparent to the computatio…
- Edisi
- VOL. 1, NO. 2, JULY-DECEMBER 2013
- ISBN/ISSN
- 2168-7161
- Deskripsi Fisik
- IEEE TRANSACTIONS ON CLOUD COMPUTING, VOL. 1, NO. 2, JULY-DECEMBER 2013
- Judul Seri
- IEEE TRANSACTIONS ON CLOUD COMPUTING
- No. Panggil
- -
Probabilistic Consolidation of Virtual Machines in Self-Organizing Cloud Data…
Power efficiency is one of the main issues that will drive the design of data centers, especially of those devoted to provide Cloud computing services. In virtualized data centers, consolidation of Virtual Machines (VMs) on the minimum number of physical servers has been recognized as a very efficient approach, as this allows unloaded servers to be switched off or used to accommodate more load,…
- Edisi
- VOL. 1, NO. 2, JULY-DECEMBER 2013
- ISBN/ISSN
- 2168-7161
- Deskripsi Fisik
- IEEE TRANSACTIONS ON CLOUD COMPUTING, VOL. 1, NO. 2, JULY-DECEMBER 2013
- Judul Seri
- IEEE TRANSACTIONS ON CLOUD COMPUTING
- No. Panggil
- -
Net Power Control Based on Linear Matrix Inequality for Proton Exchange Membr…
Ananalysis for net power characterization of a proton exchange membrane fuel cell (PEMFC) system is developed with Ballard 1.2-kW Nexa power module. A net power control (NPC)strategy based on the linear matrix inequality (LMI) approach is proposed to achieve optimal oxygen excess ratio (OER). The H∞ suboptimal control problem is solved by LMI and the simulations are carried out under differe…
- Edisi
- VOL. 29, NO. 1, MARCH 2014
- ISBN/ISSN
- 0885-8969
- Deskripsi Fisik
- IEEE TRANSACTIONS ON ENERGY CONVERSION, VOL. 29, NO. 1, MARCH 2014
- Judul Seri
- IEEE TRANSACTIONS ON ENERGY CONVERSION
- No. Panggil
- -
Influence of Radial Force HarmonicsWith Low Mode Number on Electromagnetic Vi…
Permanent magnet synchronous machines (PMSM)have been widely used in a variety of applications. A strong electromagnetic force exists between the rotor magnets and the stator core in a PMSM. The force directly causes mechanical deformation and vibration of the stator. In small PM motors, mechanical vibration comes mainly from the electromagnetic force of the stator. This paper gives the general…
- Edisi
- VOL. 29, NO. 1, MARCH 2014
- ISBN/ISSN
- 0885-8969
- Deskripsi Fisik
- IEEE TRANSACTIONS ON ENERGY CONVERSION, VOL. 29, NO. 1, MARCH 2014
- Judul Seri
- IEEE TRANSACTIONS ON ENERGY CONVERSION
- No. Panggil
- -
Performing Systematic Literature Reviews With Novices: An Iterative Approach
Reviewers performing systematic literature reviews require understanding of the review process and of the knowledge domain. This paper presents an iterative approach for conducting systematic literature reviews that addresses the problems faced by reviewers who are novices in one or both levels of understanding. This approach is derived from traditional systematic literature reviews and based …
- Edisi
- VOL. 57, NO. 3, AUGUST 2014
- ISBN/ISSN
- 0018-9359
- Deskripsi Fisik
- IEEE TRANSACTIONS ON EDUCATION, VOL. 57, NO. 3, AUGUST 2014
- Judul Seri
- IEEE TRANSACTIONS ON EDUCATION
- No. Panggil
- -
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah